Index

Symbols

--backend <option> coco command line option --benchmark coco command line option --code-index-format <option> coco command line option --colour <boolean> coco command line option --component <name> coco command line option --diagnostic-format <option> coco command line option --error-limit <limit> coco command line option --error-suffix <suffix> coco command line option --format <option> coco command line option, [1], [2] --header-file-suffix <string> coco command line option --header-for <path> coco command line option --hide-labels coco command line option --hide-ports coco command line option --ignore-cache coco command line option --implementation-file-suffix <string> coco command line option --implementation-for <path> coco command line option --import-path coco command line option --include-prefix <path> coco command line option --max-local-jobs coco command line option --mocks <option> coco command line option --multi coco command line option --new-suffix <suffix> coco command line option --no-crash-reporter coco command line option --no-license-server coco command line option

--ok-suffix <suffix> coco command line option --output <path> coco command line option, [1], [2], [3] --output-code-index <path> coco command line option --output-deps coco command line option --output-empty-files coco command line option --output-mode <option> coco command line option --output-runtime-header coco command line option --output-unchanged-files coco command line option --override-licenses <path> coco command line option --override-preferences <path> coco command line option --package <path> coco command line option --quiet coco command line option --restrict <path> coco command line option --selected-tool-version coco command line option --selection <name> coco command line option --separate-edges coco command line option --stats coco command line option --target <name> coco command line option --verify coco command line option --version coco command line option --warning-limit <limit> coco command line option -i <path> coco command line option -o <path> coco command line option 1 (Coco Language Standard) 1.1 (Coco Language Standard)

A

abort (in module Base) Abort (Java field) AbsoluteFilePath (Java field) AbstractedTypeInInteface (Java field) AccessSpecifier (JSON Schema) AccessSpecifierInconsistency (Java field) AccessSpecifiersNotAllowedForImport (Java field) AccessSpecifiersNotAllowedForTraitInstances (Java field) AccessSpecifiersNotAllowedForVerify (Java field) AccessSpecifiersNotAllowedInStateMachine (Java field) addAttribute(BaseNode, DeclRef) (Java method) addAttribute(BaseNode, DeclRef, Collection) (Java method) addDiagnosticsConsumer(io.cocotec.coco.platform.coco.DiagnosticConsumer) (Java method) addImportPath(String) (Java method) addListener(io.cocotec.coco.platform.coco.ide.SessionListener) (Java method) addListener(io.cocotec.coco.platform.coco.SimulatorListener) (Java method) addListener(ServerStatusListener) (Java method) addOfflineActivationResponse(String) (Java method) addPackageDependency(String) (Java method) addPackageSource(String) (Java method), [1] addQueueSizeAttribute(ComponentDecl, int) (Java method) addRuntimeAttribute(ComponentDecl, boolean) (Java method) addVerificationProgressListener(io.cocotec.coco.platform.coco.VerificationProgressListener) (Java method) AltersTransitionKindHere (Java field) Always (Java field) AlwaysHasTraceAssert (Java field) AlwaysHasTraceCounterexample (Java class) (Java field) AlwaysHasTraceCounterexample(APIClient) (Java constructor) AlwaysUninitializedRead (Java field) AmbiguousFunctionOverload (Java field) AmbiguousMatchingInstance (Java field) AmbiguousMemberOverload (Java field) AmbiguousModuleImportPackage (Java field) AmbiguousObservedEvent (Java field) AmbiguousPackage (Java field) AmbiguousTopLevelPackageFile (Java field) AmbiguousTransitionTauEvent (Java class) (Java field) AmbiguousTransitionTauEvent(APIClient) (Java constructor) AmbiguousVariableReference (Java field) Analyser (Java field) AnGuardIsDiv (Java field) AnyDecl (JSON Schema) AnySignal (in module Base) AnyValue (JSON Schema) APIClient (Java class) APIClient() (Java constructor) apply() (Java method) ArchitectureDiagram (Java class) ArchitectureDiagram(APIClient) (Java constructor) ArchitectureDiagramGenerationFailed (Java field) ArchitectureDiagramHandle (Java class) ArchitectureDiagramHandle(APIClient) (Java constructor) ArchitectureDiagramHandle(APIClient, long) (Java constructor) ArgumentIsDiv (Java field) ArithmeticOverflow (Java field) Array (in module Base) Array Literal (Coco expression) Array Subscript (Coco expression) ArrayDereference (in module CPP)

ArrayDereferenceExpr (Java field) ArrayEventSource (Java field) ArrayLiteralExpr (Java field) ArrayLogFormatter (in module Base) ArrayOutOfBounds (Java field) ArraySubscriptMustBeVerified (Java field) ArrayValue (Java class) (Java field) (JSON Schema) ArrayValue(APIClient) (Java constructor) assert (in module Base) Assert (Java field) AssertCannotBeExternal (Java field) AssertCannotBeNegated (Java field) AssertExpectedConstructorCall (Java field) AssertExpectedDecl (Java field) AssertExpectedRuntime (Java field) AssertExpectedTrace (Java field) AssertExternalTraceImplLevel (Java field) AssertExternalTracePort (Java field) AssertHasTraceStateMachineArgument (Java field) AssertNonVerifiable (Java field) AssertNonVerifiableComponent (Java field) AssertNonVerifiablePort (Java field) Assign (in module CPP) Assignment (Coco expression) AssignmentExpr (Java field) AssignsToInstanceVariableHere (Java field) AssignsToLocalVariableHere (Java field) AssignsToVariableHere (Java field) AssociatedTypeTypeDecl (Java field) AssociatedValueTypeDecl (Java field) AssumptionOnConcreteTypes (Java field) AtomicValue (Java class) (Java field) AtomicValue(APIClient) (Java constructor) Attribute (Java field) (JSON Schema) AttributeAsExpr (Java field) AttributeCannotApplyTo (Java field) AttributeDecl (Java field) AttributeDeclGenerated (Java field) AttributeOnlyAppliedTo (Java field) AttributesDecl (Java field) AttributesPrecedeTransitionNames (Java field) AUTHENTICATION_HEADER_KEY (Java field) AwaitClause (Java field) AwaitClauseDisallowedGuard (Java field) AwaitCoverageReport (Java class) AwaitCoverageReport(APIClient) (Java constructor) AwaitDuplicateEmptyClause (Java field) AwaitDuplicateEmptyClausePrevious (Java field) AwaitEntryExitFunction (Java field) AwaitFallbackEvent (Java field) AwaitFallbackMustBeLast (Java field) AwaitHere (Java field) AwaitInheritWrongEvent (Java field) AwaitInsideNonResolvingClause (Java field) AwaitInTimerTransition (Java field) AwaitNonFunction (Java field) AwaitPeriodicEventSimple (Java field)

B

Base (module) BaseClass (JSON Schema) BaseMissingSignalCounterexample (Java class) BaseMissingSignalCounterexample(APIClient) (Java constructor) BaseNode (JSON Schema) BaseTraceRefinementCounterexample (Java class) BaseTraceRefinementCounterexample(APIClient) (Java constructor) Become (Coco statement) BecomeArgumentDeclaredHere (Java field) BecomeCannotDeduceFunction (Java field) BecomeExactParameterType (Java field) BecomeExactReturnType (Java field) BecomeInvalidInstanceVariable (Java field) BecomeInvalidOutParam (Java field) BecomeInvalidOutParamIndex (Java field) BecomeNotACall (Java field) BecomeOutsideFunction (Java field) BecomeParameterCountMismatch (Java field) BecomeStmt (Java field) beginEntry (in module Base) beginField (in module Base), [1] Behaviour (Java class) behaviour() (Java method), [1] Behaviour(APIClient) (Java constructor) behaviour1() (Java method) behaviour2() (Java method) BehaviouralInstance (Java class) BehaviouralInstance(APIClient) (Java constructor) BehaviourComparisonCounterexample (Java class)

BehaviourComparisonCounterexample(APIClient) (Java constructor) BehaviourCounterexample (Java class) BehaviourCounterexample(APIClient) (Java constructor) BenchmarkExpectedPackage (Java field) BenchmarkNoFiles (Java field) BenchmarkStoped (Java field) Binary (Coco type) Binary Operator (Coco expression) BinaryOperationExpr (Java field) BinaryOperationTypeRepr (Java field) BinaryOperator (in module CPP) binaryOperator (in module CPP) Block (Coco expression) BlockExpr (Java field) Bool (in module Base) Bounded (in module Base) (in module Vector2) BoundedInt (in module Base) BoundedOutOfBounds (Java field) BoundedVector (in module Vector) (in module Vector2) BoundLabelExpr (Java field) BoundUncomputableAtCompileTime (Java field) Break (Coco statement) BreakAwaitNonStmt (Java field) BreakAwaitTypeMismatch (Java field) BreakMatchNonStmt (Java field) BreakMatchTypeMismatch (Java field) BreakStmt (Java field) BufferAttributeStackSize (Java field)

C

