Package com.uppaal.engine
Class CannotEvaluateException
- java.lang.Object
-
- java.lang.Throwable
-
- java.lang.Exception
-
- com.uppaal.engine.CannotEvaluateException
-
- All Implemented Interfaces:
Serializable
public class CannotEvaluateException extends Exception
The exception class for 'transition'- See Also:
- Serialized Form
-
-
Field Summary
Fields Modifier and Type Field Description int
endColumn
int
endLine
String
errorContext
String
errorPath
int
startColumn
int
startLine
-
Constructor Summary
Constructors Constructor Description CannotEvaluateException(int startLine, int endLine, String errorContext, String errorMessage, String errorPath, int startColumn, int endColumn)
Constructor
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description String
toString()
-
Methods inherited from class java.lang.Throwable
addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace
-
-
-
-
Constructor Detail
-
CannotEvaluateException
public CannotEvaluateException(int startLine, int endLine, String errorContext, String errorMessage, String errorPath, int startColumn, int endColumn)
Constructor- Parameters:
startLine
- - The start line of the errorendLine
- - The end line of the errorerrorContext
- - The error contenterrorMessage
- - The error messageerrorPath
- - The path of the errorstartColumn
- - The start column of the errorendColumn
- - The end column of the error
-
-