org.checkerframework.dataflow.analysis

Class FlowExpressions

java.lang.Object

org.checkerframework.dataflow.analysis.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.

Author:

Stefan Heule

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
static class	FlowExpressions.ArrayAccess A deterministic method call.
static class	FlowExpressions.ArrayCreation
static class	FlowExpressions.ClassName A ClassName represents the occurrence of a class as part of a static field access or method invocation.
static class	FlowExpressions.FieldAccess
static class	FlowExpressions.LocalVariable
static class	FlowExpressions.PureMethodCall A method call, typically a deterministic one.
static class	FlowExpressions.Receiver
static class	FlowExpressions.ThisReference
static class	FlowExpressions.Unknown
static class	FlowExpressions.ValueLiteral

Constructor Summary

Constructors

Constructor and Description
FlowExpressions()

Method Summary

Modifier and Type	Method and Description
static FlowExpressions.Receiver	internalReprOf(AnnotationProvider provider, Node receiverNode) We ignore operations such as widening and narrowing when computing the internal representation.
static FlowExpressions.Receiver	internalReprOf(AnnotationProvider provider, Node receiverNode, boolean allowNonDeterministic) We ignore operations such as widening and narrowing when computing the internal representation.
static FlowExpressions.ArrayAccess	internalReprOfArrayAccess(AnnotationProvider provider, ArrayAccessNode node)
static FlowExpressions.FieldAccess	internalReprOfFieldAccess(AnnotationProvider provider, FieldAccessNode node)

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 FlowExpressions.FieldAccess internalReprOfFieldAccess(AnnotationProvider provider,
                                                                    FieldAccessNode node)

Returns:

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

internalReprOfArrayAccess

public static FlowExpressions.ArrayAccess internalReprOfArrayAccess(AnnotationProvider provider,
                                                                    ArrayAccessNode node)

Returns:

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

internalReprOf

public static FlowExpressions.Receiver internalReprOf(AnnotationProvider provider,
                                                      Node receiverNode)

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

Returns:

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

internalReprOf

public static FlowExpressions.Receiver internalReprOf(AnnotationProvider provider,
                                                      Node receiverNode,
                                                      boolean allowNonDeterministic)

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

Returns:

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