org.checkerframework.framework.util

Class FlowExpressionParseUtil.FlowExpressionParseException

java.lang.Object

java.lang.Throwable

java.lang.Exception

org.checkerframework.framework.util.FlowExpressionParseUtil.FlowExpressionParseException

All Implemented Interfaces:

java.io.Serializable

Enclosing class:

FlowExpressionParseUtil

public static class FlowExpressionParseUtil.FlowExpressionParseException
extends java.lang.Exception

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

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
java.lang.Object[]	args

Constructor Summary

Constructors

Constructor and Description
FlowExpressionParseException(@CompilerMessageKey java.lang.String errorKey, java.lang.Object... args)
FlowExpressionParseException(java.lang.Throwable cause, @CompilerMessageKey java.lang.String errorKey, java.lang.Object... args)

Method Summary

Modifier and Type	Method and Description
java.lang.String	getMessage()
Result	getResult() Return a Result that can be used for error reporting.
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

Constructor Detail

FlowExpressionParseException

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

FlowExpressionParseException

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

Method Detail

getMessage

public java.lang.String getMessage()

Overrides:

getMessage in class java.lang.Throwable

getResult

public Result getResult()

Return a Result that can be used for error reporting.

isFlowParseError

public boolean isFlowParseError()