DiagnosticId¶

public enum DiagnosticId¶

Enum Constants¶

AbstractedTypeInInteface¶

public static final DiagnosticId AbstractedTypeInInteface¶

AccessSpecifierInconsistency¶

public static final DiagnosticId AccessSpecifierInconsistency¶

AccessSpecifiersNotAllowedForImport¶

public static final DiagnosticId AccessSpecifiersNotAllowedForImport¶

AccessSpecifiersNotAllowedForTraitInstances¶

public static final DiagnosticId AccessSpecifiersNotAllowedForTraitInstances¶

AccessSpecifiersNotAllowedForVerify¶

public static final DiagnosticId AccessSpecifiersNotAllowedForVerify¶

AccessSpecifiersNotAllowedInStateMachine¶

public static final DiagnosticId AccessSpecifiersNotAllowedInStateMachine¶

AltersTransitionKindHere¶

public static final DiagnosticId AltersTransitionKindHere¶

AlwaysUninitializedRead¶

public static final DiagnosticId AlwaysUninitializedRead¶

AmbiguousFunctionOverload¶

public static final DiagnosticId AmbiguousFunctionOverload¶

AmbiguousMatchingInstance¶

public static final DiagnosticId AmbiguousMatchingInstance¶

AmbiguousMemberOverload¶

public static final DiagnosticId AmbiguousMemberOverload¶

AmbiguousModuleImportPackage¶

public static final DiagnosticId AmbiguousModuleImportPackage¶

AmbiguousPackage¶

public static final DiagnosticId AmbiguousPackage¶

AmbiguousTopLevelPackageFile¶

public static final DiagnosticId AmbiguousTopLevelPackageFile¶

AmbiguousVariableReference¶

public static final DiagnosticId AmbiguousVariableReference¶

AnGuardIsDiv¶

public static final DiagnosticId AnGuardIsDiv¶

ArchitectureDiagramGenerationFailed¶

public static final DiagnosticId ArchitectureDiagramGenerationFailed¶

ArgumentIsDiv¶

public static final DiagnosticId ArgumentIsDiv¶

ArraySubscriptMustBeVerified¶

public static final DiagnosticId ArraySubscriptMustBeVerified¶

AssertCannotBeExternal¶

public static final DiagnosticId AssertCannotBeExternal¶

AssertCannotBeNegated¶

public static final DiagnosticId AssertCannotBeNegated¶

AssertExpectedConstructorCall¶

public static final DiagnosticId AssertExpectedConstructorCall¶

AssertExpectedDecl¶

public static final DiagnosticId AssertExpectedDecl¶

AssertExpectedRuntime¶

public static final DiagnosticId AssertExpectedRuntime¶

AssertExpectedTrace¶

public static final DiagnosticId AssertExpectedTrace¶

AssertExternalTraceImplLevel¶

public static final DiagnosticId AssertExternalTraceImplLevel¶

AssertExternalTracePort¶

public static final DiagnosticId AssertExternalTracePort¶

AssertHasTraceStateMachineArgument¶

public static final DiagnosticId AssertHasTraceStateMachineArgument¶

AssertNonVerifiable¶

public static final DiagnosticId AssertNonVerifiable¶

AssertNonVerifiableComponent¶

public static final DiagnosticId AssertNonVerifiableComponent¶

AssertNonVerifiablePort¶

public static final DiagnosticId AssertNonVerifiablePort¶

AssignsToInstanceVariableHere¶

public static final DiagnosticId AssignsToInstanceVariableHere¶

AssignsToLocalVariableHere¶

public static final DiagnosticId AssignsToLocalVariableHere¶

AssignsToVariableHere¶

public static final DiagnosticId AssignsToVariableHere¶

AssumptionOnConcreteTypes¶

public static final DiagnosticId AssumptionOnConcreteTypes¶

AttributeAsExpr¶

public static final DiagnosticId AttributeAsExpr¶

AttributeCannotApplyTo¶

public static final DiagnosticId AttributeCannotApplyTo¶

AttributeDeclGenerated¶

public static final DiagnosticId AttributeDeclGenerated¶

AttributeOnlyAppliedTo¶

public static final DiagnosticId AttributeOnlyAppliedTo¶

AttributesPrecedeTransitionNames¶

public static final DiagnosticId AttributesPrecedeTransitionNames¶

AwaitClauseDisallowedGuard¶

public static final DiagnosticId AwaitClauseDisallowedGuard¶

AwaitDuplicateEmptyClause¶

public static final DiagnosticId AwaitDuplicateEmptyClause¶

AwaitDuplicateEmptyClausePrevious¶

public static final DiagnosticId AwaitDuplicateEmptyClausePrevious¶

AwaitEntryExitFunction¶

public static final DiagnosticId AwaitEntryExitFunction¶

AwaitFallbackEvent¶

public static final DiagnosticId AwaitFallbackEvent¶

AwaitFallbackMustBeLast¶

public static final DiagnosticId AwaitFallbackMustBeLast¶

AwaitHere¶

public static final DiagnosticId AwaitHere¶

AwaitInTimerTransition¶

public static final DiagnosticId AwaitInTimerTransition¶

AwaitInheritWrongEvent¶

public static final DiagnosticId AwaitInheritWrongEvent¶

AwaitInsideNonResolvingClause¶

public static final DiagnosticId AwaitInsideNonResolvingClause¶

AwaitNonFunction¶

public static final DiagnosticId AwaitNonFunction¶

AwaitPeriodicEventSimple¶

public static final DiagnosticId AwaitPeriodicEventSimple¶

BecomeArgumentDeclaredHere¶

public static final DiagnosticId BecomeArgumentDeclaredHere¶

BecomeCannotDeduceFunction¶

public static final DiagnosticId BecomeCannotDeduceFunction¶

BecomeExactParameterType¶

public static final DiagnosticId BecomeExactParameterType¶

BecomeExactReturnType¶

public static final DiagnosticId BecomeExactReturnType¶

BecomeInvalidInstanceVariable¶

public static final DiagnosticId BecomeInvalidInstanceVariable¶

BecomeInvalidOutParam¶

public static final DiagnosticId BecomeInvalidOutParam¶

BecomeInvalidOutParamIndex¶

public static final DiagnosticId BecomeInvalidOutParamIndex¶

BecomeNotACall¶

public static final DiagnosticId BecomeNotACall¶

BecomeOutsideFunction¶

public static final DiagnosticId BecomeOutsideFunction¶

BecomeParameterCountMismatch¶

public static final DiagnosticId BecomeParameterCountMismatch¶

BenchmarkExpectedPackage¶

public static final DiagnosticId BenchmarkExpectedPackage¶

BenchmarkNoFiles¶

public static final DiagnosticId BenchmarkNoFiles¶

BenchmarkStoped¶

public static final DiagnosticId BenchmarkStoped¶

BreakAwaitNonStmt¶

public static final DiagnosticId BreakAwaitNonStmt¶

BreakAwaitTypeMismatch¶

public static final DiagnosticId BreakAwaitTypeMismatch¶

BreakMatchNonStmt¶

public static final DiagnosticId BreakMatchNonStmt¶

BreakMatchTypeMismatch¶

public static final DiagnosticId BreakMatchTypeMismatch¶

BufferAttributeStackSize¶

public static final DiagnosticId BufferAttributeStackSize¶

CEmptyStruct¶

public static final DiagnosticId CEmptyStruct¶

CFunctionOverloading¶

public static final DiagnosticId CFunctionOverloading¶

CInterpolatedStringInvalid¶

public static final DiagnosticId CInterpolatedStringInvalid¶

CNamespacesNotSupported¶

public static final DiagnosticId CNamespacesNotSupported¶

CPPConflictingRecordMember¶

public static final DiagnosticId CPPConflictingRecordMember¶

CSMExpectedGenericType¶

public static final DiagnosticId CSMExpectedGenericType¶

CSMExpectedNominalType¶

public static final DiagnosticId CSMExpectedNominalType¶

CSMNonVerifiedDecl¶

public static final DiagnosticId CSMNonVerifiedDecl¶

CSMUndefinedExpr¶

public static final DiagnosticId CSMUndefinedExpr¶

CSMUnknownDecl¶

public static final DiagnosticId CSMUnknownDecl¶

CSMUnknownDeclRequiredHere¶

public static final DiagnosticId CSMUnknownDeclRequiredHere¶

CSMUnknownExternalConstant¶

public static final DiagnosticId CSMUnknownExternalConstant¶

CSMUnknownExternalFunction¶

public static final DiagnosticId CSMUnknownExternalFunction¶

CSMUnknownExternalType¶

public static final DiagnosticId CSMUnknownExternalType¶

CSMUnknownNextStateInheritance¶

public static final DiagnosticId CSMUnknownNextStateInheritance¶

CSMValueDeclUnknown¶

public static final DiagnosticId CSMValueDeclUnknown¶

CSharpConflictingTypeMember¶

public static final DiagnosticId CSharpConflictingTypeMember¶

CSharpDefaultNonZero¶

public static final DiagnosticId CSharpDefaultNonZero¶

CSharpReferenceParamInFunctionReference¶

public static final DiagnosticId CSharpReferenceParamInFunctionReference¶

CSharpReferenceType¶

public static final DiagnosticId CSharpReferenceType¶

CSharpReferenceTypeNested¶

public static final DiagnosticId CSharpReferenceTypeNested¶

CSharpReferenceTypeValueHere¶

public static final DiagnosticId CSharpReferenceTypeValueHere¶

CallForIndependentEvent¶

public static final DiagnosticId CallForIndependentEvent¶

CalledVia¶

public static final DiagnosticId CalledVia¶

CallsRequiredPortHere¶

public static final DiagnosticId CallsRequiredPortHere¶

CallsSetNextStateHere¶

public static final DiagnosticId CallsSetNextStateHere¶

CannotConstructValueFromIntegerLiteral¶

public static final DiagnosticId CannotConstructValueFromIntegerLiteral¶

CannotCreateDir¶

public static final DiagnosticId CannotCreateDir¶

CannotDeriveInstance¶

public static final DiagnosticId CannotDeriveInstance¶

CannotDeriveWhenFieldIsPrivate¶

public static final DiagnosticId CannotDeriveWhenFieldIsPrivate¶

CannotDetermineGenericArgument¶

public static final DiagnosticId CannotDetermineGenericArgument¶

CannotDetermineGenericArguments¶

public static final DiagnosticId CannotDetermineGenericArguments¶

CannotEvaluate¶

public static final DiagnosticId CannotEvaluate¶

CannotExtractRuntime¶

public static final DiagnosticId CannotExtractRuntime¶

CannotImportInternalModule¶

public static final DiagnosticId CannotImportInternalModule¶

CannotInferPortBehaviour¶

public static final DiagnosticId CannotInferPortBehaviour¶

CannotInferPortBehaviourBecause¶

public static final DiagnosticId CannotInferPortBehaviourBecause¶

CannotLookupMembers¶

public static final DiagnosticId CannotLookupMembers¶

CannotParseWorkspace¶

public static final DiagnosticId CannotParseWorkspace¶

CannotPerformBinaryOpOnLiteralTypes¶

public static final DiagnosticId CannotPerformBinaryOpOnLiteralTypes¶

CannotPerformBinaryOpOnType¶

public static final DiagnosticId CannotPerformBinaryOpOnType¶

CannotPerformBinaryOpOnType2Trait¶

public static final DiagnosticId CannotPerformBinaryOpOnType2Trait¶

CannotPerformBinaryOpOnTypes¶

public static final DiagnosticId CannotPerformBinaryOpOnTypes¶

CannotSpecialiseBase¶

public static final DiagnosticId CannotSpecialiseBase¶

CannotSynthesiseTypeClassInstanceForType¶

public static final DiagnosticId CannotSynthesiseTypeClassInstanceForType¶

CannotUsePortBehaviourBecause¶

public static final DiagnosticId CannotUsePortBehaviourBecause¶

CannotUsePortBehaviourBecauseUnbounded¶

public static final DiagnosticId CannotUsePortBehaviourBecauseUnbounded¶

CocoEventuallyAndUnreliableAttributes¶

public static final DiagnosticId CocoEventuallyAndUnreliableAttributes¶

CocoEventuallyAttributeComponentOffer¶

public static final DiagnosticId CocoEventuallyAttributeComponentOffer¶

CodeCompletionTokenNotFound¶

public static final DiagnosticId CodeCompletionTokenNotFound¶

CodeCompletionTokenRequired¶

public static final DiagnosticId CodeCompletionTokenRequired¶

CompatibleAttributeDuplicateRuntime¶

public static final DiagnosticId CompatibleAttributeDuplicateRuntime¶

CompileTimeConstantTypeInitialiser¶

public static final DiagnosticId CompileTimeConstantTypeInitialiser¶

ComponentConstructorRequiresArguments¶

public static final DiagnosticId ComponentConstructorRequiresArguments¶

ComponentDataFieldNoDefault¶

public static final DiagnosticId ComponentDataFieldNoDefault¶

ComponentDisallowedExternalInheritance¶

public static final DiagnosticId ComponentDisallowedExternalInheritance¶

ComponentDisallowedExternalSection¶

public static final DiagnosticId ComponentDisallowedExternalSection¶

ComponentDisallowedInheritance¶

public static final DiagnosticId ComponentDisallowedInheritance¶

ComponentDoubleBorrowed¶

public static final DiagnosticId ComponentDoubleBorrowed¶

ComponentDuplicateSection¶

public static final DiagnosticId ComponentDuplicateSection¶

ComponentDuplicateSectionPrevious¶

public static final DiagnosticId ComponentDuplicateSectionPrevious¶

ComponentFieldHere¶

public static final DiagnosticId ComponentFieldHere¶

ComponentFieldVerified¶

public static final DiagnosticId ComponentFieldVerified¶

ComponentLentOutHere¶

public static final DiagnosticId ComponentLentOutHere¶

ComponentMultipleConstructors¶

public static final DiagnosticId ComponentMultipleConstructors¶

ComponentMultipleInheritance¶

