io.cocotec.coco.platform.coco¶
- AmbiguousTransitionTauEvent
- ArchitectureDiagram
- ArrayValue
- AtomicValue
- BaseMissingSignalCounterexample
- BaseTraceRefinementCounterexample
- Behaviour
- BehaviourComparisonCounterexample
- BehaviourCounterexample
- BehaviouralInstance
- ChaoticClientInstance
- CodeGenerationLanguage
- ComponentInstance
- Context
- Counterexample
- CoverageReport
- DeadStateCounterexample
- DeadlockCounterexample
- DetermineSpontaneousEnabledTauEvent
- Diagnostic
- DiagnosticCategory
- DiagnosticConsumer
- DiagnosticId
- DivergenceMissingSignalCounterexample
- DrainQueueEvent
- EMFContext
- EMFHelpers
- EmptySpontaneousCounterexample
- Event
- EventuallyCounterexample
- Exception
- ExceptionCounterexample
- ExceptionKind
- ExportedEmfmodule
- FixItHint
- FunctionCallEvent
- FunctionReturnEvent
- IgnoredSignalEvent
- IllegalCounterexample
- IllegalEvent
- IllegalFunctionCallCounterexample
- IllegalLegalOverlapCounterexample
- IllegalSignalCounterexample
- ImplIllegalMismatchCounterexample
- InstanceNetworkState
- Kind
- Kind0
- LanguageStandard
- LicenseDescriptor
- LicenseEventListener
- LicenseResponse
- LoopCounterexample
- MissingSignalCounterexample
- ModulePathType
- NoTerminationDeadlockCounterexample
- NoTerminationLoopCounterexample
- Node
- NonDetTauEvent
- OfferTauEvent
- PortInstance
- Preferences
- ProcessSignalEvent
- PropertyCounterexample
- QueuePushSignalEvent
- ReachabilityCounterexample
- RefinementCounterexample
- ResponsiveCounterexample
- SendSignalEvent
- SilentTauEvent
- Simulator
- SimulatorListener
- SimulatorStepMode
- SimulatorStopReason
- SourcePosition
- SourceRange
- SpecIllegalMismatchCounterexample
- SpontaneousTransitionTauEvent
- StackFrame
- StandaloneContext
- StateCoverageReport
- StateDiagram
- StateEnumValue
- StateMachineSubscriptionStateValue
- StatisticsEntry
- StructValue
- StructuredValue
- TaggedUnionEnumValue
- TauEvent
- Thread
- ThreadState
- TimerTransitionTauEvent
- TraceRefinementCounterexample
- TransitionCoverage
- UnavailableValue
- UnusedTransitionEventValue
- UserInfo
- Value
- VariableBinding
- VerificationAssertion
- VerificationProgressListener
- VerificationStatistics
- VerificationStatus