com.veromodo.tempo.messages
Class TIOAErrorProofTrajectory

java.lang.Object
  extended by com.veromodo.tempo.messages.TIOAMessage
      extended by com.veromodo.tempo.messages.TIOAError
          extended by com.veromodo.tempo.messages.TIOAStaticError
              extended by com.veromodo.tempo.messages.TIOAErrorProofTrajectory
All Implemented Interfaces:
java.lang.Comparable<TIOAMessage>

public class TIOAErrorProofTrajectory
extends TIOAStaticError


Nested Class Summary
 
Nested classes/interfaces inherited from class com.veromodo.tempo.messages.TIOAMessage
TIOAMessage.Severity
 
Constructor Summary
TIOAErrorProofTrajectory(ASTTrajEntry n, AutomatonDescriptor from, AutomatonDescriptor to)
           
TIOAErrorProofTrajectory(ASTTrajEntry n, AutomatonDescriptor from, AutomatonDescriptor to, java.lang.String expl)
           
 
Method Summary
 
Methods inherited from class com.veromodo.tempo.messages.TIOAStaticError
getSeverity, 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

TIOAErrorProofTrajectory

public TIOAErrorProofTrajectory(ASTTrajEntry n,
                                AutomatonDescriptor from,
                                AutomatonDescriptor to)

TIOAErrorProofTrajectory

public TIOAErrorProofTrajectory(ASTTrajEntry n,
                                AutomatonDescriptor from,
                                AutomatonDescriptor to,
                                java.lang.String expl)