CannotEvaluateException (UPPAAL model library)

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 Details
- 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 Details
- 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 Details
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class Throwable