org.checkerframework.framework.util

Class JavaExpressionParseUtil.JavaExpressionContext

java.lang.Object

org.checkerframework.framework.util.JavaExpressionParseUtil.JavaExpressionContext

Enclosing class:

JavaExpressionParseUtil

public static class JavaExpressionParseUtil.JavaExpressionContext
extends Object

Context used to parse a Java expression. When parsing expression E in annotation @A(E), the context is the program element that is annotated by @A(E).

Field Summary

Fields

Modifier and Type	Field and Description
List<JavaExpression>	arguments In a context for a method declaration or lambda, the formals.
BaseContext	checkerContext
JavaExpression	outerReceiver
boolean	parsingMember Whether or not the FlowExpressionParser is parsing the "member" part of a member select.
JavaExpression	receiver
boolean	useLocalScope Whether the TreePath should be used to find identifiers.

Constructor Summary

Constructors

Constructor and Description
JavaExpressionContext(JavaExpression receiver, List<JavaExpression> arguments, BaseContext checkerContext) Creates a context for parsing a Java expression.

Method Summary

Modifier and Type	Method and Description
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForClassDeclaration(ClassTree classTree, BaseContext checkerContext) Returns a JavaExpressionParseUtil.JavaExpressionContext for the class classTree as seen at the class declaration.
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForLambda(LambdaExpressionTree lambdaTree, TreePath path, BaseContext checkerContext) Creates a JavaExpressionParseUtil.JavaExpressionContext for the given lambda.
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForMethodDeclaration(MethodTree methodDeclaration, Tree enclosingTree, BaseContext checkerContext) Creates a JavaExpressionParseUtil.JavaExpressionContext for the method declared in methodDeclaration.
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForMethodDeclaration(MethodTree methodDeclaration, TreePath currentPath, BaseContext checkerContext) Creates a JavaExpressionParseUtil.JavaExpressionContext for the method declared in methodDeclaration.
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForMethodDeclaration(MethodTree methodDeclaration, TypeMirror enclosingType, BaseContext checkerContext) Creates a JavaExpressionParseUtil.JavaExpressionContext for the method declared in methodDeclaration.
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForMethodUse(MethodInvocationNode methodInvocation, BaseContext checkerContext) Returns a JavaExpressionParseUtil.JavaExpressionContext for the method called by methodInvocation, as seen at the method use (i.e., at the call site).
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForMethodUse(MethodInvocationTree methodInvocation, BaseContext checkerContext) Returns a JavaExpressionParseUtil.JavaExpressionContext for the method called by methodInvocation, as seen at the method use (i.e., at the call site).
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForNewClassUse(ObjectCreationNode n, BaseContext checkerContext) Returns a JavaExpressionParseUtil.JavaExpressionContext for the constructor n (represented as a Node as seen at the method use (i.e., at a method call site).
JavaExpressionParseUtil.JavaExpressionContext	copyAndSetUseLocalScope(boolean useLocalScope) Returns a copy of the context that differs in that useLocalScope is set to the given value.
JavaExpressionParseUtil.JavaExpressionContext	copyAndUseOuterReceiver() Returns a copy of the context that differs in that it uses the outer receiver as main receiver (and also retains it as the outer receiver), and parsingMember is set to false.
JavaExpressionParseUtil.JavaExpressionContext	copyChangeToParsingMemberOfReceiver(JavaExpression receiver) Returns a copy of the context that differs in that it has a different receiver and parsingMember is set to true.
String	toStringDebug() Format this object verbosely, on multiple lines but without a trailing newline.

Methods inherited from class java.lang.Object

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

Field Detail

receiver

public final JavaExpression receiver

arguments

public final List<JavaExpression> arguments

In a context for a method declaration or lambda, the formals. In a context for a method invocation, the actuals. In other contexts, an empty list.

outerReceiver

public final JavaExpression outerReceiver

checkerContext

public final BaseContext checkerContext

parsingMember

public final boolean parsingMember

Whether or not the FlowExpressionParser is parsing the "member" part of a member select.

useLocalScope

public final boolean useLocalScope

Whether the TreePath should be used to find identifiers. Defaults to true.

Constructor Detail

JavaExpressionContext

public JavaExpressionContext(JavaExpression receiver,
                             List<JavaExpression> arguments,
                             BaseContext checkerContext)

Creates a context for parsing a Java expression.

Parameters:

receiver - used to replace "this" in a Java expression and used to resolve identifiers in any Java expression with an implicit "this"

arguments - used to replace parameter references, e.g. #1, in Java expressions, null if no arguments

checkerContext - used to create JavaExpressions

Method Detail

buildContextForMethodDeclaration

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForMethodDeclaration(MethodTree methodDeclaration,
                                                                                             Tree enclosingTree,
                                                                                             BaseContext checkerContext)

Creates a JavaExpressionParseUtil.JavaExpressionContext for the method declared in methodDeclaration.

Parameters:

methodDeclaration - used to translate parameter numbers in a Java expression to formal parameters of the method

enclosingTree - used to look up fields and as the type of "this" in Java expressions

checkerContext - used to build JavaExpression

Returns:

context created from methodDeclaration

buildContextForMethodDeclaration

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForMethodDeclaration(MethodTree methodDeclaration,
                                                                                             TreePath currentPath,
                                                                                             BaseContext checkerContext)

Creates a JavaExpressionParseUtil.JavaExpressionContext for the method declared in methodDeclaration.

Parameters:

methodDeclaration - used to translate parameter numbers in a Java expression to formal parameters of the method

currentPath - to find the enclosing class, which is used to look up fields and as type of "this" in Java expressions

checkerContext - used to build JavaExpression

Returns:

context created for methodDeclaration

buildContextForMethodDeclaration

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForMethodDeclaration(MethodTree methodDeclaration,
                                                                                             TypeMirror enclosingType,
                                                                                             BaseContext checkerContext)

Creates a JavaExpressionParseUtil.JavaExpressionContext for the method declared in methodDeclaration.

Parameters:

methodDeclaration - used to translate parameter numbers in a Java expression to formal parameters of the method

enclosingType - used to look up fields and as type of "this" in Java expressions

checkerContext - used to build JavaExpression

Returns:

context created for methodDeclaration

buildContextForLambda

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForLambda(LambdaExpressionTree lambdaTree,
                                                                                  TreePath path,
                                                                                  BaseContext checkerContext)

Creates a JavaExpressionParseUtil.JavaExpressionContext for the given lambda.

Parameters:

lambdaTree - a lambda

path - the path to the lambda

checkerContext - used to build JavaExpression

Returns:

context created for lambdaTree

buildContextForClassDeclaration

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForClassDeclaration(ClassTree classTree,
                                                                                            BaseContext checkerContext)

Returns a JavaExpressionParseUtil.JavaExpressionContext for the class classTree as seen at the class declaration.

Returns:

a JavaExpressionParseUtil.JavaExpressionContext for the class classTree as seen at the class declaration

buildContextForMethodUse

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForMethodUse(MethodInvocationNode methodInvocation,
                                                                                     BaseContext checkerContext)

Returns a JavaExpressionParseUtil.JavaExpressionContext for the method called by methodInvocation, as seen at the method use (i.e., at the call site).

Returns:

a JavaExpressionParseUtil.JavaExpressionContext for the method methodInvocation

buildContextForMethodUse

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForMethodUse(MethodInvocationTree methodInvocation,
                                                                                     BaseContext checkerContext)

Returns a JavaExpressionParseUtil.JavaExpressionContext for the method called by methodInvocation, as seen at the method use (i.e., at the call site).

Parameters:

methodInvocation - a method invocation

checkerContext - the javac components to use

Returns:

a JavaExpressionParseUtil.JavaExpressionContext for the method methodInvocation

buildContextForNewClassUse

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForNewClassUse(ObjectCreationNode n,
                                                                                       BaseContext checkerContext)

Returns a JavaExpressionParseUtil.JavaExpressionContext for the constructor n (represented as a Node as seen at the method use (i.e., at a method call site).

Returns:

a JavaExpressionParseUtil.JavaExpressionContext for the constructor n (represented as a Node as seen at the method use (i.e., at a method call site)

copyChangeToParsingMemberOfReceiver

public JavaExpressionParseUtil.JavaExpressionContext copyChangeToParsingMemberOfReceiver(JavaExpression receiver)

Returns a copy of the context that differs in that it has a different receiver and parsingMember is set to true. The outer receiver remains unchanged.

copyAndUseOuterReceiver

public JavaExpressionParseUtil.JavaExpressionContext copyAndUseOuterReceiver()

Returns a copy of the context that differs in that it uses the outer receiver as main receiver (and also retains it as the outer receiver), and parsingMember is set to false.

copyAndSetUseLocalScope

public JavaExpressionParseUtil.JavaExpressionContext copyAndSetUseLocalScope(boolean useLocalScope)

Returns a copy of the context that differs in that useLocalScope is set to the given value.

toStringDebug

public String toStringDebug()

Format this object verbosely, on multiple lines but without a trailing newline.

Returns:

a verbose string representation of this