public static final DiagnosticId ComponentMultipleInheritance¶

ComponentResolution¶

public static final DiagnosticId ComponentResolution¶

ComponentShouldHandleProvided¶

public static final DiagnosticId ComponentShouldHandleProvided¶

ComponentShouldHaveStateMachine¶

public static final DiagnosticId ComponentShouldHaveStateMachine¶

CompositeInheritsSimple¶

public static final DiagnosticId CompositeInheritsSimple¶

CompositionalSlow¶

public static final DiagnosticId CompositionalSlow¶

CompoundEventHandlerUnnecessaryFallback¶

public static final DiagnosticId CompoundEventHandlerUnnecessaryFallback¶

CompoundEventHandlerWithinCompound¶

public static final DiagnosticId CompoundEventHandlerWithinCompound¶

ConflictingFlags¶

public static final DiagnosticId ConflictingFlags¶

ConflictingReferenceFirstUse¶

public static final DiagnosticId ConflictingReferenceFirstUse¶

ConflictingReferenceLocalMemberCallExpr¶

public static final DiagnosticId ConflictingReferenceLocalMemberCallExpr¶

ConflictingReferences¶

public static final DiagnosticId ConflictingReferences¶

ConnectionAreNotTotal¶

public static final DiagnosticId ConnectionAreNotTotal¶

ConnectionAreNotTotalButSomeAre¶

public static final DiagnosticId ConnectionAreNotTotalButSomeAre¶

ConnectionArrayExprDisallowedIndex¶

public static final DiagnosticId ConnectionArrayExprDisallowedIndex¶

ConnectionExprDisallowed¶

public static final DiagnosticId ConnectionExprDisallowed¶

ConnectionExprPortType¶

public static final DiagnosticId ConnectionExprPortType¶

ConnectionIncompatibleRuntime¶

public static final DiagnosticId ConnectionIncompatibleRuntime¶

ConnectionIsExclusive¶

public static final DiagnosticId ConnectionIsExclusive¶

ConnectionMultiplicity¶

public static final DiagnosticId ConnectionMultiplicity¶

ConnectionToMachinePortField¶

public static final DiagnosticId ConnectionToMachinePortField¶

ConstraintMappedTraitInstanceExtraTypeParams¶

public static final DiagnosticId ConstraintMappedTraitInstanceExtraTypeParams¶

ConstraintMappedTraitInstanceOnImportedType¶

public static final DiagnosticId ConstraintMappedTraitInstanceOnImportedType¶

ConstraintMappedTraitInstanceStricterThanType¶

public static final DiagnosticId ConstraintMappedTraitInstanceStricterThanType¶

ConstraintMappedTraitInstanceStricterThanTypeInfo¶

public static final DiagnosticId ConstraintMappedTraitInstanceStricterThanTypeInfo¶

ConstraintMappedTraitInstanceTypeArgumentNotGenericType¶

public static final DiagnosticId ConstraintMappedTraitInstanceTypeArgumentNotGenericType¶

ConstraintMappedTraitInstanceTypeArgumentNotUnique¶

public static final DiagnosticId ConstraintMappedTraitInstanceTypeArgumentNotUnique¶

ConstructorArrayInitialiserNonLiteral¶

public static final DiagnosticId ConstructorArrayInitialiserNonLiteral¶

ConstructorCallViaComplexExpression¶

public static final DiagnosticId ConstructorCallViaComplexExpression¶

ConstructorExpectedBlock¶

public static final DiagnosticId ConstructorExpectedBlock¶

ConstructorExpectedBlockNoValue¶

public static final DiagnosticId ConstructorExpectedBlockNoValue¶

ConstructorInitialiserTargetNotSimple¶

public static final DiagnosticId ConstructorInitialiserTargetNotSimple¶

ConstructorUnrecognisedStmt¶

public static final DiagnosticId ConstructorUnrecognisedStmt¶

ConstructorsMustBePublic¶

public static final DiagnosticId ConstructorsMustBePublic¶

CouldNotFind¶

public static final DiagnosticId CouldNotFind¶

CouldNotFindImport¶

public static final DiagnosticId CouldNotFindImport¶

CouldNotFindImportInPackage¶

public static final DiagnosticId CouldNotFindImportInPackage¶

CouldNotFindPackage¶

public static final DiagnosticId CouldNotFindPackage¶

CouldNotFindStateMachine¶

public static final DiagnosticId CouldNotFindStateMachine¶

CouldNotOpen¶

public static final DiagnosticId CouldNotOpen¶

CouldNotOpenDirectory¶

public static final DiagnosticId CouldNotOpenDirectory¶

CouldNotOpenOutputFile¶

public static final DiagnosticId CouldNotOpenOutputFile¶

CouldNotPostprocessGraph¶

public static final DiagnosticId CouldNotPostprocessGraph¶

CouldNotWrite¶

public static final DiagnosticId CouldNotWrite¶

CounterexampleAmbiguousOutput¶

public static final DiagnosticId CounterexampleAmbiguousOutput¶

CounterexampleDuplicateOutput¶

public static final DiagnosticId CounterexampleDuplicateOutput¶

CppPortChildNameConflict¶

public static final DiagnosticId CppPortChildNameConflict¶

CppPortChildNameConflictPrevious¶

public static final DiagnosticId CppPortChildNameConflictPrevious¶

CustomTraitsDisallowed¶

public static final DiagnosticId CustomTraitsDisallowed¶

CycleInComponents¶

public static final DiagnosticId CycleInComponents¶

CycleInConstantDependencies¶

public static final DiagnosticId CycleInConstantDependencies¶

CycleInDecls¶

public static final DiagnosticId CycleInDecls¶

CycleInDeclsThrough¶

public static final DiagnosticId CycleInDeclsThrough¶

CycleInInstances¶

public static final DiagnosticId CycleInInstances¶

CycleInModuleDependencies¶

public static final DiagnosticId CycleInModuleDependencies¶

CycleInPackageDependencies¶

public static final DiagnosticId CycleInPackageDependencies¶

DataMembersMustBePrivate¶

public static final DiagnosticId DataMembersMustBePrivate¶

DeclLanguageStandardTooOld¶

public static final DiagnosticId DeclLanguageStandardTooOld¶

DeclUnused¶

public static final DiagnosticId DeclUnused¶

DeclaredHere¶

public static final DiagnosticId DeclaredHere¶

DeclaredHereWithAccessSpecifier¶

public static final DiagnosticId DeclaredHereWithAccessSpecifier¶

DeclaredSideEffectFreeHere¶

public static final DiagnosticId DeclaredSideEffectFreeHere¶

DefaultOnlyExternal¶

public static final DiagnosticId DefaultOnlyExternal¶

DeprecatedDecl¶

public static final DiagnosticId DeprecatedDecl¶

DeprecatedDeclHere¶

public static final DiagnosticId DeprecatedDeclHere¶

DeprecatedFunctionDecl¶

public static final DiagnosticId DeprecatedFunctionDecl¶

DeprecatedModuleDecl¶

public static final DiagnosticId DeprecatedModuleDecl¶

DeprecatedTraitInstanceDecl¶

public static final DiagnosticId DeprecatedTraitInstanceDecl¶

DeprecatedValueDecl¶

public static final DiagnosticId DeprecatedValueDecl¶

DeriveAttributeWithRepeatedTypeClasses¶

public static final DiagnosticId DeriveAttributeWithRepeatedTypeClasses¶

DeriveAttributeWithoutTypeClasses¶

public static final DiagnosticId DeriveAttributeWithoutTypeClasses¶

DerivedHere¶

public static final DiagnosticId DerivedHere¶

DiamondInheritanceMSVC¶

public static final DiagnosticId DiamondInheritanceMSVC¶

DisallowedComponentFieldType¶

public static final DiagnosticId DisallowedComponentFieldType¶

DisallowedComponentFieldTypePort¶

public static final DiagnosticId DisallowedComponentFieldTypePort¶

DisallowedComponentFieldTypePortProvided¶

public static final DiagnosticId DisallowedComponentFieldTypePortProvided¶

DisallowedComponentFieldTypePortRequired¶

public static final DiagnosticId DisallowedComponentFieldTypePortRequired¶

DisallowedConstructorCall¶

public static final DiagnosticId DisallowedConstructorCall¶

DisallowedGenericComponent¶

public static final DiagnosticId DisallowedGenericComponent¶

DisallowedMonitorFieldType¶

public static final DiagnosticId DisallowedMonitorFieldType¶

DisallowedPortConnectionCombiation¶

public static final DiagnosticId DisallowedPortConnectionCombiation¶

DisallowedReference¶

public static final DiagnosticId DisallowedReference¶

DisallowedReferenceInComponentConstructor¶

public static final DiagnosticId DisallowedReferenceInComponentConstructor¶

DocumentationParameterAlreadyDocumented¶

public static final DiagnosticId DocumentationParameterAlreadyDocumented¶

DocumentationParameterAlreadyDocumentedPrevious¶

public static final DiagnosticId DocumentationParameterAlreadyDocumentedPrevious¶

DocumentationParameterUnknown¶

public static final DiagnosticId DocumentationParameterUnknown¶

DocumentationReturnNoValue¶

public static final DiagnosticId DocumentationReturnNoValue¶

DocumentationReturnsOnNonFunction¶

public static final DiagnosticId DocumentationReturnsOnNonFunction¶

DuplicateAttribute¶

public static final DiagnosticId DuplicateAttribute¶

DuplicateAttributePrevious¶

public static final DiagnosticId DuplicateAttributePrevious¶

DuplicateBehaviourSection¶

public static final DiagnosticId DuplicateBehaviourSection¶

DuplicateComponent¶

public static final DiagnosticId DuplicateComponent¶

DuplicateComponentStateMachine¶

public static final DiagnosticId DuplicateComponentStateMachine¶

DuplicateEntryAction¶

public static final DiagnosticId DuplicateEntryAction¶

DuplicateExitAction¶

public static final DiagnosticId DuplicateExitAction¶

DuplicateGeneratedFile¶

public static final DiagnosticId DuplicateGeneratedFile¶

DuplicateGeneratedFilePrevious¶

public static final DiagnosticId DuplicateGeneratedFilePrevious¶

DuplicateImport¶

public static final DiagnosticId DuplicateImport¶

DuplicateStateMachine¶

public static final DiagnosticId DuplicateStateMachine¶

DuplicateStateMachineConstructor¶

public static final DiagnosticId DuplicateStateMachineConstructor¶

DuplicateUnqualifiedImport¶

public static final DiagnosticId DuplicateUnqualifiedImport¶

DuplicatedEnumCaseValue¶

public static final DiagnosticId DuplicatedEnumCaseValue¶

DuplicatedEnumCaseValuePrevious¶

public static final DiagnosticId DuplicatedEnumCaseValuePrevious¶

EMFDuplicateModule¶

public static final DiagnosticId EMFDuplicateModule¶

EMFUnknownClass¶

public static final DiagnosticId EMFUnknownClass¶

EMFUnknownFeature¶

public static final DiagnosticId EMFUnknownFeature¶

ElseClauseMustBeLastInHandler¶

public static final DiagnosticId ElseClauseMustBeLastInHandler¶

ElseClauseMustBeLastInNonDet¶

public static final DiagnosticId ElseClauseMustBeLastInNonDet¶

EmptyArrayLiteralAmbiguousType¶

public static final DiagnosticId EmptyArrayLiteralAmbiguousType¶

EmptyAwaitExpr¶

public static final DiagnosticId EmptyAwaitExpr¶

EmptyEventNoAwait¶

public static final DiagnosticId EmptyEventNoAwait¶

EmptyEventNoStateMachine¶

public static final DiagnosticId EmptyEventNoStateMachine¶

EmptyGenericSignature¶

public static final DiagnosticId EmptyGenericSignature¶

EmptyMatchExpr¶

public static final DiagnosticId EmptyMatchExpr¶

EmptyNonDetExpr¶

public static final DiagnosticId EmptyNonDetExpr¶

EmptyTypeArgumentList¶

public static final DiagnosticId EmptyTypeArgumentList¶

EncapsulatingComponentInconsistentRuntime¶

public static final DiagnosticId EncapsulatingComponentInconsistentRuntime¶

EncapsulatingComponentInvalidContainment¶

public static final DiagnosticId EncapsulatingComponentInvalidContainment¶

EncapsulatingComponentNoConstructor¶

public static final DiagnosticId EncapsulatingComponentNoConstructor¶

EnclosingNonContainedWorkspace¶

public static final DiagnosticId EnclosingNonContainedWorkspace¶

EnumCaseArgumentCountMismatch¶

public static final DiagnosticId EnumCaseArgumentCountMismatch¶

EnumCaseValueAndArgs¶

public static final DiagnosticId EnumCaseValueAndArgs¶

EnumerationCasesMustBePublic¶

public static final DiagnosticId EnumerationCasesMustBePublic¶

EqualityComparisonUnverifiedArguments¶

public static final DiagnosticId EqualityComparisonUnverifiedArguments¶

ErrorCouldNotOpenFile¶

public static final DiagnosticId ErrorCouldNotOpenFile¶

ErrorLimitExceeded¶

public static final DiagnosticId ErrorLimitExceeded¶

EventNotWithinSpecifiedField¶

public static final DiagnosticId EventNotWithinSpecifiedField¶

EventRequiresExprEventHandler¶

public static final DiagnosticId EventRequiresExprEventHandler¶

EventRequiresTransition¶

public static final DiagnosticId EventRequiresTransition¶

EventuallyAssumptionNonStatic¶

public static final DiagnosticId EventuallyAssumptionNonStatic¶

ExcessiveTypeArgumentCount¶

public static final DiagnosticId ExcessiveTypeArgumentCount¶

ExecutionStateInSingleThreaded¶

public static final DiagnosticId ExecutionStateInSingleThreaded¶

ExecutionStateInSingleThreadedPort¶

public static final DiagnosticId ExecutionStateInSingleThreadedPort¶

ExpectIdentifier¶

public static final DiagnosticId ExpectIdentifier¶

