Package org.checkerframework.dataflow.expression

Class JavaExpressionParseException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.checkerframework.dataflow.expression.JavaExpressionParseException

All Implemented Interfaces:

Serializable

public class JavaExpressionParseException
extends Exception

An exception that indicates a parse error.

See Also:

• Serialized Form

Field Summary

Fields

Modifier and Type	Field	Description
final Object[]	args	The arguments to the error message key.

Constructor Summary

Constructors

Constructor	Description
JavaExpressionParseException(@CompilerMessageKey String errorKey, Object... args)	Create a new JavaExpressionParseException.
JavaExpressionParseException(@Nullable Throwable cause, @CompilerMessageKey String errorKey, Object... args)	Create a new JavaExpressionParseException.

Method Summary

Modifier and Type	Method	Description
static JavaExpressionParseException	construct(String exprString, String explanation)	Returns a JavaExpressionParseException with error key "flowexpr.parse.error" for the expression exprString with explanation explanation.
Object[]	getArgs()	Returns The arguments to the error message key.
@CompilerMessageKey String	getErrorKey()	Returns the error message key.
String	getMessage()
boolean	isFlowParseError()	Returns true if this is a flowexpr.parse.error.
String	toString()

Methods inherited from class java.lang.Throwable

addSuppressed, fillInStackTrace, getCause, getLocalizedMessage, 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 Details

args

public final Object[] args

The arguments to the error message key.

Constructor Details

JavaExpressionParseException

public JavaExpressionParseException(@CompilerMessageKey String errorKey,
 Object... args)

Create a new JavaExpressionParseException.

Parameters:

errorKey - the error message key

args - the arguments to the error message key

JavaExpressionParseException

public JavaExpressionParseException(@Nullable Throwable cause,
 @CompilerMessageKey String errorKey,
 Object... args)

Create a new JavaExpressionParseException.

Parameters:

cause - cause

errorKey - the error message key

args - the arguments to the error message key

Method Details

construct

public static JavaExpressionParseException construct(String exprString,
 String explanation)

Returns a JavaExpressionParseException with error key "flowexpr.parse.error" for the expression exprString with explanation explanation.

Parameters:

exprString - the string that could not be parsed

explanation - an explanation of the parse failure

Returns:

a JavaExpressionParseException for the expression exprString with explanation explanation

getErrorKey

public @CompilerMessageKey String getErrorKey()

Returns the error message key.

Returns:

the error message key

getArgs

public Object[] getArgs()

Returns The arguments to the error message key.

Returns:

the arguments to the error message key

getMessage

public String getMessage()

Overrides:

getMessage in class Throwable

isFlowParseError

public boolean isFlowParseError()

Returns true if this is a flowexpr.parse.error.

Returns:

true if this is a flowexpr.parse.error

toString

public String toString()

Overrides:

toString in class Throwable