Kind0

public enum Kind0

Enum Constants

AmbiguousTransitionTauEvent

public static final Kind0 AmbiguousTransitionTauEvent

ArrayValue

public static final Kind0 ArrayValue

AtomicValue

public static final Kind0 AtomicValue

ChaoticClientInstance

public static final Kind0 ChaoticClientInstance

ComponentInstance

public static final Kind0 ComponentInstance

DetermineSpontaneousEnabledTauEvent

public static final Kind0 DetermineSpontaneousEnabledTauEvent

DrainQueueEvent

public static final Kind0 DrainQueueEvent

FunctionCallEvent

public static final Kind0 FunctionCallEvent

FunctionReturnEvent

public static final Kind0 FunctionReturnEvent

IgnoredSignalEvent

public static final Kind0 IgnoredSignalEvent

IllegalEvent

public static final Kind0 IllegalEvent

MonitorInstance

public static final Kind0 MonitorInstance

NonDetTauEvent

public static final Kind0 NonDetTauEvent

Null

public static final Kind0 Null

OfferTauEvent

public static final Kind0 OfferTauEvent

PortInstance

public static final Kind0 PortInstance

ProcessSignalEvent

public static final Kind0 ProcessSignalEvent

ProcessSignalFinishedEvent

public static final Kind0 ProcessSignalFinishedEvent

QueuePushSignalEvent

public static final Kind0 QueuePushSignalEvent

SilentTauEvent

public static final Kind0 SilentTauEvent

SpontaneousTransitionTauEvent

public static final Kind0 SpontaneousTransitionTauEvent

StartedEventValue

public static final Kind0 StartedEventValue

StateEnumValue

public static final Kind0 StateEnumValue

StateMachineSubscriptionStateValue

public static final Kind0 StateMachineSubscriptionStateValue

StructValue

public static final Kind0 StructValue

TaggedUnionEnumValue

public static final Kind0 TaggedUnionEnumValue

TimerTransitionTauEvent

public static final Kind0 TimerTransitionTauEvent

TraceInstance

public static final Kind0 TraceInstance

UnavailableValue

public static final Kind0 UnavailableValue

UnusedTransitionEventValue

public static final Kind0 UnusedTransitionEventValue

Methods

fromInteger

public static Kind0 fromInteger(int value)

toInteger

public static int toInteger(Kind0 value)