ExpectedAMonitor¶

public static final DiagnosticId ExpectedAMonitor¶

ExpectedATypeClass¶

public static final DiagnosticId ExpectedATypeClass¶

ExpectedArrowInFunctionType¶

public static final DiagnosticId ExpectedArrowInFunctionType¶

ExpectedAssignAfterArgumentList¶

public static final DiagnosticId ExpectedAssignAfterArgumentList¶

ExpectedAssignAfterSpontaneous¶

public static final DiagnosticId ExpectedAssignAfterSpontaneous¶

ExpectedAssignAfterTimerDuration¶

public static final DiagnosticId ExpectedAssignAfterTimerDuration¶

ExpectedAssignAfterUnused¶

public static final DiagnosticId ExpectedAssignAfterUnused¶

ExpectedAssociatedButFunction¶

public static final DiagnosticId ExpectedAssociatedButFunction¶

ExpectedAssociatedType¶

public static final DiagnosticId ExpectedAssociatedType¶

ExpectedAt¶

public static final DiagnosticId ExpectedAt¶

ExpectedAttribute¶

public static final DiagnosticId ExpectedAttribute¶

ExpectedAttributeArgumentCount¶

public static final DiagnosticId ExpectedAttributeArgumentCount¶

ExpectedBacktick¶

public static final DiagnosticId ExpectedBacktick¶

ExpectedBraceAfterNondet¶

public static final DiagnosticId ExpectedBraceAfterNondet¶

ExpectedCocoWorkspace¶

public static final DiagnosticId ExpectedCocoWorkspace¶

ExpectedColonTypeAfterVariable¶

public static final DiagnosticId ExpectedColonTypeAfterVariable¶

ExpectedCommaDelimiter¶

public static final DiagnosticId ExpectedCommaDelimiter¶

ExpectedConnectionArrow¶

public static final DiagnosticId ExpectedConnectionArrow¶

ExpectedDecl¶

public static final DiagnosticId ExpectedDecl¶

ExpectedDeclAfterAbstract¶

public static final DiagnosticId ExpectedDeclAfterAbstract¶

ExpectedDeclAfterExternal¶

public static final DiagnosticId ExpectedDeclAfterExternal¶

ExpectedDirectedForTrigger¶

public static final DiagnosticId ExpectedDirectedForTrigger¶

ExpectedEOF¶

public static final DiagnosticId ExpectedEOF¶

ExpectedEnumCase¶

public static final DiagnosticId ExpectedEnumCase¶

ExpectedEnumMember¶

public static final DiagnosticId ExpectedEnumMember¶

ExpectedEvent¶

public static final DiagnosticId ExpectedEvent¶

ExpectedEventHandler¶

public static final DiagnosticId ExpectedEventHandler¶

ExpectedEventSource¶

public static final DiagnosticId ExpectedEventSource¶

ExpectedEventSourceObservedEvent¶

public static final DiagnosticId ExpectedEventSourceObservedEvent¶

ExpectedExpr¶

public static final DiagnosticId ExpectedExpr¶

ExpectedExprAfterAssign¶

public static final DiagnosticId ExpectedExprAfterAssign¶

ExpectedExprAfterElse¶

public static final DiagnosticId ExpectedExprAfterElse¶

ExpectedExprAfterIfGuard¶

public static final DiagnosticId ExpectedExprAfterIfGuard¶

ExpectedExprAfterImplies¶

public static final DiagnosticId ExpectedExprAfterImplies¶

ExpectedExprAfterImpliesAwait¶

public static final DiagnosticId ExpectedExprAfterImpliesAwait¶

ExpectedExprAfterIn¶

public static final DiagnosticId ExpectedExprAfterIn¶

ExpectedExprAfterMatch¶

public static final DiagnosticId ExpectedExprAfterMatch¶

ExpectedExprAfterOperator¶

public static final DiagnosticId ExpectedExprAfterOperator¶

ExpectedExprAfterOptional¶

public static final DiagnosticId ExpectedExprAfterOptional¶

ExpectedExprAfterOtherwise¶

public static final DiagnosticId ExpectedExprAfterOtherwise¶

ExpectedExprAfterReturn¶

public static final DiagnosticId ExpectedExprAfterReturn¶

ExpectedExprAfterSend¶

public static final DiagnosticId ExpectedExprAfterSend¶

ExpectedExprAsArrayIndex¶

public static final DiagnosticId ExpectedExprAsArrayIndex¶

ExpectedExprAsAssert¶

public static final DiagnosticId ExpectedExprAsAssert¶

ExpectedExprAsDuration¶

public static final DiagnosticId ExpectedExprAsDuration¶

ExpectedExprAsIfGuard¶

public static final DiagnosticId ExpectedExprAsIfGuard¶

ExpectedExprAsWhileGuard¶

public static final DiagnosticId ExpectedExprAsWhileGuard¶

ExpectedExprInParenthesis¶

public static final DiagnosticId ExpectedExprInParenthesis¶

ExpectedFieldEventSource¶

public static final DiagnosticId ExpectedFieldEventSource¶

ExpectedForOrWhileAfterColon¶

public static final DiagnosticId ExpectedForOrWhileAfterColon¶

ExpectedFunction¶

public static final DiagnosticId ExpectedFunction¶

ExpectedFunctionButAssociated¶

public static final DiagnosticId ExpectedFunctionButAssociated¶

ExpectedFunctionDecl¶

public static final DiagnosticId ExpectedFunctionDecl¶

ExpectedFunctionInterface¶

public static final DiagnosticId ExpectedFunctionInterface¶

ExpectedFunctionOrAssociatedTypeDecl¶

public static final DiagnosticId ExpectedFunctionOrAssociatedTypeDecl¶

ExpectedFunctionOrTypeDecl¶

public static final DiagnosticId ExpectedFunctionOrTypeDecl¶

ExpectedImmutableFieldStruct¶

public static final DiagnosticId ExpectedImmutableFieldStruct¶

ExpectedImpliesInAwaitClause¶

public static final DiagnosticId ExpectedImpliesInAwaitClause¶

ExpectedImpliesInMatchClause¶

public static final DiagnosticId ExpectedImpliesInMatchClause¶

ExpectedInsteadOfType¶

public static final DiagnosticId ExpectedInsteadOfType¶

ExpectedIntegerAfterMinus¶

public static final DiagnosticId ExpectedIntegerAfterMinus¶

ExpectedIntegerLiteralType¶

public static final DiagnosticId ExpectedIntegerLiteralType¶

ExpectedLBrace¶

public static final DiagnosticId ExpectedLBrace¶

ExpectedLBracket¶

public static final DiagnosticId ExpectedLBracket¶

ExpectedLParenOrExtends¶

public static final DiagnosticId ExpectedLParenOrExtends¶

ExpectedLessThan¶

public static final DiagnosticId ExpectedLessThan¶

ExpectedLiteralType¶

public static final DiagnosticId ExpectedLiteralType¶

ExpectedMonitorField¶

public static final DiagnosticId ExpectedMonitorField¶

ExpectedMutableFieldStruct¶

public static final DiagnosticId ExpectedMutableFieldStruct¶

ExpectedNegatableType¶

public static final DiagnosticId ExpectedNegatableType¶

ExpectedObjectOfType¶

public static final DiagnosticId ExpectedObjectOfType¶

ExpectedObservedEvent¶

public static final DiagnosticId ExpectedObservedEvent¶

ExpectedParenAssign¶

public static final DiagnosticId ExpectedParenAssign¶

ExpectedPatternInEventSource¶

public static final DiagnosticId ExpectedPatternInEventSource¶

ExpectedPatternInMatchClause¶

public static final DiagnosticId ExpectedPatternInMatchClause¶

ExpectedPatternInObservedEvent¶

public static final DiagnosticId ExpectedPatternInObservedEvent¶

ExpectedPortBehaviour¶

public static final DiagnosticId ExpectedPortBehaviour¶

ExpectedProvidedFunctionForTrigger¶

public static final DiagnosticId ExpectedProvidedFunctionForTrigger¶

ExpectedProvidedInterfaceForSignal¶

public static final DiagnosticId ExpectedProvidedInterfaceForSignal¶

ExpectedRecordMember¶

public static final DiagnosticId ExpectedRecordMember¶

ExpectedReferenceType¶

public static final DiagnosticId ExpectedReferenceType¶

ExpectedRequiredSignalForTrigger¶

public static final DiagnosticId ExpectedRequiredSignalForTrigger¶

ExpectedSignalAfter¶

public static final DiagnosticId ExpectedSignalAfter¶

ExpectedSignalConstructor¶

public static final DiagnosticId ExpectedSignalConstructor¶

ExpectedSignalOrFunction¶

public static final DiagnosticId ExpectedSignalOrFunction¶

ExpectedSignalType¶

public static final DiagnosticId ExpectedSignalType¶

ExpectedSimpleReference¶

public static final DiagnosticId ExpectedSimpleReference¶

ExpectedSomethingOfType¶

public static final DiagnosticId ExpectedSomethingOfType¶

ExpectedStateAfterExecution¶

public static final DiagnosticId ExpectedStateAfterExecution¶

ExpectedStatePattern¶

public static final DiagnosticId ExpectedStatePattern¶

ExpectedStaticFunction¶

public static final DiagnosticId ExpectedStaticFunction¶

ExpectedStmtInBlock¶

public static final DiagnosticId ExpectedStmtInBlock¶

ExpectedStructBindings¶

public static final DiagnosticId ExpectedStructBindings¶

ExpectedStructLike¶

public static final DiagnosticId ExpectedStructLike¶

ExpectedToken¶

public static final DiagnosticId ExpectedToken¶

ExpectedTrailingSemicolon¶

public static final DiagnosticId ExpectedTrailingSemicolon¶

ExpectedType¶

public static final DiagnosticId ExpectedType¶

ExpectedTypeAfterColon¶

public static final DiagnosticId ExpectedTypeAfterColon¶

ExpectedTypeAfterFunctionArrow¶

public static final DiagnosticId ExpectedTypeAfterFunctionArrow¶

ExpectedTypeClassDecl¶

public static final DiagnosticId ExpectedTypeClassDecl¶

ExpectedTypeMismatch¶

public static final DiagnosticId ExpectedTypeMismatch¶

ExpectedTypeMismatchSuggestCast¶

public static final DiagnosticId ExpectedTypeMismatchSuggestCast¶

ExpectedTypeOperator¶

public static final DiagnosticId ExpectedTypeOperator¶

ExpectedTypeReprAfterOperator¶

public static final DiagnosticId ExpectedTypeReprAfterOperator¶

ExpectedTypesToBeEqual¶

public static final DiagnosticId ExpectedTypesToBeEqual¶

ExpectedVal¶

public static final DiagnosticId ExpectedVal¶

ExpectedVarOrVal¶

public static final DiagnosticId ExpectedVarOrVal¶

ExprNotGeneric¶

public static final DiagnosticId ExprNotGeneric¶

ExternalAssertCannotBeNegated¶

public static final DiagnosticId ExternalAssertCannotBeNegated¶

ExternalCodeExprNoType¶

public static final DiagnosticId ExternalCodeExprNoType¶

ExternalCodeExprNonExternalType¶

public static final DiagnosticId ExternalCodeExprNonExternalType¶

ExternalCodeExprVerified¶

public static final DiagnosticId ExternalCodeExprVerified¶

ExternalComponentBadInitialiser¶

public static final DiagnosticId ExternalComponentBadInitialiser¶

ExternalComponentConnections¶

public static final DiagnosticId ExternalComponentConnections¶

ExternalComponentConstructorWithParameters¶

public static final DiagnosticId ExternalComponentConstructorWithParameters¶

ExternalComponentDataMember¶

public static final DiagnosticId ExternalComponentDataMember¶

ExternalComponentNoPorts¶

public static final DiagnosticId ExternalComponentNoPorts¶

ExternalComponentOwned¶

public static final DiagnosticId ExternalComponentOwned¶

ExternalComponentReferences¶

public static final DiagnosticId ExternalComponentReferences¶

ExternalComponentStateMachine¶

public static final DiagnosticId ExternalComponentStateMachine¶

ExternalComponentsMustBeInitialisedLast¶

public static final DiagnosticId ExternalComponentsMustBeInitialisedLast¶

ExternalConstantInitialiser¶

public static final DiagnosticId ExternalConstantInitialiser¶

ExternalConstantInitialiserMustBeUndefined¶

public static final DiagnosticId ExternalConstantInitialiserMustBeUndefined¶

ExternalFunctionDefault¶

public static final DiagnosticId ExternalFunctionDefault¶

ExternalFunctionMustHaveBody¶

public static final DiagnosticId ExternalFunctionMustHaveBody¶

ExternalFunctionOutParameter¶

public static final DiagnosticId ExternalFunctionOutParameter¶

ExternalImplComponentFieldsMustBeFirst¶

public static final DiagnosticId ExternalImplComponentFieldsMustBeFirst¶

ExternalImplementationComponentInconsistentRuntime¶

public static final DiagnosticId ExternalImplementationComponentInconsistentRuntime¶

ExternalImplementationComponentNoPorts¶

public static final DiagnosticId ExternalImplementationComponentNoPorts¶

ExternalImplementationComponentsMustBeInitialisedFirst¶

public static final DiagnosticId ExternalImplementationComponentsMustBeInitialisedFirst¶

ExternalTypeStructLiteralNonAbstracted¶

public static final DiagnosticId ExternalTypeStructLiteralNonAbstracted¶

ExternalTypeStructLiteralNonSpec¶

public static final DiagnosticId ExternalTypeStructLiteralNonSpec¶

FailedDeriveInstance¶

public static final DiagnosticId FailedDeriveInstance¶

FailedDeriveInstanceEq¶

public static final DiagnosticId FailedDeriveInstanceEq¶

FailedToDeduceTypeClass¶

public static final DiagnosticId FailedToDeduceTypeClass¶

FeatureIsDisallowed¶

public static final DiagnosticId FeatureIsDisallowed¶

FeatureIsRequired¶

