|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |
See:
Description
Class Summary | |
---|---|
ConstChecker | Visitor which traverses an expression AST, and determines if the expression is a constant expression. |
FieldLabelResolver | A visitor used to resolving field labels. |
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 | |
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 LabelSubsitution to all labels
that occur in the AST. |
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 Summary | |
---|---|
IntegerBoundsChecker.Bound.Type |
Contains the Jif visitors, such as the label checker and the Jif translator.
@see polyglot.ast.NodeVisitor @see polyglot.visit.SemanticVisitor
|
|||||||||
PREV PACKAGE NEXT PACKAGE | FRAMES NO FRAMES |