org.checkerframework.dataflow.expression

Class FlowExpressions

java.lang.Object

org.checkerframework.dataflow.expression.FlowExpressions

public class FlowExpressions
extends Object

Collection of classes and helper functions to represent Java expressions about which the org.checkerframework.dataflow analysis can possibly infer facts. Expressions include:

• Field accesses (e.g., o.f)
• Local variables (e.g., l)
• This reference (e.g., this)
• Pure method calls (e.g., o.m())
• Unknown other expressions to mark that something else was present.

Constructor Summary

Constructors

Constructor and Description
FlowExpressions()

Method Summary

Modifier and Type	Method and Description
static @Nullable List<Receiver>	getParametersOfEnclosingMethod(org.checkerframework.javacutil.AnnotationProvider annotationProvider, TreePath path) Returns Receiver objects for the formal parameters of the method in which path is enclosed.
static Receiver	internalReprOf(org.checkerframework.javacutil.AnnotationProvider provider, ExpressionTree receiverTree) Returns the internal representation (as Receiver) of any ExpressionTree.
static Receiver	internalReprOf(org.checkerframework.javacutil.AnnotationProvider provider, ExpressionTree receiverTree, boolean allowNonDeterministic) We ignore operations such as widening and narrowing when computing the internal representation.
static Receiver	internalReprOf(org.checkerframework.javacutil.AnnotationProvider provider, Node receiverNode) We ignore operations such as widening and narrowing when computing the internal representation.
static Receiver	internalReprOf(org.checkerframework.javacutil.AnnotationProvider provider, Node receiverNode, boolean allowNonDeterministic) We ignore operations such as widening and narrowing when computing the internal representation.
static ArrayAccess	internalReprOfArrayAccess(org.checkerframework.javacutil.AnnotationProvider provider, ArrayAccessNode node) Returns the internal representation (as FieldAccess) of a FieldAccessNode.
static FieldAccess	internalReprOfFieldAccess(org.checkerframework.javacutil.AnnotationProvider provider, FieldAccessNode node) Returns the internal representation (as FieldAccess) of a FieldAccessNode.
static Receiver	internalReprOfImplicitReceiver(Element ele) Returns the implicit receiver of ele.
static Receiver	internalReprOfPseudoReceiver(TreePath path, TypeMirror enclosingType) Returns either a new ClassName or ThisReference Receiver object for the enclosingType.

Methods inherited from class java.lang.Object

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

Constructor Detail

FlowExpressions

public FlowExpressions()

Method Detail

internalReprOfFieldAccess

public static FieldAccess internalReprOfFieldAccess(org.checkerframework.javacutil.AnnotationProvider provider,
                                                    FieldAccessNode node)

Returns the internal representation (as FieldAccess) of a FieldAccessNode. Can contain Unknown as receiver.

Returns:

the internal representation (as FieldAccess) of a FieldAccessNode. Can contain Unknown as receiver.

internalReprOfArrayAccess

public static ArrayAccess internalReprOfArrayAccess(org.checkerframework.javacutil.AnnotationProvider provider,
                                                    ArrayAccessNode node)

Returns the internal representation (as FieldAccess) of a FieldAccessNode. Can contain Unknown as receiver.

Returns:

the internal representation (as FieldAccess) of a FieldAccessNode. Can contain Unknown as receiver.

internalReprOf

public static Receiver internalReprOf(org.checkerframework.javacutil.AnnotationProvider provider,
                                      Node receiverNode)

We ignore operations such as widening and narrowing when computing the internal representation.

Returns:

the internal representation (as Receiver) of any Node. Might contain Unknown.

internalReprOf

public static Receiver internalReprOf(org.checkerframework.javacutil.AnnotationProvider provider,
                                      Node receiverNode,
                                      boolean allowNonDeterministic)

We ignore operations such as widening and narrowing when computing the internal representation.

Returns:

the internal representation (as Receiver) of any Node. Might contain Unknown.

internalReprOf

public static Receiver internalReprOf(org.checkerframework.javacutil.AnnotationProvider provider,
                                      ExpressionTree receiverTree)

Returns the internal representation (as Receiver) of any ExpressionTree. Might contain Unknown.

Returns:

the internal representation (as Receiver) of any ExpressionTree. Might contain Unknown.

internalReprOf

public static Receiver internalReprOf(org.checkerframework.javacutil.AnnotationProvider provider,
                                      ExpressionTree receiverTree,
                                      boolean allowNonDeterministic)

We ignore operations such as widening and narrowing when computing the internal representation.

Returns:

the internal representation (as Receiver) of any ExpressionTree. Might contain Unknown.

internalReprOfImplicitReceiver

public static Receiver internalReprOfImplicitReceiver(Element ele)

Returns the implicit receiver of ele.

Returns either a new ClassName or a new ThisReference depending on whether ele is static or not. The passed element must be a field, method, or class.

Parameters:

ele - field, method, or class

Returns:

either a new ClassName or a new ThisReference depending on whether ele is static or not

internalReprOfPseudoReceiver

public static Receiver internalReprOfPseudoReceiver(TreePath path,
                                                    TypeMirror enclosingType)

Returns either a new ClassName or ThisReference Receiver object for the enclosingType.

The Tree should be an expression or a statement that does not have a receiver or an implicit receiver. For example, a local variable declaration.

Parameters:

path - TreePath to tree

enclosingType - type of the enclosing type

Returns:

a new ClassName or ThisReference that is a Receiver object for the enclosingType

getParametersOfEnclosingMethod

public static @Nullable List<Receiver> getParametersOfEnclosingMethod(org.checkerframework.javacutil.AnnotationProvider annotationProvider,
                                                                      TreePath path)

Returns Receiver objects for the formal parameters of the method in which path is enclosed.

Parameters:

annotationProvider - annotationProvider

path - TreePath that is enclosed by the method

Returns:

list of Receiver objects for the formal parameters of the method in which path is enclosed, null otherwise