Package org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser

Class ParseException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.tweetyproject.logics.rpcl.parser.rpclcondensedprobabilitydistributionparser.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 Summary

Fields

Modifier and Type	Field	Description
Token	currentToken	This is the last token that has been consumed successfully.
int[][]	expectedTokenSequences	Each entry in this array is an array of integers.
String[]	tokenImage	This is a reference to the "tokenImage" array of the generated parser within which the parse error occurred.

Constructor Summary

Constructors

Constructor	Description
ParseException()	The following constructors are for use by you for whatever purpose you can think of.
ParseException(String message)	Constructor with message.
ParseException(Token currentTokenVal, int[][] expectedTokenSequencesVal, String[] tokenImageVal)	Constructs a new ParseException with the specified details.

Method Summary

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, getSuppressed, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

currentToken

public 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 followng 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 Details

ParseException

public ParseException(Token currentTokenVal,
 int[][] expectedTokenSequencesVal,
 String[] tokenImageVal)

Constructs a new ParseException with the specified details. This constructor is used by the method generateParseException in the generated parser to create a ParseException with specific token information.

The constructor initializes the exception with the current token being parsed, the expected token sequences at the point of error, and the token image. This information helps to provide detailed and accurate error messages during parsing.

Parameters:

currentTokenVal - The token that caused the parse exception. This is the token that was being processed when the exception was thrown.

expectedTokenSequencesVal - A 2D array where each inner array represents a sequence of expected tokens. These sequences are used to determine what tokens were expected at the time of the error.

tokenImageVal - An array of strings representing the token images. These strings correspond to the textual representations of the tokens used in parsing.

Throws:

NullPointerException - if any of the provided parameters are null.

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.

Parameters:

message - the message