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