Note

You are not reading the most recent version of this documentation.

DiagnosticId¶

enum Cocotec.CocoPlatform.Coco.DiagnosticId¶

Values:

NestedStateMachineInRecursiveFunction¶

DoubleNestedStateMachineDirect¶

DoubleNestedStateMachineIndirect¶

NondetDisallowed¶

NondetWithinNondetGuard¶

NondetWithinTransitionGuard¶

NondetWithinOfferGuard¶

NondetWithinAttributeArgument¶

NondetWithinGeneric¶

NondetWithinTraitInstance¶

NondetWithinPatternGuard¶

NondetWithinMemberFunction¶

NextStateNotWrittenTo¶

NextStateWrittenTo¶

TransitionKindWrittenTo¶

CalledVia¶

NonConstGuard¶

NonConstTimerDuration¶

NonConstInvariant¶

NonConstExprWithAttribute¶

NonConstParameterWithAttribute¶

NonConstAttributeArgument¶

NonConstImplementation¶

NonConstPatternGuard¶

ConflictingReferences¶

ConflictingReferenceFirstUse¶

ConflictingReferenceLocalMemberCallExpr¶

RecursiveCommunication¶

RecursesHere¶

ReferenceOfNonSimpleVariable¶

ReferenceOfCommunicatingFunction¶

SendsSignalHere¶

CallsRequiredPortHere¶

ProcessesSignalsHere¶

NondeterminismHere¶

AssignsToInstanceVariableHere¶

AssignsToLocalVariableHere¶

AssignsToVariableHere¶

AltersTransitionKindHere¶

FunctionPointerOutParameter¶

ExternalFunctionOutParameter¶

DeclaredSideEffectFreeHere¶

OutParameterNotWrittenTo¶

MaybeOutParameterNotWrittenTo¶

MaybeUninitializedRead¶

AlwaysUninitializedRead¶

UnboundedSpontaneousReadEventTransitionVariable¶

UnboundedSpontaneousRead¶

NormalTransitionWrite¶

MixedMultiSingleRuntimesNonSpontaneousSignalSend¶

UnboundedSpontaneousSetNextState¶

CallsSetNextStateHere¶

UnboundedSendSignalUndetermined¶

UnboundedSendSignalThenButNoElse¶

UnboundedSendSignalElseButNoThen¶

UnboundedSendSignalDuplicate¶

UnboundedSendSignalMatchClauseExpected¶

UnboundedSendSignalMatchClauseNotExpected¶

UnboundedSendSignalNonDetClauseExpected¶

UnboundedSendSignalNonDetClauseNotExpected¶

UnboundedSendSignalNonDetClauseExpectedFallback¶

UnboundedSendSignalNone¶

UnboundedSendSignalFunctionCall¶

UnboundedSendSignalPrevious¶

DeclUnused¶

VariableOnlyWritten¶

VariableOnlyRead¶

VariableDeclaredUnused¶

CSMValueDeclUnknown¶

CSMExpectedGenericType¶

CSMExpectedNominalType¶

CSMNonVerifiedDecl¶

CSMUnknownDecl¶

CSMUnknownExternalFunction¶

CSMUnknownExternalConstant¶

CSMUnknownExternalType¶

CSMUnknownNextStateInheritance¶

CSMUndefinedExpr¶

EqualityComparisonUnverifiedArguments¶

CSMUnknownDeclRequiredHere¶

NonCommunicableType¶

IncludesTypeHere¶

InvalidEMFFile¶

DuplicateStateMachineConstructor¶

DuplicateStateMachine¶

FieldsMustBeAtomic¶

FeatureIsRequired¶

FeatureIsDisallowed¶

InvalidEMFMemberField¶

InvalidIdentifier¶

InvalidEventStateDecl¶

InvalidPortDecl¶

InvalidComponentDecl¶

InvalidBreakContinueTarget¶

UnknownEPackage¶

UnknownModuleForBuiltinDecl¶

UnsupportedEMFStream¶

MalformedEMFStream¶

EMFUnknownClass¶

EMFUnknownFeature¶

UnknownEMFProxy¶

