org.sbml.jsbml.text.parser
public class ParseException extends java.lang.Exception
Modifier and Type | Field and Description |
---|---|
Token |
currentToken
This is the last token that has been consumed successfully.
|
protected java.lang.String |
eol
The end of line string for this machine.
|
int[][] |
expectedTokenSequences
Each entry in this array is an array of integers.
|
private static long |
serialVersionUID
The version identifier for this Serializable class.
|
java.lang.String[] |
tokenImage
This is a reference to the "tokenImage" array of the generated
parser within which the parse error occurred.
|
Constructor and Description |
---|
ParseException()
The following constructors are for use by you for whatever
purpose you can think of.
|
ParseException(java.lang.String message)
Constructor with message.
|
ParseException(Token currentTokenVal,
int[][] expectedTokenSequencesVal,
java.lang.String[] tokenImageVal)
This constructor is used by the method "generateParseException"
in the generated parser.
|
Modifier and Type | Method and Description |
---|---|
(package private) static java.lang.String |
add_escapes(java.lang.String str)
Used to convert raw characters to their escaped version
when these raw version cannot be used as part of an ASCII
string literal.
|
private static java.lang.String |
initialise(Token currentToken,
int[][] expectedTokenSequences,
java.lang.String[] tokenImage)
It uses "currentToken" and "expectedTokenSequences" to generate a parse
error message and returns it.
|
private static final long serialVersionUID
public Token currentToken
public int[][] expectedTokenSequences
public java.lang.String[] tokenImage
protected java.lang.String eol
public ParseException(Token currentTokenVal, int[][] expectedTokenSequencesVal, java.lang.String[] tokenImageVal)
public ParseException()
public ParseException(java.lang.String message)
private static java.lang.String initialise(Token currentToken, int[][] expectedTokenSequences, java.lang.String[] tokenImage)
static java.lang.String add_escapes(java.lang.String str)