An array access.
FlowExpression for array creations.
FlowExpression.Receiver for binary operations.
A ClassName represents the occurrence of a class as part of a static field access or method invocation.
Collection of classes and helper functions to represent Java expressions about which the org.checkerframework.dataflow analysis can possibly infer facts.
A call to a @Deterministic method.
This class represents a Java expression and its type.
Stands for any expression that the Dataflow Framework lacks explicit support for.
FlowExpression.Receiver for literals.