C (Java field) CalledVia (Java field) CallExpr (Java field) CallForIndependentEvent (Java field) CallsRequiredPortHere (Java field) CallsSetNextStateHere (Java field) cancel() (Java method) cancelVerification() (Java method) cancelVerify() (Java method) CannotComputeValueAtCompileTime (Java field) CannotConstructValueFromIntegerLiteral (Java field) CannotCreateDir (Java field) CannotDeriveInstance (Java field) CannotDeriveWhenFieldIsPrivate (Java field) CannotDetermineGenericArgument (Java field) CannotDetermineGenericArguments (Java field) CannotEvaluate (Java field) CannotExtractRuntime (Java field) CannotImportInternalModule (Java field) CannotInferPortBehaviour (Java field) CannotInferPortBehaviourBecause (Java field) CannotLookupMembers (Java field) CannotParseWorkspace (Java field) CannotPerformBinaryOpOnLiteralTypes (Java field) CannotPerformBinaryOpOnType (Java field) CannotPerformBinaryOpOnType2Trait (Java field) CannotPerformBinaryOpOnTypes (Java field) CannotSpecialiseBase (Java field) CannotSynthesiseTypeClassInstanceForType (Java field) CannotUsePortBehaviourBecause (Java field) CannotUsePortBehaviourBecauseUnbounded (Java field) Cast (Coco expression) (in module Base) cast (in module Base), [1] CEmptyStruct (Java field) CFunctionOverloading (Java field) ChaoticClientInstance (Java class) (Java field) ChaoticClientInstance(APIClient) (Java constructor) Char (in module Base) childAssertions() (Java method) children() (Java method) Choice (Java field) choices() (Java method) ChoiceTerminated (Java field) CInterpolatedStringInvalid (Java field) clear (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3] client (Java field), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10] closeProject(io.cocotec.coco.platform.coco.ide.Project) (Java method) CNamespacesNotSupported (Java field) coco command line option --backend <option> --benchmark --code-index-format <option> --colour <boolean> --component <name> --diagnostic-format <option> --error-limit <limit> --error-suffix <suffix> --format <option>, [1], [2] --header-file-suffix <string> --header-for <path> --hide-labels --hide-ports --ignore-cache --implementation-file-suffix <string> --implementation-for <path> --import-path --include-prefix <path> --max-local-jobs --mocks <option> --multi --new-suffix <suffix> --no-crash-reporter --no-license-server --ok-suffix <suffix> --output <path>, [1], [2], [3] --output-code-index <path> --output-deps --output-empty-files --output-mode <option> --output-runtime-header --output-unchanged-files --override-licenses <path> --override-preferences <path> --package <path> --quiet --restrict <path> --selected-tool-version --selection <name> --separate-edges --stats --target <name> --verify --version --warning-limit <limit> -i <path> -o <path> Coco1 (Java field) Coco1_1 (Java field) Coco1_2 (Java field) coco::BaseComponent (C++ class) coco::BaseComponent::add_observer (C++ function) coco::BaseComponent::BaseComponent (C++ function), [1] coco::BaseComponent::coco_logger_ (C++ member) coco::BaseComponent::coco_start (C++ function) coco::BaseComponent::logger (C++ function) coco::BaseComponent::name (C++ function) coco::BaseComponent::name_ (C++ member) coco::BaseComponent::operator= (C++ function) coco::BaseComponent::send_machine_starting (C++ function) coco::BaseComponent::send_machine_terminated (C++ function) coco::BaseComponent::set_logger (C++ function) coco::BaseComponent::set_logger_recursively (C++ function) coco::BaseComponent::set_name (C++ function), [1] coco::BaseComponent::set_names_recursively (C++ function) coco::BaseComponent::started_ (C++ member) coco::BaseComponent::~BaseComponent (C++ function) coco::BaseMultiThreadedEncapsulatingComponent (C++ class) coco::BaseMultiThreadedEncapsulatingComponent::BaseMultiThreadedEncapsulatingComponent (C++ function) coco::BaseMultiThreadedEncapsulatingComponent::have_all_machines_terminated (C++ function) coco::BaseMultiThreadedEncapsulatingComponent::mutex_ (C++ member) coco::BaseMultiThreadedEncapsulatingComponent::set_names_recursively (C++ function) coco::BaseMultiThreadedEncapsulatingComponent::wait_for_component_termination (C++ function) coco::BaseMultiThreadedEncapsulatingComponent::~BaseMultiThreadedEncapsulatingComponent (C++ function) coco::BasePort (C++ class) coco::BasePort::BasePort (C++ function), [1] coco::BasePort::coco_start (C++ function) coco::BasePort::operator= (C++ function) coco::BasePort::~BasePort (C++ function) coco::BaseProvidedPort (C++ class) coco::BaseProvidedPort::single_threaded_subscribe (C++ function) coco::BaseProvidedPort::single_threaded_unsubscribe (C++ function) coco::BaseSingleThreadedComponent (C++ class) coco::BaseSingleThreadedComponent::add_single_threaded_subscriber (C++ function) coco::BaseSingleThreadedComponent::BaseSingleThreadedComponent (C++ function) coco::BaseSingleThreadedComponent::cancel_timer (C++ function) coco::BaseSingleThreadedComponent::coco_drain_queue (C++ function) coco::BaseSingleThreadedComponent::enable_timer (C++ function) coco::BaseSingleThreadedComponent::execute_timer (C++ function) coco::BaseSingleThreadedComponent::remove_single_threaded_subscriber (C++ function) coco::BaseSingleThreadedComponent::send_drain_queue (C++ function) coco::BaseSingleThreadedComponent::set_timer_executor (C++ function) coco::BaseSingleThreadedEncapsulatingComponent (C++ class) coco::BaseSingleThreadedEncapsulatingComponent::all_machines_terminated (C++ function) coco::BaseSingleThreadedEncapsulatingComponent::BaseSingleThreadedEncapsulatingComponent (C++ function) coco::BaseSingleThreadedEncapsulatingComponent::have_all_machines_terminated (C++ function) coco::BaseSingleThreadedEncapsulatingComponent::set_names_recursively (C++ function) coco::BaseSingleThreadedEncapsulatingComponent::~BaseSingleThreadedEncapsulatingComponent (C++ function) coco::ComponentObserver (C++ class) coco::ComponentObserver::machine_starting (C++ function) coco::ComponentObserver::machine_terminated (C++ function) coco::ComponentObserver::~ComponentObserver (C++ function) coco::ConnectionPoint (C++ class) coco::ConnectionPoint::connect (C++ function) coco::ConnectionPoint::~ConnectionPoint (C++ function) coco::expected (C++ class) coco::expected::error (C++ function), [1] coco::expected::expected (C++ function), [1], [2], [3], [4], [5], [6] coco::expected::has_error (C++ function) coco::expected::has_value (C++ function) coco::expected::operator!= (C++ function) coco::expected::operator= (C++ function), [1] coco::expected::operator== (C++ function) coco::expected::value (C++ function), [1] coco::expected::value_or (C++ function) coco::expected::~expected (C++ function) coco::IllegalException (C++ class) coco::IllegalException::component_name (C++ function) coco::IllegalException::IllegalException (C++ function), [1], [2] coco::IllegalException::operator= (C++ function) coco::IllegalException::state_name (C++ function) coco::IllegalException::what (C++ function) coco::IllegalException::~IllegalException (C++ function) coco::Iterable (C++ struct) coco::Iterable<Range<T>> (C++ struct) coco::Iterable<Range<T>>::ElementType (C++ type) coco::Iterable<std::array<T, size>> (C++ struct) coco::Iterable<std::array<T, size>>::ElementType (C++ type) coco::MultiThreadedGMockHelper (C++ class) coco::MultiThreadedGMockHelper::execute_async (C++ function), [1] coco::MultiThreadedGMockHelper::InvokeAsync (C++ function), [1] coco::MultiThreadedGMockHelper::MultiThreadedGMockHelper (C++ function) coco::MultiThreadedGMockHelper::~MultiThreadedGMockHelper (C++ function) coco::optional (C++ class) coco::optional::has_value (C++ function) coco::optional::operator= (C++ function), [1], [2], [3] coco::optional::optional (C++ function), [1], [2], [3], [4] coco::optional::reset (C++ function) coco::optional::value (C++ function), [1] coco::optional::value_or (C++ function) coco::optional::~optional (C++ function) coco::SingleThreadedGMockHelper (C++ class) coco::SingleThreadedGMockHelper::cancel_timer (C++ function) coco::SingleThreadedGMockHelper::coco_drain_queue (C++ function) coco::SingleThreadedGMockHelper::enable_timer (C++ function) coco::SingleThreadedGMockHelper::execute_async (C++ function), [1] coco::SingleThreadedGMockHelper::InvokeAsync (C++ function), [1] coco::SingleThreadedGMockHelper::SingleThreadedGMockHelper (C++ function) coco::SingleThreadedGMockHelper::~SingleThreadedGMockHelper (C++ function) coco::SingleThreadedSubscriber (C++ class) coco::SingleThreadedSubscriber::coco_drain_queue (C++ function) coco::SingleThreadedSubscriber::~SingleThreadedSubscriber (C++ function) coco::SingleThreadedTimerExecutor (C++ class) coco::SingleThreadedTimerExecutor::cancel_timer (C++ function) coco::SingleThreadedTimerExecutor::enable_timer (C++ function) coco::SingleThreadedTimerExecutor::operator= (C++ function) coco::SingleThreadedTimerExecutor::SingleThreadedTimerExecutor (C++ function), [1] coco::SingleThreadedTimerExecutor::~SingleThreadedTimerExecutor (C++ function) coco::StateMachineLogger (C++ class) coco::StateMachineLogger::abort (C++ function) coco::StateMachineLogger::event_finished (C++ function), [1] coco::StateMachineLogger::event_started (C++ function), [1] coco::StateMachineLogger::EventLogger (C++ class) coco::StateMachineLogger::EventLogger::begin_current_state (C++ function) coco::StateMachineLogger::EventLogger::begin_parameter (C++ function) coco::StateMachineLogger::EventLogger::begin_return_value (C++ function) coco::StateMachineLogger::EventLogger::current_state (C++ function) coco::StateMachineLogger::EventLogger::done (C++ function) coco::StateMachineLogger::EventLogger::end_current_state (C++ function) coco::StateMachineLogger::EventLogger::end_parameter (C++ function) coco::StateMachineLogger::EventLogger::end_return_value (C++ function) coco::StateMachineLogger::EventLogger::EventLogger (C++ function), [1] coco::StateMachineLogger::EventLogger::formatter (C++ function) coco::StateMachineLogger::EventLogger::message (C++ function), [1], [2] coco::StateMachineLogger::EventLogger::operator= (C++ function) coco::StateMachineLogger::EventLogger::parameter (C++ function) coco::StateMachineLogger::EventLogger::return_value (C++ function) coco::StateMachineLogger::EventLogger::~EventLogger (C++ function) coco::StateMachineLogger::machine_started (C++ function) coco::StateMachineLogger::machine_starting (C++ function) coco::StateMachineLogger::machine_terminated (C++ function) coco::StateMachineLogger::message (C++ function), [1], [2] coco::StateMachineLogger::state_entry_started (C++ function) coco::StateMachineLogger::state_exit_finished (C++ function) coco::StateMachineLogger::~StateMachineLogger (C++ function) coco::StreamMachineLogger (C++ class) coco::StreamMachineLogger::cerr (C++ function) coco::StreamMachineLogger::cout (C++ function) coco::unexpected (C++ class) coco::unexpected::operator= (C++ function), [1] coco::unexpected::unexpected (C++ function), [1], [2], [3], [4] coco::unexpected::value (C++ function), [1] coco::unexpected::~unexpected (C++ function) coco::variant (C++ class) coco::variant::get (C++ function), [1], [2], [3] coco::variant::index (C++ function) coco::variant::operator!= (C++ function) coco::variant::operator= (C++ function), [1] coco::variant::operator== (C++ function) coco::variant::variant (C++ function), [1], [2], [3], [4], [5], [6] coco::variant::~variant (C++ function) CocoDeclRef (JSON Schema) CocoEventuallyAndUnreliableAttributes (Java field) CocoEventuallyAttributeComponentOffer (Java field) CocoExtendedKind (JSON Schema) CocoModuleKind (JSON Schema) CocoParameterKind (JSON Schema) CocoPlatform (Java field) CocoPlatformBase (Java field) CocoPlatformUICommandLine (Java field) CocoPlatformUIEclipse (Java field) CocoPlatformUISimulator (Java field) CocoPlatformUML (Java field) CocoPlatformUMLUIMagicDraw (Java field) CocoPosition (JSON Schema) CocoRequirements (Java field) CodeCompletionEvent (Java field) CodeCompletionEventSource (Java field) CodeCompletionExpr (Java field) CodeCompletionPattern (Java field) CodeCompletionTokenNotFound (Java field) CodeCompletionTokenRequired (Java field) CodeCompletionTypeRepr (Java field) codeGenerationFinished(io.cocotec.coco.platform.coco.ide.Project, boolean, String) (Java method) CodeGenerationLanguage (Java enum) codeGenerationStarted(io.cocotec.coco.platform.coco.ide.Project) (Java method) compatible (in module Vector2) CompatibleAttributeDuplicateRuntime (Java field)

CompileTimeConstantTypeInitialiser (Java field) Component (Coco declaration) ComponentConstructorRequiresArguments (Java field) ComponentDataFieldNoDefault (Java field) ComponentDecl (Java field) ComponentDisallowedExternalInheritance (Java field) ComponentDisallowedExternalSection (Java field) ComponentDisallowedInheritance (Java field) ComponentDoubleBorrowed (Java field) ComponentDuplicateSection (Java field) ComponentDuplicateSectionPrevious (Java field) ComponentFieldHere (Java field) ComponentFieldVerified (Java field) ComponentInstance (Java class) (Java field) componentInstance() (Java method) ComponentInstance(APIClient) (Java constructor) ComponentKind (Java enum) componentKind() (Java method) ComponentLentOutHere (Java field) ComponentMultipleConstructors (Java field) ComponentMultipleInheritance (Java field) ComponentResolution (Java field) ComponentShouldHandleProvided (Java field) ComponentShouldHaveStateMachine (Java field) CompositeInheritsSimple (Java field) CompositionalSlow (Java field) Compound Await (Coco expression) CompoundAwaitExpr (Java field) CompoundEventHandler (Java field) CompoundEventHandlerClause (Java field) CompoundEventHandlerUnnecessaryFallback (Java field) CompoundEventHandlerWithinCompound (Java field) ConflictingFlags (Java field) ConflictingReferenceFirstUse (Java field) ConflictingReferenceLocalMemberCallExpr (Java field) ConflictingReferences (Java field) connect (Coco function) Connected (Java field) Connecting (Java field) ConnectionAreNotTotal (Java field) ConnectionAreNotTotalButSomeAre (Java field) ConnectionArrayExprDisallowedIndex (Java field) ConnectionExprDisallowed (Java field) ConnectionExprPortType (Java field) ConnectionIncompatibleRuntime (Java field) ConnectionIsExclusive (Java field) ConnectionMultiplicity (Java field) ConnectionToMachinePortField (Java field) ConstraintMappedTraitInstanceExtraTypeParams (Java field) ConstraintMappedTraitInstanceOnImportedType (Java field) ConstraintMappedTraitInstanceStricterThanType (Java field) ConstraintMappedTraitInstanceStricterThanTypeInfo (Java field) ConstraintMappedTraitInstanceTypeArgumentNotGenericType (Java field) ConstraintMappedTraitInstanceTypeArgumentNotUnique (Java field) ConstReference (in module CPP) Constructor (Coco declaration) ConstructorArrayInitialiserNonLiteral (Java field) ConstructorCallExpr (Java field) ConstructorCallViaComplexExpression (Java field) ConstructorDecl (Java field) (JSON Schema) ConstructorExpectedBlock (Java field) ConstructorExpectedBlockNoValue (Java field) ConstructorInitialiserTargetNotSimple (Java field) ConstructorsMustBePublic (Java field) ConstructorUnrecognisedStmt (Java field) ConstructSignalExpr (Java field) Context (Java class) Context(APIClient) (Java constructor) Context(APIClient, long) (Java constructor) Continue (Coco statement) ContinueChoice (Java field) ContinueStmt (Java field) CouldNotFind (Java field) CouldNotFindImport (Java field) CouldNotFindImportInPackage (Java field) CouldNotFindPackage (Java field) CouldNotFindStateMachine (Java field) CouldNotOpen (Java field) CouldNotOpenDirectory (Java field) CouldNotOpenOutputFile (Java field) CouldNotPostprocessGraph (Java field) CouldNotWrite (Java field) Counterexample (Java class) Counterexample(APIClient) (Java constructor) CounterexampleAmbiguousOutput (Java field) CounterexampleDuplicateOutput (Java field) counterexamples() (Java method), [1], [2] Coverage (Java enum) coverage(io.cocotec.coco.platform.coco.BehaviouralInstance) (Java method) CoverageReport (Java class) CoverageReport(APIClient) (Java constructor) CPP (Java field) (module) CPPConflictingRecordMember (Java field) CppPortChildNameConflict (Java field) CppPortChildNameConflictPrevious (Java field) crashReportingConsent() (Java method) createAbortDeclRef() (Java method) createArrayDeclRef() (Java method) createArrayDereferenceExpr(Expr, Expr) (Java method) createArrayEventSource(EventSource, Pattern, Expr) (Java method) createArrayLiteralExpr(Collection) (Java method) createArrayTypeRepr(TypeRepr, int) (Java method) createAssertDeclRef() (Java method) createAssignmentExpr(Expr, Expr) (Java method) createAttribute(DeclRef) (Java method) createAttribute(DeclRef, Collection) (Java method) createAttributeDecl(String, Collection) (Java method) createBaseDeclRef(String) (Java method) createBecomeStmt(Expr) (Java method) createBinaryOperationExpr(Expr, BinaryOperation, Expr) (Java method) createBlockExpr() (Java method) createBlockExpr(Collection) (Java method) createBlockExpr(Collection, Expr) (Java method) createBoolDeclRef() (Java method) createBoolTypeRepr() (Java method) createBoundDeclRef(ValueDecl) (Java method) createBoundedDeclRef() (Java method) createBoundedIntTypeRepr(int, int) (Java method) createBoundedTypeRepr(int, int) (Java method) createBreakStmt() (Java method) createBreakStmt(LoopStmt) (Java method) createBreakStmt(String) (Java method) createBuiltinDeclRef(String, String) (Java method) createBuiltinDeclRef(String, String, int) (Java method) createCallExpr(Expr, Collection) (Java method) createCharDeclRef() (Java method) createCharTypeRepr() (Java method) createComponentDecl(String) (Java method) createCompoundEventHandler(Collection, EventHandler) (Java method) createCompoundEventHandlerClause(EventHandler) (Java method) createCompoundEventHandlerClause(Expr, EventHandler) (Java method) createConstructorDecl(BlockExpr) (Java method) createContinueStmt() (Java method) createContinueStmt(LoopStmt) (Java method) createContinueStmt(String) (Java method) createDeclStmt(VariableDecl) (Java method) createEnumCaseDecl(String) (Java method) createEnumCaseDecl(String, Collection) (Java method) createEnumCaseDecl(String, Expr) (Java method) createEnumCasePattern(DeclRef, Collection) (Java method) createEnumDecl(String, Collection) (Java method) createEqDeclRef() (Java method) createEventStateDecl(String) (Java method) createExecutionStateDecl(String, BlockExpr) (Java method) createExprEventHandler(Expr) (Java method) createExternalCodeExpr(String) (Java method) createExternalCodeExpr(String, TypeRepr) (Java method) createExternalComponentDecl(String, Collection) (Java method) createExternalComponentDecl(String, String, PortDecl) (Java method) createExternalConstantDecl(String, TypeRepr, Expr) (Java method) createExternalFunctionDecl(String, GenericSignatureRepr, Collection, TypeRepr) (Java method) createExternalFunctionDecl(String, GenericSignatureRepr, Collection, TypeRepr, Expr) (Java method) createExternalTypeDecl(String) (Java method) createExternalTypeDecl(String, GenericSignatureRepr) (Java method) createFalseDeclRef() (Java method) createFieldDecl(String, TypeRepr) (Java method) createFieldDecl(String, TypeRepr, ConstantMode) (Java method) createFieldEventSource(EventSource, DeclRef) (Java method) createForStmt(ParameterDecl, Expr, BlockExpr) (Java method) createForStmt(String, ParameterDecl, Expr, BlockExpr) (Java method) createFunctionArgument(String, TypeRepr) (Java method) createFunctionDecl(String, GenericSignatureRepr, Collection, TypeRepr, Expr) (Java method) createFunctionInterfaceDecl(String, Collection, TypeRepr) (Java method) createFunctionTypeRepr(Collection, TypeRepr) (Java method) createGenericRequirementRepr(DeclRef, Collection) (Java method) createGenericSignatureRepr(Collection, Collection) (Java method) createIfExpr(Expr, Expr, Expr) (Java method) createIllegalEventHandler() (Java method) createIntDeclRef() (Java method) createIntTypeRepr() (Java method) createInvariantDecl(Expr) (Java method) createLiteralChar(char) (Java method) createLiteralExpr(Literal) (Java method) createLiteralInt(int) (Java method) createLiteralPattern(Literal) (Java method) createLiteralString(String) (Java method) createLiteralTypeRepr(Literal) (Java method) createMatchClause(Pattern, Expr) (Java method) createMatchExpr(Expr) (Java method) createMatchExpr(Expr, Collection) (Java method) createMatchExpr(String, Expr) (Java method) createMatchExpr(String, Expr, Collection) (Java method) createMemberReferenceExpr(Expr, DeclRef) (Java method) createMemberReferenceExpr(Expr, ValueDecl) (Java method) createModuleDecl(String) (Java method) createModuleDecl(String, Collection) (Java method) createNilDeclRef() (Java method) createnilDeclRef() (Java method) createNilTypeRepr() (Java method) createNonDetClause(Expr) (Java method) createNonDetClause(Expr, Expr) (Java method) createNonDetExpr(Collection) (Java method) createNonDetExpr(Collection, Expr) (Java method) createOptionalExpr(Expr) (Java method) createOrdDeclRef() (Java method) createParameterDecl(String) (Java method) createParameterDecl(String, TypeRepr) (Java method) createPortDecl(String) (Java method) createPortDecl(String, Collection) (Java method) createPortDecl(String, Collection, Collection) (Java method) createQualifedImportDecl(DeclRef) (Java method) createQueueAttributeDeclRef() (Java method) createRangeDeclRef() (Java method) createRecordDecl(String, GenericSignatureRepr, Collection) (Java method) createReferenceTypeRepr(ReferenceKind, TypeRepr) (Java method) createRepresentsDeclRef() (Java method) createRequalifedImportDecl(DeclRef, String) (Java method) createReturnStmt(Expr) (Java method) createRuntimeDeclRef() (Java method) createSelfDeclRef() (Java method) createSignalDecl(String, SignalDirection, Collection) (Java method) createSimulatorFinished(io.cocotec.coco.platform.coco.ide.Project, io.cocotec.coco.platform.coco.Counterexample, io.cocotec.coco.platform.coco.BehaviouralInstance, io.cocotec.coco.platform.coco.Simulator) (Java method) createSimulatorFinished(io.cocotec.coco.platform.coco.ide.Project, io.cocotec.coco.platform.coco.ide.ProjectTreeNode, io.cocotec.coco.platform.coco.Simulator) (Java method) createSimulatorStarted(io.cocotec.coco.platform.coco.ide.Project, io.cocotec.coco.platform.coco.Counterexample, io.cocotec.coco.platform.coco.BehaviouralInstance) (Java method) createSimulatorStarted(io.cocotec.coco.platform.coco.ide.Project, io.cocotec.coco.platform.coco.ide.ProjectTreeNode) (Java method) createSpontaneousTransition(Expr, Expr) (Java method) createStateMachineDecl(String) (Java method) createStateMachineDecl(String, Collection) (Java method) createStorageDeclPattern(ParameterDecl) (Java method) createStringDeclRef() (Java method) createStringTypeRepr() (Java method) createTransition(Expr, EventSource, DeclRef, Collection, EventHandler) (Java method) createTrueDeclRef() (Java method) createTypeAliasDecl(String, GenericSignatureRepr, TypeRepr) (Java method) createTypeClassDecl(String, GenericSignatureRepr, Collection) (Java method) createTypeClassInstanceDecl(DeclRef, GenericSignatureRepr, Collection, Collection, Collection) (Java method) createTypeReferenceRepr(DeclRef) (Java method) createTypeReferenceRepr(DeclRef, Collection) (Java method) createTypeVariableTypeParamDecl(String) (Java method) createUnboundDeclRef(String) (Java method) createUndefinedExpr() (Java method) createUndefinedExpr(TypeRepr) (Java method) createUnqualifedImportDecl(DeclRef) (Java method) createUnreliableDeclRef() (Java method) createUnreliableSpontaneousTransition(Expr, Expr) (Java method) createUnusedAttributeDeclRef() (Java method) createValueTypeParamDecl(String, TypeRepr) (Java method) createVariableDecl(String, ConstantMode, TypeRepr) (Java method) createVariableDecl(String, ConstantMode, TypeRepr, Expr) (Java method) createVariableExpr(DeclRef) (Java method) createVariablePattern(DeclRef) (Java method) createVerifyDeclRef() (Java method) createWhileStmt(Expr, BlockExpr) (Java method) createWhileStmt(Expr, Collection) (Java method) createWhileStmt(String, Expr, BlockExpr) (Java method) createWildcardFunctionArgument(TypeRepr) (Java method) createWildcardPattern() (Java method) createWithCapacity (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3] CSharp (Java field) CSharpConflictingTypeMember (Java field) CSharpDefaultNonZero (Java field) CSharpReferenceParamInFunctionReference (Java field) CSharpReferenceType (Java field) CSharpReferenceTypeNested (Java field) CSharpReferenceTypeValueHere (Java field) CSM (Java field) CSMExpectedGenericType (Java field) CSMExpectedNominalType (Java field) CSMNonVerifiedDecl (Java field) CSMUndefinedExpr (Java field) CSMUnknownDecl (Java field) CSMUnknownDeclRequiredHere (Java field) CSMUnknownExternalConstant (Java field) CSMUnknownExternalFunction (Java field) CSMUnknownExternalType (Java field) CSMUnknownNextStateInheritance (Java field) CSMValueDeclUnknown (Java field) currentState() (Java method) CustomTraitsDisallowed (Java field) CycleInComponents (Java field) CycleInConstantDependencies (Java field) CycleInDecls (Java field) CycleInDeclsThrough (Java field) CycleInInstances (Java field) CycleInModuleDependencies (Java field) CycleInPackageDependencies (Java field)

