Package com.veromodo.tempo.messages

Interface Summary
ErrorLog  
MessageSource  
 

Class Summary
CheckerSource  
TIOAAnonymousError  
TIOABaseWarning  
TIOADebug Additional informative information for developers.
TIOAError  
TIOAErrorActualCount  
TIOAErrorAmbiguous Error: ambiguous expression, operator, variable, etc.
TIOAErrorAmbiguousExpression  
TIOAErrorAutoArgumentNumber  
TIOAErrorAutoParamOverload  
TIOAErrorCircularDef Error: circular definition TODO: Capture cycle that produces the circularity.
TIOAErrorCircularDefAutomaton  
TIOAErrorCircularDefFunction  
TIOAErrorCircularDefVocabulary  
TIOAErrorCircularLoad Error: circular definition TODO: Capture cycle that produces the circularity.
TIOAErrorCompositeFollowCoverage  
TIOAErrorDuplicateAction  
TIOAErrorDuplicateAutomaton  
TIOAErrorDuplicateComponent  
TIOAErrorDuplicateDerivative  
TIOAErrorDuplicateEnumerationElement  
TIOAErrorDuplicateField  
TIOAErrorDuplicateFunction  
TIOAErrorDuplicateLocal Designed to report if two local ID's have the same name
TIOAErrorDuplicateParameter  
TIOAErrorDuplicateStateVariable  
TIOAErrorDuplicateTransitionCase  
TIOAErrorDuplicateTypeConstructor  
TIOAErrorDuplicateTypeFormal  
TIOAErrorDuplicateVariable  
TIOAErrorFunctionArgumentNumber  
TIOAErrorHidden  
TIOAErrorInputPrecondition  
TIOAErrorMissingFile  
TIOAErrorMissingTransition  
TIOAErrorMissingTypeParameter  
TIOAErrorParser Error: RecognitionException from ANTLR parser TODO: Report proper token ("-", not ";") in "states y: Bool; -"
TIOAErrorProofTrajectory  
TIOAErrorRedefinedType  
TIOAErrorSignatureEquality Error: signature of = and ~= operators must be S,S->Bool for some type S
TIOAErrorSignatureIf Error: signature of if-then-else operator must be Bool,S,S->S for some type S
TIOAErrorSignatureLogicalOperator Error: signature of logical operator must be ->Bool (for true, false), Bool->Bool (for ~), or Bool,Bool->Bool (for /\, \/, =>, <=>).
TIOAErrorTokenStream Error: TokenStreamException from ANTLR parser
TIOAErrorTypeActual  
TIOAErrorTypeOfExpression  
TIOAErrorTypeOfStatement  
TIOAErrorTypeOfVocabFormal  
TIOAErrorUndefinedAction  
TIOAErrorUndefinedAutomaton  
TIOAErrorUndefinedAutomatonInstance  
TIOAErrorUndefinedFunction  
TIOAErrorUndefinedId  
TIOAErrorUndefinedOperand  
TIOAErrorUndefinedOperator  
TIOAErrorUndefinedTrajectory  
TIOAErrorUndefinedTransition  
TIOAErrorUndefinedTransitionCase  
TIOAErrorUndefinedType  
TIOAErrorUndefinedVocabulary  
TIOAErrorUnexpected  
TIOAErrorWhereConstraint Used to report errors in composite automation where components
TIOAFailure  
TIOAFlag  
TIOAFlagLanguageFeature  
TIOAInfo Informative messages for developers.
TIOALoaded  
TIOAMessage  
TIOAObsolete  
TIOAReferentialError  
TIOARuleError  
TIOARuleIgnorable  
TIOARuleWarning  
TIOAStaticError  
TIOAStaticWarning  
TIOAWarning  
TIOAWarningImplicitTypeDeclaration  
TIOAWarningTypeInferred  
TIOAWarningVariableHiddenAction  
 

Enum Summary
TIOAMessage.Severity