Package jif.visit

Contains the Jif visitors, such as the label checker and the Jif translator.

See:
          Description

Class Summary
ArrayIndexChecker ###TODO
ConstChecker Visitor which traverses an expression AST, and determines if the expression is a constant expression.
FieldLabelResolver A visitor used to resolving field labels.
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.
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.
 

Package jif.visit Description

Contains the Jif visitors, such as the label checker and the Jif translator.

@see polyglot.ast.NodeVisitor @see polyglot.visit.SemanticVisitor