public static final DiagnosticId FeatureIsRequired¶

FieldAlreadyBound¶

public static final DiagnosticId FieldAlreadyBound¶

FieldInitialiserInBannedContext¶

public static final DiagnosticId FieldInitialiserInBannedContext¶

FieldInitialiserUnifyFailed¶

public static final DiagnosticId FieldInitialiserUnifyFailed¶

FieldsMustBeAtomic¶

public static final DiagnosticId FieldsMustBeAtomic¶

FirstBorrowHere¶

public static final DiagnosticId FirstBorrowHere¶

FunctionOverloadDifferentReturnType¶

public static final DiagnosticId FunctionOverloadDifferentReturnType¶

FunctionOverloadDifferentSignature¶

public static final DiagnosticId FunctionOverloadDifferentSignature¶

FunctionOverloadSignalVsFunction¶

public static final DiagnosticId FunctionOverloadSignalVsFunction¶

FunctionOverloadStaticVsMember¶

public static final DiagnosticId FunctionOverloadStaticVsMember¶

FunctionPointerOutParameter¶

public static final DiagnosticId FunctionPointerOutParameter¶

GMockTooManyArguments¶

public static final DiagnosticId GMockTooManyArguments¶

GeneratorConflictingRecord¶

public static final DiagnosticId GeneratorConflictingRecord¶

GeneratorFileSystemError¶

public static final DiagnosticId GeneratorFileSystemError¶

GeneratorInvalidName¶

public static final DiagnosticId GeneratorInvalidName¶

GeneratorKeywordConflict¶

public static final DiagnosticId GeneratorKeywordConflict¶

GeneratorLockedIdentiferConflict¶

public static final DiagnosticId GeneratorLockedIdentiferConflict¶

GeneratorMissingFilterOutput¶

public static final DiagnosticId GeneratorMissingFilterOutput¶

GeneratorNameConflict¶

public static final DiagnosticId GeneratorNameConflict¶

GeneratorNameConflictContextName¶

public static final DiagnosticId GeneratorNameConflictContextName¶

GeneratorNameConflictPrevious¶

public static final DiagnosticId GeneratorNameConflictPrevious¶

GeneratorNondetDecls¶

public static final DiagnosticId GeneratorNondetDecls¶

GeneratorUnknownDecl¶

public static final DiagnosticId GeneratorUnknownDecl¶

GeneratorUnknownDeclRequiredHere¶

public static final DiagnosticId GeneratorUnknownDeclRequiredHere¶

GeneratorUnknownImplicitMock¶

public static final DiagnosticId GeneratorUnknownImplicitMock¶

GeneratorUnknownImplicitMockUnsupported¶

public static final DiagnosticId GeneratorUnknownImplicitMockUnsupported¶

GeneratorUnknownNamedDecl¶

public static final DiagnosticId GeneratorUnknownNamedDecl¶

GeneratorUnsupportedGenericDecl¶

public static final DiagnosticId GeneratorUnsupportedGenericDecl¶

GeneratorUnsupportedGenericValueDecl¶

public static final DiagnosticId GeneratorUnsupportedGenericValueDecl¶

GeneratorUnsupportedType¶

public static final DiagnosticId GeneratorUnsupportedType¶

GenericParameterWithDefaultTypeNotInTheEndOfList¶

public static final DiagnosticId GenericParameterWithDefaultTypeNotInTheEndOfList¶

GenericValueParameter¶

public static final DiagnosticId GenericValueParameter¶

GraphCommandOneModule¶

public static final DiagnosticId GraphCommandOneModule¶

GraphGenerationFailed¶

public static final DiagnosticId GraphGenerationFailed¶

GraphSvgError¶

public static final DiagnosticId GraphSvgError¶

HeaderRequiredForAttribute¶

public static final DiagnosticId HeaderRequiredForAttribute¶

IfConditionIsDiv¶

public static final DiagnosticId IfConditionIsDiv¶

IfExprIsNil¶

public static final DiagnosticId IfExprIsNil¶

IgnoredDeclGenerated¶

public static final DiagnosticId IgnoredDeclGenerated¶

IllegalDeclWithinEnum¶

public static final DiagnosticId IllegalDeclWithinEnum¶

IllegalDeclWithinExternalType¶

public static final DiagnosticId IllegalDeclWithinExternalType¶

IllegalDeclWithinNestedState¶

public static final DiagnosticId IllegalDeclWithinNestedState¶

IllegalDeclWithinState¶

public static final DiagnosticId IllegalDeclWithinState¶

IllegalDeclWithinStruct¶

public static final DiagnosticId IllegalDeclWithinStruct¶

IllegalMatchingType¶

public static final DiagnosticId IllegalMatchingType¶

ImplementationComponentConnections¶

public static final DiagnosticId ImplementationComponentConnections¶

ImplementationComponentOwns¶

public static final DiagnosticId ImplementationComponentOwns¶

ImportCodeGenerationModuleNonStdlib¶

public static final DiagnosticId ImportCodeGenerationModuleNonStdlib¶

ImportContainsError¶

public static final DiagnosticId ImportContainsError¶

ImportNonPackageScoped¶

public static final DiagnosticId ImportNonPackageScoped¶

ImportPackageUnlistedDependency¶

public static final DiagnosticId ImportPackageUnlistedDependency¶

ImportPathNotADirectory¶

public static final DiagnosticId ImportPathNotADirectory¶

ImportTestNonTest¶

public static final DiagnosticId ImportTestNonTest¶

ImportUnlistedDependency¶

public static final DiagnosticId ImportUnlistedDependency¶

IncludesTypeHere¶

public static final DiagnosticId IncludesTypeHere¶

IncomingUnsupported¶

public static final DiagnosticId IncomingUnsupported¶

IncompatibleComponentRuntime¶

public static final DiagnosticId IncompatibleComponentRuntime¶

IncompatibleFlags¶

public static final DiagnosticId IncompatibleFlags¶

IncompatiblePortInheritance¶

public static final DiagnosticId IncompatiblePortInheritance¶

IncorrectFunctionArgumentCount¶

public static final DiagnosticId IncorrectFunctionArgumentCount¶

IncorrectNumberOfTypeArguments¶

public static final DiagnosticId IncorrectNumberOfTypeArguments¶

IncorrectSignalArgumentCount¶

public static final DiagnosticId IncorrectSignalArgumentCount¶

IncorrectStateArgumentCount¶

public static final DiagnosticId IncorrectStateArgumentCount¶

IncorrectTypeArgumentCount¶

public static final DiagnosticId IncorrectTypeArgumentCount¶

IndependentCallArraySubexpr¶

public static final DiagnosticId IndependentCallArraySubexpr¶

InheritExprDisallowed¶

public static final DiagnosticId InheritExprDisallowed¶

InitialisationForwardReference¶

public static final DiagnosticId InitialisationForwardReference¶

InitialisationSelfReference¶

public static final DiagnosticId InitialisationSelfReference¶

InitialiserFollowsAssignments¶

public static final DiagnosticId InitialiserFollowsAssignments¶

InstanceArgumentTypeNotAllowed¶

public static final DiagnosticId InstanceArgumentTypeNotAllowed¶

InstanceAttributeParent¶

public static final DiagnosticId InstanceAttributeParent¶

InstanceClashingWithDerived¶

public static final DiagnosticId InstanceClashingWithDerived¶

InstanceDuplicateFunction¶

public static final DiagnosticId InstanceDuplicateFunction¶

InstanceMissingFunction¶

public static final DiagnosticId InstanceMissingFunction¶

InstanceUnknownFunction¶

public static final DiagnosticId InstanceUnknownFunction¶

InstancesAreNotAllowed¶

public static final DiagnosticId InstancesAreNotAllowed¶

InsuficientTypeArgumentCount¶

public static final DiagnosticId InsuficientTypeArgumentCount¶

IntegerLiteralTooSmall¶

public static final DiagnosticId IntegerLiteralTooSmall¶

InterfaceHasFields¶

public static final DiagnosticId InterfaceHasFields¶

InterleavePortEmptyFields¶

public static final DiagnosticId InterleavePortEmptyFields¶

InterleavePortFunctionsSignals¶

public static final DiagnosticId InterleavePortFunctionsSignals¶

InterleaveUnsupported¶

public static final DiagnosticId InterleaveUnsupported¶

InterleavedPortRequiresPortFields¶

public static final DiagnosticId InterleavedPortRequiresPortFields¶

InterpolatedStringBrace¶

public static final DiagnosticId InterpolatedStringBrace¶

InvalidAccessSpecifierPublic¶

public static final DiagnosticId InvalidAccessSpecifierPublic¶

InvalidAssociatedValueType¶

public static final DiagnosticId InvalidAssociatedValueType¶

InvalidAttributeOverload¶

public static final DiagnosticId InvalidAttributeOverload¶

InvalidBreakContinueTarget¶

public static final DiagnosticId InvalidBreakContinueTarget¶

InvalidComponentDecl¶

public static final DiagnosticId InvalidComponentDecl¶

InvalidComponentReference¶

public static final DiagnosticId InvalidComponentReference¶

InvalidConstructorCall¶

public static final DiagnosticId InvalidConstructorCall¶

InvalidDeclWithinState¶

public static final DiagnosticId InvalidDeclWithinState¶

InvalidDeclWithinStateMachine¶

public static final DiagnosticId InvalidDeclWithinStateMachine¶

InvalidDepth¶

public static final DiagnosticId InvalidDepth¶

InvalidEMFFile¶

public static final DiagnosticId InvalidEMFFile¶

InvalidEMFMemberField¶

public static final DiagnosticId InvalidEMFMemberField¶

InvalidEventStateDecl¶

public static final DiagnosticId InvalidEventStateDecl¶

InvalidFunctionOverload¶

public static final DiagnosticId InvalidFunctionOverload¶

InvalidFunctionOverloadMultipleInheritance¶

public static final DiagnosticId InvalidFunctionOverloadMultipleInheritance¶

InvalidIdentifier¶

public static final DiagnosticId InvalidIdentifier¶

InvalidIntegerLiteral¶

public static final DiagnosticId InvalidIntegerLiteral¶

InvalidModuleName¶

public static final DiagnosticId InvalidModuleName¶

InvalidMonitorDecl¶

public static final DiagnosticId InvalidMonitorDecl¶

InvalidNegatedRequirement¶

public static final DiagnosticId InvalidNegatedRequirement¶

InvalidOverload¶

public static final DiagnosticId InvalidOverload¶

InvalidOverloadCurrentPortInheritance¶

public static final DiagnosticId InvalidOverloadCurrentPortInheritance¶

InvalidOverloadPortInheritance¶

public static final DiagnosticId InvalidOverloadPortInheritance¶

InvalidPortDecl¶

public static final DiagnosticId InvalidPortDecl¶

InvalidPortReference¶

public static final DiagnosticId InvalidPortReference¶

InvalidSelfArgument¶

public static final DiagnosticId InvalidSelfArgument¶

InvalidSelfArgumentMutable¶

public static final DiagnosticId InvalidSelfArgumentMutable¶

InvalidSignalDestination¶

public static final DiagnosticId InvalidSignalDestination¶

InvalidTypeForParameter¶

public static final DiagnosticId InvalidTypeForParameter¶

InvalidTypeForValueParameter¶

public static final DiagnosticId InvalidTypeForValueParameter¶

InvalidTypeRefVariableType¶

public static final DiagnosticId InvalidTypeRefVariableType¶

InvalidValueParameterReference¶

public static final DiagnosticId InvalidValueParameterReference¶

InvalidVariableIdentifier¶

public static final DiagnosticId InvalidVariableIdentifier¶

InvalidVariableSubType¶

public static final DiagnosticId InvalidVariableSubType¶

InvalidVariableType¶

public static final DiagnosticId InvalidVariableType¶

InvalidVariadicAttributeOverload¶

public static final DiagnosticId InvalidVariadicAttributeOverload¶

KeywordAsIdentifier¶

public static final DiagnosticId KeywordAsIdentifier¶

LHSOfAssignmentNotLValue¶

public static final DiagnosticId LHSOfAssignmentNotLValue¶

LastNonInitialiserHere¶

public static final DiagnosticId LastNonInitialiserHere¶

LeafComponentsSkipped¶

public static final DiagnosticId LeafComponentsSkipped¶

LevelAttributeRequired¶

public static final DiagnosticId LevelAttributeRequired¶

LicenseMissing¶

public static final DiagnosticId LicenseMissing¶

LiteralAboveUpperBound¶

public static final DiagnosticId LiteralAboveUpperBound¶

LiteralBelowLowerBound¶

public static final DiagnosticId LiteralBelowLowerBound¶

LiteralExprEvaluationError¶

public static final DiagnosticId LiteralExprEvaluationError¶

LiteralExprEvaluationErrorFromHere¶

public static final DiagnosticId LiteralExprEvaluationErrorFromHere¶

LiteralExprEvaluationValueTypeParameterHere¶

public static final DiagnosticId LiteralExprEvaluationValueTypeParameterHere¶

LiteralOutOfBounds¶

public static final DiagnosticId LiteralOutOfBounds¶

LiteralOutOfBoundsShort¶

public static final DiagnosticId LiteralOutOfBoundsShort¶

LiteralTypeMismatch¶

public static final DiagnosticId LiteralTypeMismatch¶

LogFailedRead¶

public static final DiagnosticId LogFailedRead¶

LogReplayArrayBounds¶

public static final DiagnosticId LogReplayArrayBounds¶

LogReplayArrayIndexRequired¶

public static final DiagnosticId LogReplayArrayIndexRequired¶

LogReplayArrayTooLarge¶

public static final DiagnosticId LogReplayArrayTooLarge¶

LogReplayArrayTooSmall¶

public static final DiagnosticId LogReplayArrayTooSmall¶

LogReplayBoundedLower¶

public static final DiagnosticId LogReplayBoundedLower¶

LogReplayBoundedUpper¶

public static final DiagnosticId LogReplayBoundedUpper¶

LogReplayChildFieldNotFound¶

