See: Description
Class | Description |
---|---|
ConstChecker |
Visitor which traverses an expression AST, and determines if the expression
is a constant expression.
|
FieldLabelResolver |
A visitor used to resolving field labels.
|
FinalParams | |
IntegerBoundsChecker |
This class finds integral bounds on expressions.
|
IntegerBoundsChecker.ArrayLengthBound | |
IntegerBoundsChecker.Bound | |
IntegerBoundsChecker.Bounds | |
IntegerBoundsChecker.DataFlowItem |
The items that this dataflow analysis operates on is essetially a set
of integer constraints.
|
IntegerBoundsChecker.Interval |
A closed interval over the integers.
|
IntegerBoundsChecker.LocalBound | |
JifExceptionChecker | |
JifExceptionChecker.FatalExceptionSetter | |
JifInitChecker |
Override the init checker, since type nodes may now mention local variables.
|
JifLabelSubst |
This visitor substitutes labels for each variable in the path maps of
each JifExt object.
|
JifTranslator |
The Jif translator is used to generate Java files from
the current ASTs.
|
JifTypeChecker | |
LabelChecker |
The
LabelChecker class is used in the label checking of
Jif. |
LabelCheckPass |
A pass which runs a visitor.
|
LabelSubstitutionVisitor |
Visits an AST, and applies a
LabelSubstitution to all labels
that occur in the AST. |
NativeConstructorAdder |
For convenience in writing signatures, we allow native constructors (with
empty bodies).
|
NotNullChecker |
Visitor which determines at which program points local variables and
final fields of this class cannot be
null, and thus field access and method calls to them cannot produce
NullPointerExceptions.
|
PreciseClassChecker |
Visitor which determines at which program points more precise information
is known about the runtime class of local variables and
final access paths.
|
Enum | Description |
---|---|
IntegerBoundsChecker.Bound.Type |
Contains the Jif visitors, such as the label checker and the Jif translator.
@see polyglot.ast.NodeVisitor @see polyglot.visit.SemanticVisitor