D

DataMembersMustBePrivate (Java field) Deadlock (Java field) DeadlockCounterexample (Java class) (Java field) DeadlockCounterexample(APIClient) (Java constructor) DeadState (in module Vector2) DeadStateCounterexample (Java class) (Java field) DeadStateCounterexample(APIClient) (Java constructor) Decl (JSON Schema) Declaration (Coco statement) DeclaredHere (Java field) DeclaredHereWithAccessSpecifier (Java field) DeclaredSideEffectFreeHere (Java field) DeclLanguageStandardTooOld (Java field) DeclStmt (Java field) DeclUnused (Java field) Default (in module Base) default (in module Base) Default Constructor (Coco expression) defaultHeaders (in module CPP) DefaultOnlyExternal (Java field) DeferredEventHandler (Java field) dependencies (Coco package setting) Dependent Member (Coco type) DeprecatedDecl (Java field) DeprecatedDeclHere (Java field) DeprecatedFunctionDecl (Java field) DeprecatedModuleDecl (Java field) DeprecatedTraitInstanceDecl (Java field) DeprecatedValueDecl (Java field) derive (in module Vector2) DeriveAttributeWithoutTypeClasses (Java field) DeriveAttributeWithRepeatedTypeClasses (Java field) DerivedHere (Java field) DerivedToBaseExpr (Java field) description() (Java method) DetermineSpontaneousEnabledTauEvent (Java class) (Java field) DetermineSpontaneousEnabledTauEvent(APIClient) (Java constructor) Diagnostic (Java class) (JSON Schema) Diagnostic(APIClient) (Java constructor) DiagnosticCategory (Java enum) DiagnosticConsumer (Java class) DiagnosticConsumer(APIClient) (Java constructor) DiagnosticConsumer(APIClient, long) (Java constructor) DiagnosticId (Java enum)

DiamondInheritanceMSVC (Java field) Disabled (Java field), [1] DisallowedComponentFieldType (Java field) DisallowedComponentFieldTypePort (Java field) DisallowedComponentFieldTypePortProvided (Java field) DisallowedComponentFieldTypePortRequired (Java field) DisallowedConstructorCall (Java field) DisallowedGenericComponent (Java field) DisallowedMonitorFieldType (Java field) DisallowedPortConnectionCombiation (Java field) DisallowedReference (Java field) DisallowedReferenceInComponentConstructor (Java field) discard (in module Base) Dispatched (Java field) DisplayName (Java field) DivergenceMissingSignalCounterexample (Java class) (Java field) DivergenceMissingSignalCounterexample(APIClient) (Java constructor) divide (in module Base) Divide (in module CPP) DivideByZero (Java field) DocumentationParameterAlreadyDocumented (Java field) DocumentationParameterAlreadyDocumentedPrevious (Java field) DocumentationParameterUnknown (Java field) DocumentationReturnNoValue (Java field) DocumentationReturnsOnNonFunction (Java field) Dot Identifier List (Coco syntax) DrainQueueEvent (Java class) (Java field) DrainQueueEvent(APIClient) (Java constructor) DrainQueueObservedEvent (Java field) DuplicateAttribute (Java field) DuplicateAttributePrevious (Java field) DuplicateBehaviourSection (Java field) DuplicateComponent (Java field) DuplicateComponentStateMachine (Java field) DuplicatedEnumCaseValue (Java field) DuplicatedEnumCaseValuePrevious (Java field) DuplicateEntryAction (Java field) DuplicateExitAction (Java field) DuplicateGeneratedFile (Java field) DuplicateGeneratedFilePrevious (Java field) DuplicateImport (Java field) DuplicateStateMachine (Java field) DuplicateStateMachineConstructor (Java field) DuplicateUnqualifiedImport (Java field) Duration (in module Base) dynamicTooltip() (Java method)

E

ElementType (in module Base) ElseClauseMustBeLastInHandler (Java field) ElseClauseMustBeLastInNonDet (Java field) EMF (Java field) EMFContext (Java class) EMFContext(APIClient) (Java constructor) EMFDuplicateModule (Java field) EMFHelpers (Java class) EMFUnknownClass (Java field) EMFUnknownFeature (Java field) empty (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3] Empty Event (Coco event) EmptyArrayLiteralAmbiguousType (Java field) EmptyAwaitExpr (Java field) EmptyEventNoAwait (Java field) EmptyEventNoStateMachine (Java field) EmptyGenericSignature (Java field) EmptyMatchExpr (Java field) EmptyNonDetExpr (Java field) EmptyQueueEvent (Java field) EmptySpontaneousCounterexample (Java class) (Java field) EmptySpontaneousCounterexample(APIClient) (Java constructor) EmptyTypeArgumentList (Java field) Enabled (Java field) EnabledCloud (Java field) EnabledCustomOnly (Java field) EnabledRemoteOnly (Java field) EnabledRemoteOnlyWhenAvailable (Java field) Encapsulating (Java field) EncapsulatingComponentDecl (Java field) EncapsulatingComponentInconsistentRuntime (Java field) EncapsulatingComponentInvalidContainment (Java field) EncapsulatingComponentNoConstructor (Java field) EncapsulatingSingleThreadedWrapper (Java field) enclosingDecl() (Java method) EnclosingNonContainedWorkspace (Java field) Entry Function (Coco declaration) Enum (Coco declaration) Enum Case (Coco pattern) EnumCaseArgumentCountMismatch (Java field) EnumCaseValueAndArgs (Java field) EnumClassDecl (JSON Schema) EnumConstantDecl (JSON Schema) EnumDecl (JSON Schema) EnumerationCaseDecl (Java field) EnumerationCasePattern (Java field) EnumerationCasesMustBePublic (Java field) EnumerationDecl (Java field) EnumKind (in module CPP) EnumLogFormatter (in module Base) EnumValue (JSON Schema) Eq (in module Base) EqualityComparisonUnverifiedArguments (Java field) equals (in module Base), [1] Equals (in module CPP) equals(io.cocotec.coco.platform.coco.Value) (Java method) equals(Object) (Java method), [1], [2], [3], [4], [5] Error (in module Base) error (in module Base) Error (Java field), [1] ErrorCouldNotOpenFile (Java field) ErrorEvent (Java field) errorEvent() (Java method) ErrorEventSource (Java field) ErrorExpr (Java field) errorInstance() (Java method) errorInstanceState() (Java method) ErrorLimitExceeded (Java field) errorMinAcc() (Java method) ErrorPattern (Java field) errorToString() (Java method) ErrorTypeRepr (Java field) Event (Coco event) (Java class) Event Handler (Coco syntax) Event Source (Coco declaration) Event State (Coco declaration) Event Transition (Coco declaration) Event(APIClient) (Java constructor) EventEndObservedEvent (Java field) EventHandled (Java enum) EventNotWithinSpecifiedField (Java field) EventRequiresExprEventHandler (Java field) EventRequiresTransition (Java field) events() (Java method), [1] EventStartObservedEvent (Java field) EventState (Java field) EventSummary (Java class) EventSummary(APIClient) (Java constructor) EventToEventBaseExpr (Java field) eventually (in module Vector2) EventuallyAssumption (in module Base) EventuallyAssumptionNonStatic (Java field) eventuallyAttribute() (Java method) EventuallyCounterexample (Java class) (Java field) EventuallyCounterexample(APIClient) (Java constructor) eventuallyNode() (Java method) eventuallyPremiseIndex() (Java method) Exception (Java class) exception() (Java method) Exception(APIClient) (Java constructor) ExceptionCounterexample (Java class) (Java field) ExceptionCounterexample(APIClient) (Java constructor) ExceptionKind (Java enum) ExcessiveTypeArgumentCount (Java field) Executing (Java field) Execution State (Coco declaration) ExecutionState (Java field) ExecutionStateInSingleThreaded (Java field) ExecutionStateInSingleThreadedPort (Java field) Exit Function (Coco declaration) ExpectedAMonitor (Java field) ExpectedArrowInFunctionType (Java field) ExpectedAssignAfterArgumentList (Java field) ExpectedAssignAfterSpontaneous (Java field) ExpectedAssignAfterTimerDuration (Java field) ExpectedAssignAfterUnused (Java field) ExpectedAssociatedButFunction (Java field) ExpectedAssociatedType (Java field) ExpectedAt (Java field) ExpectedAttribute (Java field) ExpectedAttributeArgumentCount (Java field) ExpectedATypeClass (Java field) ExpectedBacktick (Java field) ExpectedBraceAfterNondet (Java field) ExpectedCocoWorkspace (Java field) ExpectedColonTypeAfterVariable (Java field) ExpectedCommaDelimiter (Java field) ExpectedConnectionArrow (Java field) ExpectedDecl (Java field)

