A B C D E F G H I J K L M N O P Q R S T U V W X Y _

A

ABSTRACT - Static variable in class jif.parse.sym

ACTSFOR - Static variable in class jif.parse.sym

AND - Static variable in class jif.parse.sym

ANDAND - Static variable in class jif.parse.sym

ANDEQ - Static variable in class jif.parse.sym

ARRAY_INDEX - Static variable in class jif.ExtensionInfo

A pass to determine which array accesses and method calls may produce an ArrayIndexOutOfBounds exception

ASSERT - Static variable in class jif.parse.sym

AUTHORITY - Static variable in class jif.parse.sym

Access - class jif.parse.Access.

An Access represents a Amb of the form "P[e]" where e must be an expression.

ActsFor - interface jif.ast.ActsFor.

An immutable representation of a Jif actsFor statement.

ActsFor(Position, PrincipalNode, PrincipalNode, Stmt) - Method in interface jif.ast.JifNodeFactory

ActsFor(Position, PrincipalNode, PrincipalNode, Stmt, Stmt) - Method in interface jif.ast.JifNodeFactory

ActsFor(Position, PrincipalNode, PrincipalNode, Stmt) - Method in class jif.ast.JifNodeFactory_c

ActsFor(Position, PrincipalNode, PrincipalNode, Stmt, Stmt) - Method in class jif.ast.JifNodeFactory_c

ActsForConstraint - interface jif.types.ActsForConstraint.

The acts-for constraint.

ActsForConstraintNode - interface jif.ast.ActsForConstraintNode.

An immutable representation of the Jif ActsFor constraint.

ActsForConstraintNode(Position, PrincipalNode, PrincipalNode) - Method in interface jif.ast.JifNodeFactory

ActsForConstraintNode(Position, PrincipalNode, PrincipalNode) - Method in class jif.ast.JifNodeFactory_c

ActsForConstraintNode_c - class jif.ast.ActsForConstraintNode_c.

An implementation of the ActsForConstraintNode interface.

ActsForConstraintNode_c(Position, PrincipalNode, PrincipalNode) - Constructor for class jif.ast.ActsForConstraintNode_c

ActsForConstraint_c - class jif.types.ActsForConstraint_c.

An implementation of the ActsForConstraint interface.

ActsForConstraint_c(JifTypeSystem, Position, Principal, Principal) - Constructor for class jif.types.ActsForConstraint_c

ActsForToJavaExt_c - class jif.translate.ActsForToJavaExt_c.

ActsForToJavaExt_c() - Constructor for class jif.translate.ActsForToJavaExt_c

ActsFor_c - class jif.ast.ActsFor_c.

An implementation of the ActsFor interface.

ActsFor_c(Position, PrincipalNode, PrincipalNode, Stmt, Stmt) - Constructor for class jif.ast.ActsFor_c

AddDummyFieldsVisitor - class jif.visit.AddDummyFieldsVisitor.

Visitor which traverses the AST, adding fields to the class type.

AddDummyFieldsVisitor(Job, TypeSystem, NodeFactory) - Constructor for class jif.visit.AddDummyFieldsVisitor

Amb - class jif.parse.Amb.

AmbDynamicLabelNode - interface jif.ast.AmbDynamicLabelNode.

An ambiguous dynamic label.

AmbDynamicLabelNode(Position, String) - Method in interface jif.ast.JifNodeFactory

AmbDynamicLabelNode(Position, String) - Method in class jif.ast.JifNodeFactory_c

AmbDynamicLabelNode_c - class jif.ast.AmbDynamicLabelNode_c.

An implementation of the AmbDynamicLabel interface.

AmbDynamicLabelNode_c(Position, String) - Constructor for class jif.ast.AmbDynamicLabelNode_c

AmbLabelNode_c - class jif.ast.AmbLabelNode_c.

An ambiguous label node.

AmbLabelNode_c(Position) - Constructor for class jif.ast.AmbLabelNode_c

AmbNewArray - interface jif.ast.AmbNewArray.

An ambiguous new array expression.

AmbNewArray(Position, TypeNode, String, List) - Method in interface jif.ast.JifNodeFactory

AmbNewArray(Position, TypeNode, String, List) - Method in class jif.ast.JifNodeFactory_c

AmbNewArray_c - class jif.ast.AmbNewArray_c.

An implementation of the AmbNewArray interface.

AmbNewArray_c(Position, TypeNode, String, List) - Constructor for class jif.ast.AmbNewArray_c

AmbParam - interface jif.ast.AmbParam.

An ambiguous parameter.

AmbParam(Position, String) - Method in interface jif.ast.JifNodeFactory

AmbParam(Position, String) - Method in class jif.ast.JifNodeFactory_c

AmbParamTypeOrAccess - interface jif.ast.AmbParamTypeOrAccess.

An ambiguous parameter type or array access.

AmbParamTypeOrAccess(Position, Receiver, String) - Method in interface jif.ast.JifNodeFactory

AmbParamTypeOrAccess(Position, Receiver, String) - Method in class jif.ast.JifNodeFactory_c

AmbParamTypeOrAccess_c - class jif.ast.AmbParamTypeOrAccess_c.

An implementation of the AmbParamTypeOrAccess interface.

AmbParamTypeOrAccess_c(Position, Receiver, String) - Constructor for class jif.ast.AmbParamTypeOrAccess_c

AmbParam_c - class jif.ast.AmbParam_c.

An implementation of the AmbParam interface.

AmbParam_c(Position, String) - Constructor for class jif.ast.AmbParam_c

AmbPrincipalNode - interface jif.ast.AmbPrincipalNode.

An ambiguous principal node.

AmbPrincipalNode(Position, String) - Method in interface jif.ast.JifNodeFactory

AmbPrincipalNode(Position, String) - Method in class jif.ast.JifNodeFactory_c

AmbPrincipalNode_c - class jif.ast.AmbPrincipalNode_c.

An implementation of the AmbPrincipalNode interface.

AmbPrincipalNode_c(Position, String) - Constructor for class jif.ast.AmbPrincipalNode_c

AmbThisLabelNode - interface jif.ast.AmbThisLabelNode.

An ambigous this label node.

AmbThisLabelNode(Position) - Method in interface jif.ast.JifNodeFactory

AmbThisLabelNode(Position) - Method in class jif.ast.JifNodeFactory_c

AmbThisLabelNode_c - class jif.ast.AmbThisLabelNode_c.

An implementation of the AmbThisLabelNode interface.

AmbThisLabelNode_c(Position) - Constructor for class jif.ast.AmbThisLabelNode_c

AmbVarLabelNode - interface jif.ast.AmbVarLabelNode.

An ambiguous variable label node.

AmbVarLabelNode(Position, String) - Method in interface jif.ast.JifNodeFactory

AmbVarLabelNode(Position, String) - Method in class jif.ast.JifNodeFactory_c

AmbVarLabelNode_c - class jif.ast.AmbVarLabelNode_c.

An implementation of the AmbVarLabelNode interface.

AmbVarLabelNode_c(Position, String) - Constructor for class jif.ast.AmbVarLabelNode_c

ArgLabel - interface jif.types.ArgLabel.

This label is used as a place-holder for method argument labels.

ArgLabelSubstitution - class jif.types.ArgLabelSubstitution.

This class is used to substitute arbitrary labels for ArgLabels, DynamicArgLabels and ArgPrincipals.

ArgLabelSubstitution(List, boolean) - Constructor for class jif.types.ArgLabelSubstitution

ArgLabelSubstitution(List, List, boolean) - Constructor for class jif.types.ArgLabelSubstitution

ArgLabel_c - class jif.types.ArgLabel_c.

This label is used as the label of the real argument.

ArgLabel_c() - Constructor for class jif.types.ArgLabel_c

ArgLabel_c(JifTypeSystem, int, boolean, UID, String, Position) - Constructor for class jif.types.ArgLabel_c

ArgPrincipal - interface jif.types.ArgPrincipal.

This label is used as a place-holder for method argument labels.

ArgPrincipal_c - class jif.types.ArgPrincipal_c.

ArgPrincipal_c(JifTypeSystem, Position, UID, String, Label, int, boolean) - Constructor for class jif.types.ArgPrincipal_c

Array - class jif.parse.Array.

An Array represents a Amb of the form "P[]".

Array(Grm, Position, TypeNode) - Constructor for class jif.parse.Array

ArrayIndexChecker - class jif.visit.ArrayIndexChecker.

###TODO

ArrayIndexChecker(Job, TypeSystem, NodeFactory) - Constructor for class jif.visit.ArrayIndexChecker

Constructor

Assertion - interface jif.types.Assertion.

An Assertion represents a condition on labels and/or principals that is assumed to hold true.

AuthConstraint - interface jif.types.AuthConstraint.

The authority constraint.

AuthConstraintNode - interface jif.ast.AuthConstraintNode.

An authority constraint node.

AuthConstraintNode(Position, List) - Method in interface jif.ast.JifNodeFactory

AuthConstraintNode(Position, List) - Method in class jif.ast.JifNodeFactory_c

AuthConstraintNode_c - class jif.ast.AuthConstraintNode_c.

An implmentation of the AuthConstraintNode interface.

AuthConstraintNode_c(Position, List) - Constructor for class jif.ast.AuthConstraintNode_c

AuthConstraint_c - class jif.types.AuthConstraint_c.

An implementation of the AuthConstraint interface.

AuthConstraint_c(JifTypeSystem, Position, List) - Constructor for class jif.types.AuthConstraint_c

acceptCFG(CFGBuilder, List) - Method in class jif.ast.ActsFor_c

acceptCFG(CFGBuilder, List) - Method in class jif.ast.AmbNewArray_c

Visit this term in evaluation order.

acceptCFG(CFGBuilder, List) - Method in class jif.ast.AmbPrincipalNode_c

Visit this term in evaluation order.

acceptCFG(CFGBuilder, List) - Method in class jif.ast.CanonicalPrincipalNode_c

Visit this term in evaluation order.

acceptCFG(CFGBuilder, List) - Method in class jif.ast.DeclassifyExpr_c

acceptCFG(CFGBuilder, List) - Method in class jif.ast.DeclassifyStmt_c

acceptCFG(CFGBuilder, List) - Method in class jif.ast.LabelCase_c

acceptCFG(CFGBuilder, List) - Method in class jif.ast.NewLabel_c

acceptCFG(CFGBuilder, List) - Method in class jif.ast.SwitchLabel_c

acceptCFG(CFGBuilder, List) - Method in class jif.parse.Wrapper

Visit this term in evaluation order.

action_obj - Variable in class jif.parse.Grm

Instance of action encapsulation class.

action_table() - Method in class jif.parse.Grm

Access to parse-action table.

actor() - Method in interface jif.ast.ActsFor

Gets the actor.

actor(PrincipalNode) - Method in interface jif.ast.ActsFor

Makes a copy node and sets the actor of the copy.

actor() - Method in interface jif.ast.ActsForConstraintNode

Gets the actor principal.

actor(PrincipalNode) - Method in interface jif.ast.ActsForConstraintNode

Returns a copy of this node with the actor updated.

actor - Variable in class jif.ast.ActsForConstraintNode_c

actor() - Method in class jif.ast.ActsForConstraintNode_c

Gets the actor principal.

actor(PrincipalNode) - Method in class jif.ast.ActsForConstraintNode_c

Returns a copy of this node with the actor updated.

actor - Variable in class jif.ast.ActsFor_c

actor() - Method in class jif.ast.ActsFor_c

Gets the actor principal.

actor(PrincipalNode) - Method in class jif.ast.ActsFor_c

Sets the actor principal.

actor() - Method in interface jif.types.ActsForConstraint

actor(Principal) - Method in interface jif.types.ActsForConstraint

actor - Variable in class jif.types.ActsForConstraint_c

actor(Principal) - Method in class jif.types.ActsForConstraint_c

actor() - Method in class jif.types.ActsForConstraint_c

actsFor(Principal, Principal) - Method in interface jif.types.JifContext

Test an actsfor relation, using the principal hierarchy.

actsFor(Collection, Collection) - Method in interface jif.types.JifContext

Test an actsfor relation, using the principal hierarchy.

actsFor(Principal, Principal) - Method in class jif.types.JifContext_c

actsFor(Collection, Collection) - Method in class jif.types.JifContext_c

actsFor(Principal, Principal) - Method in class jif.types.PrincipalHierarchy

actsFor(Principal, Principal, Set) - Method in class jif.types.PrincipalHierarchy

actsFor(Collection, Collection) - Method in class jif.types.PrincipalHierarchy

actsForConstraint(Position, Principal, Principal) - Method in interface jif.types.JifTypeSystem

Construct an acts-for constraint.

actsForConstraint(Position, Principal, Principal) - Method in class jif.types.JifTypeSystem_c

actsForString() - Method in class jif.types.PrincipalHierarchy

actuals() - Method in interface jif.types.JifClassType

actuals() - Method in class jif.types.JifParsedPolyType_c

actuals() - Method in class jif.types.JifSubstClassType_c

add(Principal, Principal) - Method in class jif.types.PrincipalHierarchy

addActsFor(Principal, Principal) - Method in interface jif.types.JifContext

Add an actsfor relation to the principal hierarchy.

addActsFor(Principal, Principal) - Method in class jif.types.JifContext_c

addActsFor(Principal, Principal) - Method in interface jif.types.LabelEnv

addAssertionLE(Label, Label) - Method in interface jif.types.JifContext

Add a less than or equal assertion to the label environment.

addAssertionLE(Label, Label) - Method in class jif.types.JifContext_c

addAssertionLE(Label, Label) - Method in interface jif.types.LabelEnv

addAuth(JifTypeSystem) - Method in class jif.ast.JifClassDecl_c

addAuthority(Principal) - Method in interface jif.types.JifParsedPolyType

addAuthority(Principal) - Method in class jif.types.JifParsedPolyType_c

addCallers(JifProcedureInstance, JifContext, Set) - Method in class jif.extension.JifProcedureDeclExt_c

Adds the caller's authorities into auth

addConstraint(LabelConstraint) - Method in class jif.types.Solver

Add the constraint c to the system

addDependencies(Equation) - Method in class jif.types.Solver

This abstract method must add the correct dependencies from Equation eqn to varaiables occuring in eqn, and dependencies in the other direction (that is, from variables occuring in eqn to eqn).

addDependencies(Equation) - Method in class jif.types.SolverGLB

This method adds the correct dependencies from Equation eqn to varaiables occuring in eqn, and dependencies in the other direction (that is, from variables occuring in eqn to eqn).

addDependencies(Equation) - Method in class jif.types.SolverLUB

This method adds the correct dependencies from Equation eqn to varaiables occuring in eqn, and dependencies in the other direction (that is, from variables occuring in eqn to eqn).

addDependency(VarLabel, Equation) - Method in class jif.types.Solver

This method records a dependency from variable var to Equation eqn.

addDependency(Equation, VarLabel) - Method in class jif.types.Solver

This method records a dependency from Equation eqn to variable var.

addEquationToQueue(Equation) - Method in class jif.types.Solver

addEquationToQueueHead(Equation) - Method in class jif.types.Solver

addMemberClass(ClassType) - Method in class jif.types.JifParsedPolyType_c

addMembers(AddMemberVisitor) - Method in class jif.ast.JifClassDecl_c

addParam(ParamInstance) - Method in interface jif.types.JifParsedPolyType

addParam(ParamInstance) - Method in class jif.types.JifParsedPolyType_c

addParams(JifTypeSystem) - Method in class jif.ast.JifClassDecl_c

addReturnConstraints(Label, PathMap, JifProcedureInstance, LabelChecker, Type) - Method in class jif.extension.JifProcedureDeclExt_c

This method corresponds to most of the check-body predicate in the thesis (Figure 4.40).

addSubtypeConstraints(LabelChecker, Position, Type, Type) - Method in class jif.extension.SubtypeChecker

Check that subtype <= supertype

addTrace(VarLabel, Equation, Label) - Method in class jif.types.Solver

Record the fact that label variable v, in the constraint eqn had its bound set to the label lb.

allActivesAreDynamic() - Method in class jif.types.SolverLUB

Return true if every active constraint is a dynamic constraint (that is, if every active constraint has a LabelOfVar on the LHS)

allActivesAreMultiVarRHS() - Method in class jif.types.SolverGLB

return true if every active constraint has multi vars on the RHS.

allLabels() - Method in class jif.types.Solver

Return a Set of all labels used in the system.

allPaths() - Method in class jif.types.PathMap

Return all paths in the map including NV and RV.

alternative() - Method in interface jif.ast.ActsFor

Gets the alternative statement.

alternative(Stmt) - Method in interface jif.ast.ActsFor

Makes a copy of this node and sets the alternative statement of the copy.

alternative - Variable in class jif.ast.ActsFor_c

alternative() - Method in class jif.ast.ActsFor_c

Gets the alternative statement.

alternative(Stmt) - Method in class jif.ast.ActsFor_c

Sets the alternative statement.

applyBoundsTo(Label) - Method in class jif.types.Solver

applyTo(Label) - Method in class jif.types.VarMap

applyTo(Principal) - Method in class jif.types.VarMap

applyTo(Type) - Method in class jif.types.VarMap

argLabel(Position, int, boolean, String) - Method in interface jif.types.JifTypeSystem

argLabel(Position, UID, int, boolean, String) - Method in interface jif.types.JifTypeSystem

argLabel(Position, int, boolean, String) - Method in class jif.types.JifTypeSystem_c

argLabel(Position, UID, int, boolean, String) - Method in class jif.types.JifTypeSystem_c

argLabels - Variable in class jif.types.JifConstructorInstance_c

argLabels() - Method in class jif.types.JifConstructorInstance_c

argLabels - Variable in class jif.types.JifMethodInstance_c

argLabels() - Method in class jif.types.JifMethodInstance_c

argLabels() - Method in interface jif.types.JifProcedureInstance

Get the List of ArgLabels.

argPrincipal(Position, UID, String, Label, int, boolean) - Method in interface jif.types.JifTypeSystem

argPrincipal(Position, UID, String, Label, int, boolean) - Method in class jif.types.JifTypeSystem_c

arrayIsNeverNull() - Method in class jif.extension.JifArrayAccessDel

arrayOf(Position, Type) - Method in class jif.types.JifTypeSystem_c

authConstraint(Position, List) - Method in interface jif.types.JifTypeSystem

Construct an authority constraint.

authConstraint(Position, List) - Method in class jif.types.JifTypeSystem_c

authLabel() - Method in interface jif.types.JifContext

Get the authority of the current code, represented as a privacy label.

authLabel() - Method in class jif.types.JifContext_c

authority() - Method in interface jif.ast.JifClassDecl

authority(List) - Method in interface jif.ast.JifClassDecl

authority - Variable in class jif.ast.JifClassDecl_c

authority() - Method in class jif.ast.JifClassDecl_c

authority(List) - Method in class jif.ast.JifClassDecl_c

authority() - Method in interface jif.types.JifClassType

The principals that grant authority to objects of this class, i.e.

authority() - Method in interface jif.types.JifContext

The authority of a class or a procedure is the set of principals who have authorized that code.

authority() - Method in class jif.types.JifContext_c

authority() - Method in class jif.types.JifParsedPolyType_c

authority() - Method in class jif.types.JifSubstClassType_c

B

BOOLEAN - Static variable in class jif.parse.sym

BOOLEAN_LITERAL - Static variable in class jif.parse.sym

BREAK - Static variable in class jif.parse.sym

BYTE - Static variable in class jif.parse.sym

BinaryToJavaExt_c - class jif.translate.BinaryToJavaExt_c.

BinaryToJavaExt_c() - Constructor for class jif.translate.BinaryToJavaExt_c

base() - Method in interface jif.ast.InstTypeNode

base(TypeNode) - Method in interface jif.ast.InstTypeNode

base - Variable in class jif.ast.InstTypeNode_c

base() - Method in class jif.ast.InstTypeNode_c

base(TypeNode) - Method in class jif.ast.InstTypeNode_c

baseType() - Method in interface jif.ast.AmbNewArray

Gets the base type.

baseType(TypeNode) - Method in interface jif.ast.AmbNewArray

Returns a copy of this node with the base type updated.

baseType - Variable in class jif.ast.AmbNewArray_c

baseType() - Method in class jif.ast.AmbNewArray_c

Gets the base type.

baseType(TypeNode) - Method in class jif.ast.AmbNewArray_c

Returns a copy of this node with baseType updated.

begin() - Method in class jif.visit.NotNullChecker

bind(DynamicLabel, Label) - Method in class jif.types.Solver

Binds a dynamic label to an actual label.

bind(DynamicLabel, Label) - Method in class jif.visit.LabelChecker

body() - Method in interface jif.ast.DeclassifyStmt

body(Stmt) - Method in interface jif.ast.DeclassifyStmt

body() - Method in class jif.ast.DeclassifyStmt_c

body(Stmt) - Method in class jif.ast.DeclassifyStmt_c

body() - Method in interface jif.ast.LabelCase

body(Stmt) - Method in interface jif.ast.LabelCase

body - Variable in class jif.ast.LabelCase_c

body() - Method in class jif.ast.LabelCase_c

body(Stmt) - Method in class jif.ast.LabelCase_c

bodyContextResolver(ClassType, Resolver) - Method in class jif.types.JifTypeSystem_c

bottomLabel(Position) - Method in interface jif.types.JifTypeSystem

bottomLabel() - Method in interface jif.types.JifTypeSystem

bottomLabel(Position) - Method in class jif.types.JifTypeSystem_c

bottomLabel() - Method in class jif.types.JifTypeSystem_c

bound() - Method in interface jif.ast.DeclassifyExpr

bound(LabelNode) - Method in interface jif.ast.DeclassifyExpr

bound() - Method in class jif.ast.DeclassifyExpr_c

bound(LabelNode) - Method in class jif.ast.DeclassifyExpr_c

bound() - Method in interface jif.ast.DeclassifyStmt

bound(LabelNode) - Method in interface jif.ast.DeclassifyStmt

bound() - Method in class jif.ast.DeclassifyStmt_c

bound(LabelNode) - Method in class jif.ast.DeclassifyStmt_c

bound(VarMap, Set) - Method in class jif.types.ArgLabel_c

bound(VarMap, Set) - Method in class jif.types.DynamicLabel_c

bound(VarMap, Set) - Method in class jif.types.JoinLabel_c

bound(VarMap, Set) - Method in interface jif.types.Label

Gets the upper bound of this label.

bound(VarMap, Set) - Method in class jif.types.LabelOfVar_c

bound(VarMap, Set) - Method in class jif.types.Label_c

bound(VarMap, Set) - Method in class jif.types.MeetLabel_c

bound(VarMap, Set) - Method in class jif.types.NotTaken_c

bound(VarMap, Set) - Method in class jif.types.PolicyLabel_c

bound(VarMap, Set) - Method in class jif.types.TopLabel_c

bound(VarMap, Set) - Method in class jif.types.VarLabel_c

boundOf(VarLabel) - Method in class jif.types.VarMap

boundOf(DynamicLabel) - Method in class jif.types.VarMap

bounds() - Method in class jif.types.Solver

Get the bounds for this Solver.

bounds - Variable in class jif.visit.JifLabelSubst

buildTypes(TypeBuilder) - Method in class jif.ast.JifClassDecl_c

buildTypes(TypeBuilder) - Method in class jif.ast.JifConstructorDecl_c

Build the constructor instance, and make sure that the arg labels are correct.

buildTypes(TypeBuilder) - Method in class jif.ast.JifFormal_c

buildTypes(TypeBuilder) - Method in class jif.ast.JifMethodDecl_c

Build the method instance and make sure that the arg labels are correct.

buildTypes(TypeBuilder) - Method in class jif.ast.LabeledTypeNode_c

buildTypes(TypeBuilder) - Method in class jif.ast.ParamDecl_c

buildTypes(TypeBuilder) - Method in class jif.extension.JifJL_c

C

CALLER - Static variable in class jif.parse.sym

CASE - Static variable in class jif.parse.sym

CATCH - Static variable in class jif.parse.sym

CHAR - Static variable in class jif.parse.sym

CHARACTER_LITERAL - Static variable in class jif.parse.sym

CHARLITERAL - Static variable in class jif.parse.Lexer_c

CLASS - Static variable in class jif.parse.sym

COLON - Static variable in class jif.parse.sym

COMMA - Static variable in class jif.parse.sym

COMP - Static variable in class jif.parse.sym

CONST - Static variable in class jif.parse.sym

CONTINUE - Static variable in class jif.parse.sym

COVARIANT - Static variable in class jif.parse.sym

COVARIANT_LABEL - Static variable in interface jif.types.ParamInstance

CallHelper - class jif.extension.CallHelper.

This is a tool to label check method calls.

CallHelper(ReferenceType, Label, JifProcedureInstance, List, Position) - Constructor for class jif.extension.CallHelper

CallToJavaExt_c - class jif.translate.CallToJavaExt_c.

CallToJavaExt_c() - Constructor for class jif.translate.CallToJavaExt_c

CallerConstraint - interface jif.types.CallerConstraint.

The caller constraint.

CallerConstraintNode - interface jif.ast.CallerConstraintNode.

A caller constraint node.

CallerConstraintNode(Position, List) - Method in interface jif.ast.JifNodeFactory

CallerConstraintNode(Position, List) - Method in class jif.ast.JifNodeFactory_c

CallerConstraintNode_c - class jif.ast.CallerConstraintNode_c.

An implementation of the CallerConstraint interface.

CallerConstraintNode_c(Position, List) - Constructor for class jif.ast.CallerConstraintNode_c

CallerConstraint_c - class jif.types.CallerConstraint_c.

An implementation of the CallerConstraint interface.

CallerConstraint_c(JifTypeSystem, Position, List) - Constructor for class jif.types.CallerConstraint_c

CannotLabelToJavaExpr_c - class jif.translate.CannotLabelToJavaExpr_c.

CannotLabelToJavaExpr_c() - Constructor for class jif.translate.CannotLabelToJavaExpr_c

CannotPrincipalToJavaExpr_c - class jif.translate.CannotPrincipalToJavaExpr_c.

CannotPrincipalToJavaExpr_c() - Constructor for class jif.translate.CannotPrincipalToJavaExpr_c

CannotToJavaExt_c - class jif.translate.CannotToJavaExt_c.

CannotToJavaExt_c() - Constructor for class jif.translate.CannotToJavaExt_c

CanonicalConstraintNode - interface jif.ast.CanonicalConstraintNode.

A canonical(non-ambiguous) constraint node.

CanonicalConstraintNode(Position, Assertion) - Method in interface jif.ast.JifNodeFactory

CanonicalConstraintNode(Position, Assertion) - Method in class jif.ast.JifNodeFactory_c

CanonicalConstraintNode_c - class jif.ast.CanonicalConstraintNode_c.

An implementation of the CanonicalConstraint.

CanonicalConstraintNode_c(Position, Assertion) - Constructor for class jif.ast.CanonicalConstraintNode_c

CanonicalLabelNode - interface jif.ast.CanonicalLabelNode.

A canonical label node.

CanonicalLabelNode(Position, Label) - Method in interface jif.ast.JifNodeFactory

CanonicalLabelNode(Position, Label) - Method in class jif.ast.JifNodeFactory_c

CanonicalLabelNodeToJavaExt_c - class jif.translate.CanonicalLabelNodeToJavaExt_c.

CanonicalLabelNodeToJavaExt_c() - Constructor for class jif.translate.CanonicalLabelNodeToJavaExt_c

CanonicalLabelNode_c - class jif.ast.CanonicalLabelNode_c.

An implementation of the CanonicalLabelNode interface.

CanonicalLabelNode_c(Position, Label) - Constructor for class jif.ast.CanonicalLabelNode_c

CanonicalPrincipalNode - interface jif.ast.CanonicalPrincipalNode.

Canonical principal node.

CanonicalPrincipalNode(Position, Principal) - Method in interface jif.ast.JifNodeFactory

CanonicalPrincipalNode(Position, Principal) - Method in class jif.ast.JifNodeFactory_c

CanonicalPrincipalNodeToJavaExt_c - class jif.translate.CanonicalPrincipalNodeToJavaExt_c.

CanonicalPrincipalNodeToJavaExt_c() - Constructor for class jif.translate.CanonicalPrincipalNodeToJavaExt_c

CanonicalPrincipalNode_c - class jif.ast.CanonicalPrincipalNode_c.