UnknownEMFProxyForNode¶

UnsupportedEMFType¶

UnhandledProxyFeature¶

MissingUniqueId¶

ExpectedObjectOfType¶

NotALookupContext¶

UnknownBuiltinIndex¶

EMFDuplicateModule¶

UnknownImplicitDecl¶

ErrorCouldNotOpenFile¶

CouldNotOpenDirectory¶

ImportPathNotADirectory¶

CouldNotOpenOutputFile¶

CouldNotFindImport¶

NoteCandidateFile¶

NoteCandidatePackageFile¶

AmbiguousModuleImportPackage¶

AmbiguousTopLevelPackageFile¶

CodeCompletionTokenRequired¶

CodeCompletionTokenNotFound¶

ErrorLimitExceeded¶

CouldNotFind¶

CouldNotFindStateMachine¶

CouldNotOpen¶

CouldNotWrite¶

CouldNotPostprocessGraph¶

GraphSvgError¶

GraphCommandOneModule¶

GraphGenerationFailed¶

UnrecognisedOutputGraphFormat¶

NoPackageFound¶

UnknownFileInPackage¶

NoComponent¶

MultipleComponentsSelectedNoMulti¶

MultipleComponentsSelectedSingleOutputFile¶

ArchitectureDiagramGenerationFailed¶

ConflictingFlags¶

ComponentResolution¶

DuplicateComponent¶

GeneratorUnknownDecl¶

GeneratorUnknownDeclRequiredHere¶

GeneratorNondetDecls¶

IgnoredDeclGenerated¶

GeneratorFileSystemError¶

GeneratorMissingFilterOutput¶

DuplicateGeneratedFile¶

DuplicateGeneratedFilePrevious¶

GMockTooManyArguments¶

CPPInvalidName¶

CPPKeywordConflict¶

CPPConflictingRecordMember¶

CPPConflictingRecord¶

CPPNameConflict¶

CPPNameConflictContextName¶

CPPNameConflictPrevious¶

CPPLockedIdentiferConflict¶

UnterminatedTemplateVariable¶

UnknownTemplateVariable¶

InvalidIntegerLiteral¶

MalformedCharacterLiteral¶

InvalidVariableIdentifier¶

UnterminatedMultilineComment¶

UnterminatedMultilineCommentStart¶

UnknownEscapeSequence¶

UnterminatedCharacterLiteral¶

UnterminatedStringLiteral¶

NewlineInStringLiteral¶

NullInStringLiteral¶

UnknownPackage¶

AmbiguousPackage¶

PossiblePackage¶

UnknownPackageDependency¶

ExpectedToken¶

OpeningBracket¶

ExpectedLBrace¶

ExpectedLBracket¶

ExpectedLessThan¶

ExpectedSemicolonDelimiter¶

ExpectedCommaDelimiter¶

ExpectedTrailingSemicolon¶

ExpectedEOF¶

ExpectedBacktick¶

MissingConditionAfterIf¶

MissingConditionAfterWhile¶

MissingConditionAfterMatch¶

MissingVariableAfterFor¶

MissingInAfterFor¶

ExpectedImpliesInMatchClause¶

ElseClauseMustBeLastInNonDet¶

InvalidModuleName¶

ExpectIdentifier¶

KeywordAsIdentifier¶

ExpectedColonTypeAfterVariable¶

MissingArgumentsAfterFunction¶

MissingReturnType¶

MissingAssignBeforeFunctionDefinition¶

ExpectedBraceAfterNondet¶

MisingEqualsInTypeDecl¶

UnknownInterfaceLine¶

ExpectedSignalAfter¶

ExpectedFunctionDecl¶

ExpectedFunctionOrTypeDecl¶

ExpectedFunctionInterface¶

UnqualifiedImportsCannotUseAs¶

ExpectedFunctionOrAssociatedTypeDecl¶

ExpectedPortBehaviour¶

MissingConditionAfterAssert¶

ExpectedAt¶

ExpectedLParenOrExtends¶

ExpectedParenAssign¶

ExpectedDeclAfterExternal¶

ExpectedTypeOperator¶

ExpectedRecordMember¶

