Package org.checkerframework.dataflow.expression

Class ViewpointAdaptJavaExpression

java.lang.Object

org.checkerframework.dataflow.expression.JavaExpressionVisitor<JavaExpression,java.lang.Void>

org.checkerframework.dataflow.expression.JavaExpressionConverter

org.checkerframework.dataflow.expression.ViewpointAdaptJavaExpression

public class ViewpointAdaptJavaExpression
extends JavaExpressionConverter

This class has methods to viewpoint-adapt JavaExpression by replacing ThisReference and FormalParameter expressions with the given JavaExpressions.

Method Summary

Modifier and Type	Method	Description
static JavaExpression	viewpointAdapt(JavaExpression javaExpr, @Nullable java.util.List<JavaExpression> args)	Replace FormalParameters by args in javaExpr.
static JavaExpression	viewpointAdapt(JavaExpression javaExpr, @Nullable JavaExpression thisReference)	Replace ThisReference with thisReference in javaExpr.
static JavaExpression	viewpointAdapt(JavaExpression javaExpr, @Nullable JavaExpression thisReference, @Nullable java.util.List<JavaExpression> args)	Replace FormalParameters with args and ThisReference with thisReference in javaExpr.
protected JavaExpression	visitFormalParameter(FormalParameter parameterExpr, java.lang.Void unused)	Visit a FormalParameter.
protected JavaExpression	visitThisReference(ThisReference thisExpr, java.lang.Void unused)	Visit a ThisReference.

Methods inherited from class org.checkerframework.dataflow.expression.JavaExpressionConverter

convert, convert, visitArrayAccess, visitArrayCreation, visitBinaryOperation, visitClassName, visitFieldAccess, visitLocalVariable, visitMethodCall, visitUnaryOperation, visitUnknown, visitValueLiteral

Methods inherited from class org.checkerframework.dataflow.expression.JavaExpressionVisitor

visit

Methods inherited from class java.lang.Object

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

Method Detail

viewpointAdapt

public static JavaExpression viewpointAdapt(JavaExpression javaExpr,
                                            @Nullable java.util.List<JavaExpression> args)

Replace FormalParameters by args in javaExpr. (ThisReferences are not converted.)

Parameters:

javaExpr - the expression to viewpoint-adapt

args - the expressions that replace FormalParameters; if null, FormalParameters are not replaced

Returns:

the viewpoint-adapted expression

viewpointAdapt

public static JavaExpression viewpointAdapt(JavaExpression javaExpr,
                                            @Nullable JavaExpression thisReference)

Replace ThisReference with thisReference in javaExpr. (FormalParameter are not replaced.

Parameters:

javaExpr - the expression to viewpoint-adapt

thisReference - the expression that replaces occurrences of ThisReference; if null, ThisReferences are not replaced

Returns:

the viewpoint-adapted expression

viewpointAdapt

public static JavaExpression viewpointAdapt(JavaExpression javaExpr,
                                            @Nullable JavaExpression thisReference,
                                            @Nullable java.util.List<JavaExpression> args)

Replace FormalParameters with args and ThisReference with thisReference in javaExpr.

Parameters:

javaExpr - the expression to viewpoint-adapt

thisReference - the expression that replaces occurrences of ThisReference; if null, ThisReferences are not replaced

args - the expressions that replaces FormalParameters; if null, FormalParameters are not replaced

Returns:

the viewpoint-adapted expression

visitThisReference

protected JavaExpression visitThisReference(ThisReference thisExpr,
                                            java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a ThisReference.

Overrides:

visitThisReference in class JavaExpressionConverter

Parameters:

thisExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the thisExpr

visitFormalParameter

protected JavaExpression visitFormalParameter(FormalParameter parameterExpr,
                                              java.lang.Void unused)

Description copied from class: JavaExpressionVisitor

Visit a FormalParameter.

Overrides:

visitFormalParameter in class JavaExpressionConverter

Parameters:

parameterExpr - the JavaExpression to visit

unused - the parameter to pass to the visit method

Returns:

the result of visiting the parameterExpr