An implemenation of the CanonicalPrincipal interface.

CanonicalPrincipalNode_c(Position, Principal) - Constructor for class jif.ast.CanonicalPrincipalNode_c

CanonicalTypeNodeToJavaExt_c - class jif.translate.CanonicalTypeNodeToJavaExt_c.

CanonicalTypeNodeToJavaExt_c() - Constructor for class jif.translate.CanonicalTypeNodeToJavaExt_c

CaseToJavaExt_c - class jif.translate.CaseToJavaExt_c.

CaseToJavaExt_c() - Constructor for class jif.translate.CaseToJavaExt_c

ClassBodyToJavaExt_c - class jif.translate.ClassBodyToJavaExt_c.

ClassBodyToJavaExt_c() - Constructor for class jif.translate.ClassBodyToJavaExt_c

ClassDecl(Position, Flags, String, TypeNode, List, ClassBody) - Method in class jif.ast.JifNodeFactory_c

ClassDeclToJavaExt_c - class jif.translate.ClassDeclToJavaExt_c.

ClassDeclToJavaExt_c() - Constructor for class jif.translate.ClassDeclToJavaExt_c

ConstChecker - class jif.visit.ConstChecker.

Visitor which traverses an expression AST, and determines if the expression is a constant expression.

ConstChecker() - Constructor for class jif.visit.ConstChecker

ConstraintNode - interface jif.ast.ConstraintNode.

The root of various constraint nodes.

ConstraintNode_c - class jif.ast.ConstraintNode_c.

An implementation of the ConstraintNode interface.

ConstraintNode_c(Position) - Constructor for class jif.ast.ConstraintNode_c

ConstructorCall(Position, ConstructorCall.Kind, Expr, List) - Method in class jif.ast.JifNodeFactory_c

ConstructorCallToJavaExt_c - class jif.translate.ConstructorCallToJavaExt_c.

ConstructorCallToJavaExt_c() - Constructor for class jif.translate.ConstructorCallToJavaExt_c

ConstructorChecker - class jif.extension.ConstructorChecker.

A tool to label check constructors.

ConstructorChecker() - Constructor for class jif.extension.ConstructorChecker

ConstructorDecl(Position, Flags, String, List, List, Block) - Method in class jif.ast.JifNodeFactory_c

ConstructorDeclToJavaExt_c - class jif.translate.ConstructorDeclToJavaExt_c.

ConstructorDeclToJavaExt_c() - Constructor for class jif.translate.ConstructorDeclToJavaExt_c

CovariantLabel - interface jif.types.CovariantLabel.

Covariant label.

CovariantLabel_c - class jif.types.CovariantLabel_c.

An implementation of the CovariantLabel interface.

CovariantLabel_c() - Constructor for class jif.types.CovariantLabel_c

CovariantLabel_c(JifTypeSystem, Position, UID) - Constructor for class jif.types.CovariantLabel_c

callerConstraint(Position, List) - Method in interface jif.types.JifTypeSystem

Construct a caller constraint.

callerConstraint(Position, List) - Method in class jif.types.JifTypeSystem_c

canCoerceToString(Type, Context) - Method in class jif.types.JifTypeSystem_c

In general, type t can be coerced to a String if t is a String, a primitive, or it has a toString() method.

cases() - Method in interface jif.ast.SwitchLabel

cases(List) - Method in interface jif.ast.SwitchLabel

cases - Variable in class jif.ast.SwitchLabel_c

cases() - Method in class jif.ast.SwitchLabel_c

cases(List) - Method in class jif.ast.SwitchLabel_c

check(FlowGraph, Term, DataFlow.Item, Map) - Method in class jif.visit.ArrayIndexChecker

For each array access, determine if the array access could throw an ArrayIndexOutOfBoundsException, and annotate the node appropriately.

check(FlowGraph, Term, DataFlow.Item, Map) - Method in class jif.visit.NotNullChecker

"Check" the nodes of the graph for the not null analysis.

checkActsForAuthority(Principal, JifContext) - Method in class jif.extension.JifProcedureDeclExt_c

Check that there is a p' in the old "auth" set such that p' actsFor p.

checkArguments(JifProcedureInstance, LabelChecker) - Method in class jif.extension.JifProcedureDeclExt_c

This methods corresponds to the check-arguments predicate in the thesis (Figure 4.37).

checkCall(LabelChecker) - Method in class jif.extension.CallHelper

Check method calls.

checkCandidateSolution() - Method in class jif.types.Solver

Check the candidate solution

checkConstructorAuthority(ClassType, JifContext) - Method in class jif.extension.ConstructorChecker

checkEquation(Equation) - Method in class jif.types.SolverGLB

Check that the equation eqn is satisfied.

checkEquation(Equation) - Method in class jif.types.SolverLUB

Check that the equation eqn is satisfied.

checkFinalFieldAssignment(Stmt, Set, LabelChecker) - Method in class jif.extension.JifConstructorDeclExt

Check if the stmt is an assignment to a final field.

checkInitsAndBody(Label, JifConstructorInstance, Block, LabelChecker) - Method in class jif.extension.JifConstructorDeclExt

This method implements the check-inits predicate of the thesis (Figures 4.41-45).

checkInstantiation(Position, PClass, List) - Method in class jif.types.JifTypeSystem_c

checkTarget(LabelChecker, Field) - Static method in class jif.extension.JifFieldExt

checkingInits() - Method in interface jif.types.JifContext

Indicates if we are currently checking the initializers within a constructor.

checkingInits() - Method in class jif.types.JifContext_c

classContextResolver(ClassType) - Method in class jif.types.JifTypeSystem_c

clear() - Method in class jif.types.PrincipalHierarchy

clearPH() - Method in interface jif.types.JifContext

Clears the principal hierarchy of all actsfor relations.

clearPH() - Method in class jif.types.JifContext_c

compilerName() - Method in class jif.ExtensionInfo

componentString() - Method in class jif.types.ArgLabel_c

componentString() - Method in class jif.types.CovariantLabel_c

componentString() - Method in class jif.types.DynamicArgLabel_c

componentString() - Method in class jif.types.DynamicLabel_c

componentString() - Method in class jif.types.DynrecLabel_c

componentString() - Method in class jif.types.JoinLabel_c

componentString() - Method in interface jif.types.Label

componentString() - Method in class jif.types.LabelOfVar_c

componentString() - Method in class jif.types.Label_c

componentString() - Method in class jif.types.MeetLabel_c

componentString() - Method in class jif.types.NotTaken_c

componentString() - Method in class jif.types.ParamLabel_c

componentString() - Method in class jif.types.PolicyLabel_c

componentString() - Method in class jif.types.RuntimeLabel_c

componentString() - Method in class jif.types.TopLabel_c

componentString() - Method in class jif.types.UnknownLabel_c

componentString() - Method in class jif.types.VarLabel_c

components() - Method in interface jif.ast.JoinLabelNode

Gets the list of join components.

components(List) - Method in interface jif.ast.JoinLabelNode

Returns a copy of this object with components updated.

components - Variable in class jif.ast.JoinLabelNode_c

components() - Method in class jif.ast.JoinLabelNode_c

components(List) - Method in class jif.ast.JoinLabelNode_c

components(Collection) - Method in class jif.types.JoinLabel_c

components() - Method in class jif.types.JoinLabel_c

components() - Method in interface jif.types.Label

Retrieve the collection of components.

components() - Method in class jif.types.Label_c

By default, the components of a label is simply the label itself.

components(Collection) - Method in class jif.types.MeetLabel_c

components() - Method in class jif.types.MeetLabel_c

components() - Method in class jif.types.NotTaken_c

components() - Method in class jif.types.RuntimeLabel_c

components() - Method in class jif.types.UnknownLabel_c

confluence(List, Term, FlowGraph) - Method in class jif.visit.ArrayIndexChecker

The confluence operator is essentially intersection: a bound must be in all DataFlowItems going into the confluence for it to be valid.

confluence(List, Term, FlowGraph) - Method in class jif.visit.NotNullChecker

The confluence operator is intersection: a variable is not null only if it is not null on all paths flowing in.

consequent() - Method in interface jif.ast.ActsFor

Gets the consequent statement.

consequent(Stmt) - Method in interface jif.ast.ActsFor

Makes a copy of this node and sets the consequent statement of the copy.

consequent - Variable in class jif.ast.ActsFor_c

consequent() - Method in class jif.ast.ActsFor_c

Gets the consequent statement.

consequent(Stmt) - Method in class jif.ast.ActsFor_c

Sets the consequent statement.

constrain(LabelConstraint) - Method in class jif.visit.LabelChecker

constrainPH(JifProcedureInstance, JifContext) - Method in class jif.extension.JifProcedureDeclExt_c

This method corresponds to the constraint-ph predicate in the thesis (Figure 4.39).

constraint() - Method in interface jif.ast.CanonicalConstraintNode

Gets the constraint.

constraint() - Method in interface jif.ast.ConstraintNode

constraint(Assertion) - Method in interface jif.ast.ConstraintNode

constraint - Variable in class jif.ast.ConstraintNode_c

constraint() - Method in class jif.ast.ConstraintNode_c

constraint(Assertion) - Method in class jif.ast.ConstraintNode_c

constraint() - Method in class jif.types.Equation

constraintAuth(JifProcedureInstance, JifContext) - Method in class jif.extension.JifProcedureDeclExt_c

This method corresponds to the constraint-authority predicate in the thesis (Figure 4.39).

constraints(List) - Method in interface jif.ast.JifConstructorDecl

constraints - Variable in class jif.ast.JifConstructorDecl_c

constraints() - Method in class jif.ast.JifConstructorDecl_c

constraints(List) - Method in class jif.ast.JifConstructorDecl_c

constraints(List) - Method in interface jif.ast.JifMethodDecl

constraints - Variable in class jif.ast.JifMethodDecl_c

constraints() - Method in class jif.ast.JifMethodDecl_c

constraints(List) - Method in class jif.ast.JifMethodDecl_c

constraints() - Method in interface jif.ast.JifProcedureDecl

constraints(List) - Method in interface jif.types.JifConstructorInstance

constraints - Variable in class jif.types.JifConstructorInstance_c

constraints() - Method in class jif.types.JifConstructorInstance_c

constraints(List) - Method in class jif.types.JifConstructorInstance_c

constraints(List) - Method in interface jif.types.JifMethodInstance

constraints - Variable in class jif.types.JifMethodInstance_c

constraints() - Method in class jif.types.JifMethodInstance_c

constraints(List) - Method in class jif.types.JifMethodInstance_c

constraints() - Method in interface jif.types.JifProcedureInstance

constructJifClasspath() - Method in class jif.JifOptions

constructOutputExtClasspath() - Method in class jif.JifOptions

constructPostCompilerClasspath() - Method in class jif.JifOptions

constructorCallAuthority() - Method in interface jif.types.JifClassType

The principals whose authority is required by the context that creates a new instance of this class.

constructorCallAuthority() - Method in class jif.types.JifParsedPolyType_c

constructorCallAuthority() - Method in class jif.types.JifSubstClassType_c

constructorChecker - Variable in class jif.extension.JifConstructorCallExt

constructorChecker - Variable in class jif.extension.JifNewExt

constructorInstance(Position, ClassType, Flags, List, List) - Method in class jif.types.JifTypeSystem_c

constructorReturnLabel() - Method in interface jif.types.JifContext

If the current code is a constructor, returns the return label of that constructor.

constructorReturnLabel() - Method in class jif.types.JifContext_c

container() - Method in interface jif.types.ParamInstance

container(JifClassType) - Method in interface jif.types.ParamInstance

container() - Method in class jif.types.ParamInstance_c

container(JifClassType) - Method in class jif.types.ParamInstance_c

context() - Method in class jif.visit.LabelChecker

context(JifContext) - Method in class jif.visit.LabelChecker

copy() - Method in class jif.ast.Jif_c

copy() - Method in class jif.extension.JifStmtExt_c

copy() - Method in class jif.types.JifContext_c

copy() - Method in interface jif.types.LabelEnv

copy() - Method in class jif.types.PrincipalHierarchy

copy() - Method in class jif.types.VarMap

copy() - Method in class jif.visit.LabelChecker

covariantLabel(Position, UID) - Method in interface jif.types.JifTypeSystem

covariantLabel(Position, UID) - Method in class jif.types.JifTypeSystem_c

createClassType(LazyClassInitializer, Source) - Method in class jif.types.JifTypeSystem_c

createContext() - Method in class jif.types.JifTypeSystem_c

createGraph() - Method in class jif.types.Solver

Creating the equation graph with edges based on information gathered during the addConstraint method.

createInitialItem(FlowGraph) - Method in class jif.visit.ArrayIndexChecker

Create an initial Item for the dataflow analysis.

createInitialItem(FlowGraph) - Method in class jif.visit.NotNullChecker

Create an initial Item for the dataflow analysis.

createItem(FlowGraph, Term) - Method in class jif.visit.NotNullChecker

createNodeFactory() - Method in class jif.ExtensionInfo

createOptions() - Method in class jif.ExtensionInfo

createTypeSystem() - Method in class jif.ExtensionInfo

currentClass() - Method in class jif.translate.JifToJavaRewriter

currentClass(ClassType) - Method in class jif.translate.JifToJavaRewriter

D

DECLASSIFY - Static variable in class jif.parse.sym

DEFAULT - Static variable in class jif.parse.sym

DFS() - Method in class jif.types.Graph

DIV - Static variable in class jif.parse.sym

DIVEQ - Static variable in class jif.parse.sym

DO - Static variable in class jif.parse.sym

DOT - Static variable in class jif.parse.sym

DOUBLE - Static variable in class jif.parse.sym

DOUBLE_LITERAL - Static variable in class jif.parse.sym

DUMMY_FIELDS - Static variable in class jif.ExtensionInfo

The field labels resolving pass.

Declarator - class jif.parse.Declarator.

DeclassifyExpr - interface jif.ast.DeclassifyExpr.

An immutable representation of the Jif declassify expression.

DeclassifyExpr(Position, Expr, LabelNode, LabelNode) - Method in interface jif.ast.JifNodeFactory

DeclassifyExpr(Position, Expr, LabelNode, LabelNode) - Method in class jif.ast.JifNodeFactory_c

DeclassifyExprToJavaExt_c - class jif.translate.DeclassifyExprToJavaExt_c.

DeclassifyExprToJavaExt_c() - Constructor for class jif.translate.DeclassifyExprToJavaExt_c

DeclassifyExpr_c - class jif.ast.DeclassifyExpr_c.

An implemenation of the DeclassifyExpr interface.

DeclassifyExpr_c(Position, Expr, LabelNode, LabelNode) - Constructor for class jif.ast.DeclassifyExpr_c

DeclassifyStmt - interface jif.ast.DeclassifyStmt.

An immutable representation of the Jif declassify statement.

DeclassifyStmt(Position, LabelNode, LabelNode, Stmt) - Method in interface jif.ast.JifNodeFactory

DeclassifyStmt(Position, LabelNode, LabelNode, Stmt) - Method in class jif.ast.JifNodeFactory_c

DeclassifyStmtToJavaExt_c - class jif.translate.DeclassifyStmtToJavaExt_c.

DeclassifyStmtToJavaExt_c() - Constructor for class jif.translate.DeclassifyStmtToJavaExt_c

DeclassifyStmt_c - class jif.ast.DeclassifyStmt_c.

An implementation of the DeclassifyStmt interface.

DeclassifyStmt_c(Position, LabelNode, LabelNode, Stmt) - Constructor for class jif.ast.DeclassifyStmt_c

DefaultSignature - interface jif.types.DefaultSignature.

DynamicArgLabel - interface jif.types.DynamicArgLabel.

This label is used as a place-holder for dynamic argument labels.

DynamicArgLabel_c - class jif.types.DynamicArgLabel_c.

An implementation of the DynamicArgLabel interface.

DynamicArgLabel_c() - Constructor for class jif.types.DynamicArgLabel_c

DynamicArgLabel_c(JifTypeSystem, Position, UID, String, Label, int, boolean) - Constructor for class jif.types.DynamicArgLabel_c

DynamicLabel - interface jif.types.DynamicLabel.

Dynamic label.

DynamicLabelToJavaExpr_c - class jif.translate.DynamicLabelToJavaExpr_c.

DynamicLabelToJavaExpr_c() - Constructor for class jif.translate.DynamicLabelToJavaExpr_c

DynamicLabel_c - class jif.types.DynamicLabel_c.

An implementation of the DynamicLabel interface.

DynamicLabel_c() - Constructor for class jif.types.DynamicLabel_c

DynamicLabel_c(JifTypeSystem, Position, UID, String, Label) - Constructor for class jif.types.DynamicLabel_c

DynamicPrincipal - interface jif.types.DynamicPrincipal.

Dynamic principal.

DynamicPrincipalToJavaExpr_c - class jif.translate.DynamicPrincipalToJavaExpr_c.

DynamicPrincipalToJavaExpr_c() - Constructor for class jif.translate.DynamicPrincipalToJavaExpr_c

DynamicPrincipal_c - class jif.types.DynamicPrincipal_c.

An implementation of the DynamicPrincipal interface.

DynamicPrincipal_c(JifTypeSystem, Position, UID, String, Label) - Constructor for class jif.types.DynamicPrincipal_c

DynrecLabel - interface jif.types.DynrecLabel.

Dynrec label.

DynrecLabel_c - class jif.types.DynrecLabel_c.

An implementation of the DynrecLabel interface.

DynrecLabel_c() - Constructor for class jif.types.DynrecLabel_c

DynrecLabel_c(JifTypeSystem, Position, UID) - Constructor for class jif.types.DynrecLabel_c

debugString() - Method in class jif.types.JifConstructorInstance_c

debugString() - Method in class jif.types.JifMethodInstance_c

debugString() - Method in interface jif.types.JifProcedureInstance

decl() - Method in interface jif.ast.LabelCase

decl(Formal) - Method in interface jif.ast.LabelCase

decl - Variable in class jif.ast.LabelCase_c

decl() - Method in class jif.ast.LabelCase_c

decl(Formal) - Method in class jif.ast.LabelCase_c

defaultArgLabel(Position, int, String) - Method in interface jif.types.DefaultSignature

defaultArgLabel(Position, int, String) - Method in class jif.types.FixedSignature

defaultArgLabel(Position, int, String) - Method in interface jif.types.JifTypeSystem

defaultArgLabel(Position, int, String) - Method in class jif.types.JifTypeSystem_c

defaultArgLabel(Position, int, String) - Method in class jif.types.VarSignature

defaultClassInitializer() - Method in class jif.types.JifTypeSystem_c

defaultConstructor(Position, ClassType) - Method in class jif.types.JifTypeSystem_c

defaultFieldLabel(FieldDecl) - Method in interface jif.types.DefaultSignature

defaultFieldLabel(FieldDecl) - Method in class jif.types.FixedSignature

defaultFieldLabel(FieldDecl) - Method in interface jif.types.JifTypeSystem

defaultFieldLabel(FieldDecl) - Method in class jif.types.JifTypeSystem_c

defaultFieldLabel(FieldDecl) - Method in class jif.types.VarSignature

defaultFileExtension() - Method in class jif.ExtensionInfo

defaultPackageImports() - Method in class jif.types.JifTypeSystem_c

defaultReturnLabel(ProcedureDecl) - Method in interface jif.types.DefaultSignature

defaultReturnLabel(ProcedureDecl) - Method in class jif.types.FixedSignature

defaultReturnLabel(ProcedureDecl) - Method in interface jif.types.JifTypeSystem

defaultReturnLabel(ProcedureDecl) - Method in class jif.types.JifTypeSystem_c

defaultReturnLabel(ProcedureDecl) - Method in class jif.types.VarSignature

defaultReturnValueLabel(ProcedureDecl) - Method in interface jif.types.DefaultSignature

defaultReturnValueLabel(ProcedureDecl) - Method in class jif.types.FixedSignature

defaultReturnValueLabel(ProcedureDecl) - Method in interface jif.types.JifTypeSystem

defaultReturnValueLabel(ProcedureDecl) - Method in class jif.types.JifTypeSystem_c

defaultReturnValueLabel(ProcedureDecl) - Method in class jif.types.VarSignature

defaultStartLabel(Position, String) - Method in interface jif.types.DefaultSignature

defaultStartLabel(Position, String) - Method in class jif.types.FixedSignature

defaultStartLabel(Position, String) - Method in interface jif.types.JifTypeSystem

defaultStartLabel(Position, String) - Method in class jif.types.JifTypeSystem_c

defaultStartLabel(Position, String) - Method in class jif.types.VarSignature

definitions(VarMap) - Method in class jif.types.LabelConstraint

Returns a Map of Strings to List[String]s which is the definitions/bounds of the NamedLabels, and the description of any components that appear in the NamedLabels.

definitions(VarMap, Set) - Method in interface jif.types.LabelEnv

Returns a Map of Strings to List[String]s which is the descriptions of any components that appear in the environment.

del(Jif) - Method in interface jif.ast.Jif

del() - Method in interface jif.ast.Jif

del - Variable in class jif.ast.Jif_c

del(Jif) - Method in class jif.ast.Jif_c

del() - Method in class jif.ast.Jif_c

delArrayAccessAssignImpl() - Method in class jif.ast.JifDelFactory_c

delArrayAccessImpl() - Method in class jif.ast.JifDelFactory_c

delCallImpl() - Method in class jif.ast.JifDelFactory_c

delClassDeclImpl() - Method in class jif.ast.JifDelFactory_c

delConstructorCallImpl() - Method in class jif.ast.JifDelFactory_c

delConstructorDeclImpl() - Method in class jif.ast.JifDelFactory_c

delFieldAssignImpl() - Method in class jif.ast.JifDelFactory_c

delFieldDeclImpl() - Method in class jif.ast.JifDelFactory_c

delFieldImpl() - Method in class jif.ast.JifDelFactory_c

delInitializerImpl() - Method in class jif.ast.JifDelFactory_c

delLocalDeclImpl() - Method in class jif.ast.JifDelFactory_c

delMethodDeclImpl() - Method in class jif.ast.JifDelFactory_c

delThrowImpl() - Method in class jif.ast.JifDelFactory_c

delTypeNodeImpl() - Method in class jif.ast.JifDelFactory_c

descendsFrom(Type, Type) - Method in class jif.types.JifTypeSystem_c

description() - Method in interface jif.types.Label

description(String) - Method in interface jif.types.Label

description() - Method in class jif.types.Label_c

description(String) - Method in class jif.types.Label_c

detailMsg() - Method in class jif.types.LabelConstraint

A detailed message to display if this constraint is violated.

dims() - Method in interface jif.ast.AmbNewArray

Gets the additional dimensions.

dims(List) - Method in interface jif.ast.AmbNewArray

Returns a copy of this node with the additional dimensions updated.

dims - Variable in class jif.ast.AmbNewArray_c

dims() - Method in class jif.ast.AmbNewArray_c

Gets the addtional dimensions.

dims(List) - Method in class jif.ast.AmbNewArray_c

Returns a copy of this node with dims updated.

disamb() - Method in class jif.ast.JifNodeFactory_c

disambFieldDecls() - Method in class jif.visit.JifAmbiguityRemover

disambiguate(AmbiguityRemover) - Method in class jif.ast.ActsForConstraintNode_c

Builds the type of this node.

disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbDynamicLabelNode_c

Disambiguate the type of this node.

disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbLabelNode_c

Disambiguate the type of this node.

disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbNewArray_c

Disambiguates name.

disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbParamTypeOrAccess_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbParam_c

Disambiguates name.

disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbPrincipalNode_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbThisLabelNode_c

Disambiguates the type of this node by finding the correct label for "this".

disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbVarLabelNode_c

Disambiguates the type of this node.

disambiguate(AmbiguityRemover) - Method in class jif.ast.AuthConstraintNode_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.CallerConstraintNode_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.InstTypeNode_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.JifClassDecl_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.JifConstructorDecl_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.JifFormal_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.JifMethodDecl_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.JoinLabelNode_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.LabeledTypeNode_c

disambiguate(AmbiguityRemover) - Method in class jif.ast.PolicyLabelNode_c

disambiguate(AmbiguityRemover) - Method in class jif.extension.JifFieldDeclDel

disambiguateEnter(AmbiguityRemover) - Method in class jif.ast.JifConstructorDecl_c

disambiguateEnter(AmbiguityRemover) - Method in class jif.ast.JifMethodDecl_c

disambiguateVarInstance(VarInstance) - Method in class jif.ast.JifDisamb_c

do_action(int, lr_parser, Stack, int) - Method in class jif.parse.Grm

Invoke a user supplied parse action.

dump(CodeWriter) - Method in class jif.types.PathMap

dump(CodeWriter) - Method in class jif.types.VarMap

dynBounds - Variable in class jif.types.Solver

dynCheck(Label, Label, LabelEnv) - Method in class jif.types.Solver

DOCO: TODO XXX###

dynJoin(Label, Label, PrincipalHierarchy) - Method in class jif.types.Solver

DOCO: TODO ###XXX

dynMeet(Label, Label, PrincipalHierarchy) - Method in class jif.types.Solver

DOCO: TODO ###XXX

dynamicArgLabel(Position, UID, String, Label, int, boolean) - Method in interface jif.types.JifTypeSystem

dynamicArgLabel(Position, UID, String, Label, int, boolean) - Method in class jif.types.JifTypeSystem_c

dynamicLabel(Position, UID, String, Label) - Method in interface jif.types.JifTypeSystem

dynamicLabel(Position, UID, String, Label) - Method in class jif.types.JifTypeSystem_c

dynamicPrincipal(Position, UID, String, Label) - Method in interface jif.types.JifTypeSystem

dynamicPrincipal(Position, UID, String, Label) - Method in class jif.types.JifTypeSystem_c

dynrecLabel(Position, UID) - Method in interface jif.types.JifTypeSystem

dynrecLabel(Position, UID) - Method in class jif.types.JifTypeSystem_c

E

ELSE - Static variable in class jif.parse.sym

EOF - Static variable in class jif.parse.sym

EOF_sym() - Method in class jif.parse.Grm

EOF Symbol index.

EQ - Static variable in class jif.parse.sym

EQEQ - Static variable in class jif.parse.sym

EQUAL - Static variable in class jif.types.LabelConstraint

An equality kind of constraint.

EXTENDS - Static variable in class jif.parse.sym

Equation - class jif.types.Equation.

Label equation derived from a label constraint.

ExceptionPath - interface jif.types.ExceptionPath.

The control flow path introduced by throwing a exception.

ExceptionPath_c - class jif.types.ExceptionPath_c.

An implementation of the ExceptionPath interface.

ExceptionPath_c(Type) - Constructor for class jif.types.ExceptionPath_c

ExprToJavaExt_c - class jif.translate.ExprToJavaExt_c.

ExprToJavaExt_c() - Constructor for class jif.translate.ExprToJavaExt_c

ExtensionInfo - class jif.ExtensionInfo.

The configuration information of the Jif extension.

ExtensionInfo() - Constructor for class jif.ExtensionInfo

ExtensionInfo.JifJobExt - class jif.ExtensionInfo.JifJobExt.

ExtensionInfo.JifJobExt(JifTypeSystem) - Constructor for class jif.ExtensionInfo.JifJobExt

ExternalPrincipal - interface jif.types.ExternalPrincipal.

The external principal existing in the running system.

ExternalPrincipalToJavaExpr_c - class jif.translate.ExternalPrincipalToJavaExpr_c.

ExternalPrincipalToJavaExpr_c() - Constructor for class jif.translate.ExternalPrincipalToJavaExpr_c

ExternalPrincipal_c - class jif.types.ExternalPrincipal_c.

An implementation of the ExternalPrincipal interface.

ExternalPrincipal_c(JifTypeSystem, Position, UID, String) - Constructor for class jif.types.ExternalPrincipal_c

emptyLabelEnv - Static variable in interface jif.types.JifTypeSystem

enter(Node) - Method in class jif.translate.JifToJavaRewriter

enterCall(Node) - Method in class jif.visit.AddDummyFieldsVisitor

enterCall(Node) - Method in class jif.visit.FieldLabelResolver

enterScope(Context) - Method in class jif.ast.JifClassDecl_c

enterScope(Context) - Method in class jif.ast.LabelCase_c

enteringClassBody() - Method in class jif.visit.LabelChecker

Called by JifClassDeclExt just before this label checker is used to check a class body.

entry() - Method in class jif.ast.ActsFor_c