ExpectedFunctionOrEnumCase¶

DuplicateBehaviourSection¶

PreviousBehaviourSection¶

ExpectedArrowInFunctionType¶

EmptyTypeArgumentList¶

ExpectedDecl¶

ExpectedExprAsDuration¶

ExpectedExprAfterOperator¶

ExpectedExprAfterSend¶

ExpectedExprAfterImplies¶

ExpectedExprAfterMatch¶

ExpectedExprAfterElse¶

ExpectedExprAfterOtherwise¶

ExpectedExprAsIfGuard¶

ExpectedExprAfterIfGuard¶

ExpectedExprAfterReturn¶

ExpectedExprAfterIn¶

ExpectedExprAsWhileGuard¶

ExpectedExprAsArrayIndex¶

ExpectedExprInParenthesis¶

ExpectedExpr¶

ExpectedExprAfterAssign¶

ExpectedExprAsAssert¶

ExpectedExprAfterOptional¶

ExpectedPatternInMatchClause¶

ExpectedStmtInBlock¶

ExpectedForOrWhileAfterColon¶

ExpectedType¶

ExpectedTypeAfterFunctionArrow¶

ExpectedTypeAfterColon¶

ExpectedTypeReprAfterOperator¶

ComponentDuplicateSection¶

ComponentDuplicateSectionPrevious¶

ComponentDisallowedExternalSection¶

UnrecognisedComponentSection¶

UnrecognisedPortDecl¶

ExpectedConnectionArrow¶

MissingProvidesSection¶

ExpectedAssignAfterSpontaneous¶

ExpectedAssignAfterUnused¶

ExpectedAssignAfterTimerDuration¶

MissingDurationAfterTimerKind¶

ExpectedEventHandler¶

ElseClauseMustBeLastInHandler¶

ExpectedAssignAfterArgumentList¶

ExpectedVarOrVal¶

ExpectedVal¶

ExpectedPatternInEventSource¶

InvalidDeclWithinStateMachine¶

ExpectedStateAfterExecution¶

InvalidDeclWithinState¶

StatePatternImplicitMember¶

TOMLParserError¶

TOMLParserNote¶

TOMLRequiredKey¶

TOMLExpectedType¶

TOMLInvalidKeyForTable¶

TOMLExpectedEnumValue¶

TOMLKeyChanged¶

TOMLKeyRemoved¶

TOMLAbsolutePathDisallowed¶

TOMLClangFormatFileNotFound¶

TOMLInvalidClangFormat¶

TOMLDuplicateClangFormat¶

TOMLDuplicateClangFormatOther¶

TOMLUnsupportedVersionConstraint¶

TOMLOverlappingSources¶

TOMLOverlappingSourcesPrevious¶

TOMLNoSources¶

TOMLAmbiguousFile¶

TOMLAmbiguousFilePrevious¶

TOMLLanguageStandardMissing¶

TOMLUnsupportedSetting¶

TransformExpected¶

TransformFlatPortsNonComposite¶

TransformFlatPortsNoStateMachine¶

TransformFlatPortsInherit¶

TransformFlatPortsArray¶

TransformFlatPortsNonChildPort¶

TransformFlatPortsDuplicateChild¶

TransformFlatPortsMissingChild¶

TransformFlatPortsDirectReference¶

TransformMergeSignalsArity¶

TransformMergeSignalsOverload¶

TransformMergeExpectedSignal¶

TransformMergeAmbiguousTransition¶

TransformMergeAmbiguousTransitionLevel¶

TransformMergeNonExprTransition¶

TransformMergeGuardedTransition¶

TransformMergeUnsupportedSource¶

TransformToExtFunctionField¶

TransformToExtFunctionSignal¶

TransformToExtFunctionInherits¶

TransformToExtFunctionNoStateMachine¶

TransformToExtFunctionNotStateless¶

TransformToExtFunctionGuard¶

TransformToExtFunctionHandler¶

TransformToExtFunctionDuplicateTransition¶

TransformToExtFunctionMissingTransition¶

UnknownName¶

UnknownNameSuggestion¶