ExpectedDeclAfterAbstract (Java field) ExpectedDeclAfterExternal (Java field) ExpectedDirectedForTrigger (Java field) ExpectedEnumCase (Java field) ExpectedEnumMember (Java field) ExpectedEOF (Java field) ExpectedEvent (Java field) ExpectedEventHandler (Java field) ExpectedEventSource (Java field) ExpectedEventSourceObservedEvent (Java field) ExpectedExpr (Java field) ExpectedExprAfterAssign (Java field) ExpectedExprAfterElse (Java field) ExpectedExprAfterIfGuard (Java field) ExpectedExprAfterImplies (Java field) ExpectedExprAfterImpliesAwait (Java field) ExpectedExprAfterIn (Java field) ExpectedExprAfterMatch (Java field) ExpectedExprAfterOperator (Java field) ExpectedExprAfterOptional (Java field) ExpectedExprAfterOtherwise (Java field) ExpectedExprAfterReturn (Java field) ExpectedExprAfterSend (Java field) ExpectedExprAsArrayIndex (Java field) ExpectedExprAsAssert (Java field) ExpectedExprAsDuration (Java field) ExpectedExprAsIfGuard (Java field) ExpectedExprAsWhileGuard (Java field) ExpectedExprInParenthesis (Java field) ExpectedFieldEventSource (Java field) ExpectedForOrWhileAfterColon (Java field) ExpectedFunction (Java field) ExpectedFunctionButAssociated (Java field) ExpectedFunctionDecl (Java field) ExpectedFunctionInterface (Java field) ExpectedFunctionOrAssociatedTypeDecl (Java field) ExpectedFunctionOrTypeDecl (Java field) ExpectedImmutableFieldStruct (Java field) ExpectedImpliesInAwaitClause (Java field) ExpectedImpliesInMatchClause (Java field) ExpectedInsteadOfType (Java field) ExpectedIntegerAfterMinus (Java field) ExpectedIntegerLiteralType (Java field) ExpectedLBrace (Java field) ExpectedLBracket (Java field) ExpectedLessThan (Java field) ExpectedLiteralType (Java field) ExpectedLParenOrExtends (Java field) ExpectedMonitorField (Java field) ExpectedMutableFieldStruct (Java field) ExpectedNegatableType (Java field) ExpectedObjectOfType (Java field) ExpectedObservedEvent (Java field) ExpectedParenAssign (Java field) ExpectedPatternInEventSource (Java field) ExpectedPatternInMatchClause (Java field) ExpectedPatternInObservedEvent (Java field) ExpectedPortBehaviour (Java field) ExpectedProvidedFunctionForTrigger (Java field) ExpectedProvidedInterfaceForSignal (Java field) ExpectedRecordMember (Java field) ExpectedReferenceType (Java field) ExpectedRequiredSignalForTrigger (Java field) ExpectedSignalAfter (Java field) ExpectedSignalConstructor (Java field) ExpectedSignalOrFunction (Java field) ExpectedSignalType (Java field) ExpectedSimpleReference (Java field) ExpectedSomethingOfType (Java field) ExpectedStateAfterExecution (Java field) ExpectedStatePattern (Java field) ExpectedStaticFunction (Java field) ExpectedStmtInBlock (Java field) ExpectedStructBindings (Java field) ExpectedStructLike (Java field) ExpectedToken (Java field) ExpectedTrailingSemicolon (Java field) ExpectedType (Java field) ExpectedTypeAfterColon (Java field) ExpectedTypeAfterFunctionArrow (Java field) ExpectedTypeClassDecl (Java field) ExpectedTypeMismatch (Java field) ExpectedTypeMismatchSuggestCast (Java field) ExpectedTypeOperator (Java field) ExpectedTypeReprAfterOperator (Java field) ExpectedTypesToBeEqual (Java field) ExpectedVal (Java field) ExpectedVarOrVal (Java field) ExpectIdentifier (Java field) ExportedEmfmodule (Java class) ExportedEmfmodule(APIClient) (Java constructor) Expression (Coco expression) ExprEventEndObservedEvent (Java field) ExprEventHandler (Java field) ExprEventStartObservedEvent (Java field) ExprInterpolatedStringSegment (Java field) ExprNotGeneric (Java field) ExprSendSignalObservedEvent (Java field) External (Java field) External Constant (Coco declaration) External Function (Coco declaration) External Type (Coco declaration) ExternalAssertCannotBeNegated (Java field) ExternalCodeExpr (Java field) ExternalCodeExprNonExternalType (Java field) ExternalCodeExprNoType (Java field) ExternalCodeExprVerified (Java field) ExternalComponentBadInitialiser (Java field) ExternalComponentConnections (Java field) ExternalComponentConstructorWithParameters (Java field) ExternalComponentDataMember (Java field) ExternalComponentDecl (Java field) ExternalComponentNoPorts (Java field) ExternalComponentOwned (Java field) ExternalComponentReferences (Java field) ExternalComponentsMustBeInitialisedLast (Java field) ExternalComponentStateMachine (Java field) ExternalConstantDecl (Java field) ExternalConstantInitialiser (Java field) ExternalConstantInitialiserMustBeUndefined (Java field) ExternalFunctionDecl (Java field) ExternalFunctionDefault (Java field) ExternalFunctionMustHaveBody (Java field) ExternalFunctionOutParameter (Java field) ExternalImplComponentFieldsMustBeFirst (Java field) ExternalImplementation (Java field) ExternalImplementationComponentInconsistentRuntime (Java field) ExternalImplementationComponentNoPorts (Java field) ExternalImplementationComponentsMustBeInitialisedFirst (Java field) ExternalTypeDecl (Java field) ExternalTypeStructLiteralNonAbstracted (Java field) ExternalTypeStructLiteralNonSpec (Java field) ExtraTypeClassInstanceMemberAttributes (Java field) ExtraValueDeclAttributes (Java field)

F

FailedDeriveInstance (Java field) FailedDeriveInstanceEq (Java field) FailedToDeduceTypeClass (Java field) false (in module Base) FatalError (Java field) FeatureIsDisallowed (Java field) FeatureIsRequired (Java field) Fetching (Java field) Field (Coco declaration) FieldAlreadyBound (Java field) FieldDecl (Java field) (JSON Schema) FieldEventSource (Java field) FieldInitialiserInBannedContext (Java field) FieldInitialiserUnifyFailed (Java field) FieldsMustBeAtomic (Java field) Filtered (Java field) FilteringType (Java enum) finalize() (Java method), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14] finish (in module Base), [1], [2] FinishedFailed (Java field) FinishedInternalError (Java field) FinishedPassed (Java field) FinishedUnknown (Java field) FinishedUserError (Java field) FinishedWarning (Java field) First (in module Base) FirstBorrowHere (Java field) FixItHint (Java class) FixItHint(APIClient) (Java constructor) focusInstance() (Java method) Folder (Java field) For (Coco statement) Forbidden (Java field) forceRefresh() (Java method) format (Coco package setting) (in module Base) Format String (Coco expression) format.allowShortBlocksOnASingleLine (Coco package setting) format.allowShortCaseLabelsOnASingleLine (Coco package setting) format.allowShortFunctionsOnASingleLine (Coco package setting) format.allowShortIfStatementsOnASingleLine (Coco package setting) format.allowShortLoopsOnASingleLine (Coco package setting) format.columnLimit (Coco package setting) format.indentWidth (Coco package setting) format.sortImports (Coco package setting) format.tabWidth (Coco package setting) format.useTabs (Coco package setting) Formatter (in module Base) ForStmt (Java field) ForwardDecl (JSON Schema) fromInteger(int) (Java method), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30] fromNode(ResourceSet, Node) (Java method) fromProtobuf(APIClient, Out.CocoArchitectureDiagram) (Java method)

fromProtobuf(APIClient, Out.CocoAwaitCoverageReport) (Java method) fromProtobuf(APIClient, Out.CocoBehaviour) (Java method) fromProtobuf(APIClient, Out.CocoCounterexample) (Java method), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29] fromProtobuf(APIClient, Out.CocoCoverageReport) (Java method) fromProtobuf(APIClient, Out.CocoDiagnostic) (Java method) fromProtobuf(APIClient, Out.CocoEventSummary) (Java method) fromProtobuf(APIClient, Out.CocoException) (Java method) fromProtobuf(APIClient, Out.CocoExportedEmfmodule) (Java method) fromProtobuf(APIClient, Out.CocoFixItHint) (Java method) fromProtobuf(APIClient, Out.CocoIdeProject) (Java method) fromProtobuf(APIClient, Out.CocoIdeProjectCounterexample) (Java method) fromProtobuf(APIClient, Out.CocoIdeProjectTreeNode) (Java method) fromProtobuf(APIClient, Out.CocoInstanceNetworkState) (Java method) fromProtobuf(APIClient, Out.CocoLicenseDescriptor) (Java method) fromProtobuf(APIClient, Out.CocoLicenseResponse) (Java method) fromProtobuf(APIClient, Out.CocoLicenseState) (Java method) fromProtobuf(APIClient, Out.CocoNode) (Java method) fromProtobuf(APIClient, Out.CocoNodeCoverage) (Java method) fromProtobuf(APIClient, Out.CocoSourcedEventSummary) (Java method) fromProtobuf(APIClient, Out.CocoSourcePosition) (Java method) fromProtobuf(APIClient, Out.CocoSourceRange) (Java method) fromProtobuf(APIClient, Out.CocoStackFrame) (Java method) fromProtobuf(APIClient, Out.CocoStateCoverageReport) (Java method) fromProtobuf(APIClient, Out.CocoStateDiagram) (Java method) fromProtobuf(APIClient, Out.CocoStateSummary) (Java method) fromProtobuf(APIClient, Out.CocoStatisticsEntry) (Java method) fromProtobuf(APIClient, Out.CocoThread) (Java method) fromProtobuf(APIClient, Out.CocoValue) (Java method), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13], [14], [15], [16], [17], [18], [19], [20], [21], [22], [23], [24], [25], [26], [27], [28], [29], [30], [31], [32], [33], [34] fromProtobuf(APIClient, Out.CocoVariableBinding) (Java method) fromProtobuf(APIClient, Out.CocoVerificationStatistics) (Java method) Frontend (Java field) Full (Java field) Function (Coco declaration) (Coco type) Function Call (Coco expression) Function Interface (Coco declaration) FunctionCallEvent (Java class) (Java field) FunctionCallEvent(APIClient) (Java constructor) FunctionDecl (Java field) (JSON Schema) FunctionFlag (JSON Schema) FunctionInterfaceDecl (Java field) functionNode() (Java method), [1] FunctionOverloadDifferentReturnType (Java field) FunctionOverloadDifferentSignature (Java field) FunctionOverloadSignalVsFunction (Java field) FunctionOverloadStaticVsMember (Java field) FunctionPointerExpr (Java field) FunctionPointerOutParameter (Java field) FunctionReturnEvent (Java class) (Java field) FunctionReturnEvent(APIClient) (Java constructor) FunctionTypeRepr (Java field)

G

generate(io.cocotec.coco.platform.coco.CodeGenerationLanguage, String) (Java method) generateArchitectureDiagram(io.cocotec.coco.platform.coco.Node, String, boolean, boolean, boolean, boolean, boolean, int) (Java method) generateArchitectureDiagramAsync(io.cocotec.coco.platform.coco.ArchitectureDiagramHandle, io.cocotec.coco.platform.coco.Node, String, boolean, boolean, boolean, boolean, boolean, int) (Java method) generateComponentSummary(io.cocotec.coco.platform.coco.Node) (Java method) GeneratedFile (JSON Schema) generateStateDiagramGraph(io.cocotec.coco.platform.coco.Node, boolean, boolean) (Java method) generateSupportBundle(String) (Java method) generator (Coco package setting) Generator (Java field) generator.cpp (Coco package setting) generator.cpp.alwaysEnableLogging (Coco package setting) generator.cpp.clangFormatFile (Coco package setting) generator.cpp.clangFormatSpec (Coco package setting) generator.cpp.cleanOutputDirectories (Coco package setting) generator.cpp.cocoRuntimeHeaderPrefix (Coco package setting) generator.cpp.cocoRuntimeIncludeStyle (Coco package setting) generator.cpp.componentStyle (Coco package setting) generator.cpp.fileHeader (Coco package setting) generator.cpp.fileNameMangler (Coco package setting) generator.cpp.flatFileHierarchy (Coco package setting) generator.cpp.generateMocks (Coco package setting) generator.cpp.headerFileExtension (Coco package setting) generator.cpp.headerFileHeader (Coco package setting) generator.cpp.illegalBehaviour (Coco package setting) generator.cpp.implementationFileExtension (Coco package setting) generator.cpp.implementationFileHeader (Coco package setting) generator.cpp.includeGuardStyle (Coco package setting) generator.cpp.includePrefix (Coco package setting) generator.cpp.mockHeader (Coco package setting) generator.cpp.namespaces (Coco package setting) generator.cpp.outputDirectory (Coco package setting) generator.cpp.outputEmptyFiles (Coco package setting) generator.cpp.outputRuntimeHeader (Coco package setting) generator.cpp.regeneratePackages (Coco package setting) generator.cpp.runtimeHeaderFileExtension (Coco package setting) generator.cpp.standard (Coco package setting) generator.cpp.testOutputDirectory (Coco package setting) generator.defaultLanguage (Coco package setting) GeneratorConflictingRecord (Java field) GeneratorFileSystemError (Java field) GeneratorInvalidName (Java field) GeneratorKeywordConflict (Java field) GeneratorLockedIdentiferConflict (Java field) GeneratorMissingFilterOutput (Java field) GeneratorNameConflict (Java field) GeneratorNameConflictContextName (Java field) GeneratorNameConflictPrevious (Java field) GeneratorNondetDecls (Java field) GeneratorUnknownDecl (Java field) GeneratorUnknownDeclRequiredHere (Java field) GeneratorUnknownImplicitMock (Java field) GeneratorUnknownImplicitMockUnsupported (Java field) GeneratorUnknownNamedDecl (Java field) GeneratorUnsupportedGenericDecl (Java field) GeneratorUnsupportedGenericValueDecl (Java field) GeneratorUnsupportedType (Java field) GenericParameterWithDefaultTypeNotInTheEndOfList (Java field) GenericSignatureRepr (Java field) GenericValueParameter (Java field) get (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3] getASTNode(ProjectContext) (Java method) getAwaitNode() (Java method) getAwaits() (Java method) getBoundVariables() (Java method) getCategory() (Java method) getChannel() (Java method) getChild(int) (Java method) getChildren() (Java method), [1] getClauseCoverage() (Java method) getColumn() (Java method) getContext() (Java method) getCounterexamples() (Java method) getCovered() (Java method) getCreated() (Java method) getCurrentNode() (Java method) getData() (Java method), [1] getDeleted() (Java method) getDisplayName() (Java method) getDotDiagram() (Java method) getDynamicTooltip() (Java method) getElements() (Java method), [1] getEndColumn() (Java method) getEndLine() (Java method) getEntries() (Java method) getError() (Java method) getEventName() (Java method) getEvents() (Java method)

getException() (Java method) getFileName() (Java method), [1] getFilteringType() (Java method) getFixItHints() (Java method) getFrames() (Java method) getFullyQualifiedName() (Java method) getHandle() (Java method), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12] getHandled() (Java method) getHandlers() (Java method) getHighlightGroups() (Java method), [1] getHighlightRange() (Java method), [1], [2], [3] getId() (Java method) getInherited() (Java method) getIsError() (Java method) getIsForbidden() (Java method) getIsReachable() (Java method), [1] getIsSelf() (Java method) getIsShared() (Java method) getIsSignal() (Java method) getIsTerminated() (Java method) getIsUnique() (Java method) getIsWarning() (Java method) getKey() (Java method) getKind() (Java method), [1], [2], [3] getLastError() (Java method) getLeafInstances() (Java method) getLicensed() (Java method) getLine() (Java method) getLoadingStatus() (Java method) getMessage() (Java method) getModified() (Java method) getName() (Java method), [1], [2], [3], [4], [5] getNewRoots() (Java method) getNextState() (Java method) getNode() (Java method), [1], [2], [3] getObject(long) (Java method) getObjectId() (Java method), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13] getOfflineActivationUrl() (Java method) getOpaqueValue() (Java method) getOrCreate(APIClient, long) (Java method), [1], [2], [3], [4], [5], [6], [7], [8], [9], [10], [11], [12], [13] getOrCreateObject(long, BiFunction) (Java method) getParent() (Java method) getPort() (Java method) getPosition() (Java method), [1] getProcess() (Java method) getProject() (Java method) getRange() (Java method) getReplacement() (Java method) getSelfType() (Java method) getSeverity() (Java method) getShouldSortChildren() (Java method) getSortIndex() (Java method) getSource() (Java method) getSourcedEvent() (Java method) getSourceName() (Java method) getStartColumn() (Java method) getStartLine() (Java method) getState() (Java method), [1] getStates() (Java method) getStatus() (Java method) getStatusDescription() (Java method) getSuccess() (Java method) getSvg() (Java method) getThreadCount() (Java method) getThreadName() (Java method) getTime() (Java method) getTooltip() (Java method) getTopLevelInstances() (Java method) getTransition() (Java method) getTransitionCoverage() (Java method) getUniqueId() (Java method), [1] getUri() (Java method) getValid() (Java method), [1] getValue() (Java method), [1], [2] getVariable() (Java method) getVerificationStatus() (Java method) getVerificationStatusStale() (Java method) getVisitedStates() (Java method) getVisitedTransitions() (Java method) GMockTooManyArguments (Java field) GraphCommandOneModule (Java field) GraphGenerationFailed (Java field) GraphSvgError (Java field) graphvizFonts() (Java method) greaterThan (in module Base), [1] GreaterThan (in module CPP) greaterThanEquals (in module Base), [1] GreaterThanEquals (in module CPP) GroupAssertion (Java field)