entry() - Method in class jif.ast.DeclassifyExpr_c

entry() - Method in class jif.ast.DeclassifyStmt_c

entry() - Method in class jif.ast.LabelCase_c

entry() - Method in class jif.ast.NewLabel_c

entry() - Method in class jif.ast.SwitchLabel_c

entryPC() - Method in interface jif.types.JifContext

The entry PC is the upper bound on the PC of the caller of the current code.

entryPC() - Method in class jif.types.JifContext_c

env() - Method in class jif.types.Equation

env() - Method in class jif.types.LabelConstraint

eq - Variable in class jif.visit.JifLabelSubst

equals(Object) - Method in class jif.types.Equation

equals(Object) - Method in class jif.types.GotoPath_c

equals(TypeObject, TypeObject) - Method in class jif.types.JifTypeSystem_c

equals(Object) - Method in class jif.types.UID

equalsImpl(TypeObject) - Method in class jif.types.ArgLabel_c

equalsImpl(TypeObject) - Method in class jif.types.CovariantLabel_c

equalsImpl(TypeObject) - Method in class jif.types.DynamicLabel_c

equalsImpl(TypeObject) - Method in class jif.types.DynamicPrincipal_c

equalsImpl(TypeObject) - Method in class jif.types.DynrecLabel_c

equalsImpl(TypeObject) - Method in class jif.types.ExceptionPath_c

equalsImpl(TypeObject) - Method in class jif.types.ExternalPrincipal_c

Compares the specified object with this principal for equality.

equalsImpl(TypeObject) - Method in class jif.types.JifParsedPolyType_c

equalsImpl(TypeObject) - Method in class jif.types.LabelOfVar_c

equalsImpl(TypeObject) - Method in class jif.types.LabeledType_c

equalsImpl(TypeObject) - Method in class jif.types.NotTaken_c

equalsImpl(TypeObject) - Method in class jif.types.ParamLabel_c

equalsImpl(TypeObject) - Method in class jif.types.ParamPrincipal_c

equalsImpl(TypeObject) - Method in class jif.types.PolicyLabel_c

equalsImpl(TypeObject) - Method in class jif.types.RuntimeLabel_c

equalsImpl(TypeObject) - Method in class jif.types.TopLabel_c

equalsImpl(TypeObject) - Method in class jif.types.VarLabel_c

equate(UID) - Method in class jif.types.UID

Equate two uids.

error - Static variable in class jif.Topics

error - Static variable in class jif.parse.sym

errorMsg(LabelConstraint) - Method in class jif.types.Solver

Produce an error message for the constraint c, which cannot be satisfied.

errorQueue() - Method in class jif.translate.JifToJavaRewriter

errorShowConstraint() - Method in class jif.types.Solver

errorShowDefns() - Method in class jif.types.Solver

errorShowDetailMsg() - Method in class jif.types.Solver

errorShowTechnicalMsg() - Method in class jif.types.Solver

errorStringConstraint(LabelConstraint) - Method in class jif.types.Solver

Produce a string appropriate for an error message that displays the unsatisfiable constraint c.

errorStringDefns(LabelConstraint) - Method in class jif.types.Solver

Produce a string appropriate for an error message that displays the definitions needed by the unsatisfiable constraint c.

error_sym() - Method in class jif.parse.Grm

error Symbol index.

evaluate() - Method in class jif.types.Equation

Evaluate this equation.

exc(Label, Type) - Method in class jif.types.PathMap

exception() - Method in interface jif.types.ExceptionPath

exception() - Method in class jif.types.ExceptionPath_c

exception(Type) - Method in class jif.types.PathMap

exception(Type, Label) - Method in class jif.types.PathMap

exceptionCheck(ExceptionChecker) - Method in class jif.ast.InstTypeNode_c

exceptionCheck(ExceptionChecker) - Method in class jif.ast.LabeledTypeNode_c

exceptionCheck(ExceptionChecker) - Method in class jif.extension.JifProcedureDeclDel

Check exceptions thrown by the call.

exceptionPath(Type) - Method in interface jif.types.JifTypeSystem

exceptionPath(Type) - Method in class jif.types.JifTypeSystem_c

explainConstraints - Variable in class jif.JifOptions

Provide more detailed explanation of solver error messages?

expr() - Method in interface jif.ast.DeclassifyExpr

expr(Expr) - Method in interface jif.ast.DeclassifyExpr

expr() - Method in class jif.ast.DeclassifyExpr_c

expr(Expr) - Method in class jif.ast.DeclassifyExpr_c

expr() - Method in interface jif.ast.SwitchLabel

expr(Expr) - Method in interface jif.ast.SwitchLabel

expr - Variable in class jif.ast.SwitchLabel_c

expr() - Method in class jif.ast.SwitchLabel_c

expr(Expr) - Method in class jif.ast.SwitchLabel_c

exprToJava(JifToJavaRewriter) - Method in class jif.translate.BinaryToJavaExt_c

exprToJava(JifToJavaRewriter) - Method in class jif.translate.CallToJavaExt_c

exprToJava(JifToJavaRewriter) - Method in class jif.translate.ExprToJavaExt_c

exprToJava(JifToJavaRewriter) - Method in class jif.translate.FieldToJavaExt_c

exprToJava(JifToJavaRewriter) - Method in class jif.translate.LocalToJavaExt_c

exprToJava(JifToJavaRewriter) - Method in class jif.translate.NewToJavaExt_c

exprToLabel(JifTypeSystem, Expr) - Static method in class jif.ast.JifUtil

Return the Label that the expression expr represents.

exprToPackage(Expr) - Method in class jif.parse.Grm

exprToParam(Expr) - Method in class jif.parse.Grm

exprToPrincipal(JifTypeSystem, Expr) - Static method in class jif.ast.JifUtil

Return the Principal that the expression expr represents.

exprToType(Expr) - Method in class jif.parse.Grm

exprToUninstType(Expr) - Method in class jif.parse.Grm

extActsFor() - Method in class jif.ast.JifExtFactory_c

extActsForConstraintNode() - Method in class jif.ast.JifExtFactory_c

extActsForConstraintNodeImpl() - Method in class jif.ast.JifExtFactory_c

extActsForImpl() - Method in class jif.ast.JifExtFactory_c

extAmbDynamicLabelNode() - Method in class jif.ast.JifExtFactory_c

extAmbDynamicLabelNodeImpl() - Method in class jif.ast.JifExtFactory_c

extAmbExprImpl() - Method in class jif.ast.JifExtFactory_c

extAmbNewArray() - Method in class jif.ast.JifExtFactory_c

extAmbNewArrayImpl() - Method in class jif.ast.JifExtFactory_c

extAmbParam() - Method in class jif.ast.JifExtFactory_c

extAmbParamImpl() - Method in class jif.ast.JifExtFactory_c

extAmbParamTypeOrAccess() - Method in class jif.ast.JifExtFactory_c

extAmbParamTypeOrAccessImpl() - Method in class jif.ast.JifExtFactory_c

extAmbPrefixImpl() - Method in class jif.ast.JifExtFactory_c

extAmbPrincipalNode() - Method in class jif.ast.JifExtFactory_c

extAmbPrincipalNodeImpl() - Method in class jif.ast.JifExtFactory_c

extAmbQualifierNodeImpl() - Method in class jif.ast.JifExtFactory_c

extAmbReceiverImpl() - Method in class jif.ast.JifExtFactory_c

extAmbThisLabelNode() - Method in class jif.ast.JifExtFactory_c

extAmbThisLabelNodeImpl() - Method in class jif.ast.JifExtFactory_c

extAmbTypeNodeImpl() - Method in class jif.ast.JifExtFactory_c

extAmbVarLabelNode() - Method in class jif.ast.JifExtFactory_c

extAmbVarLabelNodeImpl() - Method in class jif.ast.JifExtFactory_c

extArrayAccessAssignImpl() - Method in class jif.ast.JifExtFactory_c

extArrayAccessImpl() - Method in class jif.ast.JifExtFactory_c

extArrayInitImpl() - Method in class jif.ast.JifExtFactory_c

extArrayTypeNodeImpl() - Method in class jif.ast.JifExtFactory_c

extAuthConstraintNode() - Method in class jif.ast.JifExtFactory_c

extAuthConstraintNodeImpl() - Method in class jif.ast.JifExtFactory_c

extBinaryImpl() - Method in class jif.ast.JifExtFactory_c

extBlockImpl() - Method in class jif.ast.JifExtFactory_c

extBranchImpl() - Method in class jif.ast.JifExtFactory_c

extCallImpl() - Method in class jif.ast.JifExtFactory_c

extCallerConstraintNode() - Method in class jif.ast.JifExtFactory_c

extCallerConstraintNodeImpl() - Method in class jif.ast.JifExtFactory_c

extCannotToJavaImpl() - Method in class jif.ast.JifExtFactory_c

This method returns a vanilla Jif extensions (Jif_c) with a CannotToJavaExt_c for the ToJavaExt.

extCanonicalConstraintNode() - Method in class jif.ast.JifExtFactory_c

extCanonicalConstraintNodeImpl() - Method in class jif.ast.JifExtFactory_c

extCanonicalLabelNode() - Method in class jif.ast.JifExtFactory_c

extCanonicalLabelNodeImpl() - Method in class jif.ast.JifExtFactory_c

extCanonicalPrincipalNode() - Method in class jif.ast.JifExtFactory_c

extCanonicalPrincipalNodeImpl() - Method in class jif.ast.JifExtFactory_c

extCanonicalTypeNodeImpl() - Method in class jif.ast.JifExtFactory_c

extCaseImpl() - Method in class jif.ast.JifExtFactory_c

extCastImpl() - Method in class jif.ast.JifExtFactory_c

extClassBodyImpl() - Method in class jif.ast.JifExtFactory_c

extClassDeclImpl() - Method in class jif.ast.JifExtFactory_c

extConditionalImpl() - Method in class jif.ast.JifExtFactory_c

extConstraintNode() - Method in class jif.ast.JifExtFactory_c

extConstraintNodeImpl() - Method in class jif.ast.JifExtFactory_c

extConstructorCallImpl() - Method in class jif.ast.JifExtFactory_c

extConstructorDeclImpl() - Method in class jif.ast.JifExtFactory_c

extDeclassifyExpr() - Method in class jif.ast.JifExtFactory_c

extDeclassifyExprImpl() - Method in class jif.ast.JifExtFactory_c

extDeclassifyStmt() - Method in class jif.ast.JifExtFactory_c

extDeclassifyStmtImpl() - Method in class jif.ast.JifExtFactory_c

extDoImpl() - Method in class jif.ast.JifExtFactory_c

extEmptyImpl() - Method in class jif.ast.JifExtFactory_c

extEvalImpl() - Method in class jif.ast.JifExtFactory_c

extExprImpl() - Method in class jif.ast.JifExtFactory_c

extFieldAssignImpl() - Method in class jif.ast.JifExtFactory_c

extFieldDeclImpl() - Method in class jif.ast.JifExtFactory_c

extFieldImpl() - Method in class jif.ast.JifExtFactory_c

extForImpl() - Method in class jif.ast.JifExtFactory_c

extFormalImpl() - Method in class jif.ast.JifExtFactory_c

extIfImpl() - Method in class jif.ast.JifExtFactory_c

extInitializerImpl() - Method in class jif.ast.JifExtFactory_c

extInstTypeNode() - Method in class jif.ast.JifExtFactory_c

extInstTypeNodeImpl() - Method in class jif.ast.JifExtFactory_c

extInstanceofImpl() - Method in class jif.ast.JifExtFactory_c

extJoinLabelNode() - Method in class jif.ast.JifExtFactory_c

extJoinLabelNodeImpl() - Method in class jif.ast.JifExtFactory_c

extLabelCase() - Method in class jif.ast.JifExtFactory_c

extLabelCaseImpl() - Method in class jif.ast.JifExtFactory_c

extLabelNode() - Method in class jif.ast.JifExtFactory_c

extLabelNodeImpl() - Method in class jif.ast.JifExtFactory_c

extLabeledImpl() - Method in class jif.ast.JifExtFactory_c

extLabeledTypeNode() - Method in class jif.ast.JifExtFactory_c

extLabeledTypeNodeImpl() - Method in class jif.ast.JifExtFactory_c

extLitImpl() - Method in class jif.ast.JifExtFactory_c

extLocalAssignImpl() - Method in class jif.ast.JifExtFactory_c

extLocalDeclImpl() - Method in class jif.ast.JifExtFactory_c

extLocalImpl() - Method in class jif.ast.JifExtFactory_c

extMethodDeclImpl() - Method in class jif.ast.JifExtFactory_c

extNewArrayImpl() - Method in class jif.ast.JifExtFactory_c

extNewImpl() - Method in class jif.ast.JifExtFactory_c

extNewLabel() - Method in class jif.ast.JifExtFactory_c

extNewLabelImpl() - Method in class jif.ast.JifExtFactory_c

extNodeImpl() - Method in class jif.ast.JifExtFactory_c

extPackageNodeImpl() - Method in class jif.ast.JifExtFactory_c

extParamDecl() - Method in class jif.ast.JifExtFactory_c

extParamDeclImpl() - Method in class jif.ast.JifExtFactory_c

extParamNode() - Method in class jif.ast.JifExtFactory_c

extParamNodeImpl() - Method in class jif.ast.JifExtFactory_c

extPolicyLabelNode() - Method in class jif.ast.JifExtFactory_c

extPolicyLabelNodeImpl() - Method in class jif.ast.JifExtFactory_c

extPrincipalNode() - Method in class jif.ast.JifExtFactory_c

extPrincipalNodeImpl() - Method in class jif.ast.JifExtFactory_c

extReturnImpl() - Method in class jif.ast.JifExtFactory_c

extSourceFileImpl() - Method in class jif.ast.JifExtFactory_c

extSpecialImpl() - Method in class jif.ast.JifExtFactory_c

extSwitchBlockImpl() - Method in class jif.ast.JifExtFactory_c

extSwitchImpl() - Method in class jif.ast.JifExtFactory_c

extSwitchLabel() - Method in class jif.ast.JifExtFactory_c

extSwitchLabelImpl() - Method in class jif.ast.JifExtFactory_c

extSynchronizedImpl() - Method in class jif.ast.JifExtFactory_c

extThrowImpl() - Method in class jif.ast.JifExtFactory_c

extTryImpl() - Method in class jif.ast.JifExtFactory_c

extUnaryImpl() - Method in class jif.ast.JifExtFactory_c

extWhileImpl() - Method in class jif.ast.JifExtFactory_c

externalPC() - Method in class jif.types.JifConstructorInstance_c

externalPC() - Method in class jif.types.JifMethodInstance_c

externalPC() - Method in interface jif.types.JifProcedureInstance

A bound of the PC of the caller.

externalPrincipal(Position, String) - Method in interface jif.types.JifTypeSystem

externalPrincipal(Position, String) - Method in class jif.types.JifTypeSystem_c

F

FINAL - Static variable in class jif.parse.sym

FINALLY - Static variable in class jif.parse.sym

FLOAT - Static variable in class jif.parse.sym

FLOAT_LITERAL - Static variable in class jif.parse.sym

FOR - Static variable in class jif.parse.sym

FieldDeclToJavaExt_c - class jif.translate.FieldDeclToJavaExt_c.

FieldDeclToJavaExt_c() - Constructor for class jif.translate.FieldDeclToJavaExt_c

FieldLabelResolver - class jif.visit.FieldLabelResolver.

A visitor used to resolving field labels.

FieldLabelResolver(Job, JifTypeSystem, NodeFactory) - Constructor for class jif.visit.FieldLabelResolver

FieldToJavaExt_c - class jif.translate.FieldToJavaExt_c.

FieldToJavaExt_c() - Constructor for class jif.translate.FieldToJavaExt_c

FixedSignature - class jif.types.FixedSignature.

FixedSignature(JifTypeSystem) - Constructor for class jif.types.FixedSignature

Formal(Position, Flags, TypeNode, String) - Method in class jif.ast.JifNodeFactory_c

FormalToJavaExt_c - class jif.translate.FormalToJavaExt_c.

FormalToJavaExt_c() - Constructor for class jif.translate.FormalToJavaExt_c

fieldInstance(Position, ReferenceType, Flags, Type, String) - Method in class jif.types.JifTypeSystem_c

fields() - Method in class jif.types.JifParsedPolyType_c

file() - Method in class jif.parse.Lexer_c

findContradictiveEqn(LabelConstraint) - Method in class jif.types.Solver

findContradictiveEqn(LabelConstraint) - Method in class jif.types.SolverGLB

Find a contradicting equation.

findContradictiveEqn(LabelConstraint) - Method in class jif.types.SolverLUB

Find a contradicting equation.

findTrace(VarLabel, Label, boolean) - Method in class jif.types.Solver

findVariableSilent(String) - Method in class jif.types.JifContext_c

finish(Node) - Method in class jif.translate.JifToJavaRewriter

finishedLabelCheckPass(Node) - Method in class jif.visit.LabelChecker

This method should be called on the top level label checker once the label checking has finished.

flatten() - Method in interface jif.types.JoinLabel

flatten() - Method in class jif.types.JoinLabel_c

flatten() - Method in interface jif.types.MeetLabel

flatten() - Method in class jif.types.MeetLabel_c

flow(DataFlow.Item, FlowGraph, Term, Set) - Method in class jif.visit.ArrayIndexChecker

Implement the flow equations for this dataflow analysis.

flow(DataFlow.Item, FlowGraph, Term, Set) - Method in class jif.visit.NotNullChecker

If a local variable is initialized with a non-null expression, then the variable is not null.

fold(UID) - Method in class jif.types.DynamicLabel_c

fold(UID) - Method in class jif.types.JoinLabel_c

fold(UID) - Method in interface jif.types.Label

Substitutes any occurences of for .

fold(UID) - Method in class jif.types.Label_c

fold(UID) - Method in class jif.types.MeetLabel_c

fold(UID) - Method in class jif.types.UnknownLabel_c

formalForArg(int) - Method in class jif.visit.JifAmbiguityRemover

formals() - Method in class jif.types.JifMuPClass_c

freshCovariantLabel(Position, String) - Method in interface jif.types.JifTypeSystem

freshCovariantLabel(Position, String) - Method in class jif.types.JifTypeSystem_c

freshLabelVariable(Position, String, String) - Method in interface jif.types.JifTypeSystem

freshLabelVariable(Position, String, String) - Method in class jif.types.JifTypeSystem_c

G

GOTO - Static variable in class jif.parse.sym

GT - Static variable in class jif.parse.sym

GTEQ - Static variable in class jif.parse.sym

GotoPath_c - class jif.types.GotoPath_c.

The control flow path derived from GOTO like statements.

GotoPath_c(Branch.Kind, String) - Constructor for class jif.types.GotoPath_c

Graph - class jif.types.Graph.

Graph(Set, Map) - Constructor for class jif.types.Graph

inputs: Set of objects representing nodes Map of dependencies between nodes (directed graph) Map is from object in Set to a Set of objects, which must all be valid nodes if object is in the Keyset of the Map, then the Set associated with that map should not be empty

Grm - class jif.parse.Grm.

CUP v0.10k generated parser.

Grm(Lexer, JifTypeSystem, JifNodeFactory, ErrorQueue) - Constructor for class jif.parse.Grm

get(UID) - Method in interface jif.types.JifSubst

get(UID) - Method in class jif.types.JifSubst_c

get(Path) - Method in class jif.types.PathMap

getArgLabel(int) - Method in class jif.types.JifConstructorInstance_c

getArgLabel(int) - Method in class jif.types.JifMethodInstance_c

getArgLabel(int) - Method in interface jif.types.JifProcedureInstance

Get the ArgLabel for argument i.

getDefaultBound() - Method in class jif.types.Solver

This method must return a constant label, which is the default bound of variables.

getDefaultBound() - Method in class jif.types.SolverGLB

The default bound of variables in this solver is bottom

getDefaultBound() - Method in class jif.types.SolverLUB

The default bound of variables in this solver is top

getEquations() - Method in class jif.types.LabelConstraint

Produce a Collection of Equations for this constraint.

getJifOptions() - Method in class jif.ExtensionInfo

getLEQEqns(Collection, Label, Label) - Method in class jif.types.LabelConstraint

Produce equations that require left to be less than or equal to right, and add them to eqns.

getOptions() - Method in class jif.OutputExtensionInfo

getQueue() - Method in class jif.types.Solver

getStrongConnectedComponents() - Method in class jif.types.Graph

getSubstValueAsKey(Object) - Method in class jif.types.JifSubst_c

getSuperNodeGraph() - Method in class jif.types.Graph

getSuperNodeGraph(List) - Method in class jif.types.Graph

gotoLabel(Branch.Kind, String) - Method in interface jif.types.JifContext

Retrieve the Label associated with branching to the location label, with the branch kind kind.

gotoLabel(Branch.Kind, String, Label) - Method in interface jif.types.JifContext

Record the Label associated with branching to the location label, with the branch kind kind.

gotoLabel(Branch.Kind, String) - Method in class jif.types.JifContext_c

gotoLabel(Branch.Kind, String, Label) - Method in class jif.types.JifContext_c

gotoPath(Branch.Kind, String) - Method in interface jif.types.JifTypeSystem

gotoPath(Branch.Kind, String) - Method in class jif.types.JifTypeSystem_c

granter() - Method in interface jif.ast.ActsFor

Gets the granter.

granter(PrincipalNode) - Method in interface jif.ast.ActsFor

Makes a copy of this node and sets the granter of the copy.

granter() - Method in interface jif.ast.ActsForConstraintNode

Gets the granter principal.

granter(PrincipalNode) - Method in interface jif.ast.ActsForConstraintNode

Returns a copy of this node with the granter updated.

granter - Variable in class jif.ast.ActsForConstraintNode_c

granter() - Method in class jif.ast.ActsForConstraintNode_c

Gets the granter principal.

granter(PrincipalNode) - Method in class jif.ast.ActsForConstraintNode_c

Returns a copy of this node with the granter updated.

granter - Variable in class jif.ast.ActsFor_c

granter() - Method in class jif.ast.ActsFor_c

Gets the granter principal.

granter(PrincipalNode) - Method in class jif.ast.ActsFor_c

Sets the granter principal.

granter() - Method in interface jif.types.ActsForConstraint

granter(Principal) - Method in interface jif.types.ActsForConstraint

granter - Variable in class jif.types.ActsForConstraint_c

granter(Principal) - Method in class jif.types.ActsForConstraint_c

granter() - Method in class jif.types.ActsForConstraint_c

H

handleDynamicLHS(Equation) - Method in class jif.types.SolverLUB

Handle all processing of a constraint with a dynamic label on the LHS, including putting the equation back on the proper queue.

handleDynamicRHS(DynamicLabel, Equation) - Method in class jif.types.SolverGLB

Handle all processing of a constraint with a dynamic label as a component of the RHS, including putting the equation back on the proper queue.

hasInitializer() - Method in interface jif.types.JifFieldInstance

hasInitializer - Variable in class jif.types.JifFieldInstance_c

hasInitializer() - Method in class jif.types.JifFieldInstance_c

hasUntrustedAncestor(Type) - Method in interface jif.types.JifTypeSystem

Check if the class has an untrusted non-jif ancestor.

hasUntrustedAncestor(Type) - Method in class jif.types.JifTypeSystem_c

Check if the class has an untrusted non-jif ancestor.

hasVariables() - Method in class jif.types.JoinLabel_c

hasVariables() - Method in interface jif.types.Label

Does this label (or any of its components) contain any label variables?

hasVariables() - Method in interface jif.types.LabelEnv

Do any of the assertions in this label environment contain variables?

hasVariables() - Method in class jif.types.Label_c

hasVariables() - Method in class jif.types.MeetLabel_c

hashCode() - Method in class jif.types.ArgLabel_c

hashCode() - Method in class jif.types.CovariantLabel_c

hashCode() - Method in class jif.types.DynamicLabel_c

hashCode() - Method in class jif.types.DynamicPrincipal_c

hashCode() - Method in class jif.types.DynrecLabel_c

hashCode() - Method in class jif.types.Equation

hashCode() - Method in class jif.types.ExceptionPath_c

hashCode() - Method in class jif.types.ExternalPrincipal_c

hashCode() - Method in class jif.types.GotoPath_c

hashCode() - Method in class jif.types.JifParsedPolyType_c

hashCode() - Method in class jif.types.LabelOfVar_c

hashCode() - Method in class jif.types.NotTaken_c

hashCode() - Method in class jif.types.ParamLabel_c

hashCode() - Method in class jif.types.ParamPrincipal_c

hashCode() - Method in class jif.types.PolicyLabel_c

hashCode() - Method in class jif.types.RuntimeLabel_c

hashCode() - Method in class jif.types.TopLabel_c

hashCode() - Method in class jif.types.UID

hashCode() - Method in class jif.types.VarLabel_c

I

IDENTIFIER - Static variable in class jif.parse.sym

IF - Static variable in class jif.parse.sym

IMPLEMENTS - Static variable in class jif.parse.sym

IMPORT - Static variable in class jif.parse.sym

INSTANCEOF - Static variable in class jif.parse.sym

INT - Static variable in class jif.parse.sym

INTEGER_LITERAL - Static variable in class jif.parse.sym

INTERFACE - Static variable in class jif.parse.sym

INVARIANT - Static variable in class jif.parse.sym

INVARIANT_LABEL - Static variable in interface jif.types.ParamInstance

InitializerToJavaExt_c - class jif.translate.InitializerToJavaExt_c.

InitializerToJavaExt_c() - Constructor for class jif.translate.InitializerToJavaExt_c

Inst - class jif.parse.Inst.

An Inst represents a Amb of the form "P[T,U,...]".

InstOrAccess - class jif.parse.InstOrAccess.

An InstOrAccess represents a Amb of the form "P[e]" or "P[p]".

InstTypeNode - interface jif.ast.InstTypeNode.

Instantiated type node.

InstTypeNode(Position, TypeNode, List) - Method in interface jif.ast.JifNodeFactory

InstTypeNode(Position, TypeNode, List) - Method in class jif.ast.JifNodeFactory_c

InstTypeNode_c - class jif.ast.InstTypeNode_c.

An implementation of the InstTypeNode interface.

InstTypeNode_c(Position, TypeNode, List) - Constructor for class jif.ast.InstTypeNode_c

inConstructor() - Method in class jif.translate.JifToJavaRewriter

inConstructor(boolean) - Method in class jif.translate.JifToJavaRewriter

inc_counter() - Method in class jif.types.Solver

Increase the count of the number of constraints added (not just to this system, but to all instances of the Solver).

index() - Method in interface jif.types.ArgLabel

Indicates which method argument this ArgLabel represents.

index() - Method in class jif.types.ArgLabel_c

index() - Method in interface jif.types.ArgPrincipal

Indicates which method argument this ArgPrincipal represents.

index() - Method in class jif.types.ArgPrincipal_c

index() - Method in interface jif.types.DynamicArgLabel

index() - Method in class jif.types.DynamicArgLabel_c

indexForArg(String) - Method in class jif.visit.JifAmbiguityRemover

init(Node) - Method in class jif.ast.Jif_c

init(Node) - Method in class jif.extension.JifStmtExt_c

initCompiler(Compiler) - Method in class jif.ExtensionInfo

initFields(ParsedClassType) - Method in class jif.types.JifLazyClassInitializer_c

Override to prevent the "class" field from being added to every class.

initTypeSystem() - Method in class jif.ExtensionInfo

initTypeSystem() - Method in class jif.OutputExtensionInfo

init_actions() - Method in class jif.parse.Grm

Action encapsulation object initializer.

initialize(LoadedClassResolver, ExtensionInfo) - Method in class jif.types.JifTypeSystem_c

Initializes the type system and its internal constants.

initializerInstance(Position, ClassType, Flags) - Method in class jif.types.JifTypeSystem_c

instantiate(Label, boolean) - Method in interface jif.types.JifContext

Instantiate the label L with any substitutions required by the object type.

instantiate(Principal, boolean) - Method in interface jif.types.JifContext

Instantiate the principal p with any substitutions required by the object type.

instantiate(Type, boolean) - Method in interface jif.types.JifContext

Instantiate the type t with any substitutions required by the object type.

instantiate(Label, boolean) - Method in class jif.types.JifContext_c

instantiate(Principal, boolean) - Method in class jif.types.JifContext_c

