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 and viewpoint-adapt a Java expression. It contains the JavaExpressions to which this and the parameter syntax, e.g. #1, should parse.

Field Summary

Fields

Modifier and Type	Field and Description
List<JavaExpression>	arguments In a context for a method declaration or lambda, the formals.
SourceChecker	checker The checker.
JavaExpression	receiver The value of this in this context.

Constructor Summary

Constructors

Constructor and Description
JavaExpressionContext(JavaExpression receiver, List<JavaExpression> arguments, SourceChecker checker) Creates a context for parsing a Java expression.
JavaExpressionContext(JavaExpression receiver, SourceChecker checker) Creates a context for parsing a Java expression, with "null" for arguments.

Method Summary

Modifier and Type	Method and Description
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForClassDeclaration(ClassTree classTree, SourceChecker checker) Returns a JavaExpressionParseUtil.JavaExpressionContext for the class classTree as seen at the class declaration.
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForLambda(LambdaExpressionTree lambdaTree, TreePath path, SourceChecker checker) Creates a JavaExpressionParseUtil.JavaExpressionContext for the given lambda.
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForMethodDeclaration(MethodTree methodDeclaration, SourceChecker checker) Creates a JavaExpressionParseUtil.JavaExpressionContext for the method declared in methodDeclaration.
static JavaExpressionParseUtil.JavaExpressionContext	buildContextForMethodUse(MethodInvocationNode methodInvocation, SourceChecker checker) 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, SourceChecker checker) 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, SourceChecker checker) Returns a JavaExpressionParseUtil.JavaExpressionContext for the constructor n (represented as a Node as seen at the constructor use (i.e., at a "new" expression).
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

The value of this in this context.

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, null.

checker

public final SourceChecker checker

The checker.

Constructor Detail

JavaExpressionContext

public JavaExpressionContext(JavaExpression receiver,
                             SourceChecker checker)

Creates a context for parsing a Java expression, with "null" for arguments.

Parameters:

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

checker - used to create JavaExpressions

JavaExpressionContext

public JavaExpressionContext(JavaExpression receiver,
                             List<JavaExpression> arguments,
                             SourceChecker checker)

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

checker - used to create JavaExpressions

Method Detail

buildContextForMethodDeclaration

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForMethodDeclaration(MethodTree methodDeclaration,
                                                                                             SourceChecker checker)

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

checker - used to build JavaExpression

Returns:

context created from methodDeclaration

buildContextForLambda

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForLambda(LambdaExpressionTree lambdaTree,
                                                                                  TreePath path,
                                                                                  SourceChecker checker)

Creates a JavaExpressionParseUtil.JavaExpressionContext for the given lambda.

Parameters:

lambdaTree - a lambda

path - the path to the lambda

checker - used to build JavaExpression

Returns:

context created for lambdaTree

buildContextForClassDeclaration

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForClassDeclaration(ClassTree classTree,
                                                                                            SourceChecker checker)

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

Parameters:

classTree - a class

checker - used to build JavaExpression

Returns:

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

buildContextForMethodUse

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForMethodUse(MethodInvocationNode methodInvocation,
                                                                                     SourceChecker checker)

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

checker - the javac components to use

Returns:

a JavaExpressionParseUtil.JavaExpressionContext for the method methodInvocation

buildContextForMethodUse

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForMethodUse(MethodInvocationTree methodInvocation,
                                                                                     SourceChecker checker)

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

checker - the javac components to use

Returns:

a JavaExpressionParseUtil.JavaExpressionContext for the method methodInvocation

buildContextForNewClassUse

public static JavaExpressionParseUtil.JavaExpressionContext buildContextForNewClassUse(ObjectCreationNode n,
                                                                                       SourceChecker checker)

Returns a JavaExpressionParseUtil.JavaExpressionContext for the constructor n (represented as a Node as seen at the constructor use (i.e., at a "new" expression).

Parameters:

n - an object creation node

checker - the checker

Returns:

a JavaExpressionParseUtil.JavaExpressionContext for the constructor n (represented as a Node as seen at the constructor use (i.e., at a "new" expression)

toStringDebug

public String toStringDebug()

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

Returns:

a verbose string representation of this