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