Package org.elasticsearch.cluster.coordination

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 Type	Method	Description
Object	getKey(Object value)	extracts the key from the given keyed invocation input value
Object	getValue(Object value)	extracts the key-less value from the given keyed invocation input value
default Collection<List<LinearizabilityChecker.Event>>	partition(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 Details

getKey

Object getKey(Object value)

extracts the key from the given keyed invocation input value

getValue

Object getValue(Object value)

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.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