UnknownNamespaceSuggestion¶

VariableIsNotANamespace¶

AmbiguousVariableReference¶

InvalidOverload¶

InvalidFunctionOverload¶

InvalidAttributeOverload¶

InvalidVariadicAttributeOverload¶

FunctionOverloadDifferentReturnType¶

FunctionOverloadDifferentSignature¶

PreviousStorageDecl¶

PreviousImplicitDecl¶

CannotLookupMembers¶

DuplicateUnqualifiedImport¶

PreviousImport¶

ImportContainsError¶

ImportCodeGenerationModuleNonStdlib¶

ImportTestNonTest¶

UnknownNameInScope¶

UnknownNameInScopeIdent¶

UnknownNameInScopeSuggestion¶

PossibleMemberDirection¶

PossibleMemberTypeMemberOnInstance¶

PossibleMemberInstanceMemberOnType¶

PossibleInstanceMemberDisallowed¶

PossibleInstanceMemberNoInstance¶

PossibleMemberShadowed¶

PossibleMemberAbstracted¶

PossibleMemberPrivate¶

ReservedName¶

RemovedVariableReference¶

PrivateVariableReference¶

InstanceAttributeParent¶

ExpectedAttribute¶

ExpectedAttributeArgumentCount¶

AttributeOnlyAppliedTo¶

AttributeCannotApplyTo¶

MapToTypeCannotApplyTo¶

MapToTypeExternal¶

MapToValueCannotApplyTo¶

CocoEventuallyAttributeComponentOffer¶

CocoEventuallyAndUnreliableAttributes¶

StringTypeVerified¶

DuplicateAttribute¶

VariadicParamIsntTheLastInAttribute¶

VariadicParameterDisallowed¶

DuplicateAttributePrevious¶

CompatibleAttributeDuplicateRuntime¶

CannotExtractRuntime¶

DeriveAttributeWithoutTypeClasses¶

ExpectedTypeMismatch¶

ExpectedTypeMismatchSuggestCast¶

ExpectedStaticFunction¶

ExpectedSignalConstructor¶

ExpectedLiteralType¶

ExpectedNegatableType¶

ExpectedIntegerLiteralType¶

UnsatisfiedRequirement¶

UnsatisfiedRequirementHere¶

UnsatisfiedRequirementNoDecl¶

NoDefaultValueKnown¶

NoDefaultValueKnownVariable¶

SatisfiedNegatedRequirement¶

ReturnOutsideOfFunction¶

BecomeNotACall¶

BecomeInvalidOutParam¶

BecomeInvalidInstanceVariable¶

BecomeInvalidOutParamIndex¶

BecomeArgumentDeclaredHere¶

BecomeExactReturnType¶

ReturnShouldBeUndefined¶

ExternalConstantInitialiserMustBeUndefined¶

ExternalConstantInitialiser¶

BecomeOutsideFunction¶

LoopNotInScope¶

LoopTargetNoName¶

InvalidSignalDestination¶

ExpectedSignalType¶

ExpectedProvidedInterfaceForSignal¶

IncorrectSignalArgumentCount¶

LoopConstructOutsideOfLoop¶

NoLabelTarget¶

IllegalNestedStateMachineLocation¶

FunctionCallInNestedStateMachine¶

UnusedBlockExprStmt¶

UnusedBlockExprValue¶

UnusedBlockExprReturnPoint¶

UnusedFunctionValue¶

UnusedSignalValue¶

UnusedLiteralValue¶

UnusedComparison¶

UnusedMustUseType¶

UnusedMustUseFunction¶

ExpectedSomethingOfType¶

InitialisationSelfReference¶

InitialisationForwardReference¶

ArraySubscriptMustBeVerified¶

LHSOfAssignmentNotLValue¶

LiteralTypeMismatch¶

ValueMustBeInteger¶

CannotConstructValueFromIntegerLiteral¶

LiteralOutOfBounds¶

LiteralBelowLowerBound¶

LiteralAboveUpperBound¶

IfExprIsNil¶

IfConditionIsDiv¶

WhilePredicateIsDiv¶

ArgumentIsDiv¶