public static final DiagnosticId LogReplayChildFieldNotFound¶

LogReplayChildFieldUnknownFieldType¶

public static final DiagnosticId LogReplayChildFieldUnknownFieldType¶

LogReplayChildFieldUnknownType¶

public static final DiagnosticId LogReplayChildFieldUnknownType¶

LogReplayEnumCase¶

public static final DiagnosticId LogReplayEnumCase¶

LogReplayEnumMissingArguments¶

public static final DiagnosticId LogReplayEnumMissingArguments¶

LogReplayEnumTooManyArguments¶

public static final DiagnosticId LogReplayEnumTooManyArguments¶

LogReplayExpect¶

public static final DiagnosticId LogReplayExpect¶

LogReplayExpectBool¶

public static final DiagnosticId LogReplayExpectBool¶

LogReplayExpectNil¶

public static final DiagnosticId LogReplayExpectNil¶

LogReplayExpectedBlank¶

public static final DiagnosticId LogReplayExpectedBlank¶

LogReplayExpectedNonVerified¶

public static final DiagnosticId LogReplayExpectedNonVerified¶

LogReplayFieldMapInvalidInteger¶

public static final DiagnosticId LogReplayFieldMapInvalidInteger¶

LogReplayFieldMapMissingArrayElement¶

public static final DiagnosticId LogReplayFieldMapMissingArrayElement¶

LogReplayFieldMapMultidimensional¶

public static final DiagnosticId LogReplayFieldMapMultidimensional¶

LogReplayFieldMapNoPort¶

public static final DiagnosticId LogReplayFieldMapNoPort¶

LogReplayFieldMapNotArray¶

public static final DiagnosticId LogReplayFieldMapNotArray¶

LogReplayFieldMapUnknownExpr¶

public static final DiagnosticId LogReplayFieldMapUnknownExpr¶

LogReplayFieldMappingOverlap¶

public static final DiagnosticId LogReplayFieldMappingOverlap¶

LogReplayFieldMappingOverlapArray¶

public static final DiagnosticId LogReplayFieldMappingOverlapArray¶

LogReplayFieldNotFound¶

public static final DiagnosticId LogReplayFieldNotFound¶

LogReplayIdentifierRequired¶

public static final DiagnosticId LogReplayIdentifierRequired¶

LogReplayMissingArguments¶

public static final DiagnosticId LogReplayMissingArguments¶

LogReplayMissingNamedArgument¶

public static final DiagnosticId LogReplayMissingNamedArgument¶

LogReplayNoEvents¶

public static final DiagnosticId LogReplayNoEvents¶

LogReplayNotAnEvent¶

public static final DiagnosticId LogReplayNotAnEvent¶

LogReplayReturnValueMissing¶

public static final DiagnosticId LogReplayReturnValueMissing¶

LogReplayReturnValueSpecified¶

public static final DiagnosticId LogReplayReturnValueSpecified¶

LogReplaySimpleEnum¶

public static final DiagnosticId LogReplaySimpleEnum¶

LogReplayStructDuplicateField¶

public static final DiagnosticId LogReplayStructDuplicateField¶

LogReplayStructMissingField¶

public static final DiagnosticId LogReplayStructMissingField¶

LogReplayStructUnknownField¶

public static final DiagnosticId LogReplayStructUnknownField¶

LogReplayTooManyArguments¶

public static final DiagnosticId LogReplayTooManyArguments¶

LogReplayUnknownArgument¶

public static final DiagnosticId LogReplayUnknownArgument¶

LogTextExpected¶

public static final DiagnosticId LogTextExpected¶

LogTextExpectedEndOfLine¶

public static final DiagnosticId LogTextExpectedEndOfLine¶

LogTextExpectedEvent¶

public static final DiagnosticId LogTextExpectedEvent¶

LogTextExpectedIdentifier¶

public static final DiagnosticId LogTextExpectedIdentifier¶

LogTextExpectedIdentifierInt¶

public static final DiagnosticId LogTextExpectedIdentifierInt¶

LogTextExpectedIntLiteral¶

public static final DiagnosticId LogTextExpectedIntLiteral¶

LogTextExpectedOpenBracket¶

public static final DiagnosticId LogTextExpectedOpenBracket¶

LogTextExpectedValue¶

public static final DiagnosticId LogTextExpectedValue¶

LogTextOpeningBracket¶

public static final DiagnosticId LogTextOpeningBracket¶

LogTextUnexpectedParameterName¶

public static final DiagnosticId LogTextUnexpectedParameterName¶

LogTextUnrecognisedToken¶

public static final DiagnosticId LogTextUnrecognisedToken¶

LoopConstructOutsideOfLoop¶

public static final DiagnosticId LoopConstructOutsideOfLoop¶

LoopNotInScope¶

public static final DiagnosticId LoopNotInScope¶

LoopTargetNoName¶

public static final DiagnosticId LoopTargetNoName¶

MalformedCharacterLiteral¶

public static final DiagnosticId MalformedCharacterLiteral¶

MalformedEMFStream¶

public static final DiagnosticId MalformedEMFStream¶

MapToCocoValueArgumentCountsDiffer¶

public static final DiagnosticId MapToCocoValueArgumentCountsDiffer¶

MapToCocoValueCannotApplyTo¶

public static final DiagnosticId MapToCocoValueCannotApplyTo¶

MapToCocoValueCannotMapTo¶

public static final DiagnosticId MapToCocoValueCannotMapTo¶

MapToEnumCannotApplyTo¶

public static final DiagnosticId MapToEnumCannotApplyTo¶

MapToEnumEmptyString¶

public static final DiagnosticId MapToEnumEmptyString¶

MapToMemberNoParameters¶

public static final DiagnosticId MapToMemberNoParameters¶

MapToMemberStaticFunction¶

public static final DiagnosticId MapToMemberStaticFunction¶

MapToNewCannotApplyTo¶

public static final DiagnosticId MapToNewCannotApplyTo¶

MapToNewEmptyString¶

public static final DiagnosticId MapToNewEmptyString¶

MapToTypeCannotApplyTo¶

public static final DiagnosticId MapToTypeCannotApplyTo¶

MapToTypeEmptyString¶

public static final DiagnosticId MapToTypeEmptyString¶

MapToTypeExternal¶

public static final DiagnosticId MapToTypeExternal¶

MapToValueCannotApplyTo¶

public static final DiagnosticId MapToValueCannotApplyTo¶

MapToValueEmptyString¶

public static final DiagnosticId MapToValueEmptyString¶

MapToValueEnumCaseHeaders¶

public static final DiagnosticId MapToValueEnumCaseHeaders¶

MapToValueEnumCaseNoMapToEnum¶

public static final DiagnosticId MapToValueEnumCaseNoMapToEnum¶

MatchClauseOverlaps¶

public static final DiagnosticId MatchClauseOverlaps¶

MatchClauseOverlapsWith¶

public static final DiagnosticId MatchClauseOverlapsWith¶

MaybeOutParameterNotWrittenTo¶

public static final DiagnosticId MaybeOutParameterNotWrittenTo¶

MaybeUninitializedRead¶

public static final DiagnosticId MaybeUninitializedRead¶

MemberFunctionCannotBeGeneric¶

public static final DiagnosticId MemberFunctionCannotBeGeneric¶

MetaTypeExpr¶

public static final DiagnosticId MetaTypeExpr¶

MetaTypeExprNil¶

public static final DiagnosticId MetaTypeExprNil¶

MisingEqualsInTypeDecl¶

public static final DiagnosticId MisingEqualsInTypeDecl¶

MissingArgumentsAfterFunction¶

public static final DiagnosticId MissingArgumentsAfterFunction¶

MissingAssignBeforeFunctionDefinition¶

public static final DiagnosticId MissingAssignBeforeFunctionDefinition¶

MissingConditionAfterAssert¶

public static final DiagnosticId MissingConditionAfterAssert¶

MissingConditionAfterIf¶

public static final DiagnosticId MissingConditionAfterIf¶

MissingConditionAfterMatch¶

public static final DiagnosticId MissingConditionAfterMatch¶

MissingConditionAfterWhile¶

public static final DiagnosticId MissingConditionAfterWhile¶

MissingDurationAfterTimerKind¶

public static final DiagnosticId MissingDurationAfterTimerKind¶

MissingEqualityTrait¶

public static final DiagnosticId MissingEqualityTrait¶

MissingInAfterFor¶

public static final DiagnosticId MissingInAfterFor¶

MissingMatchCase¶

public static final DiagnosticId MissingMatchCase¶

MissingProvidesSection¶

public static final DiagnosticId MissingProvidesSection¶

MissingRequiredTypeClassInstance¶

public static final DiagnosticId MissingRequiredTypeClassInstance¶

MissingRequiredTypeClassInstances¶

public static final DiagnosticId MissingRequiredTypeClassInstances¶

MissingReturnType¶

public static final DiagnosticId MissingReturnType¶

MissingUniqueId¶

public static final DiagnosticId MissingUniqueId¶

MissingVariableAfterFor¶

public static final DiagnosticId MissingVariableAfterFor¶

MixedLeafAndCompositePorts¶

public static final DiagnosticId MixedLeafAndCompositePorts¶

MixedMultiSingleRuntimesNonSpontaneousSignalSend¶

public static final DiagnosticId MixedMultiSingleRuntimesNonSpontaneousSignalSend¶

ModuleMustBePublicOrPrivate¶

public static final DiagnosticId ModuleMustBePublicOrPrivate¶

ModuleVariableMustHaveType¶

public static final DiagnosticId ModuleVariableMustHaveType¶

ModuleVariablesMustBeConstant¶

public static final DiagnosticId ModuleVariablesMustBeConstant¶

MonitorCannotSendOrReceiveEvents¶

public static final DiagnosticId MonitorCannotSendOrReceiveEvents¶

MonitorConstructorWithParameters¶

public static final DiagnosticId MonitorConstructorWithParameters¶

MonitorMissingStateMachine¶

public static final DiagnosticId MonitorMissingStateMachine¶

MonitorRequiresConstructorArgument¶

public static final DiagnosticId MonitorRequiresConstructorArgument¶

MonitorRuntimeField¶

public static final DiagnosticId MonitorRuntimeField¶

MultipleComponentsSelectedNoMulti¶

public static final DiagnosticId MultipleComponentsSelectedNoMulti¶

MultipleComponentsSelectedSingleOutputFile¶

public static final DiagnosticId MultipleComponentsSelectedSingleOutputFile¶

MultipleInitialisationAttempts¶

public static final DiagnosticId MultipleInitialisationAttempts¶

MultipleInstances¶

public static final DiagnosticId MultipleInstances¶

MutableReferenceTypes¶

public static final DiagnosticId MutableReferenceTypes¶

MutableStorageDeclPattern¶

public static final DiagnosticId MutableStorageDeclPattern¶

NamedTransitionMismatch¶

public static final DiagnosticId NamedTransitionMismatch¶

NegationOfNonNumericLiteral¶

public static final DiagnosticId NegationOfNonNumericLiteral¶

NegationOfNonNumericType¶

public static final DiagnosticId NegationOfNonNumericType¶

NestedStatesNonEquatableParameter¶

public static final DiagnosticId NestedStatesNonEquatableParameter¶

NestedValueUnderIteration¶

public static final DiagnosticId NestedValueUnderIteration¶

NewerLanguageStandard¶

public static final DiagnosticId NewerLanguageStandard¶

NewlineInStringLiteral¶

public static final DiagnosticId NewlineInStringLiteral¶

NextStateNotWrittenTo¶

public static final DiagnosticId NextStateNotWrittenTo¶

NextStateWrittenTo¶

public static final DiagnosticId NextStateWrittenTo¶

NoComponent¶

public static final DiagnosticId NoComponent¶

NoDeclWithName¶

public static final DiagnosticId NoDeclWithName¶

NoDefaultValueKnown¶

public static final DiagnosticId NoDefaultValueKnown¶

NoDefaultValueKnownVariable¶

public static final DiagnosticId NoDefaultValueKnownVariable¶

NoInstances¶

public static final DiagnosticId NoInstances¶

NoLabelTarget¶

public static final DiagnosticId NoLabelTarget¶

NoLoaderForModule¶

public static final DiagnosticId NoLoaderForModule¶

NoMatchingInstances¶

public static final DiagnosticId NoMatchingInstances¶

NoMatchingInstancesLanguageStandard¶

public static final DiagnosticId NoMatchingInstancesLanguageStandard¶

NoMatchingInstancesNonVerified¶

public static final DiagnosticId NoMatchingInstancesNonVerified¶

NoOverload¶

public static final DiagnosticId NoOverload¶

NoPackageFound¶

public static final DiagnosticId NoPackageFound¶

NoPackageFoundAtPath¶

public static final DiagnosticId NoPackageFoundAtPath¶

NoPackages¶

public static final DiagnosticId NoPackages¶

NonAtomicReferenceArgument¶

public static final DiagnosticId NonAtomicReferenceArgument¶

NonCommunicableType¶

public static final DiagnosticId NonCommunicableType¶

NonCompileTimeConstantTypeDecl¶

public static final DiagnosticId NonCompileTimeConstantTypeDecl¶

NonConstAttributeArgument¶

public static final DiagnosticId NonConstAttributeArgument¶

NonConstEventArgument¶

public static final DiagnosticId NonConstEventArgument¶

NonConstExprWithAttribute¶

public static final DiagnosticId NonConstExprWithAttribute¶

NonConstGuard¶

public static final DiagnosticId NonConstGuard¶

NonConstImplementation¶

public static final DiagnosticId NonConstImplementation¶

NonConstInvariant¶

public static final DiagnosticId NonConstInvariant¶

NonConstParameterWithAttribute¶

public static final DiagnosticId NonConstParameterWithAttribute¶

NonConstPatternGuard¶

public static final DiagnosticId NonConstPatternGuard¶

NonConstTimerDuration¶

public static final DiagnosticId NonConstTimerDuration¶

NonDataMembersMustBePublic¶

public static final DiagnosticId NonDataMembersMustBePublic¶

