| Class | Description |
|---|---|
| ArrayAccess |
An array access.
|
| ArrayCreation |
JavaExpression for array creations.
|
| BinaryOperation |
JavaExpression for binary operations.
|
| ClassName |
A ClassName represents the occurrence of a class as part of a static field access or method
invocation.
|
| FieldAccess | |
| FormalParameter |
A formal parameter, represented by its 1-based index.
|
| JavaExpression |
This class represents a Java expression and its type.
|
| JavaExpressionConverter |
This class calls
JavaExpressionConverter.convert(JavaExpression) on each subexpression of the JavaExpression and returns a new JavaExpression built from the result of calling convert on each subexpression. |
| JavaExpressionScanner<P> |
A simple scanner for
JavaExpression. |
| JavaExpressionVisitor<R,P> |
A simple visitor for
JavaExpression. |
| LocalVariable |
A local variable.
|
| MethodCall |
A call to a @Deterministic method.
|
| ThisReference | |
| UnaryOperation |
JavaExpression for unary operations.
|
| Unknown |
Stands for any expression that the Dataflow Framework lacks explicit support for.
|
| ValueLiteral |
JavaExpression for literals.
|
| ViewpointAdaptJavaExpression |
This class has methods to viewpoint-adapt
JavaExpression by replacing ThisReference and FormalParameter expressions with the given JavaExpressions. |