Class ParseException

  • All Implemented Interfaces:
    Serializable

    public class ParseException
    extends Exception
    This exception is thrown when parse errors are encountered. You can explicitly create objects of this exception type by calling the method generateParseException in the generated parser. You can modify this class to customize your error reporting mechanisms so long as you retain the public fields.
    See Also:
    Serialized Form
    • Field Detail

      • EOL

        protected static String EOL
        The end of line string for this machine.
      • currentToken

        public net.automatalib.modelchecker.m3c.formula.parser.Token currentToken
        This is the last token that has been consumed successfully. If this object has been created due to a parse error, the token following this token will (therefore) be the first error token.
      • expectedTokenSequences

        public int[][] expectedTokenSequences
        Each entry in this array is an array of integers. Each array of integers represents a sequence of tokens (by their ordinal values) that is expected at this point of the parse.
      • tokenImage

        public String[] tokenImage
        This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred. This array is defined in the generated ...Constants interface.
    • Constructor Detail

      • ParseException

        public ParseException​(net.automatalib.modelchecker.m3c.formula.parser.Token currentTokenVal,
                              int[][] expectedTokenSequencesVal,
                              String[] tokenImageVal)
        This constructor is used by the method "generateParseException" in the generated parser. Calling this constructor generates a new object of this type with the fields "currentToken", "expectedTokenSequences", and "tokenImage" set.
      • ParseException

        public ParseException()
        The following constructors are for use by you for whatever purpose you can think of. Constructing the exception in this manner makes the exception behave in the normal way - i.e., as documented in the class "Throwable". The fields "errorToken", "expectedTokenSequences", and "tokenImage" do not contain relevant information. The JavaCC generated code does not use these constructors.
      • ParseException

        public ParseException​(String message)
        Constructor with message.