NonExhaustiveRequiresFallback¶

public static final DiagnosticId NonExhaustiveRequiresFallback¶

NonExternalComponentInitialiserHere¶

public static final DiagnosticId NonExternalComponentInitialiserHere¶

NonExternalImplComponentFieldHere¶

public static final DiagnosticId NonExternalImplComponentFieldHere¶

NonExternalImplComponentInitialiserHere¶

public static final DiagnosticId NonExternalImplComponentInitialiserHere¶

NonLiteralExpr¶

public static final DiagnosticId NonLiteralExpr¶

NonLiteralExprNoComputation¶

public static final DiagnosticId NonLiteralExprNoComputation¶

NonSimpleExpr¶

public static final DiagnosticId NonSimpleExpr¶

NonTrivialReferenceArgument¶

public static final DiagnosticId NonTrivialReferenceArgument¶

NonTypeDecl¶

public static final DiagnosticId NonTypeDecl¶

NonTypeDeclNil¶

public static final DiagnosticId NonTypeDeclNil¶

NonVerifiedTypeInInterface¶

public static final DiagnosticId NonVerifiedTypeInInterface¶

NondetDisallowed¶

public static final DiagnosticId NondetDisallowed¶

NondetGuardIsDiv¶

public static final DiagnosticId NondetGuardIsDiv¶

NondetUnnecessaryFallback¶

public static final DiagnosticId NondetUnnecessaryFallback¶

NondetWithinAttributeArgument¶

public static final DiagnosticId NondetWithinAttributeArgument¶

NondetWithinAwaitCondition¶

public static final DiagnosticId NondetWithinAwaitCondition¶

NondetWithinAwaitGuard¶

public static final DiagnosticId NondetWithinAwaitGuard¶

NondetWithinGeneric¶

public static final DiagnosticId NondetWithinGeneric¶

NondetWithinMemberFunction¶

public static final DiagnosticId NondetWithinMemberFunction¶

NondetWithinNondetGuard¶

public static final DiagnosticId NondetWithinNondetGuard¶

NondetWithinOfferGuard¶

public static final DiagnosticId NondetWithinOfferGuard¶

NondetWithinPatternGuard¶

public static final DiagnosticId NondetWithinPatternGuard¶

NondetWithinTraitInstance¶

public static final DiagnosticId NondetWithinTraitInstance¶

NondetWithinTransitionGuard¶

public static final DiagnosticId NondetWithinTransitionGuard¶

NondeterminismHere¶

public static final DiagnosticId NondeterminismHere¶

NormalTransitionWrite¶

public static final DiagnosticId NormalTransitionWrite¶

NotAGenericTypeDecl¶

public static final DiagnosticId NotAGenericTypeDecl¶

NotALookupContext¶

public static final DiagnosticId NotALookupContext¶

NotAnArrayExpr¶

public static final DiagnosticId NotAnArrayExpr¶

NotAnFunctionExpr¶

public static final DiagnosticId NotAnFunctionExpr¶

NoteCandidateFile¶

public static final DiagnosticId NoteCandidateFile¶

NoteCandidatePackageFile¶

public static final DiagnosticId NoteCandidatePackageFile¶

NoteNewerLanguageStandard¶

public static final DiagnosticId NoteNewerLanguageStandard¶

NullInStringLiteral¶

public static final DiagnosticId NullInStringLiteral¶

ObservableIncorrectArgument¶

public static final DiagnosticId ObservableIncorrectArgument¶

ObservedEventDisallowed¶

public static final DiagnosticId ObservedEventDisallowed¶

ObservedEventDisallowedUnknown¶

public static final DiagnosticId ObservedEventDisallowedUnknown¶

ObservedEventDrainQueueMultiThreaded¶

public static final DiagnosticId ObservedEventDrainQueueMultiThreaded¶

ObservedEventExpectedComponent¶

public static final DiagnosticId ObservedEventExpectedComponent¶

ObservedEventExpectedFunctionOrSignal¶

public static final DiagnosticId ObservedEventExpectedFunctionOrSignal¶

ObservedEventExpectedPort¶

public static final DiagnosticId ObservedEventExpectedPort¶

ObservedEventExpectedPortOrComponent¶

public static final DiagnosticId ObservedEventExpectedPortOrComponent¶

ObservedEventExpectedSignal¶

public static final DiagnosticId ObservedEventExpectedSignal¶

ObservedEventImplementationLevelDisallowed¶

public static final DiagnosticId ObservedEventImplementationLevelDisallowed¶

ObservedEventNoReturnFunction¶

public static final DiagnosticId ObservedEventNoReturnFunction¶

ObservedEventNonVerifiedArgument¶

public static final DiagnosticId ObservedEventNonVerifiedArgument¶

ObservedEventNonVerifiedReturn¶

public static final DiagnosticId ObservedEventNonVerifiedReturn¶

ObservedEventNotAllowed¶

public static final DiagnosticId ObservedEventNotAllowed¶

ObservedEventProcessQueueNoQueue¶

public static final DiagnosticId ObservedEventProcessQueueNoQueue¶

ObservedEventProcessQueueSingleThreaded¶

public static final DiagnosticId ObservedEventProcessQueueSingleThreaded¶

ObservedEventReturnInParameter¶

public static final DiagnosticId ObservedEventReturnInParameter¶

ObservedEventReturnOutParameter¶

public static final DiagnosticId ObservedEventReturnOutParameter¶

ObservedEventReturnSignal¶

public static final DiagnosticId ObservedEventReturnSignal¶

ObservedEventSignalWrongDirection¶

public static final DiagnosticId ObservedEventSignalWrongDirection¶

ObservedIncorrectArgument¶

public static final DiagnosticId ObservedIncorrectArgument¶

OnlyFieldsInStructLiterals¶

public static final DiagnosticId OnlyFieldsInStructLiterals¶

OnlyOverloadGenericArgumentNegatedRequirement¶

public static final DiagnosticId OnlyOverloadGenericArgumentNegatedRequirement¶

OnlyOverloadGenericArgumentTypeRequirement¶

public static final DiagnosticId OnlyOverloadGenericArgumentTypeRequirement¶

OnlyOverloadGenericArgumentTypeRequirementNoDecl¶

public static final DiagnosticId OnlyOverloadGenericArgumentTypeRequirementNoDecl¶

OnlyOverloadNoMatchingInstances¶

public static final DiagnosticId OnlyOverloadNoMatchingInstances¶

OpeningBracket¶

public static final DiagnosticId OpeningBracket¶

OptionalEventuallyNondetEventually¶

public static final DiagnosticId OptionalEventuallyNondetEventually¶

OptionalNondetOtherwise¶

public static final DiagnosticId OptionalNondetOtherwise¶

OptionalNondetWithEmpty¶

public static final DiagnosticId OptionalNondetWithEmpty¶

OptionalOptional¶

public static final DiagnosticId OptionalOptional¶

OutParameterNotWrittenTo¶

public static final DiagnosticId OutParameterNotWrittenTo¶

OutputFileRequired¶

public static final DiagnosticId OutputFileRequired¶

OverlappingConnection¶

public static final DiagnosticId OverlappingConnection¶

OverlappingConnectionPrevious¶

public static final DiagnosticId OverlappingConnectionPrevious¶

OverlappingFilter¶

public static final DiagnosticId OverlappingFilter¶

OverlappingFilterPrevious¶

public static final DiagnosticId OverlappingFilterPrevious¶

OverlappingIndependent¶

public static final DiagnosticId OverlappingIndependent¶

OverlappingIndependentPrevious¶

public static final DiagnosticId OverlappingIndependentPrevious¶

OverlappingTransition¶

public static final DiagnosticId OverlappingTransition¶

OverlappingTransitionPrevious¶

public static final DiagnosticId OverlappingTransitionPrevious¶

OverlappingUnique¶

public static final DiagnosticId OverlappingUnique¶

OverlappingUniquePrevious¶

public static final DiagnosticId OverlappingUniquePrevious¶

OwnedComponentBadInitialiser¶

public static final DiagnosticId OwnedComponentBadInitialiser¶

PackagesNonWorkspace¶

public static final DiagnosticId PackagesNonWorkspace¶

PackagesUnknownPackage¶

public static final DiagnosticId PackagesUnknownPackage¶

PortFieldStateMachine¶

public static final DiagnosticId PortFieldStateMachine¶

PortInheritFromFinal¶

public static final DiagnosticId PortInheritFromFinal¶

PortInheritanceRequiresCompatible¶

public static final DiagnosticId PortInheritanceRequiresCompatible¶

PortMembersMustBePublic¶

public static final DiagnosticId PortMembersMustBePublic¶

PortReservedName¶

public static final DiagnosticId PortReservedName¶

PortStateMachineNotTopLevel¶

public static final DiagnosticId PortStateMachineNotTopLevel¶

PortWithMixedFields¶

public static final DiagnosticId PortWithMixedFields¶

PossibleDeclLanguageStandardTooOld¶

public static final DiagnosticId PossibleDeclLanguageStandardTooOld¶

PossibleInstanceMemberDisallowed¶

public static final DiagnosticId PossibleInstanceMemberDisallowed¶

PossibleInstanceMemberNoInstance¶

public static final DiagnosticId PossibleInstanceMemberNoInstance¶

PossibleMatchingInstance¶

public static final DiagnosticId PossibleMatchingInstance¶

PossibleMatchingOverload¶

public static final DiagnosticId PossibleMatchingOverload¶

PossibleMemberAbstracted¶

public static final DiagnosticId PossibleMemberAbstracted¶

PossibleMemberDirection¶

public static final DiagnosticId PossibleMemberDirection¶

PossibleMemberInstanceMemberOnType¶

public static final DiagnosticId PossibleMemberInstanceMemberOnType¶

PossibleMemberShadowed¶

public static final DiagnosticId PossibleMemberShadowed¶

PossibleMemberTypeMemberOnInstance¶

public static final DiagnosticId PossibleMemberTypeMemberOnInstance¶

PossiblePackage¶

public static final DiagnosticId PossiblePackage¶

PotentialOverload¶

public static final DiagnosticId PotentialOverload¶

PotentialOverloadArgumentCounts¶

public static final DiagnosticId PotentialOverloadArgumentCounts¶

PotentialOverloadArgumentType¶

public static final DiagnosticId PotentialOverloadArgumentType¶

PotentialOverloadDirection¶

public static final DiagnosticId PotentialOverloadDirection¶

PotentialOverloadGenericArgumentNegatedRequirement¶

public static final DiagnosticId PotentialOverloadGenericArgumentNegatedRequirement¶

PotentialOverloadGenericArgumentType¶

public static final DiagnosticId PotentialOverloadGenericArgumentType¶

PotentialOverloadGenericArgumentTypeRequirement¶

public static final DiagnosticId PotentialOverloadGenericArgumentTypeRequirement¶

PotentialOverloadGenericArgumentTypeRequirementNoDecl¶

public static final DiagnosticId PotentialOverloadGenericArgumentTypeRequirementNoDecl¶

PotentialOverloadNoMatchingInstances¶

public static final DiagnosticId PotentialOverloadNoMatchingInstances¶

PotentialOverloadNotGeneric¶

public static final DiagnosticId PotentialOverloadNotGeneric¶

PreviousBehaviourSection¶

public static final DiagnosticId PreviousBehaviourSection¶

PreviousBranchWithoutGuard¶

public static final DiagnosticId PreviousBranchWithoutGuard¶

PreviousComponentStateMachine¶

public static final DiagnosticId PreviousComponentStateMachine¶

PreviousImplicitDecl¶

public static final DiagnosticId PreviousImplicitDecl¶

PreviousImport¶

public static final DiagnosticId PreviousImport¶

PreviousInitialisationHere¶

public static final DiagnosticId PreviousInitialisationHere¶

PreviousInstance¶

public static final DiagnosticId PreviousInstance¶

PreviousInstanceImplicit¶

public static final DiagnosticId PreviousInstanceImplicit¶

PreviousStorageDecl¶

public static final DiagnosticId PreviousStorageDecl¶

ProcessesSignalsHere¶

public static final DiagnosticId ProcessesSignalsHere¶

ProtectedNotAllowedInContext¶

public static final DiagnosticId ProtectedNotAllowedInContext¶

QueueSizeNoRequiredPort¶

public static final DiagnosticId QueueSizeNoRequiredPort¶

QueueSizeNonZero¶

public static final DiagnosticId QueueSizeNonZero¶

QueueSizeTooLarge¶

public static final DiagnosticId QueueSizeTooLarge¶

ReceiveEventMonitorCall¶

public static final DiagnosticId ReceiveEventMonitorCall¶

ReceiveEventNoStateMachine¶

public static final DiagnosticId ReceiveEventNoStateMachine¶

ReceiveFallbackEventNoStateMachine¶

public static final DiagnosticId ReceiveFallbackEventNoStateMachine¶

RecursesHere¶

public static final DiagnosticId RecursesHere¶

RecursiveCommunication¶

public static final DiagnosticId RecursiveCommunication¶

RecursiveTypeDecl¶

public static final DiagnosticId RecursiveTypeDecl¶

ReferenceOfCommunicatingFunction¶

public static final DiagnosticId ReferenceOfCommunicatingFunction¶

ReferenceOfNonLValue¶

public static final DiagnosticId ReferenceOfNonLValue¶

ReferenceTypeInConstructorParam¶

public static final DiagnosticId ReferenceTypeInConstructorParam¶

RemovedVariableReference¶

public static final DiagnosticId RemovedVariableReference¶

RepeatedBasePort¶

public static final DiagnosticId RepeatedBasePort¶

RepeatedFlagsMustMatch¶

public static final DiagnosticId RepeatedFlagsMustMatch¶

RequireStatementCannotApplyTo¶

public static final DiagnosticId RequireStatementCannotApplyTo¶

ReservedName¶

public static final DiagnosticId ReservedName¶

ResultTryErrorTypeMismatch¶

public static final DiagnosticId ResultTryErrorTypeMismatch¶

ResultTryNonOptionalArgument¶

