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 Details

  • 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