Package com.uppaal.engine

Class CannotEvaluateException

  • All Implemented Interfaces:
    java.io.Serializable
    public class CannotEvaluateException
extends java.lang.Exception
    The exception class for 'transition'
    See Also:
    Serialized Form

    • Constructor Summary

      Constructors 
      Constructor Description
      CannotEvaluateException​(int startLine, int endLine, java.lang.String errorContext, java.lang.String errorMessage, java.lang.String errorPath, int startColumn, int endColumn)
      Constructor

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      java.lang.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 java.lang.String errorContext

      • errorPath

        public java.lang.String errorPath

      • startColumn

        public int startColumn

      • endColumn

        public int endColumn

    • Constructor Detail

      • CannotEvaluateException

        public CannotEvaluateException​(int startLine,
                               int endLine,
                               java.lang.String errorContext,
                               java.lang.String errorMessage,
                               java.lang.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 java.lang.String toString()
        Overrides:
        toString in class java.lang.Throwable