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