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)