LinearizabilityChecker.KeyedSpec (framework 7.5.1 API)

All Superinterfaces:

LinearizabilityChecker.SequentialSpec

Enclosing class:

LinearizabilityChecker
```
public static interface LinearizabilityChecker.KeyedSpec
extends LinearizabilityChecker.SequentialSpec
```
Sequential specification of a datatype that allows for keyed access, providing compositional checking (see LinearizabilityChecker.SequentialSpec.partition(List)).

Method Summary

Modifier and Type	Method	Description
`java.lang.Object`	`getKey(java.lang.Object value)`	extracts the key from the given keyed invocation input value
`java.lang.Object`	`getValue(java.lang.Object value)`	extracts the key-less value from the given keyed invocation input value
`default java.util.Collection<java.util.List<LinearizabilityChecker.Event>>`	`partition(java.util.List<LinearizabilityChecker.Event> events)`	For compositional checking, the history can be partitioned into sub-histories

Methods inherited from interface org.elasticsearch.cluster.coordination.LinearizabilityChecker.SequentialSpec
initialState, nextState

- Method Detail
  - getKey
```
java.lang.Object getKey(java.lang.Object value)
```
    extracts the key from the given keyed invocation input value
  - getValue
```
java.lang.Object getValue(java.lang.Object value)
```
    extracts the key-less value from the given keyed invocation input value
  - partition
```
default java.util.Collection<java.util.List<LinearizabilityChecker.Event>> partition(java.util.List<LinearizabilityChecker.Event> events)
```
    Description copied from interface: LinearizabilityChecker.SequentialSpec
    
    For compositional checking, the history can be partitioned into sub-histories
    
    Specified by:
    
    partition in interface LinearizabilityChecker.SequentialSpec
    
    Parameters:
    
    events - the history of events to partition
    
    Returns:
    
    the partitioned history