instantiate(Type, boolean) - Method in class jif.types.JifContext_c

instantiatedFrom() - Method in class jif.types.JifParsedPolyType_c

instantiatedFrom() - Method in class jif.types.JifSubstClassType_c

invariant - Variable in class jif.ast.JifClassDecl_c

invariant() - Method in interface jif.types.JifClassType

invariant(boolean) - Method in interface jif.types.JifParsedPolyType

invariant() - Method in class jif.types.JifParsedPolyType_c

invariant(boolean) - Method in class jif.types.JifParsedPolyType_c

invariant() - Method in class jif.types.JifSubstClassType_c

isArray() - Method in class jif.types.LabeledType_c

isBoolean() - Method in class jif.types.LabeledType_c

isBottom() - Method in class jif.types.JoinLabel_c

isBottom() - Method in interface jif.types.Label

Is this label equivalent to bottom?

isBottom() - Method in class jif.types.Label_c

By default, a label is not Bottom

isByte() - Method in class jif.types.LabeledType_c

isCanonical() - Method in class jif.types.ActsForConstraint_c

isCanonical() - Method in class jif.types.ArgLabel_c

isCanonical() - Method in class jif.types.ArgPrincipal_c

isCanonical() - Method in class jif.types.AuthConstraint_c

isCanonical() - Method in class jif.types.CallerConstraint_c

isCanonical() - Method in class jif.types.CovariantLabel_c

isCanonical() - Method in class jif.types.DynamicArgLabel_c

isCanonical() - Method in class jif.types.DynamicLabel_c

isCanonical() - Method in class jif.types.DynrecLabel_c

isCanonical() - Method in class jif.types.JifConstructorInstance_c

isCanonical() - Method in class jif.types.JifMethodInstance_c

isCanonical() - Method in class jif.types.JoinLabel_c

isCanonical() - Method in class jif.types.LabelLeAssertion_c

isCanonical() - Method in class jif.types.LabelOfVar_c

isCanonical() - Method in class jif.types.Label_c

By default labels are canonical.

isCanonical() - Method in class jif.types.LabeledType_c

isCanonical() - Method in class jif.types.MeetLabel_c

isCanonical() - Method in class jif.types.NotTaken_c

isCanonical() - Method in interface jif.types.Param

isCanonical() - Method in class jif.types.ParamLabel_c

isCanonical() - Method in class jif.types.PolicyLabel_c

isCanonical() - Method in class jif.types.Principal_c

isCanonical() - Method in class jif.types.RuntimeLabel_c

isCanonical() - Method in class jif.types.TopLabel_c

isCanonical() - Method in class jif.types.UnknownLabel_c

isCanonical() - Method in class jif.types.UnknownParam_c

isCanonical() - Method in class jif.types.UnknownPrincipal_c

isCanonical() - Method in class jif.types.VarLabel_c

isCastValid(Type, Type) - Method in class jif.types.JifTypeSystem_c

isChar() - Method in class jif.types.LabeledType_c

isClass() - Method in class jif.types.LabeledType_c

isComparable() - Method in class jif.types.ArgLabel_c

isComparable() - Method in class jif.types.CovariantLabel_c

isComparable() - Method in class jif.types.DynamicLabel_c

isComparable() - Method in class jif.types.DynrecLabel_c

isComparable() - Method in class jif.types.JoinLabel_c

isComparable() - Method in interface jif.types.Label

Is this label comparable to other labels?

isComparable() - Method in class jif.types.LabelOfVar_c

isComparable() - Method in class jif.types.MeetLabel_c

isComparable() - Method in class jif.types.NotTaken_c

isComparable() - Method in class jif.types.ParamLabel_c

isComparable() - Method in class jif.types.PolicyLabel_c

isComparable() - Method in class jif.types.RuntimeLabel_c

isComparable() - Method in class jif.types.TopLabel_c

isComparable() - Method in class jif.types.UnknownLabel_c

isComparable() - Method in class jif.types.VarLabel_c

isConst() - Method in class jif.visit.ConstChecker

isCovariant() - Method in class jif.types.ArgLabel_c

isCovariant() - Method in class jif.types.CovariantLabel_c

isCovariant() - Method in class jif.types.DynamicLabel_c

isCovariant() - Method in class jif.types.DynrecLabel_c

isCovariant() - Method in class jif.types.JoinLabel_c

isCovariant() - Method in interface jif.types.Label

Is this label covariant?

isCovariant() - Method in class jif.types.LabelOfVar_c

isCovariant() - Method in class jif.types.Label_c

isCovariant() - Method in class jif.types.MeetLabel_c

isCovariant() - Method in class jif.types.NotTaken_c

isCovariant() - Method in class jif.types.ParamLabel_c

isCovariant() - Method in class jif.types.PolicyLabel_c

isCovariant() - Method in class jif.types.RuntimeLabel_c

isCovariant() - Method in class jif.types.TopLabel_c

isCovariant() - Method in class jif.types.UnknownLabel_c

isCovariant() - Method in class jif.types.VarLabel_c

isCovariantLabel() - Method in interface jif.ast.ParamDecl

isCovariantLabel() - Method in class jif.ast.ParamDecl_c

isCovariantLabel() - Method in interface jif.types.ParamInstance

isCovariantLabel() - Method in class jif.types.ParamInstance_c

isDefault() - Method in interface jif.ast.LabelCase

isDefault() - Method in class jif.ast.LabelCase_c

isDefaultReturnLabel - Variable in class jif.types.JifConstructorInstance_c

isDefaultReturnLabel() - Method in class jif.types.JifConstructorInstance_c

isDefaultReturnLabel - Variable in class jif.types.JifMethodInstance_c

isDefaultReturnLabel() - Method in class jif.types.JifMethodInstance_c

isDefaultReturnLabel() - Method in interface jif.types.JifProcedureInstance

isDefaultStartLabel - Variable in class jif.types.JifConstructorInstance_c

isDefaultStartLabel() - Method in class jif.types.JifConstructorInstance_c

isDefaultStartLabel - Variable in class jif.types.JifMethodInstance_c

isDefaultStartLabel() - Method in class jif.types.JifMethodInstance_c

isDefaultStartLabel() - Method in interface jif.types.JifProcedureInstance

isDouble() - Method in class jif.types.LabeledType_c

isEmpty() - Method in interface jif.types.LabelEnv

Is this enviornment empty, or does is contain some constraints?

isEmpty() - Method in class jif.types.PrincipalHierarchy

isEmpty() - Method in class jif.types.VarMap

isEnumerable() - Method in interface jif.types.Label

Are the components of this label enumerable?

isEnumerable() - Method in class jif.types.Label_c

By default, a label is enumerable

isEnumerable() - Method in class jif.types.NotTaken_c

isEnumerable() - Method in class jif.types.RuntimeLabel_c

isEnumerable() - Method in class jif.types.TopLabel_c

isEnumerable() - Method in class jif.types.UnknownLabel_c

isFloat() - Method in class jif.types.LabeledType_c

isImplicitCastValid(Type, Type) - Method in class jif.types.JifTypeSystem_c

isInt() - Method in class jif.types.LabeledType_c

isIntOrLess() - Method in class jif.types.LabeledType_c

isInvariant() - Method in interface jif.types.Label

Is this label invariant?

isInvariant() - Method in class jif.types.Label_c

isInvariantLabel() - Method in interface jif.ast.ParamDecl

isInvariantLabel() - Method in class jif.ast.ParamDecl_c

isInvariantLabel() - Method in interface jif.types.ParamInstance

isInvariantLabel() - Method in class jif.types.ParamInstance_c

isJifClass(Type) - Method in interface jif.types.JifTypeSystem

Returns true if the type is a Jif class (will return false if the type is just a jif signature for a java class).

isJifClass(Type) - Method in class jif.types.JifTypeSystem_c

Returns true if the type is a Jif class (will return false if the type is just a jif signature for a java class).

isLabel() - Method in interface jif.ast.ParamDecl

isLabel() - Method in class jif.ast.ParamDecl_c

isLabel(Type) - Method in interface jif.types.JifTypeSystem

Tests if the type is "label".

isLabel(Type) - Method in class jif.types.JifTypeSystem_c

isLabel() - Method in interface jif.types.ParamInstance

isLabel() - Method in class jif.types.ParamInstance_c

isLabeled(Type) - Method in interface jif.types.JifTypeSystem

Returns true if the type is labeled.

isLabeled(Type) - Method in class jif.types.JifTypeSystem_c

isLong() - Method in class jif.types.LabeledType_c

isLongOrLess() - Method in class jif.types.LabeledType_c

isMeetable() - Method in class jif.types.DynrecLabel_c

isMeetable() - Method in class jif.types.JoinLabel_c

isMeetable() - Method in interface jif.types.Label

Can this label be used in a meet operation with another label?

isMeetable() - Method in class jif.types.Label_c

By default, a label is meetable if it can be compared with other labels.

isMeetable() - Method in class jif.types.MeetLabel_c

isMeetable() - Method in class jif.types.UnknownLabel_c

isNull() - Method in class jif.types.LabeledType_c

isNumeric() - Method in class jif.types.LabeledType_c

isPrimitive() - Method in class jif.types.LabeledType_c

isPrincipal() - Method in interface jif.ast.ParamDecl

isPrincipal() - Method in class jif.ast.ParamDecl_c

isPrincipal(Type) - Method in interface jif.types.JifTypeSystem

Tests if the type is "principal".

isPrincipal(Type) - Method in class jif.types.JifTypeSystem_c

isPrincipal() - Method in interface jif.types.ParamInstance

isPrincipal() - Method in class jif.types.ParamInstance_c

isReference() - Method in class jif.types.LabeledType_c

isRuntimeRepresentable() - Method in class jif.types.ArgLabel_c

isRuntimeRepresentable() - Method in class jif.types.CovariantLabel_c

isRuntimeRepresentable() - Method in class jif.types.DynamicLabel_c

isRuntimeRepresentable() - Method in class jif.types.DynamicPrincipal_c

isRuntimeRepresentable() - Method in class jif.types.DynrecLabel_c

isRuntimeRepresentable() - Method in class jif.types.ExternalPrincipal_c

isRuntimeRepresentable() - Method in class jif.types.JoinLabel_c

isRuntimeRepresentable() - Method in class jif.types.LabelOfVar_c

isRuntimeRepresentable() - Method in class jif.types.Label_c

isRuntimeRepresentable() - Method in class jif.types.MeetLabel_c

isRuntimeRepresentable() - Method in class jif.types.NotTaken_c

isRuntimeRepresentable() - Method in interface jif.types.Param

isRuntimeRepresentable() - Method in class jif.types.ParamLabel_c

isRuntimeRepresentable() - Method in class jif.types.ParamPrincipal_c

isRuntimeRepresentable() - Method in class jif.types.PolicyLabel_c

isRuntimeRepresentable() - Method in class jif.types.Principal_c

isRuntimeRepresentable() - Method in class jif.types.RuntimeLabel_c

isRuntimeRepresentable() - Method in class jif.types.TopLabel_c

isRuntimeRepresentable() - Method in class jif.types.UnknownLabel_c

isRuntimeRepresentable() - Method in class jif.types.UnknownParam_c

isRuntimeRepresentable() - Method in class jif.types.UnknownPrincipal_c

isRuntimeRepresentable() - Method in class jif.types.VarLabel_c

isShort() - Method in class jif.types.LabeledType_c

isSignature() - Method in interface jif.types.ArgLabel

Indicates if this ArgLabel is the arg label of a method signature, or of an argument of the method body we are currently in.

isSignature() - Method in class jif.types.ArgLabel_c

isSignature() - Method in interface jif.types.ArgPrincipal

Indicates if this ArgLabel is the arg label of a method signature, or of an argument of the method body we are currently in.

isSignature() - Method in class jif.types.ArgPrincipal_c

isSignature() - Method in interface jif.types.DynamicArgLabel

isSignature() - Method in class jif.types.DynamicArgLabel_c

isSingleton() - Method in interface jif.types.Label

Does this label represent only a single label?

isSingleton() - Method in class jif.types.Label_c

A label is a singleton if it only has a single component.

isSingleton() - Method in class jif.types.NotTaken_c

isSingleton() - Method in class jif.types.TopLabel_c

isSubtype(Type, Type) - Method in class jif.types.JifTypeSystem_c

isThrowable() - Method in class jif.types.LabeledType_c

isTop() - Method in interface jif.types.Label

Is this label equivalent to top?

isTop() - Method in class jif.types.Label_c

isTop() - Method in class jif.types.MeetLabel_c

isTop() - Method in class jif.types.TopLabel_c

isUncheckedException() - Method in class jif.types.LabeledType_c

isVoid() - Method in class jif.types.LabeledType_c

J

Jif - interface jif.ast.Jif.

This class represents a Jif extension node.

JifActsForExt - class jif.extension.JifActsForExt.

The Jif extension of the ActsFor node.

JifActsForExt(ToJavaExt) - Constructor for class jif.extension.JifActsForExt

JifAmbiguityRemover - class jif.visit.JifAmbiguityRemover.

The Jif extension for the ambiguity remover.

JifAmbiguityRemover(Job, TypeSystem, NodeFactory, AmbiguityRemover.Kind) - Constructor for class jif.visit.JifAmbiguityRemover

JifAmbiguityRemover(Job, TypeSystem, NodeFactory, AmbiguityRemover.Kind, boolean) - Constructor for class jif.visit.JifAmbiguityRemover

JifArrayAccessAssignDel - class jif.extension.JifArrayAccessAssignDel.

The Jif extension of the ArrayAccessAssign node.

JifArrayAccessAssignDel() - Constructor for class jif.extension.JifArrayAccessAssignDel

JifArrayAccessAssignExt - class jif.extension.JifArrayAccessAssignExt.

The Jif extension of the ArrayAccessAssign node.

JifArrayAccessAssignExt(ToJavaExt) - Constructor for class jif.extension.JifArrayAccessAssignExt

JifArrayAccessDel - class jif.extension.JifArrayAccessDel.

The Jif extension of the ArrayAccess node.

JifArrayAccessDel() - Constructor for class jif.extension.JifArrayAccessDel

JifArrayAccessExt - class jif.extension.JifArrayAccessExt.

The Jif extension of the ArrayAccess node.

JifArrayAccessExt(ToJavaExt) - Constructor for class jif.extension.JifArrayAccessExt

JifArrayInitExt - class jif.extension.JifArrayInitExt.

The Jif extension of the ArrayInit node.

JifArrayInitExt(ToJavaExt) - Constructor for class jif.extension.JifArrayInitExt

JifAssignExt - class jif.extension.JifAssignExt.

The Jif extension of the Assign node.

JifAssignExt(ToJavaExt) - Constructor for class jif.extension.JifAssignExt

JifBinaryExt - class jif.extension.JifBinaryExt.

The Jif extension of the Binary node.

JifBinaryExt(ToJavaExt) - Constructor for class jif.extension.JifBinaryExt

JifBlockExt - class jif.extension.JifBlockExt.

The Jif extension of the Block node.

JifBlockExt(ToJavaExt) - Constructor for class jif.extension.JifBlockExt

JifBranchExt - class jif.extension.JifBranchExt.

The Jif extension of the Branch node.

JifBranchExt(ToJavaExt) - Constructor for class jif.extension.JifBranchExt

JifCallDel - class jif.extension.JifCallDel.

The Jif extension of the Call node.

JifCallDel() - Constructor for class jif.extension.JifCallDel

JifCallExt - class jif.extension.JifCallExt.

The Jif extension of the Call node.

JifCallExt(ToJavaExt) - Constructor for class jif.extension.JifCallExt

JifCanonicalTypeNode - interface jif.ast.JifCanonicalTypeNode.

A JifCanonicalTypeNode is a type node for a canonical type in Polyj.

JifCanonicalTypeNode_c - class jif.ast.JifCanonicalTypeNode_c.

A JifCanonicalTypeNode is a type node for a canonical type in Polyj.

JifCanonicalTypeNode_c(Position, Type) - Constructor for class jif.ast.JifCanonicalTypeNode_c

JifCaseExt - class jif.extension.JifCaseExt.

The Jif extension of the Case node.

JifCaseExt(ToJavaExt) - Constructor for class jif.extension.JifCaseExt

JifCastExt - class jif.extension.JifCastExt.

The Jif extension of the Cast node.

JifCastExt(ToJavaExt) - Constructor for class jif.extension.JifCastExt

JifClassBodyExt - class jif.extension.JifClassBodyExt.

The extension of the ClassBody node.

JifClassBodyExt(ToJavaExt) - Constructor for class jif.extension.JifClassBodyExt

JifClassDecl - interface jif.ast.JifClassDecl.

An immutable representation of the Jif class declaration.

JifClassDecl(Position, Flags, String, List, boolean, TypeNode, List, List, ClassBody) - Method in interface jif.ast.JifNodeFactory

JifClassDecl(Position, Flags, String, List, boolean, TypeNode, List, List, ClassBody) - Method in class jif.ast.JifNodeFactory_c

JifClassDeclDel - class jif.extension.JifClassDeclDel.

The delegate of the JifClassDecl node.

JifClassDeclDel() - Constructor for class jif.extension.JifClassDeclDel

JifClassDeclExt - class jif.extension.JifClassDeclExt.

The extension of the JifClassDecl node.

JifClassDeclExt(ToJavaExt) - Constructor for class jif.extension.JifClassDeclExt

JifClassDecl_c - class jif.ast.JifClassDecl_c.

An implementation of the JifClassDecl interface.

JifClassDecl_c(Position, Flags, String, List, boolean, TypeNode, List, List, ClassBody) - Constructor for class jif.ast.JifClassDecl_c

JifClassType - interface jif.types.JifClassType.

Jif class type.

JifConditionalExt - class jif.extension.JifConditionalExt.

The Jif extension of the Conditional node.

JifConditionalExt(ToJavaExt) - Constructor for class jif.extension.JifConditionalExt

JifConstructorCallDel - class jif.extension.JifConstructorCallDel.

The Jif extension of the ConstructorCall node.

JifConstructorCallDel() - Constructor for class jif.extension.JifConstructorCallDel

JifConstructorCallExt - class jif.extension.JifConstructorCallExt.

The Jif extension of the ConstructorCall node.

JifConstructorCallExt(ToJavaExt) - Constructor for class jif.extension.JifConstructorCallExt

JifConstructorDecl - interface jif.ast.JifConstructorDecl.

An immutable representation of the Jif constructor declaration.

JifConstructorDecl(Position, Flags, String, LabelNode, LabelNode, List, List, List, Block) - Method in interface jif.ast.JifNodeFactory

JifConstructorDecl(Position, Flags, String, LabelNode, LabelNode, List, List, List, Block) - Method in class jif.ast.JifNodeFactory_c

JifConstructorDeclExt - class jif.extension.JifConstructorDeclExt.

The Jif extension of the JifConstructorDecl node.

JifConstructorDeclExt(ToJavaExt) - Constructor for class jif.extension.JifConstructorDeclExt

JifConstructorDecl_c - class jif.ast.JifConstructorDecl_c.

An implementation of the JifConstructor interface.

JifConstructorDecl_c(Position, Flags, String, LabelNode, LabelNode, List, List, List, Block) - Constructor for class jif.ast.JifConstructorDecl_c

JifConstructorInstance - interface jif.types.JifConstructorInstance.

Jif constructor instance.

JifConstructorInstance_c - class jif.types.JifConstructorInstance_c.

An implementation of the JifConstructorInstance interface.

JifConstructorInstance_c(JifTypeSystem, Position, ClassType, Flags, Label, boolean, Label, boolean, List, List, List, List) - Constructor for class jif.types.JifConstructorInstance_c

JifContext - interface jif.types.JifContext.

The context for Jif type checking.

JifContext_c - class jif.types.JifContext_c.

An implementation of the JifContext interface.

JifDeclassifyExprExt - class jif.extension.JifDeclassifyExprExt.

The Jif extension of the DeclassifyExpr node.

JifDeclassifyExprExt(ToJavaExt) - Constructor for class jif.extension.JifDeclassifyExprExt

JifDeclassifyStmtExt - class jif.extension.JifDeclassifyStmtExt.

The Jif extension of the DeclassifyStmt node.

JifDeclassifyStmtExt(ToJavaExt) - Constructor for class jif.extension.JifDeclassifyStmtExt

JifDelFactory_c - class jif.ast.JifDelFactory_c.

Constructs Jif delegates

JifDelFactory_c() - Constructor for class jif.ast.JifDelFactory_c

JifDisamb_c - class jif.ast.JifDisamb_c.

Utility class which is used to disambiguate ambiguous AST nodes (Expr, Type, Receiver, Qualifier, Prefix).

JifDisamb_c() - Constructor for class jif.ast.JifDisamb_c

JifDoExt - class jif.extension.JifDoExt.

The Jif extension of the Do node.

JifDoExt(ToJavaExt) - Constructor for class jif.extension.JifDoExt

JifEmptyExt - class jif.extension.JifEmptyExt.

The Jif extension of the Empty node.

JifEmptyExt(ToJavaExt) - Constructor for class jif.extension.JifEmptyExt

JifEvalExt - class jif.extension.JifEvalExt.

The Jif extension of the Eval node.

JifEvalExt(ToJavaExt) - Constructor for class jif.extension.JifEvalExt

JifExtFactory_c - class jif.ast.JifExtFactory_c.

This class provides is Jif's Extension factory, creating the appropriate Ext objects as required.

JifExtFactory_c() - Constructor for class jif.ast.JifExtFactory_c

JifFieldAssignDel - class jif.extension.JifFieldAssignDel.

The Jif extension of the FieldAssign node.

JifFieldAssignDel() - Constructor for class jif.extension.JifFieldAssignDel

JifFieldAssignExt - class jif.extension.JifFieldAssignExt.

The Jif extension of the LocalAssign node.

JifFieldAssignExt(ToJavaExt) - Constructor for class jif.extension.JifFieldAssignExt

JifFieldDeclDel - class jif.extension.JifFieldDeclDel.

The Jif extension of the FieldDecl node.

JifFieldDeclDel() - Constructor for class jif.extension.JifFieldDeclDel

JifFieldDeclExt - interface jif.extension.JifFieldDeclExt.

The Jif extension of the FieldDecl node.

JifFieldDeclExt_c - class jif.extension.JifFieldDeclExt_c.

The Jif extension of the FieldDecl node.

JifFieldDeclExt_c(ToJavaExt) - Constructor for class jif.extension.JifFieldDeclExt_c

JifFieldDeclExt_c.InvarianceLabelChecker - class jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker.

Checker to ensure that labels do not use covariant labels

JifFieldDeclExt_c.StaticFieldLabelChecker - class jif.extension.JifFieldDeclExt_c.StaticFieldLabelChecker.

Checker to ensure that labels of static fields do not use the This label, or any parameters

JifFieldDel - class jif.extension.JifFieldDel.

The Jif extension of the Field node.

JifFieldDel() - Constructor for class jif.extension.JifFieldDel

JifFieldExt - class jif.extension.JifFieldExt.

The Jif extension of the Field node.

JifFieldExt(ToJavaExt) - Constructor for class jif.extension.JifFieldExt

JifFieldInstance - interface jif.types.JifFieldInstance.

Jif field instance.

JifFieldInstance_c - class jif.types.JifFieldInstance_c.

An implementation of the JifFieldInstance interface.

JifFieldInstance_c(JifTypeSystem, Position, ReferenceType, Flags, Type, String, UID, Label) - Constructor for class jif.types.JifFieldInstance_c

JifForExt - class jif.extension.JifForExt.

The Jif extension of the For node.

JifForExt(ToJavaExt) - Constructor for class jif.extension.JifForExt

JifFormalExt - class jif.extension.JifFormalExt.

The Jif extension of the Formal node.

JifFormalExt(ToJavaExt) - Constructor for class jif.extension.JifFormalExt

JifFormal_c - class jif.ast.JifFormal_c.

JifFormal_c(Position, Flags, TypeNode, String) - Constructor for class jif.ast.JifFormal_c

JifIfExt - class jif.extension.JifIfExt.

The Jif extension of the If node.

JifIfExt(ToJavaExt) - Constructor for class jif.extension.JifIfExt

JifInitializerDel - class jif.extension.JifInitializerDel.

The Jif extension of the Initializer node.

JifInitializerDel() - Constructor for class jif.extension.JifInitializerDel

JifInitializerExt - class jif.extension.JifInitializerExt.

The Jif extension of the Initializer node.

JifInitializerExt(ToJavaExt) - Constructor for class jif.extension.JifInitializerExt

JifInstanceofExt - class jif.extension.JifInstanceofExt.

The Jif extension of the Instanceof node.

JifInstanceofExt(ToJavaExt) - Constructor for class jif.extension.JifInstanceofExt

JifJL_c - class jif.extension.JifJL_c.

An implementation of the Jif interface.

JifJL_c() - Constructor for class jif.extension.JifJL_c

JifLabelSubst - class jif.visit.JifLabelSubst.

This visitor substitutes labels for each variable in the path maps of each JifExt object.

JifLabelSubst(Job, JifTypeSystem, NodeFactory, Solver) - Constructor for class jif.visit.JifLabelSubst

JifLabeledExt - class jif.extension.JifLabeledExt.

The Jif extension of the Labeled node.

JifLabeledExt(ToJavaExt) - Constructor for class jif.extension.JifLabeledExt

JifLazyClassInitializer_c - class jif.types.JifLazyClassInitializer_c.

A LazyClassInitializer is responsible for initializing members of a class after it has been created.

JifLazyClassInitializer_c(TypeSystem) - Constructor for class jif.types.JifLazyClassInitializer_c

JifLiteralExt - class jif.extension.JifLiteralExt.

The Jif extension of the Lit or NewLabel node.

JifLiteralExt(ToJavaExt) - Constructor for class jif.extension.JifLiteralExt

JifLocalAssignExt - class jif.extension.JifLocalAssignExt.

The Jif extension of the LocalAssign node.

JifLocalAssignExt(ToJavaExt) - Constructor for class jif.extension.JifLocalAssignExt

JifLocalDeclDel - class jif.extension.JifLocalDeclDel.

The delegate of the JifMethodDecl node.

JifLocalDeclDel() - Constructor for class jif.extension.JifLocalDeclDel

JifLocalDeclExt - class jif.extension.JifLocalDeclExt.

The Jif extension of the LocalDecl node.

JifLocalDeclExt(ToJavaExt) - Constructor for class jif.extension.JifLocalDeclExt

JifLocalExt - class jif.extension.JifLocalExt.

The Jif extension of the Local node.

JifLocalExt(ToJavaExt) - Constructor for class jif.extension.JifLocalExt

JifLocalInstance - interface jif.types.JifLocalInstance.

Jif local instance.

JifLocalInstance_c - class jif.types.JifLocalInstance_c.

An implementation of the JifLocalInstance interface.

JifLocalInstance_c(JifTypeSystem, Position, Flags, Type, String, UID, Label) - Constructor for class jif.types.JifLocalInstance_c

JifMethodDecl - interface jif.ast.JifMethodDecl.

An immutable representation of the Jif method declaration.

JifMethodDecl(Position, Flags, TypeNode, String, LabelNode, List, LabelNode, List, List, Block) - Method in interface jif.ast.JifNodeFactory

JifMethodDecl(Position, Flags, TypeNode, String, LabelNode, List, LabelNode, List, List, Block) - Method in class jif.ast.JifNodeFactory_c

JifMethodDeclDel - class jif.extension.JifMethodDeclDel.

The delegate of the JifMethodDecl node.

JifMethodDeclDel() - Constructor for class jif.extension.JifMethodDeclDel

JifMethodDeclExt - class jif.extension.JifMethodDeclExt.

The Jif extension of the JifMethodDecl node.

JifMethodDeclExt(ToJavaExt) - Constructor for class jif.extension.JifMethodDeclExt

JifMethodDecl_c - class jif.ast.JifMethodDecl_c.

An implementation of the JifMethod interface.

JifMethodDecl_c(Position, Flags, TypeNode, String, LabelNode, List, LabelNode, List, List, Block) - Constructor for class jif.ast.JifMethodDecl_c

JifMethodInstance - interface jif.types.JifMethodInstance.

Jif method instance.

JifMethodInstance_c - class jif.types.JifMethodInstance_c.

An implementation of the JifMethodInstance interface.

JifMethodInstance_c(JifTypeSystem, Position, ReferenceType, Flags, Type, String, Label, boolean, List, Label, boolean, List, List, List) - Constructor for class jif.types.JifMethodInstance_c

