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:

Serializable

Enclosing class:

FlowExpressionParseUtil

public static class FlowExpressionParseUtil.FlowExpressionParseException
extends Exception

An exception that indicates a parse error. It contains a Result that can be used for error reporting.

See Also:

Serialized Form

Field Summary

Fields

Modifier and Type	Field and Description
protected Result	result

Constructor Summary

Constructors

Constructor and Description
FlowExpressionParseException(Result result)
FlowExpressionParseException(Result result, Throwable cause)

Method Summary

Modifier and Type	Method and Description
Result	getResult()

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

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

Field Detail

result

protected final Result result

Constructor Detail

FlowExpressionParseException

public FlowExpressionParseException(Result result)

FlowExpressionParseException

public FlowExpressionParseException(Result result,
                                    Throwable cause)

Method Detail

getResult

public Result getResult()