H

handle (Java field), [1], [2], [3], [4], [5], [6], [7], [8] handleDiagnostic(io.cocotec.coco.platform.coco.Diagnostic) (Java method) handleDiagnostic(io.cocotec.coco.platform.coco.ide.Project, java.util.ArrayList, boolean) (Java method) handleDiagram(io.cocotec.coco.platform.coco.ArchitectureDiagram) (Java method) handler() (Java method) hashCode() (Java method), [1], [2], [3], [4], [5] hasLicense(java.util.ArrayList) (Java method) hasStateMachine() (Java method)

HasTraceAssert (Java field) HasTraceCounterexample (Java class) (Java field) HasTraceCounterexample(APIClient) (Java constructor) hasTrailingEvent() (Java method) hasValue (in module Base) Header (in module CPP) HeaderRequiredForAttribute (Java field) hours (in module Base)

I

Identifier (Coco syntax) Idle (Java field), [1], [2] If (Coco expression) IfConditionIsDiv (Java field) IfExpr (Java field) IfExprIsNil (Java field) Ignored (Java field), [1] IgnoredDeclGenerated (Java field) IgnoredSignalEvent (Java class) (Java field) IgnoredSignalEvent(APIClient) (Java constructor) ignoreWarning (in module Vector2) Illegal (Coco handler) IllegalCounterexample (Java class) IllegalCounterexample(APIClient) (Java constructor) IllegalDeclWithinEnum (Java field) IllegalDeclWithinExternalType (Java field) IllegalDeclWithinNestedState (Java field) IllegalDeclWithinState (Java field) IllegalDeclWithinStruct (Java field) IllegalEvent (Java class) (Java field), [1] IllegalEvent(APIClient) (Java constructor) IllegalEventHandler (Java field) IllegalFunctionCallCounterexample (Java class) (Java field) IllegalFunctionCallCounterexample(APIClient) (Java constructor) IllegalLegalOverlap (Java field) IllegalLegalOverlapCounterexample (Java class) (Java field) IllegalLegalOverlapCounterexample(APIClient) (Java constructor) IllegalMatchingType (Java field) IllegalMonitoredEventCounterexample (Java class) (Java field) IllegalMonitoredEventCounterexample(APIClient) (Java constructor) IllegalSignalCounterexample (Java class) (Java field) IllegalSignalCounterexample(APIClient) (Java constructor) implAcceptsFunctionCalls() (Java method) Implementation (Java field) ImplementationComponentConnections (Java field) ImplementationComponentDecl (Java field) ImplementationComponentOwns (Java field) implementationInstance() (Java method) Implicit Member (Coco expression) ImplicitCast (in module Base) implicitCast (in module CPP) ImplicitCastExpr (Java field) ImplicitCastToDivExpr (Java field) ImplicitObservedExpr (Java field) ImplIllegalMismatchCounterexample (Java class) (Java field) ImplIllegalMismatchCounterexample(APIClient) (Java constructor) Import (Coco declaration) (JSON Schema) ImportCodeGenerationModuleNonStdlib (Java field) ImportContainsError (Java field) ImportDecl (Java field) importedModules(io.cocotec.coco.platform.coco.Node) (Java method) ImportNonPackageScoped (Java field) ImportPackageUnlistedDependency (Java field) ImportPathNotADirectory (Java field) ImportTestNonTest (Java field) ImportUnlistedDependency (Java field) include (in module CPP) Include (JSON Schema) IncludesTypeHere (Java field) IncomingUnsupported (Java field) IncompatibleComponentRuntime (Java field) IncompatibleFlags (Java field) IncompatiblePortInheritance (Java field) IncompleteMatch (in module Vector2) IncorrectFunctionArgumentCount (Java field) IncorrectNumberOfTypeArguments (Java field) IncorrectSignalArgumentCount (Java field) IncorrectStateArgumentCount (Java field) IncorrectTypeArgumentCount (Java field) IndependentCallArraySubexpr (Java field) Index (JSON Schema), [1], [2], [3] Inherit (Coco expression) InheritExpr (Java field) InheritExprDisallowed (Java field) InitialisationForwardReference (Java field) InitialisationSelfReference (Java field) initialise (in module Base) InitialiserFollowsAssignments (Java field) injectStylesIntoStateDiagramSvg(String) (Java method) insert (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3]

InstanceArgumentTypeNotAllowed (Java field) InstanceAttributeParent (Java field) InstanceClashingWithDerived (Java field) InstanceDuplicateFunction (Java field) InstanceMissingFunction (Java field) InstanceNetworkState (Java class) InstanceNetworkState(APIClient) (Java constructor) instanceOf() (Java method) InstancesAreNotAllowed (Java field) InstanceUnknownFunction (Java field) Instantiated (Coco type) InsuficientTypeArgumentCount (Java field) Int (in module Base) Integer (in module Base) IntegerLiteralTooSmall (Java field) InterfaceCallExpr (Java field) InterfaceHasFields (Java field) InterleavedPortRequiresPortFields (Java field) InterleavePortEmptyFields (Java field) InterleavePortFunctionsSignals (Java field) InterleaveUnsupported (Java field) InternalError (Java field) internalExportModuleEmf(io.cocotec.coco.platform.coco.Node, String) (Java method) internalLoadBinaryModule(String, byte[]) (Java method) internalNodeEmfUri(io.cocotec.coco.platform.coco.Node) (Java method) internalNodeWithEmfUri(String) (Java method) internalPrintBinaryModule(byte[]) (Java method) internalPrintBinaryModule(byte[], String) (Java method) InterpolatedStringBrace (Java field) InterpolatedStringExpr (Java field) Into (Java field) IntractableParameterType (Java field) Invalid (in module Base) InvalidAccessSpecifierPublic (Java field) InvalidAssociatedValueType (Java field) invalidate (in module Base) InvalidAttributeOverload (Java field) InvalidBreakContinueTarget (Java field) InvalidComponentDecl (Java field) InvalidComponentReference (Java field) InvalidConstructorCall (Java field) InvalidDeclWithinState (Java field) InvalidDeclWithinStateMachine (Java field) InvalidDepth (Java field) InvalidEMFFile (Java field) InvalidEMFMemberField (Java field) InvalidEventStateDecl (Java field) InvalidFunctionOverload (Java field) InvalidFunctionOverloadMultipleInheritance (Java field) InvalidIdentifier (Java field) InvalidIntegerLiteral (Java field) InvalidModuleName (Java field) InvalidMonitorDecl (Java field) InvalidNegatedRequirement (Java field) InvalidOverload (Java field) InvalidOverloadCurrentPortInheritance (Java field) InvalidOverloadPortInheritance (Java field) InvalidPortDecl (Java field) InvalidPortReference (Java field) InvalidSelfArgument (Java field) InvalidSelfArgumentMutable (Java field) InvalidSignalDestination (Java field) InvalidTypeForParameter (Java field) InvalidTypeForValueParameter (Java field) InvalidTypeRefVariableType (Java field) InvalidValueParameterReference (Java field) InvalidVariableIdentifier (Java field) InvalidVariableSubType (Java field) InvalidVariableType (Java field) InvalidVariadicAttributeOverload (Java field) Invariant (Java field) InvariantDecl (Java field) IO (Java field) io.cocotec.coco.platform (package) io.cocotec.coco.platform.coco (package) io.cocotec.coco.platform.coco.ide (package) isComponent() (Java method) isComponentInstance() (Java method) isError (in module Base) isGroup() (Java method) isInvalid (in module Base) isLeaf() (Java method) isModuleGroup() (Java method) isOk (in module Base) IsPort (in module Base) isPortInstance() (Java method) isRoot() (Java method) isValid (in module Base) isValid() (Java method) Iterable (in module Base)

J

JSONReference (JSON Schema), [1]

K

KeywordAsIdentifier (Java field)

Kind (Java enum) Kind0 (Java enum)

L

LabelPattern (Java field) language (Coco package setting) Language (JSON Schema) language.disabledWarnings (Coco package setting) language.profiles (Coco package setting) language.standard (Coco package setting) LanguageStandard (Java enum) languageStandard() (Java method) Last (in module Base) LastNonInitialiserHere (Java field) lastStopReason() (Java method) LeafAssertion (Java field) LeafComponentsSkipped (Java field) leafInstances() (Java method), [1] lessThan (in module Base), [1] LessThan (in module CPP) lessThanEquals (in module Base), [1] LessThanEquals (in module CPP) LevelAttributeRequired (Java field) Lexer (Java field) LHSOfAssignmentNotLValue (Java field) Licensed (Java field) LicenseDescriptor (Java class) LicenseDescriptor(APIClient) (Java constructor) LicenseError (Java enum) licenseInfo() (Java method) LicenseMissing (Java field) LicenseResponse (Java class) LicenseResponse(APIClient) (Java constructor) licenseServerReachable() (Java method) LicenseServerState (Java enum) licenseServerStateChanged(boolean, String) (Java method) LicenseState (Java class) LicenseState(APIClient) (Java constructor) licenseStateChanged(io.cocotec.coco.platform.coco.LicenseState) (Java method) LicenseStatus (Java enum) LicenseType (Java enum) List (in module Base) Literal (Coco syntax) Literal Pattern (Coco pattern) LiteralAboveUpperBound (Java field) LiteralBelowLowerBound (Java field) LiteralExpr (Java field) LiteralExprEvaluationError (Java field) LiteralExprEvaluationErrorFromHere (Java field) LiteralExprEvaluationValueTypeParameterHere (Java field) LiteralInterpolatedStringSegment (Java field) LiteralOutOfBounds (Java field) LiteralOutOfBoundsShort (Java field) LiteralPattern (Java field) LiteralTypeMismatch (Java field) LoadedFailed (Java field) loadedModules() (Java method) LoadedOk (Java field) LoadedOkOperationDiagnostic (Java field) LoadExpr (Java field) loadFinished(io.cocotec.coco.platform.coco.ide.Project, boolean) (Java method) LoadingStatus (Java enum) loadModule(ModuleDecl) (Java method) loadModule(ModuleDecl, boolean) (Java method) loadModule(String) (Java method) loadModule(String, io.cocotec.coco.platform.coco.ModulePathType) (Java method) loadModule(String, String) (Java method) loadPackageModules() (Java method) loadRootPackage(String) (Java method) loadStarted(io.cocotec.coco.platform.coco.ide.Project) (Java method) LocalMemberCallExpr (Java field) Location (JSON Schema) log (Coco function) Log (in module Base) logBeginArray (in module Base) logBeginEnum (in module Base) logBeginExternalValue (in module Base) logBeginStruct (in module Base)

logEnum (in module Base) logExternalValue (in module Base) LogFailedRead (Java field) logFinishExternalValue (in module Base) LogFrontend (Java field) Logging Format (Coco syntax) logicalAnd (in module Base) LogicalAnd (in module CPP) logicalNot (in module Base) LogicalNot (in module CPP) logicalOr (in module Base) LogicalOr (in module CPP) LogReplay (Java field) LogReplayArrayBounds (Java field) LogReplayArrayIndexRequired (Java field) LogReplayArrayTooLarge (Java field) LogReplayArrayTooSmall (Java field) LogReplayBoundedLower (Java field) LogReplayBoundedUpper (Java field) LogReplayChildFieldNotFound (Java field) LogReplayChildFieldUnknownFieldType (Java field) LogReplayChildFieldUnknownType (Java field) LogReplayEnumCase (Java field) LogReplayEnumMissingArguments (Java field) LogReplayEnumTooManyArguments (Java field) LogReplayExpect (Java field) LogReplayExpectBool (Java field) LogReplayExpectedBlank (Java field) LogReplayExpectedNonVerified (Java field) LogReplayExpectNil (Java field) LogReplayFieldMapInvalidInteger (Java field) LogReplayFieldMapMissingArrayElement (Java field) LogReplayFieldMapMultidimensional (Java field) LogReplayFieldMapNoPort (Java field) LogReplayFieldMapNotArray (Java field) LogReplayFieldMappingOverlap (Java field) LogReplayFieldMappingOverlapArray (Java field) LogReplayFieldMapUnknownExpr (Java field) LogReplayFieldNotFound (Java field) LogReplayIdentifierRequired (Java field) LogReplayMissingArguments (Java field) LogReplayMissingNamedArgument (Java field) LogReplayNoEvents (Java field) LogReplayNotAnEvent (Java field) LogReplayReturnValueMissing (Java field) LogReplayReturnValueSpecified (Java field) LogReplaySimpleEnum (Java field) LogReplayStructDuplicateField (Java field) LogReplayStructMissingField (Java field) LogReplayStructUnknownField (Java field) LogReplayTooManyArguments (Java field) LogReplayUnknownArgument (Java field) LogSatisfiesMonitorAssert (Java field) LogTextExpected (Java field) LogTextExpectedEndOfLine (Java field) LogTextExpectedEvent (Java field) LogTextExpectedIdentifier (Java field) LogTextExpectedIdentifierInt (Java field) LogTextExpectedIntLiteral (Java field) LogTextExpectedOpenBracket (Java field) LogTextExpectedValue (Java field) LogTextOpeningBracket (Java field) LogTextParser (Java field) LogTextUnexpectedParameterName (Java field) LogTextUnrecognisedToken (Java field) logWriteBlank (in module Base) LoopConstructOutsideOfLoop (Java field) LoopCounterexample (Java class) LoopCounterexample(APIClient) (Java constructor) LoopNotInScope (Java field) loopStartIndex() (Java method), [1], [2] LoopTargetNoName (Java field) LValueCast (in module Base) LValueCastExpr (Java field)

M

machineName() (Java method) MalformedCharacterLiteral (Java field) MalformedEMFStream (Java field) MapToCocoValueArgumentCountsDiffer (Java field) MapToCocoValueCannotApplyTo (Java field) MapToCocoValueCannotMapTo (Java field) mapToEnum (in module CPP) MapToEnumCannotApplyTo (Java field) MapToEnumEmptyString (Java field) mapToMember (in module CPP) MapToMemberNoParameters (Java field) MapToMemberStaticFunction (Java field) MapToNewCannotApplyTo (Java field) MapToNewEmptyString (Java field) mapToType (in module CPP) MapToTypeCannotApplyTo (Java field) MapToTypeEmptyString (Java field) MapToTypeExternal (Java field) mapToValue (in module CPP) MapToValueCannotApplyTo (Java field) MapToValueEmptyString (Java field) MapToValueEnumCaseHeaders (Java field) MapToValueEnumCaseNoMapToEnum (Java field) markAsActive() (Java method) markAsActive(boolean) (Java method), [1] markAsInactive() (Java method) markObjectAsDestroyed(long) (Java method) Match (Coco expression) MatchClause (Java field) MatchClauseOverlaps (Java field) MatchClauseOverlapsWith (Java field) MatchExpr (Java field) maxArchitectureDiagramDepth(io.cocotec.coco.platform.coco.Node) (Java method) MaybeOutParameterNotWrittenTo (Java field) MaybeUninitializedRead (Java field) Member Reference (Coco expression) MemberFunctionCannotBeGeneric (Java field) MemberReferenceExpr (Java field) messageToString(boolean) (Java method) Metadata (JSON Schema) MetaTypeExpr (Java field) MetaTypeExprNil (Java field) MethodDecl (JSON Schema) microseconds (in module Base) milliseconds (in module Base) minus (in module Base) Minus (in module CPP) minutes (in module Base) MisingEqualsInTypeDecl (Java field)