JifMuPClass_c - class jif.types.JifMuPClass_c.

An implementation of the JifParsedPolyType interface.

JifMuPClass_c() - Constructor for class jif.types.JifMuPClass_c

JifMuPClass_c(JifTypeSystem, Position) - Constructor for class jif.types.JifMuPClass_c

JifNewArrayExt - class jif.extension.JifNewArrayExt.

The Jif extension of the NewArray node.

JifNewArrayExt(ToJavaExt) - Constructor for class jif.extension.JifNewArrayExt

JifNewExt - class jif.extension.JifNewExt.

The Jif extension of the New node.

JifNewExt(ToJavaExt) - Constructor for class jif.extension.JifNewExt

JifNew_c - class jif.ast.JifNew_c.

JifNew_c(Position, TypeNode, List, ClassBody) - Constructor for class jif.ast.JifNew_c

JifNodeFactory - interface jif.ast.JifNodeFactory.

The node factory of the Jif extension.

JifNodeFactory_c - class jif.ast.JifNodeFactory_c.

An implementation of the JifNodeFactory interface.

JifNodeFactory_c() - Constructor for class jif.ast.JifNodeFactory_c

JifNodeFactory_c(ExtFactory) - Constructor for class jif.ast.JifNodeFactory_c

JifOptions - class jif.JifOptions.

This object encapsulates various polyglot options.

JifOptions(ExtensionInfo) - Constructor for class jif.JifOptions

Constructor

JifParsedPolyType - interface jif.types.JifParsedPolyType.

Jif parsed polymorphic class type.

JifParsedPolyType_c - class jif.types.JifParsedPolyType_c.

An implementation of the JifParsedPolyType interface.

JifParsedPolyType_c() - Constructor for class jif.types.JifParsedPolyType_c

JifParsedPolyType_c(JifTypeSystem, LazyClassInitializer, Source) - Constructor for class jif.types.JifParsedPolyType_c

JifPlaceHolder_c - class jif.types.JifPlaceHolder_c.

A place holder type used to serialize types that cannot be serialized.

JifPlaceHolder_c() - Constructor for class jif.types.JifPlaceHolder_c

JifPlaceHolder_c(Type) - Constructor for class jif.types.JifPlaceHolder_c

JifPolyType - interface jif.types.JifPolyType.

Jif polymorphic type.

JifProcedureDecl - interface jif.ast.JifProcedureDecl.

An immutable representation of the Jif procedure declaration.

JifProcedureDeclDel - class jif.extension.JifProcedureDeclDel.

The Jif delegate the ProcedureDecl node.

JifProcedureDeclDel() - Constructor for class jif.extension.JifProcedureDeclDel

JifProcedureDeclExt - interface jif.extension.JifProcedureDeclExt.

The Jif extension of the ProcedureDecl node.

JifProcedureDeclExt_c - class jif.extension.JifProcedureDeclExt_c.

The Jif extension of the ProcedureDecl node.

JifProcedureDeclExt_c(ToJavaExt) - Constructor for class jif.extension.JifProcedureDeclExt_c

JifProcedureInstance - interface jif.types.JifProcedureInstance.

Jif procedure instance.

JifReturnExt - class jif.extension.JifReturnExt.

The Jif extension of the Return node.

JifReturnExt(ToJavaExt) - Constructor for class jif.extension.JifReturnExt

JifSourceFileExt - class jif.extension.JifSourceFileExt.

The root of all kinds of Jif extensions for statements.

JifSourceFileExt(ToJavaExt) - Constructor for class jif.extension.JifSourceFileExt

JifSpecialExt - class jif.extension.JifSpecialExt.

The Jif extension of the Special node.

JifSpecialExt(ToJavaExt) - Constructor for class jif.extension.JifSpecialExt

JifStmtExt - interface jif.extension.JifStmtExt.

The root of all kinds of Jif extensions for statements.

JifStmtExt_c - class jif.extension.JifStmtExt_c.

The root of all kinds of Jif extensions for statements.

JifStmtExt_c(Jif, JifStmtExt, ToJavaExt) - Constructor for class jif.extension.JifStmtExt_c

JifStmtExt_c(ToJavaExt) - Constructor for class jif.extension.JifStmtExt_c

JifSubst - interface jif.types.JifSubst.

JifSubstClassType_c - class jif.types.JifSubstClassType_c.

JifSubstClassType_c(JifTypeSystem, Position, ClassType, JifSubst) - Constructor for class jif.types.JifSubstClassType_c

JifSubstType - interface jif.types.JifSubstType.

JifSubst_c - class jif.types.JifSubst_c.

JifSubst_c(JifTypeSystem, Map, Map) - Constructor for class jif.types.JifSubst_c

JifSubst_c.ConstraintXform - class jif.types.JifSubst_c.ConstraintXform.

JifSubst_c.ConstraintXform() - Constructor for class jif.types.JifSubst_c.ConstraintXform

JifSubst_c.LabelXform - class jif.types.JifSubst_c.LabelXform.

JifSubst_c.LabelXform() - Constructor for class jif.types.JifSubst_c.LabelXform

JifSubst_c.PrincipalXform - class jif.types.JifSubst_c.PrincipalXform.

JifSubst_c.PrincipalXform() - Constructor for class jif.types.JifSubst_c.PrincipalXform

JifSubst_c.SubstLabelSubst - class jif.types.JifSubst_c.SubstLabelSubst.

This class is a LabelSubstitution that performs substitutions on Labels and Principals.

JifSubst_c.SubstLabelSubst() - Constructor for class jif.types.JifSubst_c.SubstLabelSubst

JifSwitchExt - class jif.extension.JifSwitchExt.

Jif extension of the Switch node.

JifSwitchExt(ToJavaExt) - Constructor for class jif.extension.JifSwitchExt

JifSwitchLabelExt - class jif.extension.JifSwitchLabelExt.

Jif extension of the SwitchLabel node.

JifSwitchLabelExt(ToJavaExt) - Constructor for class jif.extension.JifSwitchLabelExt

JifSynchronizedExt - class jif.extension.JifSynchronizedExt.

Jif extension of the Synchronized node.

JifSynchronizedExt(ToJavaExt) - Constructor for class jif.extension.JifSynchronizedExt

JifThrowDel - class jif.extension.JifThrowDel.

Jif extension of the Throw node.

JifThrowDel() - Constructor for class jif.extension.JifThrowDel

JifThrowExt - class jif.extension.JifThrowExt.

Jif extension of the Throw node.

JifThrowExt(ToJavaExt) - Constructor for class jif.extension.JifThrowExt

JifToJavaRewriter - class jif.translate.JifToJavaRewriter.

Visitor which performs type checking on the AST.

JifToJavaRewriter(Job, JifTypeSystem, JifNodeFactory, ExtensionInfo) - Constructor for class jif.translate.JifToJavaRewriter

JifTranslator - class jif.visit.JifTranslator.

The Jif translator is used to generate Java files from the current ASTs.

JifTranslator(Job, TypeSystem, NodeFactory, TargetFactory) - Constructor for class jif.visit.JifTranslator

JifTryExt - class jif.extension.JifTryExt.

Jif extension of the Try node.

JifTryExt(ToJavaExt) - Constructor for class jif.extension.JifTryExt

JifTypeNodeDel - class jif.extension.JifTypeNodeDel.

The Jif extension of the TypeNode node.

JifTypeNodeDel() - Constructor for class jif.extension.JifTypeNodeDel

JifTypeNodeDel.StaticLabelChecker - class jif.extension.JifTypeNodeDel.StaticLabelChecker.

Checker to ensure that labels in a static context do not use the This label

JifTypeSystem - interface jif.types.JifTypeSystem.

Jif type system.

JifTypeSystem_c - class jif.types.JifTypeSystem_c.

An implementation of the JifTypeSystem interface.

JifTypeSystem_c(TypeSystem) - Constructor for class jif.types.JifTypeSystem_c

JifUnaryExt - class jif.extension.JifUnaryExt.

Jif extension of the Unary node.

JifUnaryExt(ToJavaExt) - Constructor for class jif.extension.JifUnaryExt

JifUtil - class jif.ast.JifUtil.

An implementation of the Jif interface.

JifUtil() - Constructor for class jif.ast.JifUtil

JifVarInstance - interface jif.types.JifVarInstance.

Jif variable instance.

JifWhileExt - class jif.extension.JifWhileExt.

Jif extension of the While node.

JifWhileExt(ToJavaExt) - Constructor for class jif.extension.JifWhileExt

Jif_c - class jif.ast.Jif_c.

An implementation of the Jif interface.

Jif_c(ToJavaExt) - Constructor for class jif.ast.Jif_c

Jif_c(Jif, ToJavaExt) - Constructor for class jif.ast.Jif_c

JoinLabel - interface jif.types.JoinLabel.

The join of several labels.

JoinLabelNode(Position, List) - Method in interface jif.ast.JifNodeFactory

JoinLabelNode(Position, List) - Method in class jif.ast.JifNodeFactory_c

JoinLabelNode - interface jif.ast.JoinLabelNode.

This class represents a join of several label nodes.

JoinLabelNode_c - class jif.ast.JoinLabelNode_c.

An implementation of the JoinLabel interface.

JoinLabelNode_c(Position, List) - Constructor for class jif.ast.JoinLabelNode_c

JoinLabelToJavaExpr_c - class jif.translate.JoinLabelToJavaExpr_c.

JoinLabelToJavaExpr_c() - Constructor for class jif.translate.JoinLabelToJavaExpr_c

JoinLabel_c - class jif.types.JoinLabel_c.

An implementation of the JoinLabel interface.

JoinLabel_c() - Constructor for class jif.types.JoinLabel_c

JoinLabel_c(JifTypeSystem, Position, Collection) - Constructor for class jif.types.JoinLabel_c

java_ext() - Method in class jif.translate.JifToJavaRewriter

java_nf() - Method in class jif.translate.JifToJavaRewriter

java_ts() - Method in class jif.translate.JifToJavaRewriter

jif - package jif

Contains all of the classes related to the Jif extentsion.

jif - Static variable in class jif.Topics

jif.ast - package jif.ast

Provides classes for dealing with the Jif AST nodes and interfaces.

jif.extension - package jif.extension

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

jif.parse - package jif.parse

jif.translate - package jif.translate

jif.types - package jif.types

Contains classes related to the Jif type system and Jif types, including Jif labels and principals.

jif.visit - package jif.visit

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

jifConstructorInstance(Position, ClassType, Flags, Label, boolean, Label, boolean, List, List, List, List) - Method in interface jif.types.JifTypeSystem

Constructs a Jif constructor instance

jifConstructorInstance(Position, ClassType, Flags, Label, boolean, Label, boolean, List, List, List, List) - Method in class jif.types.JifTypeSystem_c

jifContext() - Method in class jif.visit.LabelChecker

jifExtFactory() - Method in class jif.ast.JifNodeFactory_c

Get the JifExtFactory_c instance.

jifMethodInstance(Position, ReferenceType, Flags, Type, String, Label, boolean, List, Label, boolean, List, List, List) - Method in interface jif.types.JifTypeSystem

Constructs a Jif method instance

jifMethodInstance(Position, ReferenceType, Flags, Type, String, Label, boolean, List, Label, boolean, List, List, List) - Method in class jif.types.JifTypeSystem_c

jifTypeSystem() - Method in class jif.visit.LabelChecker

jif_nf() - Method in class jif.translate.JifToJavaRewriter

jif_ts() - Method in class jif.translate.JifToJavaRewriter

jlTypeSystem() - Method in class jif.ExtensionInfo

jlTypeSystem() - Method in interface jif.types.JifTypeSystem

jlTypeSystem() - Method in class jif.types.JifTypeSystem_c

jlext - Variable in class jif.ExtensionInfo

jobExt() - Method in class jif.ExtensionInfo

join(Label, Label) - Method in interface jif.types.JifTypeSystem

Returns the join of L1 and L2.

join(Label, Label) - Method in class jif.types.JifTypeSystem_c

join(Label) - Method in interface jif.types.Label

Returns the join of this label and L.

join(Label, PrincipalHierarchy) - Method in interface jif.types.Label

Returns the join of this label and L, and simplifies it, based on the given PrincipalHierarchy

join(Label) - Method in class jif.types.Label_c

Join this label to L.

join(Label, PrincipalHierarchy) - Method in class jif.types.Label_c

Join this label to L and simplify the result using PrinicipalHierarchy ph

join(String, Label) - Method in class jif.types.NamedLabel

join(String, String, Label) - Method in class jif.types.NamedLabel

join(PathMap) - Method in class jif.types.PathMap

joinLabel(Position, Collection) - Method in interface jif.types.JifTypeSystem

joinLabel(Position, Collection) - Method in class jif.types.JifTypeSystem_c

K

kind() - Method in interface jif.ast.ParamDecl

kind(ParamInstance.Kind) - Method in interface jif.ast.ParamDecl

kind() - Method in class jif.ast.ParamDecl_c

kind(ParamInstance.Kind) - Method in class jif.ast.ParamDecl_c

kind(ClassType.Kind) - Method in class jif.types.JifParsedPolyType_c

kind() - Method in class jif.types.LabelConstraint

kind() - Method in interface jif.types.ParamInstance

kind(ParamInstance.Kind) - Method in interface jif.types.ParamInstance

kind() - Method in class jif.types.ParamInstance_c

kind(ParamInstance.Kind) - Method in class jif.types.ParamInstance_c

L

LABEL - Static variable in class jif.parse.sym

LABEL_ - Variable in class jif.types.JifTypeSystem_c

LABEL_CHECK - Static variable in class jif.ExtensionInfo

The label check pass.

LBRACE - Static variable in class jif.parse.sym

LBRACK - Static variable in class jif.parse.sym

LEQ - Static variable in class jif.types.LabelConstraint

An inequality kind of constraint.

LONG - Static variable in class jif.parse.sym

LONG_LITERAL - Static variable in class jif.parse.sym

LPAREN - Static variable in class jif.parse.sym

LSHIFT - Static variable in class jif.parse.sym

LSHIFTEQ - Static variable in class jif.parse.sym

LT - Static variable in class jif.parse.sym

LTEQ - Static variable in class jif.parse.sym

Label() - Method in interface jif.types.JifTypeSystem

Returns the "label" type.

Label() - Method in class jif.types.JifTypeSystem_c

Label - interface jif.types.Label.

This class represents the Jif security label.

LabelCase(Position, Formal, LabelNode, Stmt) - Method in interface jif.ast.JifNodeFactory

LabelCase(Position, LabelNode, Stmt) - Method in interface jif.ast.JifNodeFactory

LabelCase(Position, Stmt) - Method in interface jif.ast.JifNodeFactory

LabelCase(Position, Formal, LabelNode, Stmt) - Method in class jif.ast.JifNodeFactory_c

LabelCase(Position, LabelNode, Stmt) - Method in class jif.ast.JifNodeFactory_c

LabelCase(Position, Stmt) - Method in class jif.ast.JifNodeFactory_c

LabelCase - interface jif.ast.LabelCase.

An immutable represention of a Jif label case statement that handles a case of a Jif switch label statement.

LabelCase_c - class jif.ast.LabelCase_c.

An implementation of the LabelCase interface.

LabelCase_c(Position, Formal, LabelNode, Stmt) - Constructor for class jif.ast.LabelCase_c

LabelCheckPass - class jif.visit.LabelCheckPass.

A pass which runs a visitor.

LabelCheckPass(Pass.ID, Job, LabelChecker) - Constructor for class jif.visit.LabelCheckPass

LabelChecker - class jif.visit.LabelChecker.

The LabelChecker class is used in the label checking of Jif.

LabelChecker(Job, TypeSystem, NodeFactory, boolean) - Constructor for class jif.visit.LabelChecker

LabelChecker(Job, TypeSystem, NodeFactory) - Constructor for class jif.visit.LabelChecker

LabelConstraint - class jif.types.LabelConstraint.

A LabelConstraint represents a constraint on labels, which may either be an inequality or equality constraint.

LabelConstraint(NamedLabel, LabelConstraint.Kind, NamedLabel, LabelEnv, Position) - Constructor for class jif.types.LabelConstraint

LabelConstraint(NamedLabel, LabelConstraint.Kind, NamedLabel, LabelEnv, Position, boolean) - Constructor for class jif.types.LabelConstraint

LabelConstraint.Kind - class jif.types.LabelConstraint.Kind.

Kinds of constraint, either equality or inequality.

LabelEnv - interface jif.types.LabelEnv.

LabelLeAssertion - interface jif.types.LabelLeAssertion.

LabelLeAssertion_c - class jif.types.LabelLeAssertion_c.

LabelLeAssertion_c(Label, Label) - Constructor for class jif.types.LabelLeAssertion_c

LabelNode - interface jif.ast.LabelNode.

A placeholder in the AST for a Jif label.

LabelNode_c - class jif.ast.LabelNode_c.

An implementation of the LabelNode interface.

LabelNode_c(Position) - Constructor for class jif.ast.LabelNode_c

LabelNode_c(Position, Label) - Constructor for class jif.ast.LabelNode_c

LabelOfVar - interface jif.types.LabelOfVar.

The label of a variable(runtime) label.

LabelOfVar_c - class jif.types.LabelOfVar_c.

An implementation of the LabelOfVar interface.

LabelOfVar_c(JifTypeSystem, Position, VarLabel) - Constructor for class jif.types.LabelOfVar_c

LabelSubstitution - class jif.types.LabelSubstitution.

The class is a simple Label visitor.

LabelSubstitution() - Constructor for class jif.types.LabelSubstitution

LabelSubstitutionVisitor - class jif.visit.LabelSubstitutionVisitor.

Visits an AST, and applies a LabelSubsitution to all labels that occur in the AST.

LabelSubstitutionVisitor(LabelSubstitution, boolean) - Constructor for class jif.visit.LabelSubstitutionVisitor

LabelToJavaExpr - interface jif.translate.LabelToJavaExpr.

LabelToJavaExpr_c - class jif.translate.LabelToJavaExpr_c.

LabelToJavaExpr_c() - Constructor for class jif.translate.LabelToJavaExpr_c

Label_c - class jif.types.Label_c.

An abstract implementation of the Label interface.

Label_c() - Constructor for class jif.types.Label_c

Label_c(JifTypeSystem, Position, LabelToJavaExpr) - Constructor for class jif.types.Label_c

Label_c(JifTypeSystem, Position) - Constructor for class jif.types.Label_c

LabeledExpr - class jif.parse.LabeledExpr.

LabeledExpr(Grm, Position, Amb, LabelNode) - Constructor for class jif.parse.LabeledExpr

LabeledType - interface jif.types.LabeledType.

A labeled type.

LabeledTypeNode(Position, TypeNode, LabelNode) - Method in interface jif.ast.JifNodeFactory

LabeledTypeNode(Position, TypeNode, LabelNode) - Method in class jif.ast.JifNodeFactory_c

LabeledTypeNode - interface jif.ast.LabeledTypeNode.

This class represents a labeled type node.

LabeledTypeNode_c - class jif.ast.LabeledTypeNode_c.

An implementation of the LabeledTypeNode interface.

LabeledTypeNode_c(Position, TypeNode, LabelNode) - Constructor for class jif.ast.LabeledTypeNode_c

LabeledType_c - class jif.types.LabeledType_c.

An implementation of the LabeledType interface.

LabeledType_c(JifTypeSystem, Position, Type, Label) - Constructor for class jif.types.LabeledType_c

Lexer_c - class jif.parse.Lexer_c.

This class is a scanner generated by JFlex 1.3.5 on 4/13/04 6:06 PM from the specification file file:/C:/data/upg/jif/src/jif/parse/jif.flex

Lexer_c(InputStream, String, ErrorQueue) - Constructor for class jif.parse.Lexer_c

Lexer_c(Reader, String, ErrorQueue) - Constructor for class jif.parse.Lexer_c

Lexer_c(Reader) - Constructor for class jif.parse.Lexer_c

Creates a new scanner There is also a java.io.InputStream version of this constructor.

Lexer_c(InputStream) - Constructor for class jif.parse.Lexer_c

Creates a new scanner.

LocalClassDecl(Position, ClassDecl) - Method in class jif.ast.JifNodeFactory_c

LocalDeclToJavaExt_c - class jif.translate.LocalDeclToJavaExt_c.

LocalDeclToJavaExt_c() - Constructor for class jif.translate.LocalDeclToJavaExt_c

LocalToJavaExt_c - class jif.translate.LocalToJavaExt_c.

LocalToJavaExt_c() - Constructor for class jif.translate.LocalToJavaExt_c

label() - Method in interface jif.ast.DeclassifyExpr

label(LabelNode) - Method in interface jif.ast.DeclassifyExpr

label() - Method in class jif.ast.DeclassifyExpr_c

label(LabelNode) - Method in class jif.ast.DeclassifyExpr_c

label() - Method in interface jif.ast.DeclassifyStmt

label(LabelNode) - Method in interface jif.ast.DeclassifyStmt

label() - Method in class jif.ast.DeclassifyStmt_c

label(LabelNode) - Method in class jif.ast.DeclassifyStmt_c

label() - Method in interface jif.ast.LabelCase

label(LabelNode) - Method in interface jif.ast.LabelCase

label - Variable in class jif.ast.LabelCase_c

label() - Method in class jif.ast.LabelCase_c

label(LabelNode) - Method in class jif.ast.LabelCase_c

label() - Method in interface jif.ast.LabelNode

label(Label) - Method in interface jif.ast.LabelNode

label() - Method in class jif.ast.LabelNode_c

label(Label) - Method in class jif.ast.LabelNode_c

label() - Method in interface jif.ast.NewLabel

label(LabelNode) - Method in interface jif.ast.NewLabel

label - Variable in class jif.ast.NewLabel_c

label() - Method in class jif.ast.NewLabel_c

label(LabelNode) - Method in class jif.ast.NewLabel_c

label - Variable in class jif.parse.LabeledExpr

label() - Method in interface jif.types.DynamicLabel

label(Label) - Method in interface jif.types.DynamicLabel

label(Label) - Method in class jif.types.DynamicLabel_c

label() - Method in class jif.types.DynamicLabel_c

label() - Method in interface jif.types.DynamicPrincipal

label(Label) - Method in interface jif.types.DynamicPrincipal

label(Label) - Method in class jif.types.DynamicPrincipal_c

label() - Method in class jif.types.DynamicPrincipal_c

label(Label) - Method in interface jif.types.JifFieldInstance

label - Variable in class jif.types.JifFieldInstance_c

label() - Method in class jif.types.JifFieldInstance_c

label(Label) - Method in class jif.types.JifFieldInstance_c

label - Variable in class jif.types.JifLocalInstance_c

label() - Method in class jif.types.JifLocalInstance_c

label() - Method in interface jif.types.JifVarInstance

label - Variable in class jif.types.NamedLabel

label() - Method in class jif.types.NamedLabel

label(String) - Method in class jif.types.NamedLabel

labelCheck(LabelChecker) - Method in interface jif.ast.Jif

Label check the node to which this extension is attached.

labelCheck(LabelChecker) - Method in class jif.ast.Jif_c

labelCheck(LabelChecker) - Method in class jif.extension.JifArrayAccessExt

labelCheck(LabelChecker) - Method in class jif.extension.JifArrayInitExt

labelCheck(LabelChecker) - Method in class jif.extension.JifAssignExt

labelCheck(LabelChecker) - Method in class jif.extension.JifBinaryExt

labelCheck(LabelChecker) - Method in class jif.extension.JifCallExt

labelCheck(LabelChecker) - Method in class jif.extension.JifCastExt

labelCheck(LabelChecker) - Method in class jif.extension.JifClassBodyExt

labelCheck(LabelChecker) - Method in class jif.extension.JifClassDeclExt

labelCheck(LabelChecker) - Method in class jif.extension.JifConditionalExt

labelCheck(LabelChecker) - Method in class jif.extension.JifConstructorDeclExt

labelCheck(LabelChecker) - Method in class jif.extension.JifDeclassifyExprExt

labelCheck(LabelChecker) - Method in class jif.extension.JifFieldDeclExt_c

Label check field initializers.

labelCheck(LabelChecker) - Method in class jif.extension.JifFieldExt

label check the field access.

labelCheck(LabelChecker) - Method in class jif.extension.JifFormalExt

labelCheck(LabelChecker) - Method in class jif.extension.JifInitializerExt

labelCheck(LabelChecker) - Method in class jif.extension.JifInstanceofExt

labelCheck(LabelChecker) - Method in class jif.extension.JifLiteralExt

labelCheck(LabelChecker) - Method in class jif.extension.JifLocalExt

labelCheck(LabelChecker) - Method in class jif.extension.JifMethodDeclExt

labelCheck(LabelChecker) - Method in class jif.extension.JifNewArrayExt

labelCheck(LabelChecker) - Method in class jif.extension.JifNewExt

labelCheck(LabelChecker) - Method in class jif.extension.JifSourceFileExt

labelCheck(LabelChecker) - Method in class jif.extension.JifSpecialExt

label check the special expression.

labelCheck(LabelChecker) - Method in class jif.extension.JifStmtExt_c

Label check a statement.

labelCheck(LabelChecker) - Method in class jif.extension.JifUnaryExt

labelCheck(Node) - Method in class jif.visit.LabelChecker

labelCheckElements(LabelChecker, Type) - Method in class jif.extension.JifArrayInitExt

labelCheckField(LabelChecker, JifClassType) - Method in interface jif.extension.JifFieldDeclExt

labelCheckField(LabelChecker, JifClassType) - Method in class jif.extension.JifFieldDeclExt_c

Extracts the declared label of this field.

labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifArrayAccessExt

labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifFieldExt

labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifLocalExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifArrayAccessAssignExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifAssignExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifFieldAssignExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifLocalAssignExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifActsForExt

Label check the actsFor statement.

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifBlockExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifBranchExt

Label check the branch statement.

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifCaseExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifConstructorCallExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifDeclassifyStmtExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifDoExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifEmptyExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifEvalExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifForExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifIfExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifLabeledExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifLocalDeclExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifReturnExt

labelCheckStmt(LabelChecker) - Method in interface jif.extension.JifStmtExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifStmtExt_c

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifSwitchExt

Label check the switch statement.

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifSwitchLabelExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifSynchronizedExt

Label check the synchronized statement.

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifThrowExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifTryExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifWhileExt

labelCheckedArgs() - Method in class jif.extension.CallHelper

labelEnv() - Method in interface jif.types.JifContext

labelEnv() - Method in class jif.types.JifContext_c

labelOf() - Method in class jif.types.ArgLabel_c

labelOf() - Method in class jif.types.CovariantLabel_c

labelOf() - Method in class jif.types.DynamicLabel_c

labelOf() - Method in class jif.types.DynamicPrincipal_c

labelOf() - Method in class jif.types.DynrecLabel_c

labelOf() - Method in class jif.types.ExternalPrincipal_c

labelOf() - Method in class jif.types.JoinLabel_c

labelOf() - Method in interface jif.types.Label

Gets labelOf this label.

labelOf() - Method in class jif.types.LabelOfVar_c

labelOf() - Method in class jif.types.Label_c

labelOf() - Method in class jif.types.MeetLabel_c

labelOf() - Method in class jif.types.NotTaken_c

labelOf() - Method in class jif.types.ParamLabel_c

labelOf() - Method in class jif.types.ParamPrincipal_c

labelOf() - Method in class jif.types.PolicyLabel_c

labelOf() - Method in interface jif.types.Principal

Gets the label of this principal.

labelOf() - Method in class jif.types.Principal_c

labelOf() - Method in class jif.types.RuntimeLabel_c

labelOf() - Method in class jif.types.TopLabel_c

labelOf() - Method in class jif.types.UnknownLabel_c

labelOf() - Method in class jif.types.UnknownPrincipal_c

labelOf() - Method in class jif.types.VarLabel_c

labelOfField(FieldInstance, Label) - Method in interface jif.types.JifTypeSystem

Get the label of the field, folding in the PC if appropriate.

labelOfField(FieldInstance, Label) - Method in class jif.types.JifTypeSystem_c

labelOfLocal(LocalInstance, Label) - Method in interface jif.types.JifTypeSystem

Get the label of the local, folding in the PC if appropriate.