public static final DiagnosticId ResultTryNonOptionalArgument¶

ResultTryNonResultArgument¶

public static final DiagnosticId ResultTryNonResultArgument¶

ResultTryNonResultFunction¶

public static final DiagnosticId ResultTryNonResultFunction¶

ResultTryOutsideFunction¶

public static final DiagnosticId ResultTryOutsideFunction¶

ReturnExprIsDiv¶

public static final DiagnosticId ReturnExprIsDiv¶

ReturnOutsideOfFunction¶

public static final DiagnosticId ReturnOutsideOfFunction¶

ReturnShouldBeUndefined¶

public static final DiagnosticId ReturnShouldBeUndefined¶

RuntimeAttributeRequired¶

public static final DiagnosticId RuntimeAttributeRequired¶

RuntimeNonRequiredPort¶

public static final DiagnosticId RuntimeNonRequiredPort¶

SatisfiedNegatedRequirement¶

public static final DiagnosticId SatisfiedNegatedRequirement¶

SendsSignalHere¶

public static final DiagnosticId SendsSignalHere¶

SetFilterCompositePort¶

public static final DiagnosticId SetFilterCompositePort¶

SetNextStateNonEquatableParameter¶

public static final DiagnosticId SetNextStateNonEquatableParameter¶

SetNextStateNonEquatableParameterHere¶

public static final DiagnosticId SetNextStateNonEquatableParameterHere¶

SetSharedOnRequiredPort¶

public static final DiagnosticId SetSharedOnRequiredPort¶

SignalRecursive¶

public static final DiagnosticId SignalRecursive¶

SimpleInheritsComposite¶

public static final DiagnosticId SimpleInheritsComposite¶

SingleOverloadArgumentCounts¶

public static final DiagnosticId SingleOverloadArgumentCounts¶

SingleOverloadArgumentType¶

public static final DiagnosticId SingleOverloadArgumentType¶

SingleOverloadDeclaredHere¶

public static final DiagnosticId SingleOverloadDeclaredHere¶

SingleOverloadDirection¶

public static final DiagnosticId SingleOverloadDirection¶

SingleOverloadGenericArgumentType¶

public static final DiagnosticId SingleOverloadGenericArgumentType¶

SingleThreadedMultiClientDiamond¶

public static final DiagnosticId SingleThreadedMultiClientDiamond¶

SingleThreadedSharedSignals¶

public static final DiagnosticId SingleThreadedSharedSignals¶

SingletonEnum¶

public static final DiagnosticId SingletonEnum¶

SpecialisedMemberReferenceInTypeContext¶

public static final DiagnosticId SpecialisedMemberReferenceInTypeContext¶

SpontaneousOptional¶

public static final DiagnosticId SpontaneousOptional¶

SpontaneousTransitionInNonPort¶

public static final DiagnosticId SpontaneousTransitionInNonPort¶

StateMachineInheritanceExecution¶

public static final DiagnosticId StateMachineInheritanceExecution¶

StateMachineInheritanceHierarchical¶

public static final DiagnosticId StateMachineInheritanceHierarchical¶

StateMachineInheritanceMainStateTransitions¶

public static final DiagnosticId StateMachineInheritanceMainStateTransitions¶

StateMachineInheritanceNoMatchingState¶

public static final DiagnosticId StateMachineInheritanceNoMatchingState¶

StateMachineInheritanceNonEventState¶

public static final DiagnosticId StateMachineInheritanceNonEventState¶

StateMachineInheritanceNonPort¶

public static final DiagnosticId StateMachineInheritanceNonPort¶

StateMachineInheritanceNonState¶

public static final DiagnosticId StateMachineInheritanceNonState¶

StateMachineInheritanceNonStateMachine¶

public static final DiagnosticId StateMachineInheritanceNonStateMachine¶

StateMachineInheritanceParameters¶

public static final DiagnosticId StateMachineInheritanceParameters¶

StateMachineInheritanceWrongContext¶

public static final DiagnosticId StateMachineInheritanceWrongContext¶

StateMachineMustBeProtectedOrPrivate¶

public static final DiagnosticId StateMachineMustBeProtectedOrPrivate¶

StateNotDefaultable¶

public static final DiagnosticId StateNotDefaultable¶

StatePatternImplicitMember¶

public static final DiagnosticId StatePatternImplicitMember¶

StateRecursive¶

public static final DiagnosticId StateRecursive¶

StaticFunctionCannotBeMutating¶

public static final DiagnosticId StaticFunctionCannotBeMutating¶

StaticMemberVariableInitialiser¶

public static final DiagnosticId StaticMemberVariableInitialiser¶

StaticMemberVariableMustHaveType¶

public static final DiagnosticId StaticMemberVariableMustHaveType¶

StdinAlreadyUsed¶

public static final DiagnosticId StdinAlreadyUsed¶

StringTypeVerified¶

public static final DiagnosticId StringTypeVerified¶

SymmetricArrayCapacityExceeded¶

public static final DiagnosticId SymmetricArrayCapacityExceeded¶

SymmetricArrayDuplicate¶

public static final DiagnosticId SymmetricArrayDuplicate¶

SymmetricArrayIndexInvalid¶

public static final DiagnosticId SymmetricArrayIndexInvalid¶

SymmetricArrayNonProvidedPort¶

public static final DiagnosticId SymmetricArrayNonProvidedPort¶

SymmetricArrayRequired¶

public static final DiagnosticId SymmetricArrayRequired¶

TOMLAbsolutePathDisallowed¶

public static final DiagnosticId TOMLAbsolutePathDisallowed¶

TOMLAmbiguousFile¶

public static final DiagnosticId TOMLAmbiguousFile¶

TOMLAmbiguousFilePrevious¶

public static final DiagnosticId TOMLAmbiguousFilePrevious¶

TOMLBuiltinFileClash¶

public static final DiagnosticId TOMLBuiltinFileClash¶

TOMLClangFormatFileNotFound¶

public static final DiagnosticId TOMLClangFormatFileNotFound¶

TOMLDuplicateArrayElement¶

public static final DiagnosticId TOMLDuplicateArrayElement¶

TOMLDuplicateClangFormat¶

public static final DiagnosticId TOMLDuplicateClangFormat¶

TOMLDuplicateClangFormatOther¶

public static final DiagnosticId TOMLDuplicateClangFormatOther¶

TOMLExpectedEnumValue¶

public static final DiagnosticId TOMLExpectedEnumValue¶

TOMLExpectedType¶

public static final DiagnosticId TOMLExpectedType¶

TOMLExpectedValue¶

public static final DiagnosticId TOMLExpectedValue¶

TOMLInvalidClangFormat¶

public static final DiagnosticId TOMLInvalidClangFormat¶

TOMLInvalidKeyForTable¶

public static final DiagnosticId TOMLInvalidKeyForTable¶

TOMLKeyChanged¶

public static final DiagnosticId TOMLKeyChanged¶

TOMLKeyRemoved¶

public static final DiagnosticId TOMLKeyRemoved¶

TOMLLanguageProfileNotSet1¶

public static final DiagnosticId TOMLLanguageProfileNotSet1¶

TOMLLanguageProfileNotSet2¶

public static final DiagnosticId TOMLLanguageProfileNotSet2¶

TOMLLanguageStandardMissing¶

public static final DiagnosticId TOMLLanguageStandardMissing¶

TOMLLanguageStandardNotLatest¶

public static final DiagnosticId TOMLLanguageStandardNotLatest¶

TOMLMinimumVersion¶

public static final DiagnosticId TOMLMinimumVersion¶

TOMLNoMembers¶

public static final DiagnosticId TOMLNoMembers¶

TOMLNoSources¶

public static final DiagnosticId TOMLNoSources¶

TOMLOverlappingSources¶

public static final DiagnosticId TOMLOverlappingSources¶

TOMLOverlappingSourcesPrevious¶

public static final DiagnosticId TOMLOverlappingSourcesPrevious¶

TOMLParserError¶

public static final DiagnosticId TOMLParserError¶

TOMLParserNote¶

public static final DiagnosticId TOMLParserNote¶

TOMLRequiredKey¶

public static final DiagnosticId TOMLRequiredKey¶

TOMLStackBufferSizeTooLow¶

public static final DiagnosticId TOMLStackBufferSizeTooLow¶

TOMLUnparseableVersionConstraint¶

public static final DiagnosticId TOMLUnparseableVersionConstraint¶

TOMLUnsupportedCasing¶

public static final DiagnosticId TOMLUnsupportedCasing¶

TOMLUnsupportedSetting¶

public static final DiagnosticId TOMLUnsupportedSetting¶

TOMLUnsupportedToolVersion¶

public static final DiagnosticId TOMLUnsupportedToolVersion¶

TOMLUnsupportedVersionConstraint¶

public static final DiagnosticId TOMLUnsupportedVersionConstraint¶

TOMLUnsupportedVersionRequirement¶

public static final DiagnosticId TOMLUnsupportedVersionRequirement¶

TOMLWorkspacePackage¶

public static final DiagnosticId TOMLWorkspacePackage¶

TidyGuardUnused¶

public static final DiagnosticId TidyGuardUnused¶

TidyReadabilityOfferIf¶

public static final DiagnosticId TidyReadabilityOfferIf¶

TidyReadibilityBoolLikeEnum¶

public static final DiagnosticId TidyReadibilityBoolLikeEnum¶

TidyReadibilityCognitiveComplexity¶

public static final DiagnosticId TidyReadibilityCognitiveComplexity¶

TidyReadibilityCognitiveComplexityIncrease¶

public static final DiagnosticId TidyReadibilityCognitiveComplexityIncrease¶

TidyReadibilityCognitiveComplexityIncreaseNesting¶

public static final DiagnosticId TidyReadibilityCognitiveComplexityIncreaseNesting¶

TidyReadibilityElseAfterControlFlow¶

public static final DiagnosticId TidyReadibilityElseAfterControlFlow¶

TidyReadibilityNameStyle¶

public static final DiagnosticId TidyReadibilityNameStyle¶

TidyReadibilityNameStyleCannotRenameInvalid¶

public static final DiagnosticId TidyReadibilityNameStyleCannotRenameInvalid¶

TidyReadibilityNameStyleCannotRenameKeyword¶

public static final DiagnosticId TidyReadibilityNameStyleCannotRenameKeyword¶

TidyReadibilityPortNondetOffer¶

public static final DiagnosticId TidyReadibilityPortNondetOffer¶

TimerEventNoStateMachine¶

public static final DiagnosticId TimerEventNoStateMachine¶

TimerEventSingleThreaded¶

public static final DiagnosticId TimerEventSingleThreaded¶

TimerTransitionGuard¶

public static final DiagnosticId TimerTransitionGuard¶

TimerTransitionInNonComponent¶

public static final DiagnosticId TimerTransitionInNonComponent¶

TraceRequiresArgument¶

public static final DiagnosticId TraceRequiresArgument¶

TraitInstanceDeriveNonEmpty¶

public static final DiagnosticId TraitInstanceDeriveNonEmpty¶

TraitInstanceFunctionMapped¶

public static final DiagnosticId TraitInstanceFunctionMapped¶

TransformCompleteMatchNotEnum¶

public static final DiagnosticId TransformCompleteMatchNotEnum¶

TransformCompleteMatchUnsupportedClause¶

public static final DiagnosticId TransformCompleteMatchUnsupportedClause¶

TransformExpected¶

public static final DiagnosticId TransformExpected¶

TransformFlatPortsArray¶

public static final DiagnosticId TransformFlatPortsArray¶

TransformFlatPortsDirectReference¶

public static final DiagnosticId TransformFlatPortsDirectReference¶

TransformFlatPortsDuplicateChild¶

public static final DiagnosticId TransformFlatPortsDuplicateChild¶

TransformFlatPortsInherit¶

public static final DiagnosticId TransformFlatPortsInherit¶

TransformFlatPortsMissingChild¶

public static final DiagnosticId TransformFlatPortsMissingChild¶

TransformFlatPortsNoStateMachine¶

public static final DiagnosticId TransformFlatPortsNoStateMachine¶

TransformFlatPortsNonChildPort¶

public static final DiagnosticId TransformFlatPortsNonChildPort¶

TransformFlatPortsNonComposite¶

public static final DiagnosticId TransformFlatPortsNonComposite¶

TransformMalformedAST¶

public static final DiagnosticId TransformMalformedAST¶

TransformMergeAmbiguousTransition¶

public static final DiagnosticId TransformMergeAmbiguousTransition¶

TransformMergeAmbiguousTransitionLevel¶

public static final DiagnosticId TransformMergeAmbiguousTransitionLevel¶

TransformMergeExpectedSignal¶

public static final DiagnosticId TransformMergeExpectedSignal¶

TransformMergeGuardedTransition¶

public static final DiagnosticId TransformMergeGuardedTransition¶

TransformMergeNonExprTransition¶

public static final DiagnosticId TransformMergeNonExprTransition¶

TransformMergeSignalsArity¶

public static final DiagnosticId TransformMergeSignalsArity¶

TransformMergeSignalsOverload¶

public static final DiagnosticId TransformMergeSignalsOverload¶

TransformMergeUnsupportedSource¶

public static final DiagnosticId TransformMergeUnsupportedSource¶

TransformToExtFunctionDuplicateTransition¶

public static final DiagnosticId TransformToExtFunctionDuplicateTransition¶

TransformToExtFunctionField¶

public static final DiagnosticId TransformToExtFunctionField¶

TransformToExtFunctionGuard¶

public static final DiagnosticId TransformToExtFunctionGuard¶

TransformToExtFunctionHandler¶

public static final DiagnosticId TransformToExtFunctionHandler¶

TransformToExtFunctionInherits¶

public static final DiagnosticId TransformToExtFunctionInherits¶

TransformToExtFunctionMissingTransition¶

public static final DiagnosticId TransformToExtFunctionMissingTransition¶

TransformToExtFunctionNoStateMachine¶

public static final DiagnosticId TransformToExtFunctionNoStateMachine¶

TransformToExtFunctionNotStateless¶

