Package org.checkerframework.framework.util

Class JavaExpressionParseUtil

java.lang.Object

org.checkerframework.framework.util.JavaExpressionParseUtil

public class JavaExpressionParseUtil
extends Object

Helper methods to parse a string that represents a restricted Java expression.

See the Checker Framework Manual:

Writing Java expressions as annotation arguments, Annotations whose argument is a Java expression (dependent type annotations)

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	JavaExpressionParseUtil.JavaExpressionParseException	An exception that indicates a parse error.

Field Summary

Fields

Modifier and Type	Field	Description
protected static final @Regex(1) Pattern	ANCHORED_PARAMETER_PATTERN	Anchored pattern for a formal parameter use; matches a string that is exactly a formal parameter use.
protected static final String	PARAMETER_REGEX	Regular expression for a formal parameter use.

Constructor Summary

Constructors

Constructor	Description
JavaExpressionParseUtil()

Method Summary

Modifier and Type	Method	Description
static JavaExpressionParseUtil.JavaExpressionParseException	constructJavaExpressionParseError(String exprString, String explanation)	Returns a JavaExpressionParseUtil.JavaExpressionParseException with error key "flowexpr.parse.error" for the expression exprString with explanation explanation.
static int	parameterIndex(String s)	If s is exactly a formal parameter, return its 1-based index.
static JavaExpression	parse(String expression, TypeMirror enclosingType, @Nullable ThisReference thisReference, @Nullable List<FormalParameter> parameters, @Nullable TreePath localVarPath, TreePath pathToCompilationUnit, ProcessingEnvironment env)	Parses a string to a JavaExpression.

Methods inherited from class java.lang.Object

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

Field Details

PARAMETER_REGEX

protected static final String PARAMETER_REGEX

Regular expression for a formal parameter use.

See Also:

• Constant Field Values

ANCHORED_PARAMETER_PATTERN

protected static final @Regex(1) Pattern ANCHORED_PARAMETER_PATTERN

Anchored pattern for a formal parameter use; matches a string that is exactly a formal parameter use.

Constructor Details

JavaExpressionParseUtil

public JavaExpressionParseUtil()

Method Details

parse

public static JavaExpression parse(String expression,
 TypeMirror enclosingType,
 @Nullable ThisReference thisReference,
 @Nullable List<FormalParameter> parameters,
 @Nullable TreePath localVarPath,
 TreePath pathToCompilationUnit,
 ProcessingEnvironment env)
                            throws JavaExpressionParseUtil.JavaExpressionParseException

Parses a string to a JavaExpression.

For most uses, clients should call one of the static methods in StringToJavaExpression rather than calling this method directly.

Parameters:

expression - the string expression to parse

enclosingType - type of the class that encloses the JavaExpression

thisReference - the JavaExpression to which to parse "this", or null if "this" should not appear in the expression

parameters - list of JavaExpressions to which to parse formal parameter references such as "#2", or null if formal parameter references should not appear in the expression

localVarPath - if non-null, the expression is parsed as if it were written at this location; affects only parsing of local variables

pathToCompilationUnit - required to use the underlying Javac API

env - the processing environment

Returns:

expression as a JavaExpression

Throws:

JavaExpressionParseUtil.JavaExpressionParseException - if the string cannot be parsed

parameterIndex

public static int parameterIndex(String s)

If s is exactly a formal parameter, return its 1-based index. Returns -1 otherwise.

Parameters:

s - a Java expression

Returns:

the 1-based index of the formal parameter that s represents, or -1

constructJavaExpressionParseError

public static JavaExpressionParseUtil.JavaExpressionParseException constructJavaExpressionParseError(String exprString,
 String explanation)

Returns a JavaExpressionParseUtil.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 JavaExpressionParseUtil.JavaExpressionParseException for the expression exprString with explanation explanation