Package org.checkerframework.framework.util

Class JavaExpressionParseUtil.JavaExpressionParseException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.checkerframework.framework.util.JavaExpressionParseUtil.JavaExpressionParseException

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

JavaExpressionParseUtil

public static class JavaExpressionParseUtil.JavaExpressionParseException
extends java.lang.Exception

An exception that indicates a parse error. Call getDiagMessage() to obtain a DiagMessage that can be used for error reporting.

See Also:

Serialized Form

Field Summary

Fields

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

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
DiagMessage	getDiagMessage()	Return a DiagMessage that can be used for error reporting.
java.lang.String	getMessage()
boolean	isFlowParseError()

Methods inherited from class java.lang.Throwable

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

args

public final java.lang.Object[] args

The arguments to the error message key.

Constructor Detail

JavaExpressionParseException

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

Create a new JavaExpressionParseException.

Parameters:

errorKey - the error message key

args - the arguments to the error message key

JavaExpressionParseException

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

Create a new JavaExpressionParseException.

Parameters:

cause - cause

errorKey - the error message key

args - the arguments to the error message key

Method Detail

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable

getDiagMessage

public DiagMessage getDiagMessage()

Return a DiagMessage that can be used for error reporting.

Returns:

a DiagMessage that can be used for error reporting

isFlowParseError

public boolean isFlowParseError()