labelOfLocal(LocalInstance, Label) - Method in class jif.types.JifTypeSystem_c

labelOfType(Type) - Method in interface jif.types.JifTypeSystem

Get the label of the type, or bottom if unlabeled

labelOfType(Type, Label) - Method in interface jif.types.JifTypeSystem

Get the label of the type, or defaultLabel if unlabeled.

labelOfType(Type) - Method in class jif.types.JifTypeSystem_c

labelOfType(Type, Label) - Method in class jif.types.JifTypeSystem_c

labelOfVar(Position, VarLabel) - Method in interface jif.types.JifTypeSystem

labelOfVar(Position, VarLabel) - Method in class jif.types.JifTypeSystem_c

labelPart() - Method in interface jif.ast.LabeledTypeNode

labelPart(LabelNode) - Method in interface jif.ast.LabeledTypeNode

labelPart - Variable in class jif.ast.LabeledTypeNode_c

labelPart() - Method in class jif.ast.LabeledTypeNode_c

labelPart(LabelNode) - Method in class jif.ast.LabeledTypeNode_c

labelPart() - Method in interface jif.types.LabeledType

labelPart(Label) - Method in interface jif.types.LabeledType

labelPart - Variable in class jif.types.LabeledType_c

labelPart() - Method in class jif.types.LabeledType_c

labelPart(Label) - Method in class jif.types.LabeledType_c

labelSubst(Job, Solver) - Method in class jif.ExtensionInfo

labelToJava(Label) - Method in class jif.translate.JifToJavaRewriter

labeledType(Position, Type, Label) - Method in interface jif.types.JifTypeSystem

Returns a labeled type, type{label}.

labeledType(Position, Type, Label) - Method in class jif.types.JifTypeSystem_c

Jif specific stuff

labels - Static variable in class jif.Topics

leastCommonAncestor(Type, Type) - Method in class jif.types.JifTypeSystem_c

Override the superclass implementation, to handle label and principal parameters, and array base types correctly.

leastCommonAncestorSubtype(Type, Type) - Method in class jif.types.JifTypeSystem_c

Find out if the least common ancestor of subtype and supertype is supertype, given that strip(subtype) is a sub type of strip(supertype).

leave(Node, Node, NodeVisitor) - Method in class jif.translate.JifToJavaRewriter

leave(Node, Node, NodeVisitor) - Method in class jif.visit.ConstChecker

leave(Node, Node, NodeVisitor) - Method in class jif.visit.LabelSubstitutionVisitor

leaveCall(Node, Node, NodeVisitor) - Method in class jif.visit.AddDummyFieldsVisitor

leaveCall(Node, Node, NodeVisitor) - Method in class jif.visit.FieldLabelResolver

leaveCall(Node, Node, NodeVisitor) - Method in class jif.visit.JifLabelSubst

leaveScope(Context) - Method in class jif.ast.ParamDecl_c

leavingClassBody(JifClassDecl) - Method in class jif.visit.LabelChecker

Called by JifClassDeclExt just after this label checker has been used to check a class body.

leq(Label, Label, LabelEnv) - Method in interface jif.types.JifTypeSystem

Returns true iff L1 <= L2 in ph.

leq(Label, Label) - Method in interface jif.types.JifTypeSystem

leq(Label, Label, LabelEnv) - Method in class jif.types.JifTypeSystem_c

leq(Label, Label) - Method in class jif.types.JifTypeSystem_c

leq(Label, Label) - Method in interface jif.types.LabelEnv

leq_(Label, LabelEnv) - Method in class jif.types.ArgLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.CovariantLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.DynamicLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.DynrecLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.JoinLabel_c

leq_(Label, LabelEnv) - Method in interface jif.types.Label

Implementation of leq, should only be called by JifTypeSystem

leq_(Label, LabelEnv) - Method in class jif.types.LabelOfVar_c

leq_(Label, LabelEnv) - Method in class jif.types.Label_c

leq_(Label, LabelEnv) - Method in class jif.types.MeetLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.NotTaken_c

leq_(Label, LabelEnv) - Method in class jif.types.ParamLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.PolicyLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.RuntimeLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.TopLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.UnknownLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.VarLabel_c

lhs() - Method in class jif.types.Equation

lhs() - Method in class jif.types.LabelConstraint

lhs() - Method in interface jif.types.LabelLeAssertion

lhs() - Method in class jif.types.LabelLeAssertion_c

localInstance(Position, Flags, Type, String) - Method in class jif.types.JifTypeSystem_c

M

MINUS - Static variable in class jif.parse.sym

MINUSEQ - Static variable in class jif.parse.sym

MINUSMINUS - Static variable in class jif.parse.sym

MOD - Static variable in class jif.parse.sym

MODEQ - Static variable in class jif.parse.sym

MULT - Static variable in class jif.parse.sym

MULTEQ - Static variable in class jif.parse.sym

MeetLabel - interface jif.types.MeetLabel.

The meet of several labels.

MeetLabelToJavaExpr_c - class jif.translate.MeetLabelToJavaExpr_c.

MeetLabelToJavaExpr_c() - Constructor for class jif.translate.MeetLabelToJavaExpr_c

MeetLabel_c - class jif.types.MeetLabel_c.

An implementation of the MeetLabel interface.

MeetLabel_c() - Constructor for class jif.types.MeetLabel_c

MeetLabel_c(JifTypeSystem, Position, Collection) - Constructor for class jif.types.MeetLabel_c

MethodDecl(Position, Flags, TypeNode, String, List, List, Block) - Method in class jif.ast.JifNodeFactory_c

MethodDeclToJavaExt_c - class jif.translate.MethodDeclToJavaExt_c.

MethodDeclToJavaExt_c() - Constructor for class jif.translate.MethodDeclToJavaExt_c

major() - Method in class jif.Version

makeAccessOrInst(Amb, List) - Method in class jif.parse.Grm

makeConstructorInstance(ClassType, TypeSystem) - Method in class jif.ast.JifConstructorDecl_c

makeMethodInstance(ClassType, TypeSystem) - Method in class jif.ast.JifMethodDecl_c

makeMissingFieldTarget(FieldInstance) - Method in class jif.ast.JifDisamb_c

Override superclass functionality to avoid returning an uninstantiated polymorphic class.

makeParamOrExprList(Expr) - Method in class jif.parse.Grm

map - Variable in class jif.types.PathMap

maximumDynamicLabel() - Method in class jif.types.Solver

Return the join of all the dynamic labels used in the system.

meet(Label, Label, PrincipalHierarchy) - Method in interface jif.types.JifTypeSystem

Returns the meet of L1 and L2 in ph.

meet(Label, Label, PrincipalHierarchy) - Method in class jif.types.JifTypeSystem_c

Indirect through the TS so extensions can support new label types.

meet(Label, PrincipalHierarchy) - Method in interface jif.types.Label

Returns the meet of this label and L, and simplifies it, based on the given PrincipalHierarchy

meet(Label, PrincipalHierarchy) - Method in class jif.types.Label_c

Meet this label wotj L and simplify the result using PrinicipalHierarchy ph

meetLabel(Position, Collection) - Method in interface jif.types.JifTypeSystem

meetLabel(Position, Collection) - Method in class jif.types.JifTypeSystem_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.ArgLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.CovariantLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.DynamicLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.DynrecLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.JoinLabel_c

meet_(Label, PrincipalHierarchy) - Method in interface jif.types.Label

Implementation of the meet operation, should only be called by JifTypeSystem

meet_(Label, PrincipalHierarchy) - Method in class jif.types.LabelOfVar_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.Label_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.MeetLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.NotTaken_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.ParamLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.PolicyLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.RuntimeLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.TopLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.UnknownLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.VarLabel_c

methodInstance(Position, ReferenceType, Flags, Type, String, List, List) - Method in class jif.types.JifTypeSystem_c

minor() - Method in class jif.Version

minus(Label) - Method in class jif.types.JoinLabel_c

minus(Label) - Method in interface jif.types.Label

Returns a copy of this Label, with the Label L removed from the components.

minus(Label) - Method in class jif.types.Label_c

minus(Label) - Method in class jif.types.MeetLabel_c

msg() - Method in class jif.types.LabelConstraint

A message to display if this constraint is violated.

mutablePClass(Position) - Method in class jif.types.JifTypeSystem_c

N

N - Static variable in interface jif.types.Path

N() - Method in class jif.types.PathMap

N(Label) - Method in class jif.types.PathMap

NATIVE - Static variable in class jif.parse.sym

NEW - Static variable in class jif.parse.sym

NOT - Static variable in class jif.parse.sym

NOTEQ - Static variable in class jif.parse.sym

NOT_NULL - Static variable in class jif.ExtensionInfo

A pass to determine which field accesses and method calls may produce a null pointer exception

NULL_LITERAL - Static variable in class jif.parse.sym

NV - Static variable in interface jif.types.Path

NV() - Method in class jif.types.PathMap

NV(Label) - Method in class jif.types.PathMap

Name - class jif.parse.Name.

A Name represents a Amp of the form "n | P.n".

Name(Grm, Position, String) - Constructor for class jif.parse.Name

Name(Grm, Position, Amb, String) - Constructor for class jif.parse.Name

NamedLabel - class jif.types.NamedLabel.

A Jif label with names for the debuging use.

NamedLabel() - Constructor for class jif.types.NamedLabel

NamedLabel(String, Label) - Constructor for class jif.types.NamedLabel

NamedLabel(String, String, Label) - Constructor for class jif.types.NamedLabel

NamedLabel(Position) - Constructor for class jif.types.NamedLabel

New(Position, Expr, TypeNode, List, ClassBody) - Method in class jif.ast.JifNodeFactory_c

NewLabel(Position, LabelNode) - Method in interface jif.ast.JifNodeFactory

NewLabel(Position, LabelNode) - Method in class jif.ast.JifNodeFactory_c

NewLabel - interface jif.ast.NewLabel.

An immutable representation of the Jif new label statement.

NewLabelToJavaExt_c - class jif.translate.NewLabelToJavaExt_c.

NewLabelToJavaExt_c() - Constructor for class jif.translate.NewLabelToJavaExt_c

NewLabel_c - class jif.ast.NewLabel_c.

An implementation of the NewLabel interface.

NewLabel_c(Position, LabelNode) - Constructor for class jif.ast.NewLabel_c

NewToJavaExt_c - class jif.translate.NewToJavaExt_c.

NewToJavaExt_c() - Constructor for class jif.translate.NewToJavaExt_c

NotNullChecker - class jif.visit.NotNullChecker.

Visitor which determines at which program points local variables cannot be null, and thus field access and method calls to them cannot produce NullPointerExceptions.

NotNullChecker(Job, TypeSystem, NodeFactory) - Constructor for class jif.visit.NotNullChecker

NotTaken - interface jif.types.NotTaken.

The class NotTaken is the label for paths which cannot be taken, for example, the path that includes statements following a return statement.

NotTaken_c - class jif.types.NotTaken_c.

An implementation of the NotTaken interface.

NotTaken_c() - Constructor for class jif.types.NotTaken_c

NotTaken_c(JifTypeSystem, Position) - Constructor for class jif.types.NotTaken_c

name() - Method in class jif.Version

name() - Method in interface jif.ast.AmbDynamicLabelNode

Gets the name of the dynamic label.

name - Variable in class jif.ast.AmbDynamicLabelNode_c

name() - Method in class jif.ast.AmbDynamicLabelNode_c

Gets the name.

name(String) - Method in class jif.ast.AmbDynamicLabelNode_c

Returns a copy of this node with the name updated.

name() - Method in interface jif.ast.AmbNewArray

Gets the ambiguous name.

name(String) - Method in interface jif.ast.AmbNewArray

Returns a copy of this node with the ambiguous name updated.

name - Variable in class jif.ast.AmbNewArray_c

The ambiguous name, which may be an expression or a parameter.

name() - Method in class jif.ast.AmbNewArray_c

Gets the ambiguous name.

name(String) - Method in class jif.ast.AmbNewArray_c

Returns a copy of this node with name updated.

name() - Method in interface jif.ast.AmbParam

name() - Method in interface jif.ast.AmbParamTypeOrAccess

Gets the name.

name - Variable in class jif.ast.AmbParamTypeOrAccess_c

name() - Method in class jif.ast.AmbParamTypeOrAccess_c

name(String) - Method in class jif.ast.AmbParamTypeOrAccess_c

name - Variable in class jif.ast.AmbParam_c

name() - Method in class jif.ast.AmbParam_c

name(String) - Method in class jif.ast.AmbParam_c

name() - Method in interface jif.ast.AmbPrincipalNode

Getts the name.

name - Variable in class jif.ast.AmbPrincipalNode_c

name() - Method in class jif.ast.AmbPrincipalNode_c

name(String) - Method in class jif.ast.AmbPrincipalNode_c

name() - Method in interface jif.ast.AmbVarLabelNode

name - Variable in class jif.ast.AmbVarLabelNode_c

name() - Method in class jif.ast.AmbVarLabelNode_c

name(String) - Method in class jif.ast.AmbVarLabelNode_c

name() - Method in interface jif.ast.ParamDecl

name(String) - Method in interface jif.ast.ParamDecl

name() - Method in class jif.ast.ParamDecl_c

name(String) - Method in class jif.ast.ParamDecl_c

name - Variable in class jif.parse.Name

name() - Method in interface jif.types.ArgLabel

Name is for debugging purposes only

name() - Method in class jif.types.ArgLabel_c

name() - Method in interface jif.types.DynamicLabel

name(String) - Method in interface jif.types.DynamicLabel

name(String) - Method in class jif.types.DynamicLabel_c

name() - Method in class jif.types.DynamicLabel_c

name() - Method in interface jif.types.DynamicPrincipal

name(String) - Method in interface jif.types.DynamicPrincipal

name(String) - Method in class jif.types.DynamicPrincipal_c

name() - Method in class jif.types.DynamicPrincipal_c

name() - Method in interface jif.types.ExternalPrincipal

name() - Method in class jif.types.ExternalPrincipal_c

name(String) - Method in interface jif.types.ParamInstance

name(String) - Method in class jif.types.ParamInstance_c

name() - Method in class jif.types.UID

nameToDescrip - Variable in class jif.types.NamedLabel

nameToLabels - Variable in class jif.types.NamedLabel

namedDescrips() - Method in class jif.types.LabelConstraint

Return a map from Strings to Strings, which are the descriptions of names in the left and right hand sides.

namedLabels() - Method in class jif.types.LabelConstraint

Return a map from Strings to Labels, which are the named elements of the left and right hand sides.

namedLhs() - Method in class jif.types.LabelConstraint

namedRhs() - Method in class jif.types.LabelConstraint

nextToken() - Method in class jif.parse.Lexer_c

Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.

nf - Variable in class jif.parse.Grm

nonSignatureArgLabels - Variable in class jif.types.JifConstructorInstance_c

nonSignatureArgLabels() - Method in class jif.types.JifConstructorInstance_c

nonSignatureArgLabels - Variable in class jif.types.JifMethodInstance_c

nonSignatureArgLabels() - Method in class jif.types.JifMethodInstance_c

nonSignatureArgLabels() - Method in interface jif.types.JifProcedureInstance

Get the List of ArgLabels.

notTaken(Position) - Method in interface jif.types.JifTypeSystem

notTaken() - Method in interface jif.types.JifTypeSystem

notTaken(Position) - Method in class jif.types.JifTypeSystem_c

notTaken() - Method in class jif.types.JifTypeSystem_c

nullInstantiate(Position, PClass) - Method in class jif.types.JifTypeSystem_c

numericConversionValid(Type, Object) - Method in class jif.types.JifTypeSystem_c

O

OR - Static variable in class jif.parse.sym

OREQ - Static variable in class jif.parse.sym

OROR - Static variable in class jif.parse.sym

OutputExtensionInfo - class jif.OutputExtensionInfo.

This is an extension to jl that is the target language of the jif extension.

OutputExtensionInfo(ExtensionInfo) - Constructor for class jif.OutputExtensionInfo

objectTypeAndLabel(ReferenceType, Label) - Method in interface jif.types.JifContext

Set the current object type and label of the reference to the object.

objectTypeAndLabel(ReferenceType, Label) - Method in class jif.types.JifContext_c

outOfBoundsExcThrown() - Method in class jif.extension.JifArrayAccessDel

override(Node) - Method in class jif.parse.UnwrapVisitor

override(Node) - Method in class jif.visit.ConstChecker

override(Node) - Method in class jif.visit.LabelSubstitutionVisitor

overrideMethodLabelCheck(LabelChecker, JifMethodInstance) - Method in class jif.extension.JifMethodDeclExt

Check that this method instance conforms to the signatures of any methods in the superclasses or interfaces that it is overriding.

owner() - Method in interface jif.ast.PolicyLabelNode

owner(PrincipalNode) - Method in interface jif.ast.PolicyLabelNode

owner - Variable in class jif.ast.PolicyLabelNode_c

owner() - Method in class jif.ast.PolicyLabelNode_c

owner(PrincipalNode) - Method in class jif.ast.PolicyLabelNode_c

owner() - Method in interface jif.types.PolicyLabel

owner(Principal) - Method in interface jif.types.PolicyLabel

owner() - Method in class jif.types.PolicyLabel_c

owner(Principal) - Method in class jif.types.PolicyLabel_c

P

PACKAGE - Static variable in class jif.parse.sym

PLUS - Static variable in class jif.parse.sym

PLUSEQ - Static variable in class jif.parse.sym

PLUSPLUS - Static variable in class jif.parse.sym

PRE_LABEL_CHECK_ALL - Static variable in class jif.ExtensionInfo

A barrier pass before label checking.

PRINCIPAL - Static variable in class jif.parse.sym

PRINCIPAL - Static variable in interface jif.types.ParamInstance

PRINCIPAL_ - Variable in class jif.types.JifTypeSystem_c

PRIVATE - Static variable in class jif.parse.sym

PROTECTED - Static variable in class jif.parse.sym

PUBLIC - Static variable in class jif.parse.sym

PackageNodeToJavaExt_c - class jif.translate.PackageNodeToJavaExt_c.

PackageNodeToJavaExt_c() - Constructor for class jif.translate.PackageNodeToJavaExt_c

Param - interface jif.types.Param.

The root of the Jif class parameter types.

ParamDecl(Position, ParamInstance.Kind, String) - Method in interface jif.ast.JifNodeFactory

ParamDecl(Position, ParamInstance.Kind, String) - Method in class jif.ast.JifNodeFactory_c

ParamDecl - interface jif.ast.ParamDecl.

The AST node representing a label/principal parameter declaration.

ParamDecl_c - class jif.ast.ParamDecl_c.

An implementation of the ParamDecl interface.

ParamDecl_c(Position, ParamInstance.Kind, String) - Constructor for class jif.ast.ParamDecl_c

ParamInstance - interface jif.types.ParamInstance.

A parameter instance.

ParamInstance.Kind - class jif.types.ParamInstance.Kind.

ParamInstance.Kind(String) - Constructor for class jif.types.ParamInstance.Kind

ParamInstance_c - class jif.types.ParamInstance_c.

An implementation of the ParamInstance interface.

ParamInstance_c(JifTypeSystem, Position, JifClassType, ParamInstance.Kind, String, UID) - Constructor for class jif.types.ParamInstance_c

ParamLabel - interface jif.types.ParamLabel.

The label derived from a label paramter.

ParamLabel_c - class jif.types.ParamLabel_c.

An implementation of the ParamLabel interface.

ParamLabel_c() - Constructor for class jif.types.ParamLabel_c

ParamLabel_c(JifTypeSystem, Position, UID) - Constructor for class jif.types.ParamLabel_c

ParamNode - interface jif.ast.ParamNode.

This class is the root of all the classes that may be parameters, including label node classes and principal node classes.

ParamPrincipal - interface jif.types.ParamPrincipal.

The principal derived from a principal parameter.

ParamPrincipal_c - class jif.types.ParamPrincipal_c.

An implementation of the ParamPrincipal interface.

ParamPrincipal_c(JifTypeSystem, Position, UID) - Constructor for class jif.types.ParamPrincipal_c

Path - interface jif.types.Path.

A control flow path.

Path.FixedPath - class jif.types.Path.FixedPath.

PathMap - class jif.types.PathMap.

Implements the mapping from paths to labels.

PathMap(JifTypeSystem) - Constructor for class jif.types.PathMap

PolicyLabel - interface jif.types.PolicyLabel.

The policy label of the form owner: r1,...,rn

PolicyLabelNode(Position, PrincipalNode, List) - Method in interface jif.ast.JifNodeFactory

PolicyLabelNode(Position, PrincipalNode, List) - Method in class jif.ast.JifNodeFactory_c

PolicyLabelNode - interface jif.ast.PolicyLabelNode.

A policy label node.

PolicyLabelNode_c - class jif.ast.PolicyLabelNode_c.

An implementation of the PolicyLabel interface.

PolicyLabelNode_c(Position, PrincipalNode, List) - Constructor for class jif.ast.PolicyLabelNode_c

PolicyLabelToJavaExpr_c - class jif.translate.PolicyLabelToJavaExpr_c.

PolicyLabelToJavaExpr_c() - Constructor for class jif.translate.PolicyLabelToJavaExpr_c

PolicyLabel_c - class jif.types.PolicyLabel_c.

An implementation of the PolicyLabel interface.

PolicyLabel_c(JifTypeSystem, Position, Principal, Collection) - Constructor for class jif.types.PolicyLabel_c

Principal() - Method in interface jif.types.JifTypeSystem

Returns the "principal" type.

Principal() - Method in class jif.types.JifTypeSystem_c

Principal - interface jif.types.Principal.

The root interface of all kinds of Jif principals.

PrincipalHierarchy - class jif.types.PrincipalHierarchy.

The principal hierarchy that defines the acts-for relationships between principals.

PrincipalHierarchy() - Constructor for class jif.types.PrincipalHierarchy

PrincipalInstance - interface jif.types.PrincipalInstance.

A PrincipalInstance represents a global principal.

PrincipalInstance_c - class jif.types.PrincipalInstance_c.

An implementation of the PrincipalInstance interface.

PrincipalInstance_c(JifTypeSystem, Position, ExternalPrincipal) - Constructor for class jif.types.PrincipalInstance_c

PrincipalNode - interface jif.ast.PrincipalNode.

A placeholder in AST for a Jif principal.

PrincipalNode_c - class jif.ast.PrincipalNode_c.

An implementation of the PrincipalNode interface.

PrincipalNode_c(Position) - Constructor for class jif.ast.PrincipalNode_c

PrincipalToJavaExpr - interface jif.translate.PrincipalToJavaExpr.

PrincipalToJavaExpr_c - class jif.translate.PrincipalToJavaExpr_c.

PrincipalToJavaExpr_c() - Constructor for class jif.translate.PrincipalToJavaExpr_c

Principal_c - class jif.types.Principal_c.

An abstract implementation of the Principal interface.

Principal_c(JifTypeSystem, Position, UID) - Constructor for class jif.types.Principal_c

Principal_c(JifTypeSystem, Position, UID, PrincipalToJavaExpr) - Constructor for class jif.types.Principal_c

packageForName(Package, String) - Method in class jif.types.JifTypeSystem_c

param - Variable in class jif.ast.AmbParam_c

paramInstance() - Method in interface jif.ast.ParamDecl

paramInstance(ParamInstance) - Method in interface jif.ast.ParamDecl

paramInstance() - Method in class jif.ast.ParamDecl_c

paramInstance(ParamInstance) - Method in class jif.ast.ParamDecl_c

paramInstance(Position, JifClassType, ParamInstance.Kind, String) - Method in interface jif.types.JifTypeSystem

Constructs a parameter instance for a class parameter declaration

paramInstance(Position, JifClassType, ParamInstance.Kind, UID) - Method in interface jif.types.JifTypeSystem

paramInstance(Position, JifClassType, ParamInstance.Kind, String) - Method in class jif.types.JifTypeSystem_c

paramInstance(Position, JifClassType, ParamInstance.Kind, UID) - Method in class jif.types.JifTypeSystem_c

paramLabel(Position, UID) - Method in interface jif.types.JifTypeSystem

paramLabel(Position, UID) - Method in class jif.types.JifTypeSystem_c

paramToParam(ParamInstance, AmbiguityRemover) - Method in class jif.ast.AmbParam_c

Turns a PramaInstance object into a label node or a principal node.

paramToPrincipal(ParamInstance, AmbiguityRemover) - Method in class jif.ast.AmbPrincipalNode_c

parameter() - Method in class jif.ast.AmbParam_c

parameter(Param) - Method in class jif.ast.AmbParam_c

parameter() - Method in class jif.ast.LabelNode_c

parameter() - Method in interface jif.ast.ParamNode

parameter() - Method in class jif.ast.PrincipalNode_c

params() - Method in interface jif.ast.InstTypeNode

params(List) - Method in interface jif.ast.InstTypeNode

params - Variable in class jif.ast.InstTypeNode_c

params() - Method in class jif.ast.InstTypeNode_c

params(List) - Method in class jif.ast.InstTypeNode_c

params() - Method in interface jif.ast.JifClassDecl

params(List) - Method in interface jif.ast.JifClassDecl

params - Variable in class jif.ast.JifClassDecl_c

params() - Method in class jif.ast.JifClassDecl_c

params(List) - Method in class jif.ast.JifClassDecl_c

params() - Method in class jif.types.JifParsedPolyType_c

params() - Method in interface jif.types.JifPolyType

Declared parameters of the class.

parse() - Method in class jif.parse.Grm

After we parse as usual, the AST may contain reftype_or_expr nodes wrapped in expressions.

parseCommand(String[], int, Set) - Method in class jif.JifOptions

Parse a command

parser(Reader, FileSource, ErrorQueue) - Method in class jif.ExtensionInfo

passes(Job) - Method in class jif.ExtensionInfo

passes(Job) - Method in class jif.OutputExtensionInfo

patch_level() - Method in class jif.Version

pathMap() - Method in interface jif.types.JifTypeSystem

pathMap(Path, Label) - Method in interface jif.types.JifTypeSystem

pathMap() - Method in class jif.types.JifTypeSystem_c

pathMap(Path, Label) - Method in class jif.types.JifTypeSystem_c

paths() - Method in class jif.types.PathMap