MissingArgumentsAfterFunction (Java field) MissingAssignBeforeFunctionDefinition (Java field) MissingConditionAfterAssert (Java field) MissingConditionAfterIf (Java field) MissingConditionAfterMatch (Java field) MissingConditionAfterWhile (Java field) MissingDurationAfterTimerKind (Java field) MissingEqualityTrait (Java field) MissingInAfterFor (Java field) MissingMatchCase (Java field) MissingProvidesSection (Java field) MissingRequiredTypeClassInstance (Java field) MissingRequiredTypeClassInstances (Java field) MissingReturnType (Java field) MissingSignalCounterexample (Java class) (Java field) MissingSignalCounterexample(APIClient) (Java constructor) MissingUniqueId (Java field) MissingVariableAfterFor (Java field) MixedLeafAndCompositePorts (Java field) MixedMultiSingleRuntimesNonSpontaneousSignalSend (Java field) Module (Java field) (JSON Schema) moduleAssertion(io.cocotec.coco.platform.coco.Node) (Java method) ModuleDecl (Java field) ModuleMustBePublicOrPrivate (Java field) ModulePath (Java field) ModulePathType (Java enum) ModuleVariableMustHaveType (Java field) ModuleVariablesMustBeConstant (Java field) MonitorCannotSendOrReceiveEvents (Java field) MonitorConstructorWithParameters (Java field) MonitorDecl (Java field) MonitorInstance (Java class) (Java field) monitorInstance() (Java method) MonitorInstance(APIClient) (Java constructor) MonitorMissingStateMachine (Java field) MonitorRequiresConstructorArgument (Java field) MonitorRuntimeField (Java field) mostRecentContext() (Java method) MultipleComponentsSelectedNoMulti (Java field) MultipleComponentsSelectedSingleOutputFile (Java field) MultipleInitialisationAttempts (Java field) MultipleInstances (Java field) MultiThreaded (in module Vector2) mustUse (in module Vector2) MutableNeverWritten (in module Vector2) MutableReferenceTypes (Java field) MutableStorageDeclPattern (Java field)

N

name() (Java method), [1], [2] NamedDecl (JSON Schema) NamedReference (JSON Schema) NamedTransitionMismatch (Java field) NamespaceDecl (JSON Schema) Negatable (in module Base) negate (in module Base) Negate (in module CPP) NegatedAssert (Java field) NegatedRequirementRepr (Java field) NegationOfNonNumericLiteral (Java field) NegationOfNonNumericType (Java field) NestedStatesNonEquatableParameter (Java field) NestedValueUnderIteration (Java field) Never (Java field) NewerLanguageStandard (Java field) NewlineInStringLiteral (Java field) NextStateNotWrittenTo (Java field) NextStateWrittenTo (Java field) nil (in module Base) Nil (in module Base) NoAssignedLicense (Java field) NoCheckoutAvailable (Java field) NoCheckoutInactive (Java field) NoComponent (Java field) NoConcurrentCheckout (Java field) NoConnection (Java field) Node (Java class), [1] node() (Java method), [1] Node(APIClient) (Java constructor) NoDeclWithName (Java field) NodeCoverage (Java class) NodeCoverage(APIClient) (Java constructor) NoDefaultValueKnown (Java field) NoDefaultValueKnownVariable (Java field) nodeFor(ProjectContext, io.cocotec.coco.platform.coco.Node) (Java method) nodeForTreeNode(io.cocotec.coco.platform.coco.ide.ProjectTreeNode) (Java method) NodeKind (Java enum) (JSON Schema) nodeKind() (Java method) nodePosition(io.cocotec.coco.platform.coco.Node) (Java method) NoInstances (Java field) NoLabelTarget (Java field) NoLoaderForModule (Java field) noLog (in module Vector2) NoMatchingClause (Java field) NoMatchingInstances (Java field) NoMatchingInstancesLanguageStandard (Java field) NoMatchingInstancesNonVerified (Java field) NoMatchingNondetClause (Java field) NonAtomicReferenceArgument (Java field) NonCommunicableType (Java field) NonCompileTimeConstantTypeDecl (Java field) NonConstAttributeArgument (Java field) NonConstEventArgument (Java field) NonConstExprWithAttribute (Java field) NonConstGuard (Java field) NonConstImplementation (Java field) NonConstInvariant (Java field) NonConstParameterWithAttribute (Java field) NonConstPatternGuard (Java field) NonConstTimerDuration (Java field) NonDataMembersMustBePublic (Java field) Nondet (Coco expression) NonDetClause (Java field)

NondetDisallowed (Java field) NondeterminismHere (Java field) NonDeterministicDecl (Java field) NonDeterministicExpr (Java field) NondetGuardIsDiv (Java field) NonDetObservedEvent (Java field) NonDetTauEvent (Java class) (Java field) NonDetTauEvent(APIClient) (Java constructor) NondetUnnecessaryFallback (Java field) NondetWithinAttributeArgument (Java field) NondetWithinAwaitCondition (Java field) NondetWithinAwaitGuard (Java field) NondetWithinGeneric (Java field) NondetWithinMemberFunction (Java field) NondetWithinNondetGuard (Java field) NondetWithinOfferGuard (Java field) NondetWithinPatternGuard (Java field) NondetWithinTraitInstance (Java field) NondetWithinTransitionGuard (Java field) None (in module Base) (Java field) nonExhaustive (in module Vector2) NonExhaustiveRequiresFallback (Java field) NonExternalComponentInitialiserHere (Java field) NonExternalImplComponentFieldHere (Java field) NonExternalImplComponentInitialiserHere (Java field) NonLiteralExpr (Java field) NonLiteralExprNoComputation (Java field) NonSimpleExpr (Java field) NonTrivialReferenceArgument (Java field) NonTypeDecl (Java field) NonTypeDeclNil (Java field) NonVerified (in module Base) NonVerifiedEq (in module Base) NonVerifiedOrd (in module Base) NonVerifiedTypeInInterface (Java field) NonVerifiedVector (in module Vector) (in module Vector2) NoOverload (Java field) NoPackageFound (Java field) NoPackageFoundAtPath (Java field) NoPackages (Java field) NoReturn (Java field) NormalTransitionWrite (Java field) noSideEffects (in module Vector2) NotAGenericTypeDecl (Java field) NotALookupContext (Java field) NotAnArrayExpr (Java field) NotAnFunctionExpr (Java field) Note (Java field) NoteCandidateFile (Java field) NoteCandidatePackageFile (Java field) NoteNewerLanguageStandard (Java field) notEquals (in module Base), [1] NotEquals (in module CPP) NoTerminationDeadlockCounterexample (Java class) (Java field) NoTerminationDeadlockCounterexample(APIClient) (Java constructor) NoTerminationLoopCounterexample (Java class) (Java field) NoTerminationLoopCounterexample(APIClient) (Java constructor) NotStarted (Java field), [1] Null (Java field) NullInStringLiteral (Java field) Num (in module Base)

O

objectId (Java field) ObservableIncorrectArgument (Java field) ObservedEventDisallowed (Java field) ObservedEventDisallowedUnknown (Java field) ObservedEventDrainQueueMultiThreaded (Java field) ObservedEventExpectedComponent (Java field) ObservedEventExpectedFunctionOrSignal (Java field) ObservedEventExpectedPort (Java field) ObservedEventExpectedPortOrComponent (Java field) ObservedEventExpectedSignal (Java field) ObservedEventImplementationLevelDisallowed (Java field) ObservedEventNonVerifiedArgument (Java field) ObservedEventNonVerifiedReturn (Java field) ObservedEventNoReturnFunction (Java field) ObservedEventNotAllowed (Java field) ObservedEventProcessQueueNoQueue (Java field) ObservedEventProcessQueueSingleThreaded (Java field) ObservedEventReturnInParameter (Java field) ObservedEventReturnOutParameter (Java field) ObservedEventReturnSignal (Java field) ObservedEventSignalWrongDirection (Java field) ObservedIncorrectArgument (Java field) Offer (Coco handler) OfferObservedEvent (Java field) OfferTauEvent (Java class) (Java field) OfferTauEvent(APIClient) (Java constructor) Ok (in module Base) OnlyFieldsInStructLiterals (Java field) OnlyOverloadGenericArgumentNegatedRequirement (Java field) OnlyOverloadGenericArgumentTypeRequirement (Java field) OnlyOverloadGenericArgumentTypeRequirementNoDecl (Java field)

OnlyOverloadNoMatchingInstances (Java field) opaqueValue (Java field) OpeningBracket (Java field) openProject(String) (Java method) Optional (Coco expression) (in module Base) OptionalEventuallyNondetEventually (Java field) OptionalExpr (Java field) OptionalNondetOtherwise (Java field) OptionalNondetWithEmpty (Java field) OptionalOptional (Java field) Ord (in module Base) OrganisationRemotePolicy (Java enum) organisationRemotePolicy() (Java method) organisationRemoteServerUrl() (Java method) OtherOnly (in module Base) Out (Java field) OutOfMemory (Java field) OutParameterNotWrittenTo (Java field) OutputFileRequired (Java field) Over (Java field) OverlappingConnection (Java field) OverlappingConnectionPrevious (Java field) OverlappingFilter (Java field) OverlappingFilterPrevious (Java field) OverlappingIndependent (Java field) OverlappingIndependentPrevious (Java field) OverlappingTransition (Java field) OverlappingTransitionPrevious (Java field) OverlappingUnique (Java field) OverlappingUniquePrevious (Java field) OwnedComponentBadInitialiser (Java field) ownerName() (Java method)

P

package (Coco package setting) Package (Java field), [1] (JSON Schema), [1] package.exportConfig (Coco package setting) package.name (Coco package setting) package.sources (Coco package setting) package.testSources (Coco package setting) package.workspace (Coco package setting) PackageReference (JSON Schema) PackagesNonWorkspace (Java field) PackagesUnknownPackage (Java field) ParameterBindStmt (Java field) ParameterDecl (Java field) (JSON Schema) ParameterStyle (in module CPP) parent() (Java method), [1] parentIndex() (Java method) Parser (Java field) PartFiltered (Java field) Pattern (Coco pattern) plus (in module Base) Plus (in module CPP) Pointer (in module CPP) pop (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3] Port (Coco declaration) (Java field) PortAccess (in module Base) PortConnection (Java field) PortDecl (Java field), [1] PortFieldStateMachine (Java field) PortInheritanceRequiresCompatible (Java field) PortInheritFromFinal (Java field) PortInstance (Java class) (Java field) portInstance() (Java method) PortInstance(APIClient) (Java constructor) PortMembersMustBePublic (Java field) PortReservedName (Java field) PortStateMachineNotTopLevel (Java field) PortWithMixedFields (Java field) position() (Java method) PossibleDeclLanguageStandardTooOld (Java field) PossibleInstanceMemberDisallowed (Java field) PossibleInstanceMemberNoInstance (Java field) PossibleMatchingInstance (Java field) PossibleMatchingOverload (Java field) PossibleMemberAbstracted (Java field) PossibleMemberDirection (Java field) PossibleMemberInstanceMemberOnType (Java field) PossibleMemberShadowed (Java field) PossibleMemberTypeMemberOnInstance (Java field) PossiblePackage (Java field) PostDecrement (in module CPP) PostIncrement (in module CPP) PotentialOverload (Java field) PotentialOverloadArgumentCounts (Java field) PotentialOverloadArgumentType (Java field) PotentialOverloadDirection (Java field)

PotentialOverloadGenericArgumentNegatedRequirement (Java field) PotentialOverloadGenericArgumentType (Java field) PotentialOverloadGenericArgumentTypeRequirement (Java field) PotentialOverloadGenericArgumentTypeRequirementNoDecl (Java field) PotentialOverloadNoMatchingInstances (Java field) PotentialOverloadNotGeneric (Java field) PreDecrement (in module CPP) Preferences (Java class) Preferences(APIClient) (Java constructor) Preferences(APIClient, long) (Java constructor) PreIncrement (in module CPP) prepareUpdate(List, List, List) (Java method) Preparing (Java field) prettyPrint() (Java method) prettyPrint(String) (Java method) PreviousBehaviourSection (Java field) PreviousBranchWithoutGuard (Java field) PreviousComponentStateMachine (Java field) PreviousImplicitDecl (Java field) PreviousImport (Java field) PreviousInitialisationHere (Java field) PreviousInstance (Java field) PreviousInstanceImplicit (Java field) PreviousStorageDecl (Java field) PrimitiveValue (JSON Schema) printModule(ModuleDecl) (Java method) printModule(ModuleDecl, String) (Java method) printModule(String) (Java method) printModule(String, String) (Java method) ProcessesSignalsHere (Java field) ProcessSignalEvent (Java class) (Java field) ProcessSignalEvent(APIClient) (Java constructor) ProcessSignalFinishedEvent (Java class) (Java field) ProcessSignalFinishedEvent(APIClient) (Java constructor) ProcessStats (JSON Schema) Product (Java enum) ProductFeature (Java enum) Profile (Java field) Project (Java class) (Java field) project() (Java method), [1] Project(APIClient) (Java constructor) ProjectContext (Java class) ProjectContext(APIClient, long) (Java constructor) ProjectCounterexample (Java class) ProjectCounterexample(APIClient) (Java constructor) ProjectTreeNode (Java class) ProjectTreeNode(APIClient) (Java constructor) ProjectTreeNodeKind (Java enum) PropertyCounterexample (Java class) PropertyCounterexample(APIClient) (Java constructor) ProtectedNotAllowedInContext (Java field) Provided (in module Base) proxy() (Java method) purge (Coco function) push (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3]

Q

QualifiedType (JSON Schema) QueryingCache (Java field) Queue (in module Vector2) queue (in module Vector2) QueueFull (Java field)

QueuePushSignalEvent (Java class) (Java field) QueuePushSignalEvent(APIClient) (Java constructor) QueueSizeNonZero (Java field) QueueSizeNoRequiredPort (Java field) QueueSizeTooLarge (Java field)

R