ReturnExprIsDiv¶

NondetGuardIsDiv¶

OfferGuardIsDiv¶

IllegalMatchingType¶

BreakMatchTypeMismatch¶

IncorrectFunctionArgumentCount¶

NotAnArrayExpr¶

NotAnFunctionExpr¶

CannotSpecialiseBase¶

UnknownImplicitBase¶

UnknownImplicitBaseRemoveSpecialisation¶

AmbiguousMemberOverload¶

AmbiguousFunctionOverload¶

PossibleMatchingOverload¶

ReferenceOfNonLValue¶

ExpectedReferenceType¶

MissingMatchCase¶

WriteOnlyVariable¶

MetaTypeExpr¶

MetaTypeExprNil¶

EmptyMatchExpr¶

MatchClauseOverlaps¶

MatchClauseOverlapsWith¶

EmptyNonDetExpr¶

OptionalOptional¶

OptionalNondetWithEmpty¶

OptionalEventuallyNondetEventually¶

OptionalNondetOtherwise¶

NondetUnnecessaryFallback¶

UndefinedExprNotAllowed¶

UndefinedExprVerifiedType¶

UndefinedExprRequired¶

UndefinedExprNonSignal¶

UndefinedExprInComponent¶

NonSimpleExpr¶

NonLiteralExpr¶

NonLiteralExprNoComputation¶

DisallowedReference¶

EmptyArrayLiteralAmbiguousType¶

LiteralExprEvaluationError¶

LiteralExprEvaluationErrorFromHere¶

AttributeAsExpr¶

ExternalCodeExprNoType¶

ExternalCodeExprNonExternalType¶

ExternalCodeExprVerified¶

UnsupportedEventSourceExpr¶

SetNextStateNonEquatableParameter¶

ResultTryOutsideFunction¶

ResultTryNonResultFunction¶

ResultTryNonResultArgument¶

ResultTryNonOptionalArgument¶

ResultTryErrorTypeMismatch¶

ExpectedSimpleReference¶

FieldAlreadyBound¶

ExpectedStructBindings¶

ExpectedStructLike¶

ExternalTypeStructLiteralNonSpec¶

ExternalTypeStructLiteralNonAbstracted¶

ModuleVariablesMustBeConstant¶

ModuleVariableMustHaveType¶

WildcardsDisallowed¶

WildcardMutable¶

VarParamsDisallowed¶

VarParamOutParameter¶

NoLoaderForModule¶

CycleInModuleDependencies¶

CycleInDecls¶

CycleInConstantDependencies¶

CycleInDeclsThrough¶

EnumCaseValueAndArgs¶

DuplicatedEnumCaseValue¶

DuplicatedEnumCaseValuePrevious¶

IllegalDeclWithinStruct¶

IllegalDeclWithinExternalType¶

IllegalDeclWithinEnum¶

ExpectedMutableFieldStruct¶

ExpectedImmutableFieldStruct¶

SingletonEnum¶

PortWithMixedFields¶

InterfaceHasFields¶

SimpleInheritsComposite¶

CompositeInheritsSimple¶

InterleavedPortRequiresPortFields¶

InterleavePortEmptyFields¶

InterleavePortFunctionsSignals¶

InterleaveUnsupported¶

IncomingUnsupported¶

PortMultipleInheritance¶

PortInheritFromFinal¶

SignalRecursive¶

PortFieldStateMachine¶

PortInheritanceRequiresCompatible¶

IncompatiblePortInheritance¶

IncompatibleComponentRuntime¶

CompositionalSlow¶

UnusedReservedName¶

ExternalComponentStateMachine¶

ExternalComponentNoPorts¶

ExternalComponentBothProvidedRequire¶

ExternalComponentOwned¶

ExternalComponentReferences¶

ComponentShouldHaveStateMachine¶

ComponentShouldHandleProvided¶

ImplementationComponentOwns¶

RuntimeAttributeRequired¶

ImplementationComponentConnections¶

ExternalComponentConnections¶

UnsupportedComponentReferences¶

CannotInferPortBehaviour¶

CannotInferPortBehaviourBecause¶