Return all paths in the map except NV and RV (which aren't really paths).

pc() - Method in interface jif.types.JifContext

pc() - Method in class jif.types.JifContext_c

ph() - Method in interface jif.ast.SwitchLabel

ph(PrincipalHierarchy) - Method in interface jif.ast.SwitchLabel

ph - Variable in class jif.ast.SwitchLabel_c

ph() - Method in class jif.ast.SwitchLabel_c

ph(PrincipalHierarchy) - Method in class jif.ast.SwitchLabel_c

ph() - Method in interface jif.types.JifContext

ph() - Method in class jif.types.JifContext_c

ph() - Method in class jif.types.LabelConstraint

ph() - Method in interface jif.types.LabelEnv

placeHolder(TypeObject, Set) - Method in class jif.types.JifTypeSystem_c

policyLabel(Position, Principal, Collection) - Method in interface jif.types.JifTypeSystem

policyLabel(Position, Principal, Collection) - Method in class jif.types.JifTypeSystem_c

pos(Amb) - Static method in class jif.parse.Grm

Return the source position of the Parse.

pos(Declarator) - Method in class jif.parse.Grm

pos() - Method in class jif.parse.Grm

pos - Variable in class jif.types.NamedLabel

position() - Method in class jif.types.Equation

position() - Method in class jif.types.LabelConstraint

position() - Method in class jif.types.NamedLabel

postExtActsFor(Ext) - Method in class jif.ast.JifExtFactory_c

postExtActsForConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtAmbDynamicLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtAmbNewArray(Ext) - Method in class jif.ast.JifExtFactory_c

postExtAmbParam(Ext) - Method in class jif.ast.JifExtFactory_c

postExtAmbParamTypeOrAccess(Ext) - Method in class jif.ast.JifExtFactory_c

postExtAmbPrincipalNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtAmbThisLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtAmbVarLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtAuthConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtCallerConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtCanonicalConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtCanonicalLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtCanonicalPrincipalNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtDeclassifyExpr(Ext) - Method in class jif.ast.JifExtFactory_c

postExtDeclassifyStmt(Ext) - Method in class jif.ast.JifExtFactory_c

postExtInstTypeNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtJoinLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtLabelCase(Ext) - Method in class jif.ast.JifExtFactory_c

postExtLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtLabeledTypeNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtNewLabel(Ext) - Method in class jif.ast.JifExtFactory_c

postExtParamDecl(Ext) - Method in class jif.ast.JifExtFactory_c

postExtParamNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtPolicyLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtPrincipalNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtSwitchLabel(Ext) - Method in class jif.ast.JifExtFactory_c

precedence() - Method in class jif.ast.DeclassifyExpr_c

prefix() - Method in interface jif.ast.AmbParamTypeOrAccess

Gets the prefix.

prefix - Variable in class jif.ast.AmbParamTypeOrAccess_c

prefix() - Method in class jif.ast.AmbParamTypeOrAccess_c

prefix(Receiver) - Method in class jif.ast.AmbParamTypeOrAccess_c

prefix - Variable in class jif.parse.LabeledExpr

prefix - Variable in class jif.parse.Name

prefixToPackage(Prefix) - Method in class jif.parse.Grm

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ActsForConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ActsFor_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbDynamicLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbNewArray_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbThisLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbVarLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AuthConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CallerConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CanonicalConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CanonicalLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CanonicalPrincipalNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.DeclassifyExpr_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.DeclassifyStmt_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.InstTypeNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.JoinLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabelCase_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabeledTypeNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.NewLabel_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ParamDecl_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.PolicyLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.SwitchLabel_c

prettyPrintHeader(CodeWriter, PrettyPrinter) - Method in class jif.ast.JifClassDecl_c

primitiveForName(String) - Method in class jif.types.JifTypeSystem_c

principal() - Method in interface jif.ast.PrincipalNode

principal(Principal) - Method in interface jif.ast.PrincipalNode

principal() - Method in class jif.ast.PrincipalNode_c

principal(Principal) - Method in class jif.ast.PrincipalNode_c

principal() - Method in interface jif.types.PrincipalInstance

principal(ExternalPrincipal) - Method in interface jif.types.PrincipalInstance

principal() - Method in class jif.types.PrincipalInstance_c

principal(ExternalPrincipal) - Method in class jif.types.PrincipalInstance_c

principalInstance(Position, ExternalPrincipal) - Method in interface jif.types.JifTypeSystem

Constructs a principal instance for an external principal.

principalInstance(Position, ExternalPrincipal) - Method in class jif.types.JifTypeSystem_c

principalParam(Position, UID) - Method in interface jif.types.JifTypeSystem

principalParam(Position, UID) - Method in class jif.types.JifTypeSystem_c

principalToJava(Principal) - Method in class jif.translate.JifToJavaRewriter

principalToParam(PrincipalInstance, AmbiguityRemover) - Method in class jif.ast.AmbParam_c

Turns a PrincipalInstance object into a principal node.

principalToPrincipal(PrincipalInstance, AmbiguityRemover) - Method in class jif.ast.AmbPrincipalNode_c

principals() - Method in interface jif.ast.AuthConstraintNode

Gets the list of principal who grants their authorities.

principals(List) - Method in interface jif.ast.AuthConstraintNode

Returns a copy of this node with the principal list updated.

principals - Variable in class jif.ast.AuthConstraintNode_c

principals() - Method in class jif.ast.AuthConstraintNode_c

principals(List) - Method in class jif.ast.AuthConstraintNode_c

principals() - Method in interface jif.ast.CallerConstraintNode

Gets the list of principals who need to grant their authorities to the caller.

principals(List) - Method in interface jif.ast.CallerConstraintNode

Returns a copy of this node with the principal list updated.

principals - Variable in class jif.ast.CallerConstraintNode_c

principals() - Method in class jif.ast.CallerConstraintNode_c

principals(List) - Method in class jif.ast.CallerConstraintNode_c

principals() - Method in interface jif.types.AuthConstraint

principals(List) - Method in interface jif.types.AuthConstraint

principals - Variable in class jif.types.AuthConstraint_c

principals(List) - Method in class jif.types.AuthConstraint_c

principals() - Method in class jif.types.AuthConstraint_c

principals() - Method in interface jif.types.CallerConstraint

principals(List) - Method in interface jif.types.CallerConstraint

principals - Variable in class jif.types.CallerConstraint_c

principals(List) - Method in class jif.types.CallerConstraint_c

principals() - Method in class jif.types.CallerConstraint_c

print() - Method in class jif.types.VarMap

production_table() - Method in class jif.parse.Grm

Access to production table.

put(UID, Param) - Method in interface jif.types.JifSubst

put(UID, Param) - Method in class jif.types.JifSubst_c

Q

QUESTION - Static variable in class jif.parse.sym

qq() - Method in class jif.translate.JifToJavaRewriter

R

R - Static variable in interface jif.types.Path

R() - Method in class jif.types.PathMap

R(Label) - Method in class jif.types.PathMap

RBRACE - Static variable in class jif.parse.sym

RBRACK - Static variable in class jif.parse.sym

RESOLVE_FIELDS - Static variable in class jif.ExtensionInfo

RETURN - Static variable in class jif.parse.sym

REWRITE - Static variable in class jif.ExtensionInfo

RPAREN - Static variable in class jif.parse.sym

RSHIFT - Static variable in class jif.parse.sym

RSHIFTEQ - Static variable in class jif.parse.sym

RV - Static variable in interface jif.types.Path

RV() - Method in class jif.types.PathMap

RV(Label) - Method in class jif.types.PathMap

ReturnToJavaExt_c - class jif.translate.ReturnToJavaExt_c.

ReturnToJavaExt_c() - Constructor for class jif.translate.ReturnToJavaExt_c

RuntimeLabel - interface jif.types.RuntimeLabel.

This component represents the join of all runtime components.

RuntimeLabel_c - class jif.types.RuntimeLabel_c.

An implementation of the RuntimeLabel interface.

RuntimeLabel_c() - Constructor for class jif.types.RuntimeLabel_c

RuntimeLabel_c(JifTypeSystem, Position) - Constructor for class jif.types.RuntimeLabel_c

readers() - Method in interface jif.ast.PolicyLabelNode

readers(List) - Method in interface jif.ast.PolicyLabelNode

readers - Variable in class jif.ast.PolicyLabelNode_c

readers() - Method in class jif.ast.PolicyLabelNode_c

readers(List) - Method in class jif.ast.PolicyLabelNode_c

readers() - Method in interface jif.types.PolicyLabel

readers(Collection) - Method in interface jif.types.PolicyLabel

readers(Collection) - Method in class jif.types.PolicyLabel_c

readers() - Method in class jif.types.PolicyLabel_c

reconstruct(PrincipalNode, PrincipalNode) - Method in class jif.ast.ActsForConstraintNode_c

Reconstructs this node.

reconstruct(PrincipalNode, PrincipalNode, Stmt, Stmt) - Method in class jif.ast.ActsFor_c

Reconstructs the node.

reconstruct(TypeNode, List) - Method in class jif.ast.AmbNewArray_c

Reconstructs the node.

reconstruct(Receiver) - Method in class jif.ast.AmbParamTypeOrAccess_c

reconstruct(List) - Method in class jif.ast.AuthConstraintNode_c

reconstruct(List) - Method in class jif.ast.CallerConstraintNode_c

reconstruct(Expr, LabelNode, LabelNode) - Method in class jif.ast.DeclassifyExpr_c

reconstruct(LabelNode, LabelNode, Stmt) - Method in class jif.ast.DeclassifyStmt_c

reconstruct(TypeNode, List) - Method in class jif.ast.InstTypeNode_c

reconstruct(List, TypeNode, List, List, ClassBody) - Method in class jif.ast.JifClassDecl_c

reconstruct(LabelNode, LabelNode, List, List, List, Block) - Method in class jif.ast.JifConstructorDecl_c

reconstruct(TypeNode, LabelNode, List, LabelNode, List, List, Block) - Method in class jif.ast.JifMethodDecl_c

reconstruct(List) - Method in class jif.ast.JoinLabelNode_c

reconstruct(Formal, LabelNode, Stmt) - Method in class jif.ast.LabelCase_c

reconstruct(TypeNode, LabelNode) - Method in class jif.ast.LabeledTypeNode_c

reconstruct(LabelNode) - Method in class jif.ast.NewLabel_c

reconstruct(PrincipalNode, List) - Method in class jif.ast.PolicyLabelNode_c

reconstruct(Expr, List) - Method in class jif.ast.SwitchLabel_c

recurseIntoLabelOf() - Method in class jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker

We do not want to check the labelOf components of fields.

recurseIntoLabelOf() - Method in class jif.types.LabelSubstitution

Shoudl dynamic labels and principals recurse into labelOf components?

reduce_table() - Method in class jif.parse.Grm

Access to reduce_goto table.

refineVariableEquation(VarLabel, Equation) - Method in class jif.types.SolverGLB

Lower the upper bound on the label variable v, which is a component of the RHS of the equation eqn.

refineVariableEquation(VarLabel, Equation, PrincipalHierarchy) - Method in class jif.types.SolverLUB

Lower the upper bound on the label variable v, which is the LHS of the equation eqn.

refine_LoV(Equation) - Method in class jif.types.SolverLUB

Make the constraint eqn, of the form label(V) <= L satisfied, by lowering the upperbound of label(V).

report() - Method in class jif.types.LabelConstraint

report(int, String) - Static method in class jif.types.Solver

Convenience method to report messages for the appropriate topics

reportError(LabelConstraint, Collection) - Method in class jif.types.Solver

Throws a SemanticException with the appropriate error message.

reportTraces(Collection) - Method in class jif.types.Solver

Report the traces for each variables in the collection Variables

resolve(TypeSystem) - Method in class jif.types.JifPlaceHolder_c

returnLabel(LabelNode) - Method in interface jif.ast.JifConstructorDecl

returnLabel - Variable in class jif.ast.JifConstructorDecl_c

returnLabel() - Method in class jif.ast.JifConstructorDecl_c

returnLabel(LabelNode) - Method in class jif.ast.JifConstructorDecl_c

returnLabel(LabelNode) - Method in interface jif.ast.JifMethodDecl

returnLabel - Variable in class jif.ast.JifMethodDecl_c

returnLabel() - Method in class jif.ast.JifMethodDecl_c

returnLabel(LabelNode) - Method in class jif.ast.JifMethodDecl_c

returnLabel() - Method in interface jif.ast.JifProcedureDecl

returnLabel(Label, boolean) - Method in interface jif.types.JifConstructorInstance

returnLabel - Variable in class jif.types.JifConstructorInstance_c

returnLabel() - Method in class jif.types.JifConstructorInstance_c

returnLabel(Label, boolean) - Method in class jif.types.JifConstructorInstance_c

returnLabel(Label, boolean) - Method in interface jif.types.JifMethodInstance

returnLabel - Variable in class jif.types.JifMethodInstance_c

returnLabel() - Method in class jif.types.JifMethodInstance_c

returnLabel(Label, boolean) - Method in class jif.types.JifMethodInstance_c

returnLabel() - Method in interface jif.types.JifProcedureInstance

returnType() - Method in class jif.extension.CallHelper

returnType(Type) - Method in class jif.types.JifMethodInstance_c

returnValueLabel() - Method in interface jif.types.JifMethodInstance

returnValueLabel() - Method in class jif.types.JifMethodInstance_c

rewriteExpr(Expr) - Method in class jif.visit.LabelSubstitutionVisitor

rewriteLabel(Label) - Method in class jif.visit.LabelSubstitutionVisitor

rewritePrincipal(Principal) - Method in class jif.visit.LabelSubstitutionVisitor

rewriteType(Type) - Method in class jif.visit.LabelSubstitutionVisitor

rewriteTypeNode(TypeNode) - Method in class jif.visit.LabelSubstitutionVisitor

Replace the args in the label of type nodes.

rhs() - Method in class jif.types.Equation

rhs() - Method in class jif.types.LabelConstraint

rhs() - Method in interface jif.types.LabelLeAssertion

rhs() - Method in class jif.types.LabelLeAssertion_c

rtLabelSubst - Variable in class jif.types.Solver

An instance of RuntimeLabelSubstitution, to be used by fixAllRuntime(Label).

run() - Method in class jif.visit.LabelCheckPass

runToCompletion() - Method in class jif.ExtensionInfo

runtimeLabel(JifTypeSystem, Expr) - Static method in class jif.ast.JifUtil

Generates a dynamic label from expr.

runtimeLabel(Position) - Method in interface jif.types.JifTypeSystem

runtimeLabel() - Method in interface jif.types.JifTypeSystem

runtimeLabel(Position) - Method in class jif.types.JifTypeSystem_c

runtimeLabel() - Method in class jif.types.JifTypeSystem_c

runtimePrincipal(JifTypeSystem, Expr) - Static method in class jif.ast.JifUtil

Generates a dynamic principal from expr.

S

SEMICOLON - Static variable in class jif.parse.sym

SHORT - Static variable in class jif.parse.sym

STATIC - Static variable in class jif.parse.sym

STATUS_NOT_SOLVED - Static variable in class jif.types.Solver

STATUS_NO_SOLUTION - Static variable in class jif.types.Solver

STATUS_SOLVED - Static variable in class jif.types.Solver

STATUS_SOLVING - Static variable in class jif.types.Solver

STRICTFP - Static variable in class jif.parse.sym

STRING - Static variable in class jif.parse.Lexer_c

lexical states

STRING_LITERAL - Static variable in class jif.parse.sym

SUPER - Static variable in class jif.parse.sym

SWITCH - Static variable in class jif.parse.sym

SYNCHRONIZED - Static variable in class jif.parse.sym

Solver - class jif.types.Solver.

A solver of Jif constraints.

Solver(JifTypeSystem) - Constructor for class jif.types.Solver

Constructor

Solver(Solver) - Constructor for class jif.types.Solver

Constructor

Solver.RuntimeLabelSubstitution - class jif.types.Solver.RuntimeLabelSubstitution.

This class is a LabelSubstitution to replace all RuntimeLabels with maxDynamicLabel

Solver.RuntimeLabelSubstitution() - Constructor for class jif.types.Solver.RuntimeLabelSubstitution

SolverGLB - class jif.types.SolverGLB.

A solver of Jif constraints.

SolverGLB(JifTypeSystem) - Constructor for class jif.types.SolverGLB

Constructor

SolverGLB(SolverGLB) - Constructor for class jif.types.SolverGLB

Constructor

SolverLUB - class jif.types.SolverLUB.

A solver of Jif constraints.

SolverLUB(JifTypeSystem) - Constructor for class jif.types.SolverLUB

Constructor

SolverLUB(SolverLUB) - Constructor for class jif.types.SolverLUB

Constructor

SourceFileToJavaExt_c - class jif.translate.SourceFileToJavaExt_c.

SourceFileToJavaExt_c() - Constructor for class jif.translate.SourceFileToJavaExt_c

Special(Position, Special.Kind, TypeNode) - Method in class jif.ast.JifNodeFactory_c

SubtypeChecker - class jif.extension.SubtypeChecker.

A checker of subtype relationships.

SubtypeChecker() - Constructor for class jif.extension.SubtypeChecker

SwitchLabel(Position, Expr, List) - Method in interface jif.ast.JifNodeFactory

SwitchLabel(Position, Expr, List) - Method in class jif.ast.JifNodeFactory_c

SwitchLabel - interface jif.ast.SwitchLabel.

An immutable representation of the Jif swicth label statement.

SwitchLabelToJavaExt_c - class jif.translate.SwitchLabelToJavaExt_c.

SwitchLabelToJavaExt_c() - Constructor for class jif.translate.SwitchLabelToJavaExt_c

SwitchLabel_c - class jif.ast.SwitchLabel_c.

An implementation of the SwitchLabel interface.

SwitchLabel_c(Position, Expr, List) - Constructor for class jif.ast.SwitchLabel_c

scan() - Method in class jif.parse.Grm

Scan to get the next Symbol.

set(Path, Label) - Method in class jif.types.PathMap

setArgLabelBound(int, Label) - Method in class jif.types.JifConstructorInstance_c

setArgLabelBound(int, Label) - Method in class jif.types.JifMethodInstance_c

setArgLabelBound(int, Label) - Method in interface jif.types.JifProcedureInstance

setArrayIsNeverNull() - Method in class jif.extension.JifArrayAccessDel

setAuthority(Set) - Method in interface jif.types.JifContext

setAuthority(Set) - Method in class jif.types.JifContext_c

setBound(VarLabel, Label, LabelConstraint) - Method in class jif.types.Solver

setBound(VarLabel, Label) - Method in class jif.types.VarMap

setBound(DynamicLabel, Label) - Method in class jif.types.VarMap

setBounds(VarMap) - Method in class jif.types.Solver

Set the bounds for this Solver.

setCheckingInits(boolean) - Method in interface jif.types.JifContext

Set whether we are currently checking the initializers within a constructor.

setCheckingInits(boolean) - Method in class jif.types.JifContext_c

setConstructorReturnLabel(Label) - Method in interface jif.types.JifContext

setConstructorReturnLabel(Label) - Method in class jif.types.JifContext_c

setDefaultBound(Label) - Method in class jif.types.VarMap

setDefaultValues() - Method in class jif.JifOptions

Set default values for options

setEntryPC(Label) - Method in interface jif.types.JifContext

setEntryPC(Label) - Method in class jif.types.JifContext_c

setHasInitializer(boolean) - Method in interface jif.types.JifFieldInstance

setHasInitializer(boolean) - Method in class jif.types.JifFieldInstance_c

setInstantiatedFrom(PClass) - Method in interface jif.types.JifParsedPolyType

setInstantiatedFrom(PClass) - Method in class jif.types.JifParsedPolyType_c

setInvariantThis(Label) - Method in interface jif.types.JifClassType

setInvariantThis(Label) - Method in class jif.types.JifParsedPolyType_c

setInvariantThis(Label) - Method in class jif.types.JifSubstClassType_c

setLabel(Label) - Method in class jif.types.JifFieldInstance_c

setLabel(Label) - Method in class jif.types.JifLocalInstance_c

setLabel(Label) - Method in interface jif.types.JifVarInstance

setNoOutOfBoundsExcThrown() - Method in class jif.extension.JifArrayAccessDel

setPc(Label) - Method in interface jif.types.JifContext

setPc(Label) - Method in class jif.types.JifContext_c

setProcedureFormals(List) - Method in class jif.visit.JifAmbiguityRemover

setReturnLabel(Label) - Method in class jif.types.JifConstructorInstance_c

setReturnLabel(Label) - Method in class jif.types.JifMethodInstance_c

setReturnLabel(Label) - Method in interface jif.types.JifProcedureInstance

setReturnType(Type) - Method in interface jif.types.JifMethodInstance

setReturnType(Type) - Method in class jif.types.JifMethodInstance_c

setSolver(Solver) - Method in interface jif.types.LabelEnv

Set the solver used for this Label Environment.

setStartLabel(Label) - Method in class jif.types.JifConstructorInstance_c

setStartLabel(Label) - Method in class jif.types.JifMethodInstance_c

setStartLabel(Label) - Method in interface jif.types.JifProcedureInstance

setTargetIsNeverNull() - Method in class jif.extension.JifCallDel

setTargetIsNeverNull() - Method in class jif.extension.JifFieldDel

setThrownIsNeverNull() - Method in class jif.extension.JifThrowDel

setType(Type) - Method in class jif.types.ParamInstance_c

setType(Type) - Method in class jif.types.PrincipalInstance_c

shouldReport(int) - Static method in class jif.types.Solver

Convenience method to determine if messages of the given obscurity should be reported.

signature() - Method in class jif.types.JifConstructorInstance_c

signature() - Method in class jif.types.JifMethodInstance_c

simplify() - Method in class jif.types.JoinLabel_c

simplify() - Method in interface jif.types.Label

Returns a simplified copy of this Label.

simplify() - Method in class jif.types.Label_c

simplify() - Method in class jif.types.MeetLabel_c

singletonComponent() - Method in interface jif.types.Label

Retrieve the singleton component that this label represents.

singletonComponent() - Method in class jif.types.Label_c

Return the single component.

singletonComponent() - Method in class jif.types.NotTaken_c

solve() - Method in class jif.types.Solver

Solve the system of constraints.

solve_bounds() - Method in class jif.types.Solver

Solve the system of constraints, by finding upper bounds for the label variables.

solve_eqn(Equation) - Method in class jif.types.Solver

This method changes the bounds of variables in the Equation eqn, to make the equation satisfied.

solve_eqn(Equation) - Method in class jif.types.SolverGLB

This method changes the bounds of variables in the RHS of Equation eqn, to make the equation satisfied.

solve_eqn(Equation) - Method in class jif.types.SolverLUB

This method changes the bounds of variables in the LHS of Equation eqn, to make the equation satisfied.

solver - Static variable in class jif.Topics

solver() - Method in interface jif.types.JifTypeSystem

Returns a new label constraint system solver.

solver() - Method in class jif.types.JifTypeSystem_c

solver - Variable in class jif.visit.JifLabelSubst

solver() - Method in class jif.visit.LabelChecker

solverMeet(JifTypeSystem, Label, Label, PrincipalHierarchy) - Static method in class jif.types.Solver

startLabel(LabelNode) - Method in interface jif.ast.JifConstructorDecl

startLabel - Variable in class jif.ast.JifConstructorDecl_c

startLabel() - Method in class jif.ast.JifConstructorDecl_c

startLabel(LabelNode) - Method in class jif.ast.JifConstructorDecl_c

startLabel(LabelNode) - Method in interface jif.ast.JifMethodDecl

startLabel - Variable in class jif.ast.JifMethodDecl_c

startLabel() - Method in class jif.ast.JifMethodDecl_c

startLabel(LabelNode) - Method in class jif.ast.JifMethodDecl_c

startLabel() - Method in interface jif.ast.JifProcedureDecl

startLabel(Label, boolean) - Method in interface jif.types.JifConstructorInstance

startLabel - Variable in class jif.types.JifConstructorInstance_c

startLabel() - Method in class jif.types.JifConstructorInstance_c

startLabel(Label, boolean) - Method in class jif.types.JifConstructorInstance_c

startLabel(Label, boolean) - Method in interface jif.types.JifMethodInstance

startLabel - Variable in class jif.types.JifMethodInstance_c

startLabel() - Method in class jif.types.JifMethodInstance_c

startLabel(Label, boolean) - Method in class jif.types.JifMethodInstance_c

startLabel() - Method in interface jif.types.JifProcedureInstance

start_production() - Method in class jif.parse.Grm

Indicates start production.

start_state() - Method in class jif.parse.Grm

Indicates start state.

staticMainToJava(JifToJavaRewriter, MethodDecl) - Method in class jif.translate.MethodDeclToJavaExt_c

Rewrite static main(principal p, String[] args) {...} to static main(String[] args) {Principal p = Runtime.getUser(); {...} };

stmtDel() - Method in interface jif.extension.JifStmtExt

stmtDel(JifStmtExt) - Method in interface jif.extension.JifStmtExt

stmtDel - Variable in class jif.extension.JifStmtExt_c

stmtDel() - Method in class jif.extension.JifStmtExt_c

stmtDel(JifStmtExt) - Method in class jif.extension.JifStmtExt_c

stop_constraint - Static variable in class jif.types.Solver

Constraint number at which to stop the compiler, for debugging purposes.

strip(Type) - Method in class jif.types.JifTypeSystem_c

subLabel(Label, UID) - Method in class jif.types.JifSubst_c

Return the substitution of uid, or label if not found.

subPrincipal(Principal, UID) - Method in class jif.types.JifSubst_c

Return the substitution of uid, or principal if not found.

subst(UID, Label) - Method in class jif.types.ArgPrincipal_c

subst(UID, Label) - Method in class jif.types.CovariantLabel_c

subst(UID, Label) - Method in class jif.types.DynamicLabel_c

subst(LabelSubstitution) - Method in class jif.types.DynamicLabel_c

subst(LabelSubstitution) - Method in class jif.types.DynamicPrincipal_c

subst(UID, Label) - Method in class jif.types.DynamicPrincipal_c

subst(UID, Label) - Method in class jif.types.DynrecLabel_c

subst(LabelSubstitution) - Method in class jif.types.Equation

Replace the lhs and rhs with the result of lhs.subst(subst) and rhs.subst(subst) respectively.

subst(UID, Label) - Method in class jif.types.ExternalPrincipal_c

subst(VarMap) - Method in class jif.types.JifConstructorInstance_c

subst(VarMap) - Method in class jif.types.JifMethodInstance_c

subst(VarMap) - Method in interface jif.types.JifProcedureInstance

subst(Map, Map) - Method in class jif.types.JifTypeSystem_c

subst(LabelSubstitution) - Method in class jif.types.JoinLabel_c

subst(UID, Label) - Method in class jif.types.JoinLabel_c

subst(LabelSubstitution) - Method in interface jif.types.Label

Accepts a LabelSubstitution and returns the result of substituting according to the given LabelSubstitution.

subst(UID, Label) - Method in interface jif.types.Label

Substitutes any occurences of for L.

subst(UID, Label) - Method in class jif.types.LabelOfVar_c

subst(LabelSubstitution) - Method in class jif.types.Label_c

subst(UID, Label) - Method in class jif.types.Label_c

subst(LabelSubstitution) - Method in class jif.types.MeetLabel_c

subst(UID, Label) - Method in class jif.types.MeetLabel_c

subst(UID, Label) - Method in class jif.types.NotTaken_c

subst(UID, Label) - Method in class jif.types.ParamLabel_c

subst(UID, Label) - Method in class jif.types.ParamPrincipal_c

subst(VarMap) - Method in class jif.types.PathMap

subst(LabelSubstitution) - Method in class jif.types.PolicyLabel_c

subst(UID, Label) - Method in class jif.types.PolicyLabel_c

subst(UID, Label) - Method in interface jif.types.Principal

Substitutes any occurences of for L.

subst(LabelSubstitution) - Method in interface jif.types.Principal

Accepts a LabelSubstitution and returns the result of substituting according to the given LabelSubstitution.

subst(LabelSubstitution) - Method in class jif.types.Principal_c

subst(UID, Label) - Method in class jif.types.Principal_c

subst(UID, Label) - Method in class jif.types.RuntimeLabel_c

subst(UID, Label) - Method in class jif.types.TopLabel_c

subst(UID, Label) - Method in class jif.types.UnknownLabel_c

subst(UID, Label) - Method in class jif.types.UnknownPrincipal_c

subst(LabelSubstitution) - Method in class jif.types.UnknownPrincipal_c

subst(UID, Label) - Method in class jif.types.VarLabel_c

substClassType(ClassType) - Method in class jif.types.JifSubst_c

substConstraint(Assertion) - Method in interface jif.types.JifSubst

substConstraint(Assertion) - Method in class jif.types.JifSubst_c

substConstraintList(List) - Method in interface jif.types.JifSubst

substConstraintList(List) - Method in class jif.types.JifSubst_c

substConstructor(ConstructorInstance) - Method in class jif.types.JifSubst_c

substField(FieldInstance) - Method in class jif.types.JifSubst_c

Perform substititions on a field.

substLabel(Label) - Method in class jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker

substLabel(Label) - Method in class jif.extension.JifFieldDeclExt_c.StaticFieldLabelChecker

substLabel(Label) - Method in class jif.extension.JifTypeNodeDel.StaticLabelChecker

substLabel(Label) - Method in class jif.types.ArgLabelSubstitution

substLabel(Label) - Method in interface jif.types.JifSubst

substLabel(Label) - Method in class jif.types.JifSubst_c.SubstLabelSubst

substLabel(Label) - Method in class jif.types.JifSubst_c

substLabel(Label) - Method in class jif.types.LabelSubstitution

substLabel(Label) - Method in class jif.types.Solver.RuntimeLabelSubstitution

substLabelList(List) - Method in interface jif.types.JifSubst

substLabelList(List) - Method in class jif.types.JifSubst_c

substLabelSubst - Variable in class jif.types.JifSubst_c

An instance of the nested class SubstLabelSubst, to be used by substLabel(Label) and substPrincipal(Principal).

substMethod(MethodInstance) - Method in class jif.types.JifSubst_c

substPrincipal(Principal) - Method in class jif.extension.JifFieldDeclExt_c.StaticFieldLabelChecker

substPrincipal(Principal) - Method in class jif.types.ArgLabelSubstitution

substPrincipal(Principal) - Method in interface jif.types.JifSubst

substPrincipal(Principal) - Method in class jif.types.JifSubst_c.SubstLabelSubst

substPrincipal(Principal) - Method in class jif.types.JifSubst_c

substPrincipal(Principal) - Method in class jif.types.LabelSubstitution

substPrincipalList(List) - Method in interface jif.types.JifSubst

substPrincipalList(List) - Method in class jif.types.JifSubst_c

subtypeChecker - Variable in class jif.extension.JifCallExt

subtypeChecker - Variable in class jif.extension.JifConstructorCallExt

subtypeChecker - Variable in class jif.extension.JifNewExt

sym - class jif.parse.sym.

CUP generated class containing symbol constants.

sym() - Constructor for class jif.parse.sym

T

THIS - Static variable in class jif.parse.sym

THROW - Static variable in class jif.parse.sym

THROWS - Static variable in class jif.parse.sym

TRANSIENT - Static variable in class jif.parse.sym

TRY - Static variable in class jif.parse.sym

ToJavaExt - interface jif.translate.ToJavaExt.

ToJavaExt_c - class jif.translate.ToJavaExt_c.

ToJavaExt_c() - Constructor for class jif.translate.ToJavaExt_c

TopLabel - interface jif.types.TopLabel.

The class JifTopLabel is the label at the top of the label lattice.

TopLabel_c - class jif.types.TopLabel_c.

An implementation of the TopLabel interface.

TopLabel_c() - Constructor for class jif.types.TopLabel_c

TopLabel_c(JifTypeSystem, Position) - Constructor for class jif.types.TopLabel_c

Topics - class jif.Topics.

Extension information for jif extension.

Topics() - Constructor for class jif.Topics

targetIsNeverNull() - Method in class jif.extension.JifCallDel

targetIsNeverNull() - Method in class jif.extension.JifFieldDel

targetType(JifTypeSystem, JifContext, Expr) - Method in class jif.extension.JifFieldDel

targetType(JifTypeSystem, JifContext, Receiver, Field) - Static method in class jif.extension.JifFieldExt

technicalMsg() - Method in class jif.types.LabelConstraint

A technical message to display if this constraint is violated.

thisLabel() - Method in interface jif.types.JifClassType

thisLabel(Label) - Method in interface jif.types.JifParsedPolyType

thisLabel() - Method in class jif.types.JifParsedPolyType_c

thisLabel(Label) - Method in class jif.types.JifParsedPolyType_c

thisLabel() - Method in class jif.types.JifSubstClassType_c

throwTypes(TypeSystem) - Method in class jif.extension.JifArrayAccessAssignDel

List of Types of exceptions that might get thrown.

throwTypes(TypeSystem) - Method in class jif.extension.JifArrayAccessDel

List of Types of exceptions that might get thrown.

throwTypes(TypeSystem) - Method in class jif.extension.JifCallDel

List of Types of exceptions that might get thrown.

throwTypes(TypeSystem) - Method in class jif.extension.JifFieldAssignDel

This differs from the method defined in Field_c in that it does not throw a null pointer exception if the receiver is guaranteed to be non-null

throwTypes(TypeSystem) - Method in class jif.extension.JifFieldDel

List of Types of exceptions that might get thrown.

throwTypes(TypeSystem) - Method in class jif.extension.JifThrowDel

List of Types of exceptions that might get thrown.

toArray() - Method in class jif.types.LabeledType_c

toClass() - Method in class jif.types.LabeledType_c

toClassType() - Method in class jif.parse.Amb

toClassType() - Method in class jif.parse.Inst

toClassType() - Method in class jif.parse.Name

toExpr() - Method in class jif.parse.Access

toExpr() - Method in class jif.parse.Amb

toExpr() - Method in class jif.parse.InstOrAccess

toExpr() - Method in class jif.parse.Name

toIdentifier() - Method in class jif.parse.Amb

toIdentifier() - Method in class jif.parse.Name

toJava() - Method in interface jif.ast.Jif

toJava(ToJavaExt) - Method in interface jif.ast.Jif

toJava - Variable in class jif.ast.Jif_c

toJava() - Method in class jif.ast.Jif_c

toJava(ToJavaExt) - Method in class jif.ast.Jif_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ActsForToJavaExt_c

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.CannotLabelToJavaExpr_c

toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.CannotPrincipalToJavaExpr_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CannotToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CanonicalLabelNodeToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CanonicalPrincipalNodeToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CanonicalTypeNodeToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CaseToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ClassBodyToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ClassDeclToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ConstructorCallToJavaExt_c

Rewrite this(a) to this.C$(a); Rewrite super(a) to super.C$(a)

toJava(JifToJavaRewriter) - Method in class jif.translate.ConstructorDeclToJavaExt_c

Rewrite constructor C(a) to method C C$(a)

toJava(JifToJavaRewriter) - Method in class jif.translate.DeclassifyExprToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.DeclassifyStmtToJavaExt_c

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.DynamicLabelToJavaExpr_c

toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.DynamicPrincipalToJavaExpr_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ExprToJavaExt_c

toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.ExternalPrincipalToJavaExpr_c

toJava(JifToJavaRewriter) - Method in class jif.translate.FieldDeclToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.FormalToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.InitializerToJavaExt_c

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.JoinLabelToJavaExpr_c

toJava(Label, JifToJavaRewriter) - Method in interface jif.translate.LabelToJavaExpr

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.LabelToJavaExpr_c

toJava(JifToJavaRewriter) - Method in class jif.translate.LocalDeclToJavaExt_c

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.MeetLabelToJavaExpr_c

toJava(JifToJavaRewriter) - Method in class jif.translate.MethodDeclToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.NewLabelToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.PackageNodeToJavaExt_c

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.PolicyLabelToJavaExpr_c

toJava(Principal, JifToJavaRewriter) - Method in interface jif.translate.PrincipalToJavaExpr

toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.PrincipalToJavaExpr_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ReturnToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.SourceFileToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.SwitchLabelToJavaExt_c

toJava(JifToJavaRewriter) - Method in interface jif.translate.ToJavaExt

toJava(JifToJavaRewriter) - Method in class jif.translate.ToJavaExt_c

toJava(JifToJavaRewriter) - Method in interface jif.types.Label

toJava(JifToJavaRewriter) - Method in class jif.types.Label_c

toJava(JifToJavaRewriter) - Method in interface jif.types.Principal

toJava(JifToJavaRewriter) - Method in class jif.types.Principal_c

toJava(JifToJavaRewriter) - Method in class jif.types.UnknownPrincipal_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ActsForToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ClassDeclToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ConstructorDeclToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.DeclassifyExprToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.DeclassifyStmtToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.MethodDeclToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.NewLabelToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.SwitchLabelToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in interface jif.translate.ToJavaExt

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ToJavaExt_c

toName() - Method in class jif.parse.Amb

toName() - Method in class jif.parse.Name

toNewArray(Position) - Method in class jif.parse.Access

toNewArray(Position) - Method in class jif.parse.Amb

toNewArray(Position) - Method in class jif.parse.InstOrAccess

toNewArrayPrefix(Position) - Method in class jif.parse.Access

toNewArrayPrefix(Position) - Method in class jif.parse.Amb

toNewArrayPrefix(Position) - Method in class jif.parse.InstOrAccess

toNull() - Method in class jif.types.LabeledType_c

toPackage() - Method in class jif.parse.Amb

toPackage() - Method in class jif.parse.Name

toParamList(List) - Method in class jif.parse.Grm

toPrefix() - Method in class jif.parse.Access

toPrefix() - Method in class jif.parse.Amb

toPrefix() - Method in class jif.parse.Inst

toPrefix() - Method in class jif.parse.InstOrAccess

toPrefix() - Method in class jif.parse.Name

toPrimitive() - Method in class jif.types.LabeledType_c

toReceiver() - Method in class jif.parse.Access

toReceiver() - Method in class jif.parse.Amb

toReceiver() - Method in class jif.parse.Array

toReceiver() - Method in class jif.parse.Inst

toReceiver() - Method in class jif.parse.InstOrAccess

toReceiver() - Method in class jif.parse.Name

toReference() - Method in class jif.types.LabeledType_c

toString() - Method in class jif.ast.ActsFor_c

toString() - Method in class jif.ast.AmbDynamicLabelNode_c

toString() - Method in class jif.ast.AmbNewArray_c

toString() - Method in class jif.ast.AmbParamTypeOrAccess_c

toString() - Method in class jif.ast.AmbParam_c

toString() - Method in class jif.ast.AmbPrincipalNode_c

toString() - Method in class jif.ast.AmbThisLabelNode_c

toString() - Method in class jif.ast.AmbVarLabelNode_c

toString() - Method in class jif.ast.ConstraintNode_c

toString() - Method in class jif.ast.DeclassifyExpr_c

toString() - Method in class jif.ast.DeclassifyStmt_c

toString() - Method in class jif.ast.InstTypeNode_c

toString() - Method in class jif.ast.LabelCase_c

toString() - Method in class jif.ast.LabelNode_c

toString() - Method in class jif.ast.LabeledTypeNode_c

toString() - Method in class jif.ast.NewLabel_c

toString() - Method in class jif.ast.ParamDecl_c

toString() - Method in class jif.ast.PrincipalNode_c

toString() - Method in class jif.ast.SwitchLabel_c

toString() - Method in class jif.parse.Name

toString() - Method in class jif.types.ActsForConstraint_c

toString() - Method in class jif.types.ArgPrincipal_c

toString() - Method in class jif.types.AuthConstraint_c

toString() - Method in class jif.types.CallerConstraint_c

toString() - Method in class jif.types.DynamicPrincipal_c

toString() - Method in class jif.types.Equation

toString() - Method in class jif.types.ExceptionPath_c

toString() - Method in class jif.types.ExternalPrincipal_c

toString() - Method in class jif.types.GotoPath_c

toString() - Method in class jif.types.Graph

toString() - Method in class jif.types.JifMethodInstance_c

toString() - Method in class jif.types.JifMuPClass_c

toString() - Method in class jif.types.JifParsedPolyType_c

toString() - Method in class jif.types.JifPlaceHolder_c

toString() - Method in class jif.types.JifSubstClassType_c

toString() - Method in class jif.types.LabelConstraint

toString() - Method in class jif.types.Label_c

toString() - Method in class jif.types.LabeledType_c

toString() - Method in class jif.types.MeetLabel_c

toString() - Method in class jif.types.NamedLabel

toString() - Method in class jif.types.NotTaken_c

toString() - Method in class jif.types.ParamInstance_c

toString() - Method in class jif.types.ParamPrincipal_c

toString() - Method in class jif.types.PathMap

toString() - Method in class jif.types.PrincipalHierarchy

toString() - Method in class jif.types.PrincipalInstance_c

toString() - Method in class jif.types.RuntimeLabel_c

toString() - Method in class jif.types.TopLabel_c

toString() - Method in class jif.types.UID

toString() - Method in class jif.types.UnknownLabel_c

toString() - Method in class jif.types.UnknownParam_c

toString() - Method in class jif.types.UnknownPrincipal_c

toStringSetNodes() - Method in class jif.types.Graph

toType() - Method in class jif.parse.Amb

toType() - Method in class jif.parse.Array

toType() - Method in class jif.parse.Inst

toType() - Method in class jif.parse.InstOrAccess

toType() - Method in class jif.parse.LabeledExpr

toType() - Method in class jif.parse.Name

toUnlabeledType() - Method in class jif.parse.Amb

toUnlabeledType() - Method in class jif.parse.Array

toUnlabeledType() - Method in class jif.parse.Inst

toUnlabeledType() - Method in class jif.parse.InstOrAccess

toUnlabeledType() - Method in class jif.parse.Name

topLabel(Position) - Method in interface jif.types.JifTypeSystem

topLabel() - Method in interface jif.types.JifTypeSystem

topLabel(Position) - Method in class jif.types.JifTypeSystem_c

topLabel() - Method in class jif.types.JifTypeSystem_c

topics - Static variable in class jif.ExtensionInfo

topoSort() - Method in class jif.types.Graph

transform(Object) - Method in class jif.types.JifSubst_c.ConstraintXform

transform(Object) - Method in class jif.types.JifSubst_c.LabelXform

transform(Object) - Method in class jif.types.JifSubst_c.PrincipalXform

translate(CodeWriter, Translator) - Method in class jif.ast.ActsForConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.ActsFor_c

translate(CodeWriter, Translator) - Method in class jif.ast.AuthConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.CallerConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.CanonicalConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.CanonicalLabelNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.CanonicalPrincipalNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.DeclassifyExpr_c

translate(CodeWriter, Translator) - Method in class jif.ast.DeclassifyStmt_c

translate(CodeWriter, Translator) - Method in class jif.ast.InstTypeNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.JifClassDecl_c

translate(CodeWriter, Translator) - Method in class jif.ast.LabelCase_c

translate(CodeWriter, Translator) - Method in class jif.ast.LabeledTypeNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.NewLabel_c

translate(CodeWriter, Translator) - Method in class jif.ast.ParamDecl_c

translate(CodeWriter, Translator) - Method in class jif.ast.SwitchLabel_c

translate(CodeWriter, Translator) - Method in class jif.extension.JifJL_c

translate(Resolver, CodeWriter) - Method in class jif.types.ArgLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.CovariantLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.DynamicLabel_c

translate(Resolver) - Method in class jif.types.DynamicPrincipal_c

translate(Resolver, CodeWriter) - Method in class jif.types.DynrecLabel_c

translate(Resolver) - Method in class jif.types.ExternalPrincipal_c

translate(Resolver, CodeWriter) - Method in class jif.types.JoinLabel_c

translate(Resolver, CodeWriter) - Method in interface jif.types.Label

translate(Resolver, CodeWriter) - Method in class jif.types.LabelOfVar_c

translate(Resolver, CodeWriter) - Method in class jif.types.Label_c

translate(Resolver) - Method in class jif.types.LabeledType_c

translate(Resolver, CodeWriter) - Method in class jif.types.MeetLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.NotTaken_c

translate(Resolver, CodeWriter) - Method in class jif.types.ParamLabel_c

translate(Resolver) - Method in class jif.types.ParamPrincipal_c

translate(Resolver, CodeWriter) - Method in class jif.types.PolicyLabel_c

translate(Resolver) - Method in interface jif.types.Principal

translate(Resolver) - Method in class jif.types.Principal_c

translate(Resolver, CodeWriter) - Method in class jif.types.RuntimeLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.TopLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.UnknownLabel_c

translate(Resolver) - Method in class jif.types.UnknownParam_c

translate(Resolver) - Method in class jif.types.UnknownPrincipal_c

translate(Resolver, CodeWriter) - Method in class jif.types.VarLabel_c

translateClass(Resolver, ClassType) - Method in class jif.types.JifTypeSystem_c

translatePrimitive(Resolver, PrimitiveType) - Method in class jif.types.JifTypeSystem_c

translateSource(SourceFile) - Method in class jif.visit.JifTranslator

ts - Variable in class jif.parse.Grm

ts - Variable in class jif.types.PathMap

ts - Variable in class jif.types.Solver

ts - Variable in class jif.visit.JifLabelSubst

type - Variable in class jif.ast.AmbParamTypeOrAccess_c

type() - Method in class jif.ast.AmbParamTypeOrAccess_c

type(Type) - Method in interface jif.ast.JifClassDecl

type(Type) - Method in class jif.ast.JifClassDecl_c

typeCheck(TypeChecker) - Method in class jif.ast.ActsFor_c

Type check the expression.

typeCheck(TypeChecker) - Method in class jif.ast.DeclassifyExpr_c

typeCheck(TypeChecker) - Method in class jif.ast.InstTypeNode_c

typeCheck(TypeChecker) - Method in class jif.ast.JifCanonicalTypeNode_c

typeCheck(TypeChecker) - Method in class jif.ast.JifClassDecl_c

typeCheck(TypeChecker) - Method in class jif.ast.JifConstructorDecl_c

typeCheck(TypeChecker) - Method in class jif.ast.JifNew_c

typeCheck(TypeChecker) - Method in class jif.ast.LabeledTypeNode_c

typeCheck(TypeChecker) - Method in class jif.ast.NewLabel_c

typeCheck(TypeChecker) - Method in class jif.ast.PrincipalNode_c

Type check the expression.

typeCheck(TypeChecker) - Method in class jif.ast.SwitchLabel_c

typeCheck(TypeChecker) - Method in class jif.extension.JifClassDeclDel

typeCheck(TypeChecker) - Method in class jif.extension.JifFieldDeclDel

typeCheck(TypeChecker) - Method in class jif.extension.JifFieldDel

typeCheck(TypeChecker) - Method in class jif.extension.JifInitializerDel

typeCheck(TypeChecker) - Method in class jif.extension.JifLocalDeclDel

typeCheck(TypeChecker) - Method in class jif.extension.JifMethodDeclDel

typeCheck(TypeChecker) - Method in class jif.extension.JifTypeNodeDel

Prevent an uninstantiated polymorphic class from being used anywhere, and check that the "this" label is not used in a static context.

typePart() - Method in interface jif.ast.LabeledTypeNode

typePart(TypeNode) - Method in interface jif.ast.LabeledTypeNode

typePart - Variable in class jif.ast.LabeledTypeNode_c

typePart() - Method in class jif.ast.LabeledTypeNode_c

typePart(TypeNode) - Method in class jif.ast.LabeledTypeNode_c

typePart() - Method in interface jif.types.LabeledType

typePart(Type) - Method in interface jif.types.LabeledType

typePart - Variable in class jif.types.LabeledType_c

typePart() - Method in class jif.types.LabeledType_c

typePart(Type) - Method in class jif.types.LabeledType_c

typeSystem() - Method in class jif.visit.LabelChecker

U

UID - class jif.types.UID.

A unique ID.

UID(String) - Constructor for class jif.types.UID

URSHIFT - Static variable in class jif.parse.sym

URSHIFTEQ - Static variable in class jif.parse.sym

UnknownLabel - interface jif.types.UnknownLabel.

A representation of any unknown label.

UnknownLabel_c - class jif.types.UnknownLabel_c.

An implementation of the UnknownLabel interface.

UnknownLabel_c(JifTypeSystem, Position) - Constructor for class jif.types.UnknownLabel_c

UnknownParam - interface jif.types.UnknownParam.

A representation of any unknown class parameter.

UnknownParam_c - class jif.types.UnknownParam_c.

An implementation of the UnknownParam interface.

UnknownParam_c(JifTypeSystem, Position) - Constructor for class jif.types.UnknownParam_c

UnknownPrincipal - interface jif.types.UnknownPrincipal.

A representation of any unknown principal.

UnknownPrincipal_c - class jif.types.UnknownPrincipal_c.

An implementation of the UnknownPrincipal interface.

UnknownPrincipal_c(JifTypeSystem, Position) - Constructor for class jif.types.UnknownPrincipal_c

UnwrapVisitor - class jif.parse.UnwrapVisitor.

An UnwrapVisitor rewrites the AST to remove any Wrapped nodes resulting from the parser.

UnwrapVisitor() - Constructor for class jif.parse.UnwrapVisitor

uid() - Method in interface jif.types.ArgLabel

Global unique identifier of this label.

uid() - Method in class jif.types.ArgLabel_c

uid() - Method in interface jif.types.CovariantLabel

uid(UID) - Method in class jif.types.CovariantLabel_c

uid() - Method in class jif.types.CovariantLabel_c

uid() - Method in interface jif.types.DynamicLabel

uid(UID) - Method in interface jif.types.DynamicLabel

uid(UID) - Method in class jif.types.DynamicLabel_c

uid() - Method in class jif.types.DynamicLabel_c

uid() - Method in interface jif.types.DynrecLabel

uid(UID) - Method in interface jif.types.DynrecLabel

uid(UID) - Method in class jif.types.DynrecLabel_c

uid() - Method in class jif.types.DynrecLabel_c

uid(UID) - Method in interface jif.types.JifFieldInstance

uid() - Method in class jif.types.JifFieldInstance_c

uid(UID) - Method in class jif.types.JifFieldInstance_c

uid(UID) - Method in interface jif.types.JifLocalInstance

uid() - Method in class jif.types.JifLocalInstance_c

uid(UID) - Method in class jif.types.JifLocalInstance_c

uid() - Method in interface jif.types.JifVarInstance

uid() - Method in interface jif.types.ParamInstance

uid(UID) - Method in interface jif.types.ParamInstance

uid() - Method in class jif.types.ParamInstance_c

uid(UID) - Method in class jif.types.ParamInstance_c

uid() - Method in interface jif.types.ParamLabel

uid(UID) - Method in class jif.types.ParamLabel_c

uid() - Method in class jif.types.ParamLabel_c

uid() - Method in interface jif.types.Principal

uid() - Method in class jif.types.Principal_c

uid() - Method in class jif.types.UnknownPrincipal_c

uid() - Method in interface jif.types.VarLabel

uid(UID) - Method in interface jif.types.VarLabel

uid(UID) - Method in class jif.types.VarLabel_c

uid() - Method in class jif.types.VarLabel_c

uncachedSubstType(Type) - Method in class jif.types.JifSubst_c

uncheckedExceptions() - Method in class jif.types.JifTypeSystem_c

uncheckedInstantiate(Position, PClass, List) - Method in class jif.types.JifTypeSystem_c

uninitFinalFields(ReferenceType) - Static method in class jif.extension.JifConstructorDeclExt

Utility method to get the set of field instances of final fields of the given ReferenceType that do not have an initializer.

unknownLabel(Position) - Method in interface jif.types.JifTypeSystem

unknownLabel(Position) - Method in class jif.types.JifTypeSystem_c

unknownParam(Position) - Method in interface jif.types.JifTypeSystem

unknownParam(Position) - Method in class jif.types.JifTypeSystem_c

unknownPrincipal(Position) - Method in interface jif.types.JifTypeSystem

unknownPrincipal(Position) - Method in class jif.types.JifTypeSystem_c

unknownQualifier(Position) - Method in class jif.types.JifTypeSystem_c

unknownType(Position) - Method in class jif.types.JifTypeSystem_c

unlabel(Type) - Method in interface jif.types.JifTypeSystem

Remove the label from a type, if any.

unlabel(Type) - Method in class jif.types.JifTypeSystem_c

usage(PrintStream) - Method in class jif.JifOptions

Print usage information

V

VOID - Static variable in class jif.parse.sym

VOLATILE - Static variable in class jif.parse.sym

VarLabel - interface jif.types.VarLabel.

The variable label.

VarLabel_c - class jif.types.VarLabel_c.

An implementation of the VarLabel interface.

VarLabel_c() - Constructor for class jif.types.VarLabel_c

VarLabel_c(JifTypeSystem, Position, UID) - Constructor for class jif.types.VarLabel_c

VarMap - class jif.types.VarMap.

Maps variable components to labels.

VarMap(JifTypeSystem) - Constructor for class jif.types.VarMap

VarMap(JifTypeSystem, Label) - Constructor for class jif.types.VarMap

VarMap(JifTypeSystem, Map) - Constructor for class jif.types.VarMap

VarMap(JifTypeSystem, Map, Label) - Constructor for class jif.types.VarMap

VarSignature - class jif.types.VarSignature.

VarSignature(JifTypeSystem) - Constructor for class jif.types.VarSignature

Version - class jif.Version.

Version() - Constructor for class jif.Version

var() - Method in interface jif.types.LabelOfVar

var() - Method in class jif.types.LabelOfVar_c

varLabel(Position, UID) - Method in interface jif.types.JifTypeSystem

varLabel(Position, UID) - Method in class jif.types.JifTypeSystem_c

varToParam(JifVarInstance, AmbiguityRemover) - Method in class jif.ast.AmbParam_c

Turns a JifVarInstance object into a label node or a principal node

varToPrincipal(JifVarInstance, AmbiguityRemover) - Method in class jif.ast.AmbPrincipalNode_c

variables() - Method in class jif.types.ArgLabel_c

variables() - Method in class jif.types.CovariantLabel_c

variables() - Method in class jif.types.DynamicLabel_c

variables() - Method in class jif.types.DynrecLabel_c

variables() - Method in class jif.types.Equation

Return a List of variables that occur in either the left or right hand side.

variables() - Method in class jif.types.JoinLabel_c

variables() - Method in interface jif.types.Label

The collection of variables contained by this label (or any of its components).

variables() - Method in class jif.types.LabelOfVar_c

variables() - Method in class jif.types.Label_c

variables() - Method in class jif.types.MeetLabel_c

variables() - Method in class jif.types.NotTaken_c

variables() - Method in class jif.types.ParamLabel_c

variables() - Method in class jif.types.PolicyLabel_c

variables() - Method in class jif.types.RuntimeLabel_c

variables() - Method in class jif.types.TopLabel_c

variables() - Method in class jif.types.UnknownLabel_c

variables() - Method in class jif.types.VarLabel_c

version() - Method in class jif.ExtensionInfo

visitChildren(NodeVisitor) - Method in class jif.ast.ActsForConstraintNode_c

Visits the children of this node.

visitChildren(NodeVisitor) - Method in class jif.ast.ActsFor_c

Visits the children of the node.

visitChildren(NodeVisitor) - Method in class jif.ast.AmbNewArray_c

Visits the children of this node.

visitChildren(NodeVisitor) - Method in class jif.ast.AmbParamTypeOrAccess_c

visitChildren(NodeVisitor) - Method in class jif.ast.AuthConstraintNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.CallerConstraintNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.DeclassifyExpr_c

visitChildren(NodeVisitor) - Method in class jif.ast.DeclassifyStmt_c

visitChildren(NodeVisitor) - Method in class jif.ast.InstTypeNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.JifClassDecl_c

visitChildren(NodeVisitor) - Method in class jif.ast.JifConstructorDecl_c

visitChildren(NodeVisitor) - Method in class jif.ast.JifMethodDecl_c

visitChildren(NodeVisitor) - Method in class jif.ast.JoinLabelNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.LabelCase_c

visitChildren(NodeVisitor) - Method in class jif.ast.LabeledTypeNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.NewLabel_c

visitChildren(NodeVisitor) - Method in class jif.ast.PolicyLabelNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.SwitchLabel_c

visitChildren(NodeVisitor) - Method in class jif.parse.Wrapper

W

WHERE - Static variable in class jif.parse.sym

WHILE - Static variable in class jif.parse.sym

Wrapper - class jif.parse.Wrapper.

A Wrapper wraps an Amb inside an AST node so that it can be insert in the AST.

wakeUp(VarLabel) - Method in class jif.types.Solver

Awakens all equations in the system that depend on the variable v, ensuring that they are in the queue of active equations.

wrap() - Method in class jif.parse.Amb

X

X() - Method in interface jif.ast.Jif

Gets the path map of this extension.

X(PathMap) - Method in interface jif.ast.Jif

Returns a copy of this object with the path map updated.

X(Node) - Static method in class jif.ast.JifUtil

X(Node, PathMap) - Static method in class jif.ast.JifUtil

X - Variable in class jif.ast.Jif_c

X() - Method in class jif.ast.Jif_c

X(PathMap) - Method in class jif.ast.Jif_c

X(Node) - Static method in class jif.ast.Jif_c

X(Node, PathMap) - Static method in class jif.ast.Jif_c

X() - Method in class jif.extension.CallHelper

XOR - Static variable in class jif.parse.sym

XOREQ - Static variable in class jif.parse.sym

Y

YYEOF - Static variable in class jif.parse.Lexer_c

This character denotes the end of file

YYINITIAL - Static variable in class jif.parse.Lexer_c

yybegin(int) - Method in class jif.parse.Lexer_c

Enters a new lexical state

yycharat(int) - Method in class jif.parse.Lexer_c

Returns the character at position pos from the matched text.

yyclose() - Method in class jif.parse.Lexer_c

Closes the input stream.

yylength() - Method in class jif.parse.Lexer_c

Returns the length of the matched text region.

yyreset(Reader) - Method in class jif.parse.Lexer_c

Closes the current stream, and resets the scanner to read from a new input stream.

yystate() - Method in class jif.parse.Lexer_c

Returns the current lexical state.

yytext() - Method in class jif.parse.Lexer_c

Returns the text matched by the current regular expression.

_

_action_table - Static variable in class jif.parse.Grm

Parse-action table.

_production_table - Static variable in class jif.parse.Grm

Production table.

_reduce_table - Static variable in class jif.parse.Grm

reduce_goto table.

A B C D E F G H I J K L M N O P Q R S T U V W X Y _