Range (in module Base) range (in module Base) Range (JSON Schema) ReachabilityCounterexample (Java class) (Java field) ReachabilityCounterexample(APIClient) (Java constructor) Reachable (Java field) ReadabilityBoolLikeEnum (in module Vector2) ReadabilityCognitiveComplexity (in module Vector2) ReadabilityElseAfterControlFlow (in module Vector2) ReadabilityNaming (in module Vector2) ReadabilityPortOfferNondet (in module Vector2) Receive Event (Coco event) Receive Fallback Event (Coco event) ReceiveEvent (Java field) ReceiveEventMonitorCall (Java field) ReceiveEventNoStateMachine (Java field) ReceiveFallbackEvent (Java field) ReceiveFallbackEventNoStateMachine (Java field) recipient() (Java method) recommendedArchitectureDiagramDepth(io.cocotec.coco.platform.coco.Node) (Java method) RecordDecl (Java field) (JSON Schema), [1], [2] RecordKind (JSON Schema) recordNewObject(long, Object) (Java method) RecursesHere (Java field) RecursiveCommunication (Java field) RecursiveTypeDecl (Java field) Reference (Coco type) ReferenceConnection (Java field) ReferenceOfCommunicatingFunction (Java field) ReferenceOfNonLValue (Java field) ReferenceTypeInConstructorParam (Java field) ReferenceTypeRepr (Java field) RefinementCounterexample (Java class) RefinementCounterexample(APIClient) (Java constructor) relatedEvents() (Java method) RelativeFilePath (Java field) reloadProgress(io.cocotec.coco.platform.coco.ide.Project, int, int) (Java method) reloadScheduled(io.cocotec.coco.platform.coco.ide.Project) (Java method) Remainder (in module Base) remainder (in module Base) Remainder (in module CPP) RemotePolicy (Java enum) remotePolicy() (Java method) remoteServerUrl() (Java method)

remove (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3] RemovedVariableReference (Java field) removeListener(ServerStatusListener) (Java method) removePackageSource(String) (Java method) RenderedValue (JSON Schema) RepeatedBasePort (Java field) RepeatedFlagsMustMatch (Java field) represents (in module Vector2) Required (in module Base) RequireStatementCannotApplyTo (Java field) reserve (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3] ReservedName (Java field) reset (in module Base) reset(int) (Java method) resetToDefaults() (Java method) resolveChoice(int) (Java method) ResponsiveCounterexample (Java class) (Java field) ResponsiveCounterexample(APIClient) (Java constructor) Result (in module Base) ResultTryErrorTypeMismatch (Java field) ResultTryNonOptionalArgument (Java field) ResultTryNonResultArgument (Java field) ResultTryNonResultFunction (Java field) ResultTryOutsideFunction (Java field) Return (Coco statement) ReturnExprIsDiv (Java field) ReturnOutsideOfFunction (Java field) ReturnShouldBeUndefined (Java field) ReturnStmt (Java field) Root (JSON Schema), [1] rootAssertion() (Java method) rootDirectory() (Java method) rootNode() (Java method) rootNode(Project) (Java method) run() (Java method) Running (Java field), [1] Runtime (in module Vector2) runtime (in module Vector2) runtimeAbort (in module Base) runtimeAssert (in module Base) RuntimeAttributeRequired (Java field) RuntimeNonRequiredPort (Java field) RValueReference (in module CPP)

S

SatisfiedNegatedRequirement (Java field) satisfiesEventually (in module Vector2) SatisfiesMonitorAssert (Java field) save() (Java method) Scoped (in module CPP) seconds (in module Base) SendConstructedSignalExpr (Java field) sender() (Java method) SendSignalEvent (Java class) SendSignalEvent(APIClient) (Java constructor) SendSignalExpr (Java field) SendSignalObservedEvent (Java field) SendsSignalHere (Java field) serverExited(boolean) (Java method) ServerNoConnection (Java field) ServerNoResources (Java field) serverStarted() (Java method) ServerStatusListener (Java interface) ServerUnsupportedVersion (Java field) ServerWorkerCrash (Java field) Session (Java class) Session(APIClient) (Java constructor) Session(APIClient, long) (Java constructor) SessionListener (Java class) SessionListener(APIClient) (Java constructor) SessionListener(APIClient, long) (Java constructor) set (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3] setAccess (Coco function) setAllow (Coco function) setClientIdentifer(String) (Java method) setCrashReportingConsent(boolean) (Java method) setDeterministicCounterexamples(boolean) (Java method) SetFilterCompositePort (Java field) setNextState (Coco function) SetNextStateNonEquatableParameter (Java field) SetNextStateNonEquatableParameterHere (Java field) setNextStateReEnter (Coco function) setProxy(String) (Java method) setRemotePolicy(io.cocotec.coco.platform.RemotePolicy) (Java method) setRemoteServerUrl(String) (Java method) SetSharedOnRequiredPort (Java field) setUnique (Coco function) Severity (Java enum) (JSON Schema) ShadowProjectTree (Java class) ShadowProjectTree() (Java constructor) Shared (in module Base) ShouldNotHaveTraceCounterexample (Java class) (Java field) ShouldNotHaveTraceCounterexample(APIClient) (Java constructor) shutdownFinished() (Java method) shutdownRequested() (Java method) Signal (Coco declaration) (in module Base) Signal Send (Coco expression) SignalDecl (Java field) SignalOnly (in module Base) SignalRecursive (Java field) SignalToSignalBaseExpr (Java field) SilentTauEvent (Java class) (Java field) SilentTauEvent(APIClient) (Java constructor) Simple Await (Coco statement) SimpleAwaitStmt (Java field) SimpleEnumValue (JSON Schema) SimpleInheritsComposite (Java field) Simulator (Java class) Simulator(APIClient, long) (Java constructor) SimulatorListener (Java class) SimulatorListener(APIClient) (Java constructor) SimulatorListener(APIClient, long) (Java constructor) SimulatorStepMode (Java enum) simulatorStopped(io.cocotec.coco.platform.coco.SimulatorStopReason) (Java method) SimulatorStopReason (Java enum) SingleOverloadArgumentCounts (Java field) SingleOverloadArgumentType (Java field) SingleOverloadDeclaredHere (Java field) SingleOverloadDirection (Java field) SingleOverloadGenericArgumentType (Java field) SingleThreaded (in module Vector2) SingleThreadedAwaitEmptyQueue (Java field) SingleThreadedMultiClient (Java field) SingleThreadedMultiClientDiamond (Java field) SingleThreadedMultiProvidedPort (Java field) SingleThreadedSharedSignals (Java field) SingletonEnum (in module Vector2) (Java field) size (in module Vector), [1], [2], [3] (in module Vector2), [1], [2], [3] Slot (in module Base) slow (in module Vector2) Some (in module Base) Sometimes (Java field) SortIndex (Java field) SortMode (Java enum) SourcedEventSummary (Java class) SourcedEventSummary(APIClient) (Java constructor) SourceLocation (JSON Schema) SourcePosition (Java class) SourcePosition(APIClient) (Java constructor) SourceRange (Java class) (JSON Schema) SourceRange(APIClient) (Java constructor) specExpectedSignals() (Java method) SpecialisedMemberReferenceInTypeContext (Java field) specificationInstance() (Java method)

SpecIllegalMismatchCounterexample (Java class) (Java field) SpecIllegalMismatchCounterexample(APIClient) (Java constructor) specPermitsFunctionCalls() (Java method) specPermittedEvents() (Java method) Spontaneous Transition (Coco declaration) SpontaneousEvent (Java field) SpontaneousObservedEvent (Java field) SpontaneousOptional (Java field) SpontaneousTransitionInNonPort (Java field) SpontaneousTransitionTauEvent (Java class) (Java field) SpontaneousTransitionTauEvent(APIClient) (Java constructor) StackFrame (Java class) StackFrame(APIClient) (Java constructor) StandaloneContext (Java class) StandaloneContext(APIClient) (Java constructor) StandaloneContext(APIClient, long) (Java constructor) startCodeGeneration() (Java method) startCodeGeneration(io.cocotec.coco.platform.coco.CodeGenerationLanguage, String) (Java method) startCreateSimulator() (Java method) startCreateSimulator(io.cocotec.coco.platform.coco.Counterexample, io.cocotec.coco.platform.coco.BehaviouralInstance) (Java method) startCreateSimulator(io.cocotec.coco.platform.coco.ide.ProjectTreeNode) (Java method) StartedEventValue (Java class) (Java field) StartedEventValue(APIClient) (Java constructor) startForceReload() (Java method) startServer(String) (Java method) startServer(String, String) (Java method) startServer(String, String, boolean) (Java method) startVerification() (Java method), [1] startVerification(boolean) (Java method) startVerification(io.cocotec.coco.platform.coco.ide.ProjectTreeNode) (Java method) startVerification(io.cocotec.coco.platform.coco.ide.ProjectTreeNode, boolean) (Java method) State (Coco declaration) (Coco pattern) State Invariant (Coco declaration) State Machine (Coco declaration) StateConstructorExpr (Java field) StateCoverageReport (Java class) StateCoverageReport(APIClient) (Java constructor) StateDiagram (Java class) StateDiagram(APIClient) (Java constructor) StateEnumValue (Java class) (Java field) StateEnumValue(APIClient) (Java constructor) StateMachine (Java field), [1] StateMachineInheritanceExecution (Java field) StateMachineInheritanceHierarchical (Java field) StateMachineInheritanceMainStateTransitions (Java field) StateMachineInheritanceNoMatchingState (Java field) StateMachineInheritanceNonEventState (Java field) StateMachineInheritanceNonPort (Java field) StateMachineInheritanceNonState (Java field) StateMachineInheritanceNonStateMachine (Java field) StateMachineInheritanceParameters (Java field) StateMachineInheritanceWrongContext (Java field) StateMachineMustBeProtectedOrPrivate (Java field) StateMachineSubscriptionStateValue (Java class) (Java field) StateMachineSubscriptionStateValue(APIClient) (Java constructor) StateMachineSummary (Java class) StateMachineSummary(APIClient, long) (Java constructor) Statement (Coco statement) StateNotDefaultable (Java field) StatePattern (Java field) StatePatternImplicitMember (Java field) StateRecursive (Java field) states() (Java method), [1] StateSummary (Java class) StateSummary(APIClient) (Java constructor) Static Constant (Coco declaration) StaticFunctionCannotBeMutating (Java field) StaticMemberVariableInitialiser (Java field) StaticMemberVariableMustHaveType (Java field) statistics() (Java method) StatisticsEntry (Java class) StatisticsEntry(APIClient) (Java constructor) status() (Java method) StdinAlreadyUsed (Java field) Step (Java field) step(io.cocotec.coco.platform.coco.SimulatorStepMode) (Java method) steppedInstances() (Java method) stopped() (Java method) stopServer() (Java method) StorageDeclPattern (Java field) String (in module Base) StringTypeVerified (Java field) Struct (Coco declaration) Struct Literal (Coco expression) StructLiteralBinding (Java field) StructLiteralExpr (Java field) StructLogFormatter (in module Base) StructuredValue (Java class) StructuredValue(APIClient) (Java constructor) StructValue (Java class) (Java field) StructValue(APIClient) (Java constructor) Submitted (Java field) subscribe (Coco function) SymmetricArray (in module Base) SymmetricArrayCapacityExceeded (Java field) SymmetricArrayDuplicate (Java field) SymmetricArrayIndex (in module Base) SymmetricArrayIndexInvalid (Java field) SymmetricArrayNonProvidedPort (Java field) SymmetricArrayRequired (Java field) System (in module CPP)

T

TaggedUnionEnumValue (Java class) (Java field) (JSON Schema) TaggedUnionEnumValue(APIClient) (Java constructor) TauEvent (Java class) TauEvent(APIClient) (Java constructor) TemplateArgument (JSON Schema) Terminated (Java field) Thread (Java class) Thread(APIClient) (Java constructor) thread(io.cocotec.coco.platform.coco.BehaviouralInstance) (Java method) ThreadState (Java enum) tidy (Coco package setting) Tidy (Java field) tidy.enabled (Coco package setting) tidy.ReadabilityCognitiveComplexity (Coco package setting) tidy.ReadabilityCognitiveComplexity.threshold (Coco package setting) tidy.ReadabilityNaming (Coco package setting) tidy.ReadabilityNaming.attributes (Coco package setting) tidy.ReadabilityNaming.componentFields (Coco package setting) tidy.ReadabilityNaming.components (Coco package setting) tidy.ReadabilityNaming.encapsulatingComponents (Coco package setting) tidy.ReadabilityNaming.enumCases (Coco package setting) tidy.ReadabilityNaming.enums (Coco package setting) tidy.ReadabilityNaming.externalComponentFields (Coco package setting) tidy.ReadabilityNaming.externalComponents (Coco package setting) tidy.ReadabilityNaming.externalImplementationComponents (Coco package setting) tidy.ReadabilityNaming.externalTypes (Coco package setting) tidy.ReadabilityNaming.fields (Coco package setting) tidy.ReadabilityNaming.functions (Coco package setting) tidy.ReadabilityNaming.implementationComponents (Coco package setting) tidy.ReadabilityNaming.modules (Coco package setting) tidy.ReadabilityNaming.parameters (Coco package setting) tidy.ReadabilityNaming.ports (Coco package setting) tidy.ReadabilityNaming.providedPortFields (Coco package setting) tidy.ReadabilityNaming.requiredPortFields (Coco package setting) tidy.ReadabilityNaming.signals (Coco package setting) tidy.ReadabilityNaming.states (Coco package setting) tidy.ReadabilityNaming.staticConstants (Coco package setting) tidy.ReadabilityNaming.structs (Coco package setting) tidy.ReadabilityNaming.traces (Coco package setting) tidy.ReadabilityNaming.traits (Coco package setting) tidy.ReadabilityNaming.typeParameters (Coco package setting) tidy.ReadabilityNaming.types (Coco package setting) tidy.ReadabilityNaming.values (Coco package setting) tidy.ReadabilityNaming.variables (Coco package setting) tidy.ReadabilityNaming.X.casing (Coco package setting) tidy.ReadabilityNaming.X.prefix (Coco package setting) tidy.ReadabilityNaming.X.suffix (Coco package setting) tidy.ReadabilityOfferIf (Coco package setting) tidy.ReadabilityOfferIf.convertToBlock (Coco package setting) TidyCheck (in module Vector2) TidyGuardUnused (Java field) TidyReadabilityOfferIf (Java field) TidyReadibilityBoolLikeEnum (Java field) TidyReadibilityCognitiveComplexity (Java field) TidyReadibilityCognitiveComplexityIncrease (Java field) TidyReadibilityCognitiveComplexityIncreaseNesting (Java field) TidyReadibilityElseAfterControlFlow (Java field) TidyReadibilityNameStyle (Java field) TidyReadibilityNameStyleCannotRenameInvalid (Java field) TidyReadibilityNameStyleCannotRenameKeyword (Java field) TidyReadibilityPortNondetOffer (Java field) Timeout (Java field) Timer Event (Coco event) Timer Transition (Coco declaration) TimerEvent (Java field) TimerEventNoStateMachine (Java field) TimerEventSingleThreaded (Java field) TimerObservedEvent (Java field) TimerTransitionGuard (Java field) TimerTransitionInNonComponent (Java field) TimerTransitionTauEvent (Java class) (Java field) TimerTransitionTauEvent(APIClient) (Java constructor) times (in module Base) Times (in module CPP) title() (Java method), [1] toInteger(CodeGenerationLanguage) (Java method) toInteger(ComponentKind) (Java method) toInteger(Coverage) (Java method) toInteger(DiagnosticCategory) (Java method) toInteger(DiagnosticId) (Java method) toInteger(EventHandled) (Java method) toInteger(ExceptionKind) (Java method) toInteger(FilteringType) (Java method) toInteger(Kind) (Java method) toInteger(Kind0) (Java method) toInteger(LanguageStandard) (Java method) toInteger(LicenseError) (Java method) toInteger(LicenseServerState) (Java method) toInteger(LicenseStatus) (Java method) toInteger(LicenseType) (Java method) toInteger(LoadingStatus) (Java method) toInteger(ModulePathType) (Java method) toInteger(NodeKind) (Java method) toInteger(OrganisationRemotePolicy) (Java method) toInteger(Product) (Java method) toInteger(ProductFeature) (Java method) toInteger(ProjectTreeNodeKind) (Java method) toInteger(RemotePolicy) (Java method) toInteger(Severity) (Java method) toInteger(SimulatorStepMode) (Java method) toInteger(SimulatorStopReason) (Java method) toInteger(SortMode) (Java method) toInteger(ThreadState) (Java method) toInteger(TraceLevel) (Java method) toInteger(VerificationBackendState) (Java method) toInteger(VerificationStatus) (Java method) TOML (Java field) TOMLAbsolutePathDisallowed (Java field) TOMLAmbiguousFile (Java field) TOMLAmbiguousFilePrevious (Java field) TOMLBuiltinFileClash (Java field) TOMLClangFormatFileNotFound (Java field) TOMLDuplicateArrayElement (Java field) TOMLDuplicateClangFormat (Java field) TOMLDuplicateClangFormatOther (Java field)