public static final DiagnosticId TransformToExtFunctionNotStateless¶

TransformToExtFunctionSignal¶

public static final DiagnosticId TransformToExtFunctionSignal¶

TransitionForFilteredEvent¶

public static final DiagnosticId TransitionForFilteredEvent¶

TransitionForFilteredEventFilter¶

public static final DiagnosticId TransitionForFilteredEventFilter¶

TransitionForIndependentEvent¶

public static final DiagnosticId TransitionForIndependentEvent¶

TransitionForIndependentEventCall¶

public static final DiagnosticId TransitionForIndependentEventCall¶

TransitionKindWrittenTo¶

public static final DiagnosticId TransitionKindWrittenTo¶

TransitionNameAlreadyDefined¶

public static final DiagnosticId TransitionNameAlreadyDefined¶

TransitionNameAlreadyDefinedInBase¶

public static final DiagnosticId TransitionNameAlreadyDefinedInBase¶

TransitionNameDeclaredHere¶

public static final DiagnosticId TransitionNameDeclaredHere¶

TransitionNameInconsistent¶

public static final DiagnosticId TransitionNameInconsistent¶

TransitionNameNotDefined¶

public static final DiagnosticId TransitionNameNotDefined¶

TransitionNameTypeUnavailable¶

public static final DiagnosticId TransitionNameTypeUnavailable¶

TryingToInitialiseNonLocalComponent¶

public static final DiagnosticId TryingToInitialiseNonLocalComponent¶

TryingToUseLentOutComponent¶

public static final DiagnosticId TryingToUseLentOutComponent¶

TypeClassInstanceGenericMember¶

public static final DiagnosticId TypeClassInstanceGenericMember¶

TypeDeclaredHere¶

public static final DiagnosticId TypeDeclaredHere¶

TypeDeclaredHereWithAccessSpecifier¶

public static final DiagnosticId TypeDeclaredHereWithAccessSpecifier¶

UnboundedSendSignalDuplicate¶

public static final DiagnosticId UnboundedSendSignalDuplicate¶

UnboundedSendSignalElseButNoThen¶

public static final DiagnosticId UnboundedSendSignalElseButNoThen¶

UnboundedSendSignalFunctionCall¶

public static final DiagnosticId UnboundedSendSignalFunctionCall¶

UnboundedSendSignalMatchClauseExpected¶

public static final DiagnosticId UnboundedSendSignalMatchClauseExpected¶

UnboundedSendSignalMatchClauseNotExpected¶

public static final DiagnosticId UnboundedSendSignalMatchClauseNotExpected¶

UnboundedSendSignalNonDetClauseExpected¶

public static final DiagnosticId UnboundedSendSignalNonDetClauseExpected¶

UnboundedSendSignalNonDetClauseExpectedFallback¶

public static final DiagnosticId UnboundedSendSignalNonDetClauseExpectedFallback¶

UnboundedSendSignalNonDetClauseNotExpected¶

public static final DiagnosticId UnboundedSendSignalNonDetClauseNotExpected¶

UnboundedSendSignalNone¶

public static final DiagnosticId UnboundedSendSignalNone¶

UnboundedSendSignalPrevious¶

public static final DiagnosticId UnboundedSendSignalPrevious¶

UnboundedSendSignalThenButNoElse¶

public static final DiagnosticId UnboundedSendSignalThenButNoElse¶

UnboundedSendSignalUndetermined¶

public static final DiagnosticId UnboundedSendSignalUndetermined¶

UnboundedSpontaneousNotMainState¶

public static final DiagnosticId UnboundedSpontaneousNotMainState¶

UnboundedSpontaneousRead¶

public static final DiagnosticId UnboundedSpontaneousRead¶

UnboundedSpontaneousReadTransitionVariable¶

public static final DiagnosticId UnboundedSpontaneousReadTransitionVariable¶

UnboundedSpontaneousRequiredUnboundedQueue¶

public static final DiagnosticId UnboundedSpontaneousRequiredUnboundedQueue¶

UnboundedSpontaneousSetNextState¶

public static final DiagnosticId UnboundedSpontaneousSetNextState¶

UnboundedSpontaneousWithGuard¶

public static final DiagnosticId UnboundedSpontaneousWithGuard¶

UndefinedExprInComponent¶

public static final DiagnosticId UndefinedExprInComponent¶

UndefinedExprNonSignal¶

public static final DiagnosticId UndefinedExprNonSignal¶

UndefinedExprNotAllowed¶

public static final DiagnosticId UndefinedExprNotAllowed¶

UndefinedExprRequired¶

public static final DiagnosticId UndefinedExprRequired¶

UndefinedExprVerifiedType¶

public static final DiagnosticId UndefinedExprVerifiedType¶

UnexpectedPatternType¶

public static final DiagnosticId UnexpectedPatternType¶

UnexpectedToken¶

public static final DiagnosticId UnexpectedToken¶

UnhandledProxyFeature¶

public static final DiagnosticId UnhandledProxyFeature¶

UninstantiatedGenericType¶

public static final DiagnosticId UninstantiatedGenericType¶

UninstantiatedGenericVariable¶

public static final DiagnosticId UninstantiatedGenericVariable¶

UniqueOnUnboundedStateMachine¶

public static final DiagnosticId UniqueOnUnboundedStateMachine¶

UnknownBuiltinIndex¶

public static final DiagnosticId UnknownBuiltinIndex¶

UnknownEMFProxy¶

public static final DiagnosticId UnknownEMFProxy¶

UnknownEMFProxyForNode¶

public static final DiagnosticId UnknownEMFProxyForNode¶

UnknownEPackage¶

public static final DiagnosticId UnknownEPackage¶

UnknownEscapeSequence¶

public static final DiagnosticId UnknownEscapeSequence¶

UnknownFileInPackage¶

public static final DiagnosticId UnknownFileInPackage¶

UnknownFormatSpecifier¶

public static final DiagnosticId UnknownFormatSpecifier¶

UnknownImplicitBase¶

public static final DiagnosticId UnknownImplicitBase¶

UnknownImplicitBaseRemoveSpecialisation¶

public static final DiagnosticId UnknownImplicitBaseRemoveSpecialisation¶

UnknownImplicitDecl¶

public static final DiagnosticId UnknownImplicitDecl¶

UnknownInterfaceLine¶

public static final DiagnosticId UnknownInterfaceLine¶

UnknownModuleForBuiltinDecl¶

public static final DiagnosticId UnknownModuleForBuiltinDecl¶

UnknownName¶

public static final DiagnosticId UnknownName¶

UnknownNameInScope¶

public static final DiagnosticId UnknownNameInScope¶

UnknownNameInScopeIdent¶

public static final DiagnosticId UnknownNameInScopeIdent¶

UnknownNameInScopeSuggestion¶

public static final DiagnosticId UnknownNameInScopeSuggestion¶

UnknownNameSuggestion¶

public static final DiagnosticId UnknownNameSuggestion¶

UnknownNamespaceSuggestion¶

public static final DiagnosticId UnknownNamespaceSuggestion¶

UnknownPackage¶

public static final DiagnosticId UnknownPackage¶

UnknownPackageDependency¶

public static final DiagnosticId UnknownPackageDependency¶

UnknownTemplateVariable¶

public static final DiagnosticId UnknownTemplateVariable¶

UnqualifiedImportsCannotUseAs¶

public static final DiagnosticId UnqualifiedImportsCannotUseAs¶

UnrecognisedComponentSection¶

public static final DiagnosticId UnrecognisedComponentSection¶

UnrecognisedMonitorSection¶

public static final DiagnosticId UnrecognisedMonitorSection¶

UnrecognisedOutputGraphFormat¶

public static final DiagnosticId UnrecognisedOutputGraphFormat¶

UnrecognisedPortDecl¶

public static final DiagnosticId UnrecognisedPortDecl¶

UnsatisfiedRequirement¶

public static final DiagnosticId UnsatisfiedRequirement¶

UnsatisfiedRequirementHere¶

public static final DiagnosticId UnsatisfiedRequirementHere¶

UnsatisfiedRequirementNoDecl¶

public static final DiagnosticId UnsatisfiedRequirementNoDecl¶

UnsupportedAssertion¶

public static final DiagnosticId UnsupportedAssertion¶

UnsupportedBinaryTypeOperation¶

public static final DiagnosticId UnsupportedBinaryTypeOperation¶

UnsupportedComponentReferences¶

public static final DiagnosticId UnsupportedComponentReferences¶

UnsupportedDeferredEventhandler¶

public static final DiagnosticId UnsupportedDeferredEventhandler¶

UnsupportedEMFStream¶

public static final DiagnosticId UnsupportedEMFStream¶

UnsupportedEMFType¶

public static final DiagnosticId UnsupportedEMFType¶

UnsupportedEventSourceExpr¶

public static final DiagnosticId UnsupportedEventSourceExpr¶

UnsupportedUnaryTypeOperation¶

public static final DiagnosticId UnsupportedUnaryTypeOperation¶

UnterminatedCharacterLiteral¶

public static final DiagnosticId UnterminatedCharacterLiteral¶

UnterminatedFormatSpecifier¶

public static final DiagnosticId UnterminatedFormatSpecifier¶

UnterminatedInterpolatedString¶

public static final DiagnosticId UnterminatedInterpolatedString¶

UnterminatedMultilineComment¶

public static final DiagnosticId UnterminatedMultilineComment¶

UnterminatedMultilineCommentStart¶

public static final DiagnosticId UnterminatedMultilineCommentStart¶

UnterminatedStringLiteral¶

public static final DiagnosticId UnterminatedStringLiteral¶

UnterminatedTemplateVariable¶

public static final DiagnosticId UnterminatedTemplateVariable¶

UntidyAttributeUnused¶

public static final DiagnosticId UntidyAttributeUnused¶

UnusedBlockExprReturnPoint¶

public static final DiagnosticId UnusedBlockExprReturnPoint¶

UnusedBlockExprStmt¶

public static final DiagnosticId UnusedBlockExprStmt¶

UnusedBlockExprValue¶

public static final DiagnosticId UnusedBlockExprValue¶

UnusedComparison¶

public static final DiagnosticId UnusedComparison¶

UnusedFunctionValue¶

public static final DiagnosticId UnusedFunctionValue¶

UnusedImport¶

public static final DiagnosticId UnusedImport¶

UnusedInstanceTypeParam¶

public static final DiagnosticId UnusedInstanceTypeParam¶

UnusedLiteralValue¶

public static final DiagnosticId UnusedLiteralValue¶

UnusedMustUseFunction¶

public static final DiagnosticId UnusedMustUseFunction¶

UnusedMustUseType¶

public static final DiagnosticId UnusedMustUseType¶

UnusedSignalValue¶

public static final DiagnosticId UnusedSignalValue¶

UnusedTransitionDuplicate¶

public static final DiagnosticId UnusedTransitionDuplicate¶

UnusedTransitionGuard¶

public static final DiagnosticId UnusedTransitionGuard¶

UnusedTransitionInNonComponent¶

public static final DiagnosticId UnusedTransitionInNonComponent¶

UnusedTransitionNoProvidedPort¶

public static final DiagnosticId UnusedTransitionNoProvidedPort¶

UnusedValue¶

public static final DiagnosticId UnusedValue¶

UnverifiedArgumentNonWildcard¶

public static final DiagnosticId UnverifiedArgumentNonWildcard¶

ValueMustBeEnumCase¶

public static final DiagnosticId ValueMustBeEnumCase¶

ValueMustBeInteger¶

public static final DiagnosticId ValueMustBeInteger¶

ValueMustBeLiteral¶

public static final DiagnosticId ValueMustBeLiteral¶

ValueUnderIteration¶

public static final DiagnosticId ValueUnderIteration¶

ValueUnderIterationHere¶

public static final DiagnosticId ValueUnderIterationHere¶

VarParamOutParameter¶

public static final DiagnosticId VarParamOutParameter¶

VarParamsDisallowed¶

public static final DiagnosticId VarParamsDisallowed¶

VariableDeclaredHere¶

public static final DiagnosticId VariableDeclaredHere¶

VariableDeclaredUnused¶

public static final DiagnosticId VariableDeclaredUnused¶

VariableIsNotANamespace¶

public static final DiagnosticId VariableIsNotANamespace¶

VariableOnlyRead¶

public static final DiagnosticId VariableOnlyRead¶

VariableOnlyWritten¶

public static final DiagnosticId VariableOnlyWritten¶

VariadicParamIsntTheLastInAttribute¶

public static final DiagnosticId VariadicParamIsntTheLastInAttribute¶

VariadicParameterDisallowed¶

public static final DiagnosticId VariadicParameterDisallowed¶

VerificationFailed¶

public static final DiagnosticId VerificationFailed¶

VerificationRequiresTooMuchStoraage¶

public static final DiagnosticId VerificationRequiresTooMuchStoraage¶

VerificationTooManyEventuallyLabels¶

public static final DiagnosticId VerificationTooManyEventuallyLabels¶

VerificationWarning¶

public static final DiagnosticId VerificationWarning¶

VerifyDeclMustBeConstant¶

public static final DiagnosticId VerifyDeclMustBeConstant¶

VisibilityViolationDef¶

public static final DiagnosticId VisibilityViolationDef¶

VisibilityViolationUse¶

public static final DiagnosticId VisibilityViolationUse¶

VisibilityViolationUseIdent¶

public static final DiagnosticId VisibilityViolationUseIdent¶

VisibilityViolationUseType¶

public static final DiagnosticId VisibilityViolationUseType¶

WhilePredicateIsDiv¶

public static final DiagnosticId WhilePredicateIsDiv¶

WildcardMutable¶

public static final DiagnosticId WildcardMutable¶

WildcardsDisallowed¶

public static final DiagnosticId WildcardsDisallowed¶

WriteOnlyVariable¶

public static final DiagnosticId WriteOnlyVariable¶

Methods¶

fromInteger¶

public static DiagnosticId fromInteger(int value)¶

toInteger¶

public static int toInteger(DiagnosticId value)¶