QueueSizeNonZero¶

QueueSizeTooLarge¶

QueueSizeNoRequiredPort¶

RuntimeNonRequiredPort¶

ExecutionStateInSingleThreaded¶

ExecutionStateInSingleThreadedPort¶

UnboundedSpontaneousRequiredUnboundedQueue¶

CannotUsePortBehaviourBecause¶

CannotUsePortBehaviourBecauseUnbounded¶

DuplicateComponentStateMachine¶

PreviousComponentStateMachine¶

DisallowedComponentFieldType¶

DisallowedComponentFieldTypePort¶

DisallowedComponentFieldTypePortProvided¶

DisallowedComponentFieldTypePortRequired¶

EncapsulatingComponentNoConstructor¶

EncapsulatingComponentInconsistentRuntime¶

EncapsulatingComponentInvalidContainment¶

ComponentMultipleConstructors¶

ConstructorWithArguments¶

SingleThreadedWrapperUnsafe¶

ConstructorExpectedBlock¶

ConstructorExpectedBlockNoValue¶

ConstructorUnrecognisedStmt¶

OverlappingFilter¶

OverlappingFilterPrevious¶

OverlappingUnique¶

OverlappingUniquePrevious¶

OverlappingIndependent¶

OverlappingIndependentPrevious¶

SingleThreadedSharedSignals¶

IndependentCallArraySubexpr¶

DisallowedConstructorCall¶

SetSharedOnRequiredPort¶

SetFilterCompositePort¶

UniqueOnUnboundedStateMachine¶

DisallowedPortConnectionCombiation¶

OverlappingConnection¶

OverlappingConnectionPrevious¶

ConnectionExprPortType¶

ConnectionAreNotTotal¶

ConnectionArrayExprDisallowedIndex¶

ConnectionExprDisallowed¶

ConnectionIncompatibleRuntime¶

ConnectionMultiplicity¶

ConnectionToMachinePortField¶

CycleInComponents¶

IllegalDeclWithinState¶

IllegalDeclWithinNestedState¶

ExpectedRequiredSignalForTrigger¶

ExpectedProvidedFunctionForTrigger¶

ExpectedDirectedForTrigger¶

UnverifiedArgumentNonWildcard¶

DuplicateEntryAction¶

DuplicateExitAction¶

StateMachineInheritanceNonPort¶

StateMachineInheritanceWrongContext¶

StateMachineInheritanceNonStateMachine¶

StateMachineInheritanceHierarchical¶

StateMachineInheritanceParameters¶

StateMachineInheritanceExecution¶

StateMachineInheritanceNonEventState¶

StateMachineInheritanceNoMatchingState¶

StateMachineInheritanceNonState¶

StateMachineInheritanceMainStateTransitions¶

StateRecursive¶

StateNotDefaultable¶

OverlappingTransition¶

OverlappingTransitionPrevious¶

MemberFunctionCannotBeGeneric¶

ExternalFunctionMustHaveBody¶

UninstantiatedGenericType¶

NonTypeDecl¶

NonTypeDeclNil¶

NonCompileTimeConstantTypeDecl¶

CompileTimeConstantTypeInitialiser¶

NotAGenericTypeDecl¶

IncorrectTypeArgumentCount¶

InsuficientTypeArgumentCount¶

ExcessiveTypeArgumentCount¶

InvalidTypeForParameter¶

InvalidTypeForValueParameter¶

PotentialOverloadInvalidTypeForValueParameter¶

NegationOfNonNumericLiteral¶

NegationOfNonNumericType¶

InvalidValueParameter¶

InvalidValueParameterReference¶

EmptyGenericSignature¶

UnsupportedBinaryTypeOperation¶

UnsupportedUnaryTypeOperation¶

ExpectedTypeClassDecl¶

ExpectedAssociatedType¶

InvalidNegatedRequirement¶

CustomTraitsDisallowed¶

GenericParameterWithDefaultTypeNotInTheEndOfList¶

FailedToDeduceTypeClass¶

InstancesAreNotAllowed¶

InstanceUnknownFunction¶

InstanceDuplicateFunction¶

