com.veromodo.tempo.messages
Class TIOAStaticError

java.lang.Object
  extended by com.veromodo.tempo.messages.TIOAMessage
      extended by com.veromodo.tempo.messages.TIOAError
          extended by com.veromodo.tempo.messages.TIOAStaticError
All Implemented Interfaces:
java.lang.Comparable<TIOAMessage>
Direct Known Subclasses:
TIOAErrorActualCount, TIOAErrorAmbiguous, TIOAErrorAutoArgumentNumber, TIOAErrorAutoParamOverload, TIOAErrorCircularDef, TIOAErrorCircularLoad, TIOAErrorCompositeFollowCoverage, TIOAErrorDuplicateAction, TIOAErrorDuplicateAutomaton, TIOAErrorDuplicateComponent, TIOAErrorDuplicateDerivative, TIOAErrorDuplicateEnumerationElement, TIOAErrorDuplicateField, TIOAErrorDuplicateFunction, TIOAErrorDuplicateLocal, TIOAErrorDuplicateParameter, TIOAErrorDuplicateStateVariable, TIOAErrorDuplicateTransitionCase, TIOAErrorDuplicateTypeConstructor, TIOAErrorDuplicateTypeFormal, TIOAErrorDuplicateVariable, TIOAErrorFunctionArgumentNumber, TIOAErrorHidden, TIOAErrorInputPrecondition, TIOAErrorMissingTypeParameter, TIOAErrorParser, TIOAErrorProofTrajectory, TIOAErrorRedefinedType, TIOAErrorSignatureEquality, TIOAErrorSignatureIf, TIOAErrorSignatureLogicalOperator, TIOAErrorTokenStream, TIOAErrorTypeActual, TIOAErrorTypeOfExpression, TIOAErrorTypeOfStatement, TIOAErrorTypeOfVocabFormal, TIOAErrorUndefinedAction, TIOAErrorUndefinedAutomaton, TIOAErrorUndefinedAutomatonInstance, TIOAErrorUndefinedFunction, TIOAErrorUndefinedId, TIOAErrorUndefinedOperand, TIOAErrorUndefinedOperator, TIOAErrorUndefinedTrajectory, TIOAErrorUndefinedTransition, TIOAErrorUndefinedTransitionCase, TIOAErrorUndefinedType, TIOAErrorUndefinedVocabulary, TIOAErrorWhereConstraint, TIOAFailure, TIOAReferentialError, TIOARuleError

public class TIOAStaticError
extends TIOAError


Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.messages.TIOAMessage
TIOAMessage.Severity
 
Constructor Summary
TIOAStaticError(ASTNode node, java.lang.String description)
           
TIOAStaticError(ASTNode node, java.lang.String description, java.lang.String explanation)
           
TIOAStaticError(ASTToken t, java.lang.String description, java.lang.String explanation)
           
TIOAStaticError(Extent extent, java.lang.String description)
           
TIOAStaticError(Extent extent, java.lang.String description, java.lang.String explanation)
           
 
Method Summary
 TIOAMessage.Severity getSeverity()
           
 java.lang.String locToString()
           
 
Methods inherited from class com.veromodo.tempo.messages.TIOAMessage
compareTo, formatForConsole, getDescription, getExplanation, getExtent, getIntSeverity, setExplanation, setExtent
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

TIOAStaticError

public TIOAStaticError(Extent extent,
                       java.lang.String description)

TIOAStaticError

public TIOAStaticError(Extent extent,
                       java.lang.String description,
                       java.lang.String explanation)

TIOAStaticError

public TIOAStaticError(ASTNode node,
                       java.lang.String description)

TIOAStaticError

public TIOAStaticError(ASTNode node,
                       java.lang.String description,
                       java.lang.String explanation)

TIOAStaticError

public TIOAStaticError(ASTToken t,
                       java.lang.String description,
                       java.lang.String explanation)
Method Detail

getSeverity

public TIOAMessage.Severity getSeverity()
Overrides:
getSeverity in class TIOAMessage

locToString

public java.lang.String locToString()
Overrides:
locToString in class TIOAMessage