Package org.checkerframework.dataflow.expression

package org.checkerframework.dataflow.expression

Classes

Class	Description
ArrayAccess	An array access.
ArrayCreation	JavaExpression for array creations.
BinaryOperation	JavaExpression for binary operations.
ClassName	A ClassName represents either a class literal or the occurrence of a class as part of a static field access or static method invocation.
FieldAccess	A FieldAccess represents a field access.
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	A use of this.
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.