Interface LinearizabilityChecker.KeyedSpec
- 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 TypeMethodDescriptionextracts the key from the given keyed invocation input valueextracts the key-less value from the given keyed invocation input valuedefault Collection<List<LinearizabilityChecker.Event>> partition(List<LinearizabilityChecker.Event> events) For compositional checking, the history can be partitioned into sub-historiesMethods inherited from interface org.elasticsearch.cluster.coordination.LinearizabilityChecker.SequentialSpec
initialState, nextState
-
Method Details
-
getKey
extracts the key from the given keyed invocation input value -
getValue
extracts the key-less value from the given keyed invocation input value -
partition
default Collection<List<LinearizabilityChecker.Event>> partition(List<LinearizabilityChecker.Event> events) Description copied from interface:LinearizabilityChecker.SequentialSpecFor compositional checking, the history can be partitioned into sub-histories- Specified by:
partitionin interfaceLinearizabilityChecker.SequentialSpec- Parameters:
events- the history of events to partition- Returns:
- the partitioned history
-