Package jif.extension

Provides classes that implements the Jif AST node extensions and delegates.

See:
Description

Interface Summary

JifFieldDeclExt	The Jif extension of the FieldDecl node.
JifPreciseClassDel	Marker interface for nodes that want to track the precise classes of a sub-expression, e.g., JifCastDel.
JifProcedureDeclExt	The Jif extension of the ProcedureDecl node.
JifStmtExt	The root of all kinds of Jif extensions for statements.

Class Summary

CallHelper	This is a tool to label check method calls.
ConstructorChecker	A tool to label check constructors.
JifActsForExt	The Jif extension of the ActsFor node.
JifArrayAccessAssignDel	The Jif extension of the ArrayAccessAssign node.
JifArrayAccessAssignExt	The Jif extension of the ArrayAccessAssign node.
JifArrayAccessDel	The Jif extension of the ArrayAccess node.
JifArrayAccessExt	The Jif extension of the ArrayAccess node.
JifArrayInitExt	The Jif extension of the ArrayInit node.
JifAssignExt	The Jif extension of the Assign node.
JifBinaryDel	The Jif extension of the Call node.
JifBinaryExt	The Jif extension of the Binary node.
JifBlockExt	The Jif extension of the Block node.
JifBranchExt	The Jif extension of the Branch node.
JifCallDel	The Jif extension of the Call node.
JifCallExt	The Jif extension of the Call node.
JifCaseExt	The Jif extension of the Case node.
JifCastDel	The Jif extension of the Cast node.
JifCastExt	The Jif extension of the Cast node.
JifClassBodyExt	The extension of the ClassBody node.
JifClassDeclDel	The delegate of the JifClassDecl node.
JifClassDeclExt	The extension of the JifClassDecl node.
JifConditionalExt	The Jif extension of the Conditional node.
JifConstructorCallDel	The Jif extension of the ConstructorCall node.
JifConstructorCallExt	The Jif extension of the ConstructorCall node.
JifConstructorDeclExt	The Jif extension of the JifConstructorDecl node.
JifDeclassifyExprExt	The Jif extension of the DeclassifyExpr node.
JifDeclassifyStmtExt	The Jif extension of the DeclassifyStmt node.
JifDoExt	The Jif extension of the Do node.
JifEmptyExt	The Jif extension of the Empty node.
JifEvalExt	The Jif extension of the Eval node.
JifFieldAssignDel	The Jif extension of the FieldAssign node.
JifFieldAssignExt	The Jif extension of the LocalAssign node.
JifFieldDeclDel	The Jif extension of the FieldDecl node.
JifFieldDeclExt_c	The Jif extension of the FieldDecl node.
JifFieldDeclExt_c.InvarianceLabelChecker	Checker to ensure that labels do not use covariant labels in the wrong places
JifFieldDeclExt_c.InvarianceLabelSubstr	Visitor to ensure that labels do not use covariant labels in the wrong places
JifFieldDeclExt_c.StaticFieldLabelChecker	Checker to ensure that labels of static fields do not use the This label, or any parameters
JifFieldDel	The Jif extension of the Field node.
JifFieldExt	The Jif extension of the Field node.
JifForExt	The Jif extension of the For node.
JifFormalDel	The Jif extension of the Formal node.
JifFormalExt	The Jif extension of the Formal node.
JifIfDel	The Jif extension of the FieldAssign node.
JifIfExt	The Jif extension of the If node.
JifInitializerDel	The Jif extension of the Initializer node.
JifInitializerExt	The Jif extension of the Initializer node.
JifInstanceOfDel	The Jif extension of the Cast node.
JifInstanceofExt	The Jif extension of the Instanceof node.
JifJL_c	An implementation of the Jif interface.
JifLabeledExt	The Jif extension of the Labeled node.
JifLabelExprExt
JifLabelIfExt	The Jif extension of the ActsFor node.
JifLiteralExt	The Jif extension of the Lit or NewLabel node.
JifLocalAssignExt	The Jif extension of the LocalAssign node.
JifLocalDeclDel	The delegate of the JifMethodDecl node.
JifLocalDeclExt	The Jif extension of the LocalDecl node.
JifLocalExt	The Jif extension of the Local node.
JifMethodDeclDel	The delegate of the JifMethodDecl node.
JifMethodDeclExt	The Jif extension of the JifMethodDecl node.
JifNewArrayExt	The Jif extension of the NewArray node.
JifNewExt	The Jif extension of the New node.
JifPrincipalNodeExt
JifProcedureDeclDel	The Jif delegate the ProcedureDecl node.
JifProcedureDeclExt_c	The Jif extension of the ProcedureDecl node.
JifReturnExt	The Jif extension of the Return node.
JifSourceFileExt	The root of all kinds of Jif extensions for statements.
JifSpecialExt	The Jif extension of the Special node.
JifStmtExt_c	The root of all kinds of Jif extensions for statements.
JifSwitchExt	Jif extension of the Switch node.
JifSynchronizedExt	Jif extension of the Synchronized node.
JifThrowDel	Jif extension of the Throw node.
JifThrowExt	Jif extension of the Throw node.
JifTryExt	Jif extension of the Try node.
JifTypeNodeDel	The Jif extension of the TypeNode node.
JifTypeNodeDel.StaticLabelChecker	Checker to ensure that labels in a static context do not use the This label
JifUnaryExt	Jif extension of the Unary node.
JifWhileExt	Jif extension of the While node.
LabelTypeCheckUtil	Contains some common utility code to type check dynamic labels and principals
SubtypeChecker	A checker of subtype relationships.

Package jif.extension Description

Provides classes that implements the Jif AST node extensions and delegates.

All the extensions extend from the class Jif_c and implement the labelCheck method. All delegates extend the class JifJL_c.

See Also:

Ext, Jif, Jif_c,