TOMLExpectedEnumValue (Java field) TOMLExpectedType (Java field) TOMLExpectedValue (Java field) TomlFile (Java field) TOMLInvalidClangFormat (Java field) TOMLInvalidKeyForTable (Java field) TOMLKeyChanged (Java field) TOMLKeyRemoved (Java field) TOMLLanguageProfileNotSet1 (Java field) TOMLLanguageProfileNotSet2 (Java field) TOMLLanguageStandardMissing (Java field) TOMLLanguageStandardNotLatest (Java field) TOMLMinimumVersion (Java field) TOMLNoMembers (Java field) TOMLNoSources (Java field) TOMLOverlappingSources (Java field) TOMLOverlappingSourcesPrevious (Java field) TOMLParserError (Java field) TOMLParserNote (Java field) TOMLRequiredKey (Java field) TOMLStackBufferSizeTooLow (Java field) TOMLUnparseableVersionConstraint (Java field) TOMLUnsupportedCasing (Java field) TOMLUnsupportedSetting (Java field) TOMLUnsupportedToolVersion (Java field) TOMLUnsupportedVersionConstraint (Java field) TOMLUnsupportedVersionRequirement (Java field) TOMLWorkspacePackage (Java field) toNode(BaseNode) (Java method) tool (Coco package setting) tool.requiredVersion (Coco package setting) tool.selectedVersion (Coco package setting) topLevelInstance() (Java method), [1] topLevelInstances() (Java method), [1] toResource(Node) (Java method) toResourceSet() (Java method) toString() (Java method), [1], [2], [3], [4], [5], [6] toStringNoNewlines() (Java method) toTrace(io.cocotec.coco.platform.coco.TraceLevel) (Java method) TraceComplete (Java field) TraceDecl (Java field) TraceInstance (Java class) (Java field) TraceInstance(APIClient) (Java constructor) TraceLevel (Java enum) TraceRefinementCounterexample (Java class) (Java field) TraceRefinementCounterexample(APIClient) (Java constructor) TraceRequiresArgument (Java field) TraitInstanceDeriveNonEmpty (Java field) TraitInstanceFunctionMapped (Java field) Transform (Java field) TransformCompleteMatchNotEnum (Java field) TransformCompleteMatchUnsupportedClause (Java field) TransformExpected (Java field) TransformFlatPortsArray (Java field) TransformFlatPortsDirectReference (Java field) TransformFlatPortsDuplicateChild (Java field) TransformFlatPortsInherit (Java field) TransformFlatPortsMissingChild (Java field) TransformFlatPortsNonChildPort (Java field) TransformFlatPortsNonComposite (Java field) TransformFlatPortsNoStateMachine (Java field) TransformMalformedAST (Java field) TransformMergeAmbiguousTransition (Java field) TransformMergeAmbiguousTransitionLevel (Java field) TransformMergeExpectedSignal (Java field) TransformMergeGuardedTransition (Java field) TransformMergeNonExprTransition (Java field) TransformMergeSignalsArity (Java field) TransformMergeSignalsOverload (Java field) TransformMergeUnsupportedSource (Java field) TransformToExtFunctionDuplicateTransition (Java field) TransformToExtFunctionField (Java field) TransformToExtFunctionGuard (Java field) TransformToExtFunctionHandler (Java field) TransformToExtFunctionInherits (Java field) TransformToExtFunctionMissingTransition (Java field) TransformToExtFunctionNoStateMachine (Java field) TransformToExtFunctionNotStateless (Java field) TransformToExtFunctionSignal (Java field) TransientFailure (Java field) Transition (Coco declaration) (Java field) TransitionForFilteredEvent (Java field) TransitionForFilteredEventFilter (Java field) TransitionForIndependentEvent (Java field) TransitionForIndependentEventCall (Java field) TransitionKindWrittenTo (Java field) TransitionNameAlreadyDefined (Java field) TransitionNameAlreadyDefinedInBase (Java field) TransitionNameDeclaredHere (Java field) TransitionNameInconsistent (Java field) TransitionNameNotDefined (Java field) TransitionNameTypeUnavailable (Java field) treeNodeForNode(io.cocotec.coco.platform.coco.Node) (Java method) treeUpdated(java.util.ArrayList, java.util.ArrayList, java.util.ArrayList) (Java method) Trial (Java field) true (in module Base) Try Operator (Coco expression) TryingToInitialiseNonLocalComponent (Java field) TryingToUseLentOutComponent (Java field) TryOperatorExpr (Java field) Type (Coco type) Type Alias (Coco declaration) Type Reference (Coco type) type() (Java method) TypeAliasDecl (Java field) TypeChecker (Java field) TypeClassDecl (Java field) TypeClassInstanceDecl (Java field) TypeClassInstanceGenericMember (Java field) TypeClassInstanceRequirementRepr (Java field) TypeComparisonRequirementRepr (Java field) TypeDeclaredHere (Java field) TypeDeclaredHereWithAccessSpecifier (Java field) TypeLiteralRepr (Java field) TypeReferenceRepr (Java field) TypeVariableTypeParameterDecl (Java field)

U

UInt (in module Base) Unary (Coco type) Unary Operator (Coco expression) UnaryOperationExpr (Java field) UnaryOperationTypeRepr (Java field) UnaryOperator (in module CPP) unaryOperator (in module CPP) UnavailableValue (Java class) (Java field) UnavailableValue(APIClient) (Java constructor) Unbounded (in module Vector2) unbounded (in module Vector2) UnboundedDoubleFunctionCall (Java field) UnboundedSendSignalDuplicate (Java field) UnboundedSendSignalElseButNoThen (Java field) UnboundedSendSignalFunctionCall (Java field) UnboundedSendSignalMatchClauseExpected (Java field) UnboundedSendSignalMatchClauseNotExpected (Java field) UnboundedSendSignalNonDetClauseExpected (Java field) UnboundedSendSignalNonDetClauseExpectedFallback (Java field) UnboundedSendSignalNonDetClauseNotExpected (Java field) UnboundedSendSignalNone (Java field) UnboundedSendSignalPrevious (Java field) UnboundedSendSignalThenButNoElse (Java field) UnboundedSendSignalUndetermined (Java field) UnboundedSpontaneousNotMainState (Java field) UnboundedSpontaneousRead (Java field) UnboundedSpontaneousReadTransitionVariable (Java field) UnboundedSpontaneousRequiredUnboundedQueue (Java field) UnboundedSpontaneousSetNextState (Java field) UnboundedSpontaneousWithGuard (Java field) UnboundedVector (in module Vector) (in module Vector2) Undefined (Coco expression) UndefinedExpr (Java field) UndefinedExprInComponent (Java field) UndefinedExprNonSignal (Java field) UndefinedExprNotAllowed (Java field) UndefinedExprRequired (Java field) UndefinedExprVerifiedType (Java field) UnexpectedPatternType (Java field) UnexpectedToken (Java field) Unfiltered (Java field) UnhandledProxyFeature (Java field) UninstantiatedGenericType (Java field) UninstantiatedGenericVariable (Java field) UniqueOnUnboundedStateMachine (Java field) Unknown (Java field) UnknownBuiltinIndex (Java field) UnknownDefaultValue (Java field) UnknownEMFProxy (Java field) UnknownEMFProxyForNode (Java field) UnknownEPackage (Java field) UnknownEscapeSequence (Java field) UnknownFileInPackage (Java field) UnknownFormatSpecifier (Java field) UnknownImplicitBase (Java field) UnknownImplicitBaseRemoveSpecialisation (Java field) UnknownImplicitDecl (Java field) UnknownInterfaceLine (Java field) UnknownLicenseType (Java field) UnknownModuleForBuiltinDecl (Java field) UnknownName (Java field) UnknownNameInScope (Java field) UnknownNameInScopeIdent (Java field) UnknownNameInScopeSuggestion (Java field) UnknownNamespaceSuggestion (Java field) UnknownNameSuggestion (Java field)

UnknownPackage (Java field) UnknownPackageDependency (Java field) UnknownProduct (Java field) UnknownProductFeature (Java field) UnknownTemplateVariable (Java field) Unlicensed (Java field) UnqualifiedImportsCannotUseAs (Java field) Unreachable (in module Vector2) (Java field) UnrecognisedComponentSection (Java field) UnrecognisedMonitorSection (Java field) UnrecognisedOutputGraphFormat (Java field) UnrecognisedPortDecl (Java field) unreliable (in module Vector2) UnresolvedCastExpr (Java field) UnresolvedMemberExpr (Java field) UnresolvedSpecialiseExpr (Java field) UnresolvedVariableExpr (Java field) UnsatisfiedRequirement (Java field) UnsatisfiedRequirementHere (Java field) UnsatisfiedRequirementNoDecl (Java field) Unscoped (in module CPP) unsubscribe (Coco function) UnsupportedAssertion (Java field) UnsupportedBinaryTypeOperation (Java field) UnsupportedComponentReferences (Java field) UnsupportedDeferredEventhandler (Java field) UnsupportedEMFStream (Java field) UnsupportedEMFType (Java field) UnsupportedEventSourceExpr (Java field) UnsupportedUnaryTypeOperation (Java field) UnterminatedCharacterLiteral (Java field) UnterminatedFormatSpecifier (Java field) UnterminatedInterpolatedString (Java field) UnterminatedMultilineComment (Java field) UnterminatedMultilineCommentStart (Java field) UnterminatedStringLiteral (Java field) UnterminatedTemplateVariable (Java field) UntidyAttributeUnused (Java field) Unused (in module Vector2) Unused Transition (Coco declaration) UnusedBlockExprReturnPoint (Java field) UnusedBlockExprStmt (Java field) UnusedBlockExprValue (Java field) UnusedComparison (Java field) UnusedEvent (Java field) UnusedFunctionValue (Java field) UnusedImport (Java field) UnusedInstanceTypeParam (Java field) UnusedLiteralValue (Java field) UnusedMustUseFunction (Java field) UnusedMustUseType (Java field) UnusedObservedEvent (Java field) UnusedSignalValue (Java field) UnusedTransitionDuplicate (Java field) UnusedTransitionEventValue (Java class) (Java field) UnusedTransitionEventValue(APIClient) (Java constructor) UnusedTransitionGuard (Java field) UnusedTransitionInNonComponent (Java field) UnusedTransitionNoProvidedPort (Java field) UnusedValue (Java field) UnverifiedArgumentNonWildcard (Java field) Update (Java class) Usability (in module Vector2) User (in module CPP) UserInfo (Java class) UserInfo(APIClient) (Java constructor) UserInfo(APIClient, long) (Java constructor)

V

Valid (in module Base) value (in module Base), [1] Value (in module CPP) (Java class) (JSON Schema) Value(APIClient) (Java constructor) ValueMustBeEnumCase (Java field) ValueMustBeInteger (Java field) ValueMustBeLiteral (Java field) valueOr (in module Base), [1] values() (Java method), [1] ValueTypeParameterDecl (Java field) ValueTypeParameterNotLiteral (Java field) ValueUnderIteration (Java field) ValueUnderIterationHere (Java field) Variable (Coco declaration) Variable Declaration (Coco pattern) Variable Pattern (Coco pattern) Variable Reference (Coco expression) VariableBinding (Java class) VariableBinding(APIClient) (Java constructor) VariableDecl (Java field) VariableDeclaredHere (Java field) VariableDeclaredUnused (Java field) VariableExpr (Java field) VariableIsNotANamespace (Java field) VariableOnlyRead (Java field) VariableOnlyWritten (Java field) VariablePattern (Java field) VariadicParameterDisallowed (Java field) VariadicParamIsntTheLastInAttribute (Java field) VarParamOutParameter (Java field) VarParamsDisallowed (Java field) Vector (module) Vector2 (module) verification (Coco package setting) Verification (Java field)

verification.allowRemote (Coco package setting) VerificationAssertion (Java class) VerificationAssertion(APIClient, long) (Java constructor) VerificationBackendState (Java enum) verificationBackendStateChanged(String, io.cocotec.coco.platform.VerificationBackendState) (Java method) VerificationFailed (Java field) verificationFinished(io.cocotec.coco.platform.coco.ide.Project, boolean, boolean, String) (Java method) verificationFinished(io.cocotec.coco.platform.coco.VerificationAssertion) (Java method) verificationFinishedAll() (Java method) verificationLogMessage(io.cocotec.coco.platform.coco.VerificationAssertion, String) (Java method) verificationProgress(io.cocotec.coco.platform.coco.ide.Project, int, int) (Java method) VerificationProgressListener (Java class) VerificationProgressListener(APIClient) (Java constructor) VerificationProgressListener(APIClient, long) (Java constructor) VerificationRequiresTooMuchStoraage (Java field) verificationStarted(io.cocotec.coco.platform.coco.ide.Project) (Java method) verificationStarted(io.cocotec.coco.platform.coco.VerificationAssertion) (Java method) VerificationStatistics (Java class) VerificationStatistics(APIClient) (Java constructor) verificationStatisticsUpdated(io.cocotec.coco.platform.coco.VerificationAssertion) (Java method) VerificationStatus (Java enum) verificationStatusUpdated(io.cocotec.coco.platform.coco.VerificationAssertion) (Java method) VerificationTooManyEventuallyLabels (Java field) VerificationWarning (Java field) Verified (in module Base) VerifiedVector (in module Vector) (in module Vector2) VerifyDecl (Java field) VerifyDeclHasTrace (Java field) VerifyDeclMustBeConstant (Java field) versionHash(io.cocotec.coco.platform.coco.ide.ProjectTreeNode) (Java method) versionHash(ProjectContext) (Java method) Visibility (Coco syntax) VisibilityViolationDef (Java field) VisibilityViolationUse (Java field) VisibilityViolationUseIdent (Java field) VisibilityViolationUseType (Java field)

W

Warning (in module Vector2) (Java field) While (Coco statement) WhilePredicateIsDiv (Java field) WhileStmt (Java field) Wildcard (Coco pattern) WildcardMutable (Java field) WildcardPattern (Java field) WildcardsDisallowed (Java field)

WithinTransition (Java field) WithinTransitionIllegalEvent (Java field) WithinTransitionRuntimeError (Java field) workspace (Coco package setting) workspace.members (Coco package setting) writeBool (in module Base) writeInt (in module Base) WriteOnlyVariable (Java field) writeString (in module Base) writeUInt (in module Base)