IncorrectNumberOfTypeArguments¶

InstanceMissingFunction¶

ExpectedATypeClass¶

TypeClassInstanceGenericMember¶

ExpectedAssociatedButFunction¶

ExpectedFunctionButAssociated¶

TraitInstanceDeriveNonEmpty¶

CannotDeriveInstance¶

FailedDeriveInstance¶

FailedDeriveInstanceEq¶

MissingRequiredTypeClassInstance¶

MissingRequiredTypeClassInstances¶

NoInstances¶

NoMatchingInstances¶

AmbiguousMatchingInstance¶

PossibleMatchingInstance¶

NoMatchingInstancesNonVerified¶

CannotPerformBinaryOpOnTypes¶

CannotPerformBinaryOpOnType¶

CannotPerformBinaryOpOnType2Trait¶

DefaultOnlyExternal¶

ExternalFunctionDefault¶

DeriveAttributeWithRepeatedTypeClasses¶

CannotSynthesiseTypeClassInstanceForType¶

InstanceClashingWithDerived¶

DerivedHere¶

MultipleInstances¶

PreviousInstance¶

PreviousInstanceImplicit¶

UninstantiatedGenericVariable¶

NoOverload¶

PotentialOverload¶

PotentialOverloadArgumentCounts¶

SingleOverloadArgumentCounts¶

PotentialOverloadArgumentType¶

PotentialOverloadDirection¶

SingleOverloadArgumentType¶

SingleOverloadDirection¶

SingleOverloadDeclaredHere¶

InvalidSelfArgument¶

InvalidSelfArgumentMutable¶

CannotDetermineGenericArguments¶

PotentialOverloadGenericArgumentType¶

PotentialOverloadGenericArgumentTypeRequirement¶

OnlyOverloadGenericArgumentTypeRequirement¶

PotentialOverloadGenericArgumentTypeRequirementNoDecl¶

OnlyOverloadGenericArgumentTypeRequirementNoDecl¶

OnlyOverloadNoMatchingInstances¶

PotentialOverloadNoMatchingInstances¶

SingleOverloadGenericArgumentType¶

CannotDetermineGenericArgument¶

PotentialOverloadGenericArgumentNegatedRequirement¶

OnlyOverloadGenericArgumentNegatedRequirement¶

ExprNotGeneric¶

PotentialOverloadNotGeneric¶

ExpectedSignalOrFunction¶

ExpectedFieldEventSource¶

EventNotWithinSpecifiedField¶

CompoundEventHandlerWithinCompound¶

CompoundEventHandlerUnnecessaryFallback¶

PreviousBranchWithoutGuard¶

UnsupportedDeferredEventhandler¶

SpontaneousTransitionInNonPort¶

TimerTransitionInNonComponent¶

TimerTransitionGuard¶

UnusedTransitionInNonComponent¶

UnusedTransitionGuard¶

UnusedTransitionDuplicate¶

UnusedTransitionNoProvidedPort¶

TransitionForFilteredEvent¶

TransitionForFilteredEventFilter¶

CallForIndependentEvent¶

TransitionForIndependentEvent¶

TransitionForIndependentEventCall¶

NestedStatesNonEquatableParameter¶

SetNextStateNonEquatableParameterHere¶

SpontaneousOptional¶

UnboundedSpontaneousNotMainState¶

UnboundedSpontaneousWithGuard¶

InvalidVariableType¶

InvalidVariableSubType¶

RecursiveTypeDecl¶

NonVerifiedTypeInInterface¶

AbstractedTypeInInteface¶

MutableReferenceTypes¶

DocumentationParameterUnknown¶

DocumentationParameterAlreadyDocumented¶

DocumentationParameterAlreadyDocumentedPrevious¶

DocumentationReturnsOnNonFunction¶

DocumentationReturnNoValue¶

ExpectedEnumCase¶

ExpectedStatePattern¶

StatePatternGuard¶

EnumCaseArgumentCountMismatch¶

IncorrectStateArgumentCount¶

MutableStorageDeclPattern¶

VerificationTooManyEventuallyLabels¶

VerificationFailed¶

VerificationWarning¶