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

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

startLine

public int startLine

endLine

public int endLine

errorContext

public String errorContext

errorPath

public String errorPath

startColumn

public int startColumn

endColumn

public int endColumn

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 error

endLine - - The end line of the error

errorContext - - The error content

errorMessage - - The error message

errorPath - - The path of the error

startColumn - - The start column of the error

endColumn - - The end column of the error

Method Detail

toString

public String toString()

Overrides:

toString in class Throwable