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

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

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

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

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

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

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

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

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 - Variable in class jif.ast.ActsFor_c

actor - Variable in class jif.ast.ActsForConstraintNode_c

actor - Variable in class jif.types.ActsForConstraint_c

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

Gets the actor principal.

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

Gets the actor principal.

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

Gets the actor principal.

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

Gets the actor.

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

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

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

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

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

Sets the actor principal.

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

Returns a copy of this node with the actor updated.

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

Returns a copy of this node with the actor updated.

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

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

ActsFor - interface jif.ast.ActsFor.

An immutable representation of a Jif actsFor statement.

ACTSFOR - Static variable in class jif.parse.sym

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

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

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

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

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

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

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

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

ActsForConstraint - interface jif.types.ActsForConstraint.

The acts-for constraint.

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

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

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

Construct an acts-for constraint.

ActsForConstraintNode - interface jif.ast.ActsForConstraintNode.

An immutable representation of the Jif ActsFor constraint.

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

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

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

ActsForToJavaExt_c - class jif.translate.ActsForToJavaExt_c.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Method to add a label constraint c to the system of constraints.

addConstraintLE(Label, Label) - Method in class jif.types.LabelEnv_c

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

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).

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.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).

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

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

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

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

AddDummyFieldsVisitor - class jif.visit.AddDummyFieldsVisitor.

Visitor which traverses the AST constructing type objects.

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

addEqualityConstraint(Label, Label, LabelEnv, Label, Position, String) - Method in class jif.types.Solver

Add the constraint that lhs = rhs.

addEqualityConstraint(NamedLabel, NamedLabel, LabelEnv, Label, Position, String) - Method in class jif.types.Solver

Add the constraint that lhs = rhs.

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

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

addIFF(FieldInstance) - Method in class jif.visit.LabelChecker

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

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

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

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

addParamConstraints(LabelChecker, Position, JifClassType, JifClassType) - Method in class jif.extension.SubtypeChecker

Insert constraints so that ltype >= rtype.

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 ltype >= rtype

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 - Variable in class jif.ast.ActsFor_c

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

Gets the alternative statement.

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

Gets the alternative statement.

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

Sets 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.

AmbDynamicLabelNode - interface jif.ast.AmbDynamicLabelNode.

An ambiguous dynamic label.

AmbDynamicLabelNode_c - class jif.ast.AmbDynamicLabelNode_c.

An implementation of the AmbDynamicLabel interface.

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

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

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

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_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

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

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

AmbParam - interface jif.ast.AmbParam.

An ambiguous parameter.

AmbParam_c - class jif.ast.AmbParam_c.

An implementation of the AmbParam interface.

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

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

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

AmbParamTypeOrAccess - interface jif.ast.AmbParamTypeOrAccess.

An ambiguous parameter type or array access.

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

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

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

AmbPrincipalNode - interface jif.ast.AmbPrincipalNode.

An ambiguous principal node.

AmbPrincipalNode_c - class jif.ast.AmbPrincipalNode_c.

An implementation of the AmbPrincipalNode interface.

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

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

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

AmbThisLabelNode - interface jif.ast.AmbThisLabelNode.

An ambigous this label node.

AmbThisLabelNode_c - class jif.ast.AmbThisLabelNode_c.

An implementation of the AmbThisLabelNode interface.

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

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

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

AmbVarLabelNode - interface jif.ast.AmbVarLabelNode.

An ambiguous variable label node.

AmbVarLabelNode_c - class jif.ast.AmbVarLabelNode_c.

An implementation of the AmbVarLabelNode interface.

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

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

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

AND - Static variable in class jif.parse.sym

ANDAND - Static variable in class jif.parse.sym

ANDEQ - Static variable in class jif.parse.sym

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

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

applyVarConstraints(Label, Label) - Method in class jif.types.LabelEnv_c

ArgLabel - interface jif.types.ArgLabel.

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

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

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

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

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

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

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

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

argLabels - Variable in class jif.types.JifMethodInstance_c

argLabels - Variable in class jif.types.JifConstructorInstance_c

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

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

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

Get the List of ArgLabels.

ArgLabelSubstitution - class jif.types.ArgLabelSubstitution.

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

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

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

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

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

ARRAY_INDEX - Static variable in class jif.ExtensionInfo

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

ArrayIndexChecker - class jif.visit.ArrayIndexChecker.

###TODO

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

Constructor

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

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

ASSERT - Static variable in class jif.parse.sym

AuthConstraint - interface jif.types.AuthConstraint.

The authority constraint.

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

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

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

Construct an authority constraint.

AuthConstraintNode - interface jif.ast.AuthConstraintNode.

An authority constraint node.

AuthConstraintNode_c - class jif.ast.AuthConstraintNode_c.

An implmentation of the AuthConstraintNode interface.

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

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

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

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

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

authority - Variable in class jif.ast.JifClassDecl_c

AUTHORITY - Static variable in class jif.parse.sym

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

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

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

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

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

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

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

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

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

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

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

B

base - Variable in class jif.ast.InstTypeNode_c

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

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

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

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

baseType - Variable in class jif.ast.AmbNewArray_c

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

Gets the base type.

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

Gets the base type.

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

Returns a copy of this node with baseType updated.

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

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

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

BinaryToJavaExt_c - class jif.translate.BinaryToJavaExt_c.

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

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 - Variable in class jif.ast.LabelCase_c

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

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

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

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

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

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

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

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

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

BOOLEAN - Static variable in class jif.parse.sym

BOOLEAN_LITERAL - Static variable in class jif.parse.sym

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Gets the upper bound of this label.

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

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

bounds - Variable in class jif.types.Solver

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

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

BREAK - Static variable in class jif.parse.sym

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

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

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

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

BYTE - Static variable in class jif.parse.sym

C

CALLER - Static variable in class jif.parse.sym

CallerConstraint - interface jif.types.CallerConstraint.

The caller constraint.

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

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

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

Construct a caller constraint.

CallerConstraintNode - interface jif.ast.CallerConstraintNode.

A caller constraint node.

CallerConstraintNode_c - class jif.ast.CallerConstraintNode_c.

An implementation of the CallerConstraint interface.

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

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

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

CallHelper - class jif.extension.CallHelper.

This is a tool to label check method calls.

CallHelper(ReferenceType, Label, List, ProcedureInstance, LabelChecker, SubtypeChecker, Position) - Constructor for class jif.extension.CallHelper

CallToJavaExt_c - class jif.translate.CallToJavaExt_c.

CallToJavaExt_c() - Constructor for class jif.translate.CallToJavaExt_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.

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_c - class jif.ast.CanonicalConstraintNode_c.

An implementation of the CanonicalConstraint.

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

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

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

CanonicalLabelNode - interface jif.ast.CanonicalLabelNode.

A canonical label node.

CanonicalLabelNode_c - class jif.ast.CanonicalLabelNode_c.

An implementation of the CanonicalLabelNode interface.

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

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

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

CanonicalLabelNodeToJavaExt_c - class jif.translate.CanonicalLabelNodeToJavaExt_c.

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

CanonicalPrincipalNode - interface jif.ast.CanonicalPrincipalNode.

Canonical principal node.

CanonicalPrincipalNode_c - class jif.ast.CanonicalPrincipalNode_c.

An implemenation of the CanonicalPrincipal interface.

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

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

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

CanonicalPrincipalNodeToJavaExt_c - class jif.translate.CanonicalPrincipalNodeToJavaExt_c.

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

CanonicalTypeNodeToJavaExt_c - class jif.translate.CanonicalTypeNodeToJavaExt_c.

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

CASE - Static variable in class jif.parse.sym

cases - Variable in class jif.ast.SwitchLabel_c

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

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

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

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

CaseToJavaExt_c - class jif.translate.CaseToJavaExt_c.

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

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

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

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

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.

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() - 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

checkedArgs() - Method in class jif.extension.CallHelper

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

Check that the equation eqn is satisfied.

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

Check that the equation eqn is satisfied.

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

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

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

checkingInits(boolean) - Method in class jif.visit.LabelChecker

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

CLASS - Static variable in class jif.parse.sym

ClassBodyToJavaExt_c - class jif.translate.ClassBodyToJavaExt_c.

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

classContextResolver(ClassType) - Method in class jif.types.JifTypeSystem_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

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

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

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

COLON - Static variable in class jif.parse.sym

COMMA - Static variable in class jif.parse.sym

COMP - Static variable in class jif.parse.sym

components - Variable in class jif.ast.JoinLabelNode_c

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

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

Gets the list of join components.

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

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

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

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

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

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

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

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

Retrieve the collection of components.

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

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

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

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

Returns a copy of this object with components updated.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

confluence(List, Term) - 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.

confluence(List, Term) - 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.

consequent - Variable in class jif.ast.ActsFor_c

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

Gets the consequent statement.

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

Gets the consequent statement.

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

Sets 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.

CONST - Static variable in class jif.parse.sym

ConstChecker - class jif.visit.ConstChecker.

Visitor which traverses the AST constructing type objects.

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

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

constrainEqual(Label, Label, Position) - Method in class jif.visit.LabelChecker

constrainEqual(Label, Label, Position, String) - Method in class jif.visit.LabelChecker

constrainEqual(NamedLabel, NamedLabel, Position) - Method in class jif.visit.LabelChecker

constrainEqual(NamedLabel, NamedLabel, Position, String) - Method in class jif.visit.LabelChecker

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

constrainLE(Label, Label, Position) - Method in class jif.visit.LabelChecker

constrainLE(Label, Label, Position, String) - Method in class jif.visit.LabelChecker

constrainLE(NamedLabel, NamedLabel, Position) - Method in class jif.visit.LabelChecker

constrainLE(NamedLabel, NamedLabel, Position, String) - 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 - Variable in class jif.ast.ConstraintNode_c

Constraint - interface jif.types.Constraint.

The root interface of all the constraint classes.

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

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

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

Gets the constraint.

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

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

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

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

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

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

Convert a LabelConstraint into a string, for error message purposes

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

constraints - Variable in class jif.ast.JifMethodDecl_c

constraints - Variable in class jif.ast.JifConstructorDecl_c

constraints - Variable in class jif.types.JifMethodInstance_c

constraints - Variable in class jif.types.JifConstructorInstance_c

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

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

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

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

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

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

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

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

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

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

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

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

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

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

constructJifClasspath() - Method in class jif.JifOptions

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 - Variable in class jif.extension.JifNewExt

constructorChecker - Variable in class jif.extension.JifConstructorCallExt

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

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

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

constructorReturnLabel(Label) - Method in class jif.visit.LabelChecker

constructOutputExtClasspath() - Method in class jif.JifOptions

constructPostCompilerClasspath() - Method in class jif.JifOptions

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

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

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

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

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

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

CONTINUE - Static variable in class jif.parse.sym

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

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

copy() - Method in class jif.types.LabelEnv_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

copyCollection(Collection) - Static method in class jif.types.Solver

COVARIANT - Static variable in class jif.parse.sym

COVARIANT_LABEL - Static variable in interface jif.types.ParamInstance

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

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

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

createClassType(LazyClassInitializer) - 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.NotNullChecker

Create an initial Item for the dataflow analysis.

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

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

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

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

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

decl - Variable in class jif.ast.LabelCase_c

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

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

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

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

DECLASSIFY - Static variable in class jif.parse.sym

DeclassifyExpr - interface jif.ast.DeclassifyExpr.

An immutable representation of the Jif declassify expression.

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

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

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

DeclassifyExprToJavaExt_c - class jif.translate.DeclassifyExprToJavaExt_c.

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

DeclassifyStmt - interface jif.ast.DeclassifyStmt.

An immutable representation of the Jif declassify statement.

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

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

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

DeclassifyStmtToJavaExt_c - class jif.translate.DeclassifyStmtToJavaExt_c.

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

DEFAULT - Static variable in class jif.parse.sym

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

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

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

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

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

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

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

defaultFileExtension() - Method in class jif.ExtensionInfo

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

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

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

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

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

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

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

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

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

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

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

DefaultSignature - interface jif.types.DefaultSignature.

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

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

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

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

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

del - Variable in class jif.ast.Jif_c

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

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

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

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

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

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

delCallImpl() - 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

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

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

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

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

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

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

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

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

dims - Variable in class jif.ast.AmbNewArray_c

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

Gets the addtional dimensions.

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

Gets the additional dimensions.

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

Returns a copy of this node with dims updated.

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

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

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

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

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

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

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

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

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

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

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

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

Disambiguates the type of this node.

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

Disambiguates the type of this node.

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

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

Disambiguates name.

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

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

Disambiguates name.

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

Disambiguate 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.ActsForConstraintNode_c

Builds the type of this node.

DIV - Static variable in class jif.parse.sym

DIVEQ - Static variable in class jif.parse.sym

DO - Static variable in class jif.parse.sym

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

Invoke a user supplied parse action.

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

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

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

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

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

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

DynamicLabel - interface jif.types.DynamicLabel.

Dynamic label.

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

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

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

DynamicLabelToJavaExpr_c - class jif.translate.DynamicLabelToJavaExpr_c.

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

DynamicPrincipal - interface jif.types.DynamicPrincipal.

Dynamic principal.

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

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

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

DynamicPrincipalToJavaExpr_c - class jif.translate.DynamicPrincipalToJavaExpr_c.

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

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

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

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

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

E

element(Label, PrincipalHierarchy) - Method in class jif.types.NamedLabel

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

elements() - Method in class jif.types.NamedLabel

ELSE - Static variable in class jif.parse.sym

emptyLabelEnv - Static variable in interface jif.types.JifTypeSystem

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

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

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

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

enterCall(ReferenceType, Label) - Method in class jif.types.LabelEnv_c

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

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

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

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

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

enterObj(ReferenceType) - Method in class jif.types.LabelEnv_c

enterObj(ReferenceType) - Method in class jif.types.JifContext_c

enterObj(ReferenceType) - Method in interface jif.types.JifContext

enterObj(ReferenceType) - Method in interface jif.types.LabelEnv

enterObj(ReferenceType, Label) - Method in class jif.types.LabelEnv_c

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

EOF - Static variable in class jif.parse.sym

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

EOF Symbol index.

eq - Variable in class jif.visit.JifLabelSubst

EQ - Static variable in class jif.parse.sym

EQEQ - Static variable in class jif.parse.sym

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

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

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

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

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

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

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

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

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

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

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

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

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

equalsImpl(TypeObject) - Method in class jif.types.JifParsedPolyType_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.ExceptionPath_c

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

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

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

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

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

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

Equate two uids.

Equation - class jif.types.Equation.

Label equation derived from a label constraint.

error - Static variable in class jif.Topics

error - Static variable in class jif.parse.sym

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

error Symbol index.

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

Produce an error message for the equation that couldn't be satisfied.

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

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

Produce an error message for the constraint c.

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

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

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

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

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

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

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

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

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

Check exceptions thrown by the call.

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

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

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

expr - Variable in class jif.ast.SwitchLabel_c

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

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

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

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

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

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

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

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

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

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

exprToJava(JifToJavaRewriter) - Method in class jif.translate.FieldToJavaExt_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.BinaryToJavaExt_c

ExprToJavaExt_c - class jif.translate.ExprToJavaExt_c.

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

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

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

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

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

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

extCallImpl() - 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

EXTENDS - Static variable in class jif.parse.sym

ExtensionInfo - class jif.ExtensionInfo.

The configuration information of the Jif extension.

ExtensionInfo.JifJobExt - class jif.ExtensionInfo.JifJobExt.

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

ExtensionInfo() - Constructor for class jif.ExtensionInfo

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

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

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

A bound of the PC of the caller.

ExternalPrincipal - interface jif.types.ExternalPrincipal.

The external principal existing in the running system.

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

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

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

ExternalPrincipalToJavaExpr_c - class jif.translate.ExternalPrincipalToJavaExpr_c.

ExternalPrincipalToJavaExpr_c() - Constructor for class jif.translate.ExternalPrincipalToJavaExpr_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

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

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

extInstTypeNodeImpl() - 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

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

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

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

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

extLabelNodeImpl() - 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

F

FieldDeclToJavaExt_c - class jif.translate.FieldDeclToJavaExt_c.

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

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

FieldLabelResolver - class jif.visit.FieldLabelResolver.

A visitor used to resolving field labels.

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

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

FieldToJavaExt_c - class jif.translate.FieldToJavaExt_c.

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

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

FINAL - Static variable in class jif.parse.sym

FINALLY - Static variable in class jif.parse.sym

finalVars(ReferenceType) - Method in class jif.extension.JifConstructorDeclExt

Gets the set of field instances of final fields.

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

Find a contradicting equation.

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

Find a contradicting equation.

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

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

findVariable(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.

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

Replace any occurrences of the all-runtime label l with a join of all dynamic components in the system.

FixedSignature - class jif.types.FixedSignature.

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

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

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

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

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

FLOAT - Static variable in class jif.parse.sym

FLOAT_LITERAL - Static variable in class jif.parse.sym

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.

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

Implement the flow equations for this dataflow analysis.

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

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

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

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

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

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

Substitutes any occurences of for .

FOR - Static variable in class jif.parse.sym

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

FormalToJavaExt_c - class jif.translate.FormalToJavaExt_c.

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

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

Override super class to make sure that the arglabels of arguments are replaced appropriately.

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

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

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

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

G

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

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

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

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

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

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

Get the ArgLabel for argument i.

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

The default bound of variables in this solver is top

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

The default bound of variables in this solver is bottom

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

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

getJifOptions() - Method in class jif.ExtensionInfo

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

GOTO - Static variable in class jif.parse.sym

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

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

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

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

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

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

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

granter - Variable in class jif.ast.ActsFor_c

granter - Variable in class jif.ast.ActsForConstraintNode_c

granter - Variable in class jif.types.ActsForConstraint_c

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

Gets the granter principal.

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

Gets the granter principal.

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

Gets the granter principal.

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

Gets the granter.

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

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

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

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

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

Sets the granter principal.

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

Returns a copy of this node with the granter updated.

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

Returns a copy of this node with the granter updated.

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

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

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

GT - Static variable in class jif.parse.sym

GTEQ - Static variable in class jif.parse.sym

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.

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

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

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

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

hashCode() - Method in class jif.types.ParamPrincipal_c

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

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

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

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

hashCode() - Method in class jif.types.GotoPath_c

hashCode() - Method in class jif.types.ExternalPrincipal_c

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

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

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

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

hashCode() - Method in class jif.types.DynamicPrincipal_c

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

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

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

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

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

Check if the class has an untrusted non-jif ancestor.

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

Check if the class has an untrusted non-jif ancestor.

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

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

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

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

Does this label (or any of its components) contain any label variables?

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

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).

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

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

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

inConstructor(boolean) - Method in class jif.translate.JifToJavaRewriter

inConstructor(boolean) - Method in class jif.types.JifContext_c

inConstructor(boolean) - Method in interface jif.types.JifContext

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

index() - Method in class jif.types.ArgPrincipal_c

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

index() - Method in interface jif.types.DynamicArgLabel

index() - Method in interface jif.types.ArgLabel

Indicates which method argument this ArgLabel represents.

index() - Method in interface jif.types.ArgPrincipal

Indicates which method argument this ArgPrincipal represents.

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

Action encapsulation object initializer.

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.

initialize(LoadedClassResolver) - Method in class jif.types.JifTypeSystem_c

Initializes the type system and its internal constants.

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

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

InitializerToJavaExt_c - class jif.translate.InitializerToJavaExt_c.

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

initTypeSystem() - Method in class jif.OutputExtensionInfo

initTypeSystem() - Method in class jif.ExtensionInfo

INSTANCEOF - Static variable in class jif.parse.sym

instantiate(Label) - Method in class jif.types.LabelEnv_c

Instantiate label.

instantiate(Label) - Method in class jif.types.JifContext_c

instantiate(Label) - Method in interface jif.types.JifContext

instantiate(Label) - Method in interface jif.types.LabelEnv

instantiate(Principal) - Method in class jif.types.LabelEnv_c

instantiate(Principal) - Method in class jif.types.JifContext_c

instantiate(Principal) - Method in interface jif.types.JifContext

instantiate(Principal) - Method in interface jif.types.LabelEnv

instantiate(Type) - Method in class jif.types.LabelEnv_c

instantiate(Type) - Method in class jif.types.JifContext_c

instantiate(Type) - Method in interface jif.types.JifContext

instantiate(Type) - Method in interface jif.types.LabelEnv

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

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

InstTypeNode - interface jif.ast.InstTypeNode.

Instantiated type node.

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

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

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

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 - Variable in class jif.ast.JifClassDecl_c

INVARIANT - Static variable in class jif.parse.sym

INVARIANT_LABEL - Static variable in interface jif.types.ParamInstance

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

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

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

invariant(boolean) - Method in class jif.types.JifParsedPolyType_c

invariant(boolean) - Method in interface jif.types.JifParsedPolyType

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 class jif.types.Label_c

By default, a label is not Bottom

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

Is this label equivalent to bottom?

isByte() - Method in class jif.types.LabeledType_c

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

isCanonical() - Method in class jif.types.UnknownPrincipal_c

isCanonical() - Method in class jif.types.UnknownParam_c

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

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

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

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

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

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

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

isCanonical() - Method in class jif.types.LabeledType_c

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

isCanonical() - Method in class jif.types.LabelLeConstraint_c

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

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

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

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

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

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

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

isCanonical() - Method in class jif.types.CallerConstraint_c

isCanonical() - Method in class jif.types.AuthConstraint_c

isCanonical() - Method in class jif.types.Principal_c

isCanonical() - Method in class jif.types.ArgPrincipal_c

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

By default labels are canonical.

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

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

isCanonical() - Method in interface jif.types.Param

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.VarLabel_c

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Is this label comparable to other labels?

isConst() - Method in class jif.visit.ConstChecker

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Is this label covariant?

isCovariantLabel() - Method in class jif.ast.ParamDecl_c

isCovariantLabel() - Method in interface jif.ast.ParamDecl

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

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

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

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

isDouble() - Method in class jif.types.LabeledType_c

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

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

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

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

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

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

By default, a label is enumerable

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

Are the components of this label enumerable?

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 class jif.types.Label_c

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

Is this label invariant?

isInvariantLabel() - Method in class jif.ast.ParamDecl_c

isInvariantLabel() - Method in interface jif.ast.ParamDecl

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

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

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).

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).

isLabel() - Method in class jif.ast.ParamDecl_c

isLabel() - Method in interface jif.ast.ParamDecl

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

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

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

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

Tests if the type is "label".

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

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

Returns true if the type is labeled.

isLong() - Method in class jif.types.LabeledType_c

isLongOrLess() - Method in class jif.types.LabeledType_c

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

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

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

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

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 interface jif.types.Label

Can this label be used in a meet operation with another label?

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 class jif.ast.ParamDecl_c

isPrincipal() - Method in interface jif.ast.ParamDecl

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

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

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

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

Tests if the type is "principal".

isReference() - Method in class jif.types.LabeledType_c

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

isRuntimeRepresentable() - Method in class jif.types.UnknownPrincipal_c

isRuntimeRepresentable() - Method in class jif.types.UnknownParam_c

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

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

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

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

isRuntimeRepresentable() - Method in class jif.types.ParamPrincipal_c

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

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

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

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

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

isRuntimeRepresentable() - Method in class jif.types.ExternalPrincipal_c

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

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

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

isRuntimeRepresentable() - Method in class jif.types.Principal_c

isRuntimeRepresentable() - Method in class jif.types.DynamicPrincipal_c

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

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

isRuntimeRepresentable() - Method in interface jif.types.Param

isShort() - Method in class jif.types.LabeledType_c

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

isSignature() - Method in class jif.types.ArgPrincipal_c

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

isSignature() - Method in interface jif.types.DynamicArgLabel

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 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.

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

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

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

A label is a singleton if it only has a single component.

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

Does this label represent only a single label?

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

isThrowable() - Method in class jif.types.LabeledType_c

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

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

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

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

Is this label equivalent to top?

isUncheckedException() - Method in class jif.types.LabeledType_c

isVoid() - Method in class jif.types.LabeledType_c

J

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 - interface jif.ast.Jif.

This class represents a Jif extension node.

Jif_c - class jif.ast.Jif_c.

An implementation of the Jif interface.

Jif_c(Jif, ToJavaExt) - Constructor for class jif.ast.Jif_c

Jif_c(ToJavaExt) - Constructor for class jif.ast.Jif_c

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

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

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.

JifActsForExt - class jif.extension.JifActsForExt.

The Jif extension of the ActsFor node.

JifActsForExt(ToJavaExt) - Constructor for class jif.extension.JifActsForExt

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_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

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

JifClassDecl(Position, Flags, String, List, boolean, TypeNode, List, List, ClassBody) - Method in interface jif.ast.JifNodeFactory

JifClassDeclExt - class jif.extension.JifClassDeclExt.

The extension of the JifClassDecl node.

JifClassDeclExt(ToJavaExt) - Constructor for class jif.extension.JifClassDeclExt

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_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

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

JifConstructorDecl(Position, Flags, String, LabelNode, LabelNode, List, List, List, Block) - Method in interface jif.ast.JifNodeFactory

JifConstructorDeclExt - class jif.extension.JifConstructorDeclExt.

The Jif extension of the JifConstructorDecl node.

JifConstructorDeclExt(ToJavaExt) - Constructor for class jif.extension.JifConstructorDeclExt

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, Label, List, List, List, ArrayList) - Constructor for class jif.types.JifConstructorInstance_c

jifConstructorInstance(Position, ClassType, Flags, Label, Label, List, List, List, ArrayList) - Method in class jif.types.JifTypeSystem_c

jifConstructorInstance(Position, ClassType, Flags, Label, Label, List, List, List, ArrayList) - Method in interface jif.types.JifTypeSystem

Constructs a Jif constructor instance

JifContext - interface jif.types.JifContext.

Jif context.

JifContext_c - class jif.types.JifContext_c.

An implementation of the JifContext interface.

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

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 JMatch delegates

JifDelFactory_c() - Constructor for class jif.ast.JifDelFactory_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

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

Get the JifExtFactory_c instance.

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

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

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

JifLabeledExt - class jif.extension.JifLabeledExt.

The Jif extension of the Labeled node.

JifLabeledExt(ToJavaExt) - Constructor for class jif.extension.JifLabeledExt

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

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

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_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

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

JifMethodDecl(Position, Flags, TypeNode, String, LabelNode, List, LabelNode, List, List, Block) - Method in interface jif.ast.JifNodeFactory

JifMethodDeclExt - class jif.extension.JifMethodDeclExt.

The Jif extension of the JifMethodDecl node.

JifMethodDeclExt(ToJavaExt) - Constructor for class jif.extension.JifMethodDeclExt

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, List, Label, List, List, ArrayList) - Constructor for class jif.types.JifMethodInstance_c

jifMethodInstance(Position, ReferenceType, Flags, Type, String, Label, List, Label, List, List, ArrayList) - Method in class jif.types.JifTypeSystem_c

jifMethodInstance(Position, ReferenceType, Flags, Type, String, Label, List, Label, List, List, ArrayList) - Method in interface jif.types.JifTypeSystem

Constructs a Jif method instance

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

JifNew_c - class jif.ast.JifNew_c.

JifNew_c(Position, TypeNode, List, ClassBody) - Constructor for class jif.ast.JifNew_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

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) - 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.

JifSubst_c - 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(JifTypeSystem, Map, Map) - Constructor for class jif.types.JifSubst_c

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.

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

JifTypeSystem - interface jif.types.JifTypeSystem.

Jif type system.

JifTypeSystem_c - class jif.types.JifTypeSystem_c.

An implementation of the JifTypeSystem interface.

JifTypeSystem_c(PrincipalHierarchy, TypeSystem) - Constructor for class jif.types.JifTypeSystem_c

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

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

jlext - Variable in class jif.ExtensionInfo

jlTypeSystem() - Method in class jif.ExtensionInfo

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

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

jobExt() - Method in class jif.ExtensionInfo

join(Label) - Method in class jif.types.Label_c

Join this label to L.

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

Returns the join of this label and L.

join(Label, Label) - Method in class jif.types.JifTypeSystem_c

join(Label, Label) - Method in interface jif.types.JifTypeSystem

Returns the join of L1 and L2.

join(Label, PrincipalHierarchy) - Method in class jif.types.Label_c

Join this label to L and simplify the result using PrinicipalHierarchy ph

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(PathMap) - Method in class jif.types.PathMap

join(String, Label) - Method in class jif.types.NamedLabel

JoinLabel - interface jif.types.JoinLabel.

The join of several labels.

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

joinLabel(Position, Collection) - Method in class jif.types.JifTypeSystem_c

joinLabel(Position, Collection) - Method in interface jif.types.JifTypeSystem

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

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

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

JoinLabelToJavaExpr_c - class jif.translate.JoinLabelToJavaExpr_c.

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

K

kind() - Method in class jif.ast.ParamDecl_c

kind() - Method in interface jif.ast.ParamDecl

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

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

kind(ClassType.Kind) - Method in class jif.types.JifParsedPolyType_c

kind(ParamInstance.Kind) - Method in class jif.ast.ParamDecl_c

kind(ParamInstance.Kind) - Method in interface jif.ast.ParamDecl

kind(ParamInstance.Kind) - Method in class jif.types.ParamInstance_c

kind(ParamInstance.Kind) - Method in interface jif.types.ParamInstance

L

label - Variable in class jif.ast.NewLabel_c

label - Variable in class jif.ast.LabelCase_c

label - Variable in class jif.types.JifLocalInstance_c

label - Variable in class jif.types.JifFieldInstance_c

Label - interface jif.types.Label.

This class represents the Jif security label.

LABEL - Static variable in class jif.parse.sym

LABEL_ - Variable in class jif.types.JifTypeSystem_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) - Constructor for class jif.types.Label_c

Label_c(JifTypeSystem, Position, LabelToJavaExpr) - Constructor for class jif.types.Label_c

LABEL_CHECK - Static variable in class jif.ExtensionInfo

The label check pass.

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

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

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

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

label() - Method in class jif.ast.LabelNode_c

label() - Method in interface jif.ast.NewLabel

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

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

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

label() - Method in interface jif.ast.LabelNode

label() - Method in class jif.types.JifLocalInstance_c

label() - Method in class jif.types.JifFieldInstance_c

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

label() - Method in class jif.types.DynamicPrincipal_c

label() - Method in interface jif.types.JifVarInstance

label() - Method in class jif.types.NamedLabel

label() - Method in interface jif.types.DynamicPrincipal

label() - Method in interface jif.types.DynamicLabel

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

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

Returns the "label" type.

label(Label) - Method in class jif.ast.LabelNode_c

label(Label) - Method in interface jif.ast.LabelNode

label(Label) - Method in class jif.types.JifLocalInstance_c

label(Label) - Method in interface jif.types.JifLocalInstance

label(Label) - Method in class jif.types.JifFieldInstance_c

label(Label) - Method in interface jif.types.JifFieldInstance

label(Label) - Method in class jif.types.DynamicLabel_c

label(Label) - Method in class jif.types.DynamicPrincipal_c

label(Label) - Method in interface jif.types.DynamicPrincipal

label(Label) - Method in interface jif.types.DynamicLabel

label(LabelNode) - Method in class jif.ast.NewLabel_c

label(LabelNode) - Method in class jif.ast.LabelCase_c

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

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

label(LabelNode) - Method in interface jif.ast.NewLabel

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

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

label(LabelNode) - Method in interface jif.ast.LabelCase

label(String) - Method in class jif.types.NamedLabel

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

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

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

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

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

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

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

labelCheck(LabelChecker) - Method in class jif.ast.Jif_c

labelCheck(LabelChecker) - Method in interface jif.ast.Jif

Label check the node to which this extension is attached.

labelCheck(LabelChecker) - Method in class jif.extension.JifUnaryExt

labelCheck(LabelChecker) - Method in class jif.extension.JifSpecialExt

label check the special expression.

labelCheck(LabelChecker) - Method in class jif.extension.JifSourceFileExt

labelCheck(LabelChecker) - Method in class jif.extension.JifNewExt

labelCheck(LabelChecker) - Method in class jif.extension.JifNewArrayExt

labelCheck(LabelChecker) - Method in class jif.extension.JifMethodDeclExt

labelCheck(LabelChecker) - Method in class jif.extension.JifLocalExt

labelCheck(LabelChecker) - Method in class jif.extension.JifLiteralExt

labelCheck(LabelChecker) - Method in class jif.extension.JifInstanceofExt

labelCheck(LabelChecker) - Method in class jif.extension.JifInitializerExt

labelCheck(LabelChecker) - Method in class jif.extension.JifFormalExt

labelCheck(LabelChecker) - Method in class jif.extension.JifFieldExt

label check the field access.

labelCheck(LabelChecker) - Method in class jif.extension.JifFieldDeclExt_c

Label check field initializers.

labelCheck(LabelChecker) - Method in class jif.extension.JifDeclassifyExprExt

labelCheck(LabelChecker) - Method in class jif.extension.JifConstructorDeclExt

labelCheck(LabelChecker) - Method in class jif.extension.JifConditionalExt

labelCheck(LabelChecker) - Method in class jif.extension.JifClassDeclExt

labelCheck(LabelChecker) - Method in class jif.extension.JifClassBodyExt

labelCheck(LabelChecker) - Method in class jif.extension.JifCastExt

labelCheck(LabelChecker) - Method in class jif.extension.JifCallExt

labelCheck(LabelChecker) - Method in class jif.extension.JifBinaryExt

labelCheck(LabelChecker) - Method in class jif.extension.JifArrayInitExt

labelCheck(LabelChecker) - Method in class jif.extension.JifArrayAccessExt

labelCheck(LabelChecker) - Method in class jif.extension.JifAssignExt

labelCheck(LabelChecker) - Method in class jif.extension.JifStmtExt_c

Label check a statement.

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

LabelChecker - class jif.visit.LabelChecker.

A visitor doing label checking.

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

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

labelCheckField(LabelChecker, JifClassType) - Method in class jif.extension.JifFieldDeclExt_c

Extracts the declared label of this field.

labelCheckField(LabelChecker, JifClassType) - Method in interface jif.extension.JifFieldDeclExt

labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifLocalExt

labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifFieldExt

labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifArrayAccessExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifLocalAssignExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifFieldAssignExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifAssignExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifArrayAccessAssignExt

LabelCheckPass - class jif.visit.LabelCheckPass.

A pass which runs a visitor.

LabelCheckPass(Pass.ID, Job, LabelChecker) - Constructor for class jif.visit.LabelCheckPass

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifWhileExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifTryExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifThrowExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifSynchronizedExt

Label check the synchronized statement.

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifSwitchLabelExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifSwitchExt

Label check the switch statement.

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifReturnExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifLocalDeclExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifLabeledExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifIfExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifForExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifEvalExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifEmptyExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifDoExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifDeclassifyStmtExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifConstructorCallExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifCaseExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifBranchExt

Label check the branch statement.

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifBlockExt

labelCheckStmt(LabelChecker) - Method in interface jif.extension.JifStmtExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifStmtExt_c

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifActsForExt

Label check the actsFor statement.

LabelConstraint - class jif.types.LabelConstraint.

Records information about label constraints from which equations are generated.

LabelConstraint(Label, Label, LabelEnv, Label, Position, String) - Constructor for class jif.types.LabelConstraint

LabelConstraint(Label, Label, LabelEnv, Label, Position, String, boolean) - Constructor for class jif.types.LabelConstraint

LabelConstraint(NamedLabel, NamedLabel, LabelEnv, Label, Position, String) - Constructor for class jif.types.LabelConstraint

LabelConstraint(NamedLabel, NamedLabel, LabelEnv, Label, Position, String, boolean) - Constructor for class jif.types.LabelConstraint

LabeledType - interface jif.types.LabeledType.

A labeled type.

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

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

Jif specific stuff

labeledType(Position, Type, Label) - Method in interface jif.types.JifTypeSystem

Returns a labeled type, type{label}.

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

LabeledTypeNode(Position, TypeNode, LabelNode) - Method in class jif.ast.JifNodeFactory_c

LabeledTypeNode(Position, TypeNode, LabelNode) - Method in interface jif.ast.JifNodeFactory

LabelEnv - interface jif.types.LabelEnv.

LabelEnv_c - class jif.types.LabelEnv_c.

The wrapper of a set of assumptions that can be used to decide whether L1 <= L2.

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

LabelEnv_c(JifTypeSystem, JifContext) - Constructor for class jif.types.LabelEnv_c

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

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

LabelLeConstraint - interface jif.types.LabelLeConstraint.

LabelLeConstraint_c - class jif.types.LabelLeConstraint_c.

LabelLeConstraint_c(Label, Label) - Constructor for class jif.types.LabelLeConstraint_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

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

labelOf() - Method in class jif.types.UnknownPrincipal_c

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

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

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

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

labelOf() - Method in class jif.types.ParamPrincipal_c

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

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

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

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

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

labelOf() - Method in class jif.types.ExternalPrincipal_c

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

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

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

labelOf() - Method in class jif.types.Principal_c

labelOf() - Method in class jif.types.DynamicPrincipal_c

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

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

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

Gets labelOf this label.

labelOf() - Method in interface jif.types.Principal

Gets the label of this principal.

labelOfField(FieldInstance, Label) - Method in class jif.types.JifTypeSystem_c

labelOfField(FieldInstance, Label) - Method in interface jif.types.JifTypeSystem

Get the label of the field, folding in the PC if appropriate.

labelOfLocal(LocalInstance, 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.

labelOfType(Type) - 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 class jif.types.JifTypeSystem_c

labelOfType(Type, Label) - Method in interface jif.types.JifTypeSystem

Get the label of the type, or defaultLabel if unlabeled.

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

labelOfVar(Position, VarLabel) - Method in class jif.types.JifTypeSystem_c

labelOfVar(Position, VarLabel) - Method in interface jif.types.JifTypeSystem

labelPart - Variable in class jif.ast.LabeledTypeNode_c

labelPart - Variable in class jif.types.LabeledType_c

labelPart() - Method in class jif.ast.LabeledTypeNode_c

labelPart() - Method in interface jif.ast.LabeledTypeNode

labelPart() - Method in class jif.types.LabeledType_c

labelPart() - Method in interface jif.types.LabeledType

labelPart(Label) - Method in class jif.types.LabeledType_c

labelPart(Label) - Method in interface jif.types.LabeledType

labelPart(LabelNode) - Method in class jif.ast.LabeledTypeNode_c

labelPart(LabelNode) - Method in interface jif.ast.LabeledTypeNode

labels - Static variable in class jif.Topics

LabelSubstitution - interface jif.types.LabelSubstitution.

LabelSubstitutionVisitor - class jif.visit.LabelSubstitutionVisitor.

Visits a method head and body, and rewrites the arg labels, so that they are all standard.

LabelSubstitutionVisitor(LabelSubstitution, boolean) - Constructor for class jif.visit.LabelSubstitutionVisitor

labelToJava(Label) - Method in class jif.translate.JifToJavaRewriter

LabelToJavaExpr - interface jif.translate.LabelToJavaExpr.

LabelToJavaExpr_c - class jif.translate.LabelToJavaExpr_c.

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

LBRACE - Static variable in class jif.parse.sym

LBRACK - Static variable in class jif.parse.sym

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

leave(Node, Node, NodeVisitor) - Method in class jif.translate.JifToJavaRewriter

leave(Node, Node, NodeVisitor) - Method in class jif.visit.LabelSubstitutionVisitor

leave(Node, Node, NodeVisitor) - Method in class jif.visit.ConstChecker

leaveCall(Node) - Method in class jif.visit.RewriteArgsVisitor

leaveCall(Node, Node, NodeVisitor) - Method in class jif.visit.JifLabelSubst

leaveCall(Node, Node, NodeVisitor) - Method in class jif.visit.FieldLabelResolver

leaveCall(Node, Node, NodeVisitor) - Method in class jif.visit.AddDummyFieldsVisitor

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) - Method in class jif.types.Label_c

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

leq_(Label, LabelEnv) - Method in class jif.types.VarLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.UnknownLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.TopLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.RuntimeLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.PolicyLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.ParamLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.NotTaken_c

leq_(Label, LabelEnv) - Method in class jif.types.MeetLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.LabelOfVar_c

leq_(Label, LabelEnv) - Method in class jif.types.JoinLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.DynrecLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.DynamicLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.CovariantLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.Label_c

leq_(Label, LabelEnv) - Method in class jif.types.ArgLabel_c

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

Implementation of leq, should only be called by JifTypeSystem

leq(Label, Label) - Method in class jif.types.LabelEnv_c

leq(Label, Label) - Method in class jif.types.JifTypeSystem_c

leq(Label, Label) - Method in interface jif.types.JifTypeSystem

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

leq(Label, Label, boolean, boolean) - Method in class jif.types.LabelEnv_c

Indirect through the TS so extensions can support new label types.

leq(Label, Label, LabelEnv) - Method in class jif.types.JifTypeSystem_c

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

Returns true iff L1 <= L2 in ph.

Lexer_c - class jif.parse.Lexer_c.

This class is a scanner generated by JFlex 1.3.5 on 7/11/03 10:44 AM from the specification file file:/amd/balm/a/andru/upg/jif/src/jif/parse/jif.flex

Lexer_c(InputStream) - Constructor for class jif.parse.Lexer_c

Creates a new scanner.

Lexer_c(InputStream, 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(Reader, String, ErrorQueue) - Constructor for class jif.parse.Lexer_c

lhs() - Method in class jif.types.LabelLeConstraint_c

lhs() - Method in interface jif.types.LabelLeConstraint

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

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

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

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

LocalToJavaExt_c - class jif.translate.LocalToJavaExt_c.

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

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

M

major() - Method in class jif.Version

makeConstructorInstance(ClassType, TypeSystem) - Method in class jif.ast.JifConstructorDecl_c

makeMethodInstance(ClassType, TypeSystem) - Method in class jif.ast.JifMethodDecl_c

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, PrincipalHierarchy) - Method in class jif.types.VarLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.UnknownLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.TopLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.RuntimeLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.PolicyLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.ParamLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.NotTaken_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.MeetLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.LabelOfVar_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.JoinLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.DynrecLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.DynamicLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.CovariantLabel_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.Label_c

meet_(Label, PrincipalHierarchy) - Method in class jif.types.ArgLabel_c

meet_(Label, PrincipalHierarchy) - Method in interface jif.types.Label

Implementation of the meet operation, should only be called by JifTypeSystem

meet(Label) - Method in class jif.types.Label_c

Meet this label with L.

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

Returns the meet of this label and L.

meet(Label, Label) - Method in class jif.types.JifTypeSystem_c

meet(Label, Label) - Method in interface jif.types.JifTypeSystem

Returns the meet of L1 and L2

meet(Label, Label, PrincipalHierarchy) - Method in class jif.types.JifTypeSystem_c

Indirect through the TS so extensions can support new label types.

meet(Label, Label, PrincipalHierarchy) - Method in interface jif.types.JifTypeSystem

Returns the meet of L1 and L2 in ph.

meet(Label, PrincipalHierarchy) - Method in class jif.types.Label_c

Meet this label wotj L and simplify the result using PrinicipalHierarchy ph

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(String, Label, PrincipalHierarchy) - Method in class jif.types.NamedLabel

MeetLabel - interface jif.types.MeetLabel.

The meet of several labels.

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

meetLabel(Position, Collection) - Method in class jif.types.JifTypeSystem_c

meetLabel(Position, Collection) - Method in interface jif.types.JifTypeSystem

MeetLabelToJavaExpr_c - class jif.translate.MeetLabelToJavaExpr_c.

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

mergeEnvBounds(LabelEnv) - Method in class jif.types.Solver

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

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

minor() - Method in class jif.Version

MINUS - Static variable in class jif.parse.sym

minus(Label) - Method in class jif.types.MeetLabel_c

minus(Label) - Method in class jif.types.JoinLabel_c

minus(Label) - Method in class jif.types.Label_c

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

Returns a copy of this Label, with the Label L removed from the components.

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

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

MULT - Static variable in class jif.parse.sym

MULTEQ - Static variable in class jif.parse.sym

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

name - Variable in class jif.ast.AmbVarLabelNode_c

name - Variable in class jif.ast.AmbPrincipalNode_c

name - Variable in class jif.ast.AmbParam_c

name - Variable in class jif.ast.AmbParamTypeOrAccess_c

name - Variable in class jif.ast.AmbNewArray_c

The ambiguous name, which may be an expression or a parameter.

name - Variable in class jif.ast.AmbDynamicLabelNode_c

name() - Method in class jif.Version

name() - Method in class jif.ast.ParamDecl_c

name() - Method in class jif.ast.AmbVarLabelNode_c

name() - Method in class jif.ast.AmbPrincipalNode_c

name() - Method in class jif.ast.AmbParam_c

name() - Method in class jif.ast.AmbParamTypeOrAccess_c

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

Gets the ambiguous name.

name() - Method in class jif.ast.AmbDynamicLabelNode_c

Gets the name.

name() - Method in interface jif.ast.ParamDecl

name() - Method in interface jif.ast.AmbParam

name() - Method in interface jif.ast.AmbPrincipalNode

Getts the name.

name() - Method in interface jif.ast.AmbVarLabelNode

name() - Method in interface jif.ast.AmbDynamicLabelNode

Gets the name of the dynamic label.

name() - Method in interface jif.ast.AmbParamTypeOrAccess

Gets the name.

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

Gets the ambiguous name.

name() - Method in class jif.types.ExternalPrincipal_c

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

name() - Method in class jif.types.DynamicPrincipal_c

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

name() - Method in interface jif.types.ArgLabel

Name is for debugging purposes only

name() - Method in interface jif.types.DynamicPrincipal

name() - Method in interface jif.types.ExternalPrincipal

name() - Method in interface jif.types.DynamicLabel

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

name(String) - Method in class jif.ast.ParamDecl_c

name(String) - Method in class jif.ast.AmbVarLabelNode_c

name(String) - Method in class jif.ast.AmbPrincipalNode_c

name(String) - Method in class jif.ast.AmbParam_c

name(String) - Method in class jif.ast.AmbParamTypeOrAccess_c

name(String) - Method in class jif.ast.AmbNewArray_c

Returns a copy of this node with name updated.

name(String) - Method in class jif.ast.AmbDynamicLabelNode_c

Returns a copy of this node with the name updated.

name(String) - Method in interface jif.ast.ParamDecl

name(String) - Method in interface jif.ast.AmbNewArray

Returns a copy of this node with the ambiguous name updated.

name(String) - Method in class jif.types.ParamInstance_c

name(String) - Method in class jif.types.DynamicLabel_c

name(String) - Method in class jif.types.DynamicPrincipal_c

name(String) - Method in interface jif.types.DynamicPrincipal

name(String) - Method in interface jif.types.ParamInstance

name(String) - Method in interface jif.types.DynamicLabel

NamedLabel - class jif.types.NamedLabel.

A Jif label with names for the debuging use.

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

NamedLabel(Position) - Constructor for class jif.types.NamedLabel

NATIVE - Static variable in class jif.parse.sym

NEW - Static variable in class jif.parse.sym

New(Position, Expr, TypeNode, List, ClassBody) - Method in class jif.ast.JifNodeFactory_c

NewLabel - interface jif.ast.NewLabel.

An immutable representation of the Jif new label statement.

NewLabel_c - class jif.ast.NewLabel_c.

An implementation of the NewLabel interface.

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

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

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

NewLabelToJavaExt_c - class jif.translate.NewLabelToJavaExt_c.

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

NewToJavaExt_c - class jif.translate.NewToJavaExt_c.

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

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.JifMethodInstance_c

nonSignatureArgLabels - Variable in class jif.types.JifConstructorInstance_c

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

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

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

Get the List of ArgLabels.

NOT - 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

NOTEQ - Static variable in class jif.parse.sym

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

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

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

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

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

NULL_LITERAL - Static variable in class jif.parse.sym

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

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

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

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

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

NV - Static variable in interface jif.types.Path

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

NV(Label) - Method in class jif.types.PathMap

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

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

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

override(Node) - Method in class jif.visit.LabelSubstitutionVisitor

override(Node) - Method in class jif.visit.ConstChecker

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 - Variable in class jif.ast.PolicyLabelNode_c

owner() - Method in class jif.ast.PolicyLabelNode_c

owner() - Method in interface jif.ast.PolicyLabelNode

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

owner() - Method in interface jif.types.PolicyLabel

owner(Principal) - Method in class jif.types.PolicyLabel_c

owner(Principal) - Method in interface jif.types.PolicyLabel

owner(PrincipalNode) - Method in class jif.ast.PolicyLabelNode_c

owner(PrincipalNode) - Method in interface jif.ast.PolicyLabelNode

P

PACKAGE - Static variable in class jif.parse.sym

packageForName(Package, String) - Method in class jif.types.JifTypeSystem_c

PackageNodeToJavaExt_c - class jif.translate.PackageNodeToJavaExt_c.

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

param - Variable in class jif.ast.AmbParam_c

Param - interface jif.types.Param.

The root of the Jif class parameter types.

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

ParamDecl(Position, ParamInstance.Kind, String) - Method in class jif.ast.JifNodeFactory_c

ParamDecl(Position, ParamInstance.Kind, String) - Method in interface jif.ast.JifNodeFactory

parameter() - Method in class jif.ast.PrincipalNode_c

parameter() - Method in class jif.ast.AmbParam_c

parameter() - Method in class jif.ast.LabelNode_c

parameter() - Method in interface jif.ast.ParamNode

parameter(Param) - Method in class jif.ast.AmbParam_c

ParamInstance - interface jif.types.ParamInstance.

A parameter instance.

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

ParamInstance.Kind - class jif.types.ParamInstance.Kind.

ParamInstance.Kind(String) - Constructor for class jif.types.ParamInstance.Kind

paramInstance() - Method in class jif.ast.ParamDecl_c

paramInstance() - Method in interface jif.ast.ParamDecl

paramInstance(ParamInstance) - Method in class jif.ast.ParamDecl_c

paramInstance(ParamInstance) - Method in interface jif.ast.ParamDecl

paramInstance(Position, JifClassType, ParamInstance.Kind, String) - Method in class jif.types.JifTypeSystem_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 class jif.types.JifTypeSystem_c

paramInstance(Position, JifClassType, ParamInstance.Kind, UID) - Method in interface jif.types.JifTypeSystem

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

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

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

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

params - Variable in class jif.ast.JifClassDecl_c

params - Variable in class jif.ast.InstTypeNode_c

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

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

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

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

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

params() - Method in interface jif.types.JifPolyType

Declared parameters of the class.

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

params(List) - Method in class jif.ast.InstTypeNode_c

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

params(List) - Method in interface jif.ast.InstTypeNode

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

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.OutputExtensionInfo

passes(Job) - Method in class jif.ExtensionInfo

patch_level() - Method in class jif.Version

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() - Method in class jif.types.JifTypeSystem_c

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

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

pathMap(Path, Label) - Method in class jif.types.JifTypeSystem_c

pathMap(Path, Label) - Method in interface jif.types.JifTypeSystem

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 class jif.types.JifContext_c

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

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

pc(Label) - Method in class jif.types.JifContext_c

pc(Label) - Method in interface jif.types.JifContext

ph - Variable in class jif.ast.Jif_c

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

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

Gets the principal hierarchy.

ph() - Method in class jif.types.LabelEnv_c

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

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

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

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

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

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

Returns the principal hierarchy.

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

ph(Node) - Static method in class jif.ast.Jif_c

ph(Node) - Static method in class jif.ast.JifUtil

ph(Node, PrincipalHierarchy) - Static method in class jif.ast.Jif_c

ph(Node, PrincipalHierarchy) - Static method in class jif.ast.JifUtil

ph(PrincipalHierarchy) - Method in class jif.ast.Jif_c

ph(PrincipalHierarchy) - Method in interface jif.ast.Jif

Returns a copy of this object with the principal hierarchy updated.

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

PLUS - Static variable in class jif.parse.sym

PLUSEQ - Static variable in class jif.parse.sym

PLUSPLUS - Static variable in class jif.parse.sym

PolicyLabel - interface jif.types.PolicyLabel.

The policy label of the form owner: r1,...,rn

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

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

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

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

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

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

PolicyLabelToJavaExpr_c - class jif.translate.PolicyLabelToJavaExpr_c.

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

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

pos(Amb) - Static method in class jif.parse.Grm

Return the source position of the Parse.

pos(Declarator) - Method in class jif.parse.Grm

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

position() - Method in class jif.types.NamedLabel

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

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

postExtLabeledTypeNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtLabelNode(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

PRE_LABEL_CHECK_ALL - Static variable in class jif.ExtensionInfo

A barrier pass before label checking.

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

prefix - Variable in class jif.ast.AmbParamTypeOrAccess_c

prefix() - Method in class jif.ast.AmbParamTypeOrAccess_c

prefix() - Method in interface jif.ast.AmbParamTypeOrAccess

Gets the prefix.

prefix(Receiver) - Method in class jif.ast.AmbParamTypeOrAccess_c

prefixToPackage(Prefix) - Method in class jif.parse.Grm

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.SwitchLabel_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.PolicyLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ParamDecl_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.NewLabel_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabeledTypeNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabelCase_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.JoinLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.InstTypeNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.DeclassifyStmt_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.DeclassifyExpr_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CanonicalPrincipalNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CanonicalLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CanonicalConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CallerConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AuthConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbVarLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbThisLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbNewArray_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbDynamicLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ActsFor_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ActsForConstraintNode_c

prettyPrintHeader(CodeWriter, PrettyPrinter) - Method in class jif.ast.JifClassDecl_c

primitiveForName(String) - Method in class jif.types.JifTypeSystem_c

Principal - interface jif.types.Principal.

The root interface of all kinds of Jif principals.

PRINCIPAL - Static variable in class jif.parse.sym

PRINCIPAL - Static variable in interface jif.types.ParamInstance

PRINCIPAL_ - Variable in class jif.types.JifTypeSystem_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

principal() - Method in class jif.ast.PrincipalNode_c

principal() - Method in interface jif.ast.PrincipalNode

principal() - Method in class jif.types.PrincipalInstance_c

principal() - Method in interface jif.types.PrincipalInstance

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

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

Returns the "principal" type.

principal(ExternalPrincipal) - Method in class jif.types.PrincipalInstance_c

principal(ExternalPrincipal) - Method in interface jif.types.PrincipalInstance

principal(Principal) - Method in class jif.ast.PrincipalNode_c

principal(Principal) - Method in interface jif.ast.PrincipalNode

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

principalInstance(Position, ExternalPrincipal) - Method in class jif.types.JifTypeSystem_c

principalInstance(Position, ExternalPrincipal) - Method in interface jif.types.JifTypeSystem

Constructs a principal instance for an external principal.

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

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

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

principals - Variable in class jif.ast.CallerConstraintNode_c

principals - Variable in class jif.ast.AuthConstraintNode_c

principals - Variable in class jif.types.CallerConstraint_c

principals - Variable in class jif.types.AuthConstraint_c

principals() - Method in class jif.ast.CallerConstraintNode_c

principals() - 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() - Method in interface jif.ast.AuthConstraintNode

Gets the list of principal who grants their authorities.

principals() - Method in class jif.types.CallerConstraint_c

principals() - Method in class jif.types.AuthConstraint_c

principals() - Method in interface jif.types.CallerConstraint

principals() - Method in interface jif.types.AuthConstraint

principals(List) - Method in class jif.ast.CallerConstraintNode_c

principals(List) - Method in class jif.ast.AuthConstraintNode_c

principals(List) - Method in interface jif.ast.CallerConstraintNode

Returns a copy of this node with the principal list updated.

principals(List) - Method in interface jif.ast.AuthConstraintNode

Returns a copy of this node with the principal list updated.

principals(List) - Method in class jif.types.CallerConstraint_c

principals(List) - Method in class jif.types.AuthConstraint_c

principals(List) - Method in interface jif.types.CallerConstraint

principals(List) - Method in interface jif.types.AuthConstraint

principalToJava(Principal) - Method in class jif.translate.JifToJavaRewriter

PrincipalToJavaExpr - interface jif.translate.PrincipalToJavaExpr.

PrincipalToJavaExpr_c - class jif.translate.PrincipalToJavaExpr_c.

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

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

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

printConstraints() - Method in class jif.types.LabelEnv_c

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

PRIVATE - Static variable in class jif.parse.sym

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

Access to production table.

PROTECTED - Static variable in class jif.parse.sym

PUBLIC - Static variable in class jif.parse.sym

put(UID, Param) - Method in class jif.types.JifSubst_c

put(UID, Param) - Method in interface jif.types.JifSubst

Q

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

QUESTION - Static variable in class jif.parse.sym

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

readers - Variable in class jif.ast.PolicyLabelNode_c

readers() - Method in class jif.ast.PolicyLabelNode_c

readers() - Method in interface jif.ast.PolicyLabelNode

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

readers() - Method in interface jif.types.PolicyLabel

readers(Collection) - Method in class jif.types.PolicyLabel_c

readers(Collection) - Method in interface jif.types.PolicyLabel

readers(List) - Method in class jif.ast.PolicyLabelNode_c

readers(List) - Method in interface jif.ast.PolicyLabelNode

reconstruct(Expr, LabelNode, LabelNode) - Method in class jif.ast.DeclassifyExpr_c

reconstruct(Expr, List) - Method in class jif.ast.SwitchLabel_c

reconstruct(Formal, LabelNode, Stmt) - Method in class jif.ast.LabelCase_c

reconstruct(LabelNode) - Method in class jif.ast.NewLabel_c

reconstruct(LabelNode, LabelNode, List, List, List, Block) - Method in class jif.ast.JifConstructorDecl_c

reconstruct(LabelNode, LabelNode, Stmt) - Method in class jif.ast.DeclassifyStmt_c

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

reconstruct(List) - Method in class jif.ast.CallerConstraintNode_c

reconstruct(List) - Method in class jif.ast.AuthConstraintNode_c

reconstruct(List, TypeNode, List, List, ClassBody) - Method in class jif.ast.JifClassDecl_c

reconstruct(PrincipalNode, List) - Method in class jif.ast.PolicyLabelNode_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(Receiver) - Method in class jif.ast.AmbParamTypeOrAccess_c

reconstruct(TypeNode, LabelNode) - Method in class jif.ast.LabeledTypeNode_c

reconstruct(TypeNode, LabelNode, List, LabelNode, List, List, Block) - Method in class jif.ast.JifMethodDecl_c

reconstruct(TypeNode, List) - Method in class jif.ast.InstTypeNode_c

reconstruct(TypeNode, List) - Method in class jif.ast.AmbNewArray_c

Reconstructs the node.

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

Access to reduce_goto table.

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).

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.

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

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

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

report(int, String) - Static method in class jif.extension.CallHelper

report(int, String) - Static method in class jif.types.Solver

Convenience method to report messages for the appropriate topics

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

Throws a SemanticException with the appropriate error message.

RESOLVE_FIELDS - Static variable in class jif.ExtensionInfo

resolve(TypeSystem) - Method in class jif.types.JifPlaceHolder_c

RETURN - Static variable in class jif.parse.sym

returnLabel - Variable in class jif.ast.JifMethodDecl_c

returnLabel - Variable in class jif.ast.JifConstructorDecl_c

returnLabel - Variable in class jif.types.JifMethodInstance_c

returnLabel - Variable in class jif.types.JifConstructorInstance_c

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

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

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

returnLabel() - Method in class jif.types.JifMethodInstance_c

returnLabel() - Method in class jif.types.JifConstructorInstance_c

returnLabel() - Method in interface jif.types.JifProcedureInstance

returnLabel(Label) - Method in class jif.types.JifMethodInstance_c

returnLabel(Label) - Method in class jif.types.JifConstructorInstance_c

returnLabel(Label) - Method in interface jif.types.JifMethodInstance

returnLabel(Label) - Method in interface jif.types.JifConstructorInstance

returnLabel(LabelNode) - Method in class jif.ast.JifMethodDecl_c

returnLabel(LabelNode) - Method in class jif.ast.JifConstructorDecl_c

returnLabel(LabelNode) - Method in interface jif.ast.JifConstructorDecl

returnLabel(LabelNode) - Method in interface jif.ast.JifMethodDecl

ReturnToJavaExt_c - class jif.translate.ReturnToJavaExt_c.

ReturnToJavaExt_c() - Constructor for class jif.translate.ReturnToJavaExt_c

returnType() - Method in class jif.visit.LabelChecker

returnType(Type) - Method in class jif.types.JifMethodInstance_c

returnValueLabel() - Method in class jif.types.JifMethodInstance_c

returnValueLabel() - Method in interface jif.types.JifMethodInstance

REWRITE - Static variable in class jif.ExtensionInfo

REWRITE_ARGS - Static variable in class jif.ExtensionInfo

The field labels resolving pass.

rewrite(JifNodeFactory, JifTypeSystem) - Method in interface jif.extension.JifProcedureDeclExt

Rewrites the labels and principals in the method signature to use "argument labels" rather than referring to arguments by name.

rewrite(JifNodeFactory, JifTypeSystem) - Method in class jif.extension.JifProcedureDeclExt_c

Rewrites the labels and principals in the method signature to use "argument labels" rather than referring to arguments by name.

RewriteArgsVisitor - class jif.visit.RewriteArgsVisitor.

Visitor which traverses the AST constructing type objects.

RewriteArgsVisitor(Job, TypeSystem, NodeFactory) - Constructor for class jif.visit.RewriteArgsVisitor

rhs() - Method in class jif.types.LabelLeConstraint_c

rhs() - Method in interface jif.types.LabelLeConstraint

rhs() - Method in class jif.types.LabelConstraint

rhs() - Method in class jif.types.Equation

RPAREN - Static variable in class jif.parse.sym

RSHIFT - Static variable in class jif.parse.sym

RSHIFTEQ - Static variable in class jif.parse.sym

run() - Method in class jif.visit.LabelCheckPass

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

runtimeLabel_s(JifTypeSystem, Expr) - Static method in class jif.ast.Jif_c

Generates a dynamic label from expr.

runtimeLabel() - Method in class jif.types.JifTypeSystem_c

runtimeLabel() - Method in interface jif.types.JifTypeSystem

runtimeLabel(JifTypeSystem, Expr) - Method in class jif.ast.Jif_c

runtimeLabel(JifTypeSystem, Expr) - Method in interface jif.ast.Jif

Extracts the runtime label from an expression

runtimeLabel(Position) - Method in class jif.types.JifTypeSystem_c

runtimeLabel(Position) - Method in interface jif.types.JifTypeSystem

runtimePrincipal_s(JifTypeSystem, Expr) - Static method in class jif.ast.Jif_c

Generates a dynamic principal from expr.

runToCompletion() - Method in class jif.ExtensionInfo

RV - Static variable in interface jif.types.Path

RV() - Method in class jif.types.PathMap

RV(Label) - Method in class jif.types.PathMap

S

satisfiesConstraints() - Method in class jif.extension.CallHelper

Check if the caller has sufficient authority.

scan() - Method in class jif.parse.Grm

Scan to get the next Symbol.

SEMICOLON - Static variable in class jif.parse.sym

set(Path, Label) - Method in class jif.types.PathMap

setArgLabelBound(int, Label) - Method in class jif.types.JifMethodInstance_c

setArgLabelBound(int, Label) - Method in class jif.types.JifConstructorInstance_c

setArgLabelBound(int, Label) - Method in interface jif.types.JifProcedureInstance

setArrayIsNeverNull() - Method in class jif.extension.JifArrayAccessDel

setBound(DynamicLabel, Label) - Method in class jif.types.VarMap

setBound(VarLabel, Label) - Method in class jif.types.VarMap

setDefaultBound(Label) - Method in class jif.types.VarMap

setDefaultValues() - Method in class jif.JifOptions

Set default values for options

setInstantiatedFrom(PClass) - Method in class jif.types.JifParsedPolyType_c

setInstantiatedFrom(PClass) - Method in interface jif.types.JifParsedPolyType

setInvariantThis(Label) - Method in class jif.types.JifSubstClassType_c

setInvariantThis(Label) - Method in class jif.types.JifParsedPolyType_c

setInvariantThis(Label) - Method in interface jif.types.JifClassType

setLabel(Label) - Method in class jif.types.JifLocalInstance_c

setLabel(Label) - Method in class jif.types.JifFieldInstance_c

setLabel(Label) - Method in interface jif.types.JifVarInstance

setLabelEnv(LabelEnv) - Method in class jif.types.JifContext_c

setLabelEnv(LabelEnv) - Method in interface jif.types.JifContext

setNoOutOfBoundsExcThrown() - Method in class jif.extension.JifArrayAccessDel

setReport(boolean) - Method in class jif.types.LabelConstraint

setReturnType(Type) - Method in class jif.visit.LabelChecker

setSolver(Solver) - Method in class jif.types.JifContext_c

setSolver(Solver) - Method in interface jif.types.JifContext

setTargetIsNeverNull() - Method in class jif.extension.JifFieldDel

setTargetIsNeverNull() - Method in class jif.extension.JifCallDel

setThisLabel(Label) - Method in class jif.types.JifMethodInstance_c

setThrownIsNeverNull() - Method in class jif.extension.JifThrowDel

setType(Type) - Method in class jif.types.PrincipalInstance_c

setType(Type) - Method in class jif.types.ParamInstance_c

SHORT - Static variable in class jif.parse.sym

shouldReport(int) - Static method in class jif.extension.CallHelper

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.JifMethodInstance_c

signature() - Method in class jif.types.JifConstructorInstance_c

simplify() - Method in class jif.types.MeetLabel_c

simplify() - Method in class jif.types.JoinLabel_c

simplify() - Method in class jif.types.Label_c

simplify() - Method in interface jif.types.Label

Returns a simplified copy of this Label.

singletonComponent() - Method in class jif.types.NotTaken_c

singletonComponent() - Method in class jif.types.Label_c

Return the single component.

singletonComponent() - Method in interface jif.types.Label

Retrieve the singleton component that this label represents.

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.SolverLUB

This method changes the bounds of variables in the LHS of 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.Solver

This method changes the bounds of variables in the Equation eqn, to make the equation satisfied.

solve() - Method in class jif.types.Solver

Solve the system of constraints.

solver - Static variable in class jif.Topics

solver - Variable in class jif.visit.JifLabelSubst

Solver - class jif.types.Solver.

A solver of Jif constraints.

solver() - Method in class jif.types.JifTypeSystem_c

solver() - Method in class jif.types.JifContext_c

solver() - Method in interface jif.types.JifContext

solver() - Method in interface jif.types.JifTypeSystem

Returns a label constraint system solver.

Solver(JifTypeSystem) - Constructor for class jif.types.Solver

Constructor

Solver(Solver) - Constructor for class jif.types.Solver

Constructor

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

solverMeet(Label, Label, PrincipalHierarchy) - Static method in class jif.types.Solver

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

start_production() - Method in class jif.parse.Grm

Indicates start production.

start_state() - Method in class jif.parse.Grm

Indicates start state.

startLabel - Variable in class jif.ast.JifMethodDecl_c

startLabel - Variable in class jif.ast.JifConstructorDecl_c

startLabel - Variable in class jif.types.JifMethodInstance_c

startLabel - Variable in class jif.types.JifConstructorInstance_c

startLabel() - Method in class jif.ast.JifMethodDecl_c

startLabel() - Method in class jif.ast.JifConstructorDecl_c

startLabel() - Method in interface jif.ast.JifProcedureDecl

startLabel() - Method in class jif.types.JifMethodInstance_c

startLabel() - Method in class jif.types.JifConstructorInstance_c

startLabel() - Method in interface jif.types.JifProcedureInstance

startLabel(Label) - Method in class jif.types.JifMethodInstance_c

startLabel(Label) - Method in class jif.types.JifConstructorInstance_c

startLabel(Label) - Method in interface jif.types.JifMethodInstance

startLabel(Label) - Method in interface jif.types.JifConstructorInstance

startLabel(LabelNode) - Method in class jif.ast.JifMethodDecl_c

startLabel(LabelNode) - Method in class jif.ast.JifConstructorDecl_c

startLabel(LabelNode) - Method in interface jif.ast.JifConstructorDecl

startLabel(LabelNode) - Method in interface jif.ast.JifMethodDecl

STATIC - Static variable in class jif.parse.sym

stmtDel - Variable in class jif.extension.JifStmtExt_c

stmtDel() - Method in interface jif.extension.JifStmtExt

stmtDel() - Method in class jif.extension.JifStmtExt_c

stmtDel(JifStmtExt) - Method in interface jif.extension.JifStmtExt

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.

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

strip(Type) - Method in class jif.types.JifTypeSystem_c

strip(Type) - Method in interface jif.types.JifTypeSystem

Remove the label and parameters from a type, if any.

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(LabelSubstitution) - Method in class jif.types.UnknownPrincipal_c

subst(LabelSubstitution) - Method in class jif.types.PolicyLabel_c

subst(LabelSubstitution) - Method in class jif.types.MeetLabel_c

subst(LabelSubstitution) - Method in class jif.types.JoinLabel_c

subst(LabelSubstitution) - Method in class jif.types.DynamicLabel_c

subst(LabelSubstitution) - Method in class jif.types.Principal_c

subst(LabelSubstitution) - Method in class jif.types.DynamicPrincipal_c

subst(LabelSubstitution) - Method in class jif.types.ArgPrincipal_c

subst(LabelSubstitution) - Method in class jif.types.Label_c

subst(LabelSubstitution) - Method in interface jif.types.Label

Accepts a LabelSubstitution and returns the result of substituting according to the given LabelSubstitution.

subst(LabelSubstitution) - Method in interface jif.types.Principal

Accepts a LabelSubstitution and returns the result of substituting according to the given LabelSubstitution.

subst(Map, Map) - Method in class jif.types.JifTypeSystem_c

subst(UID, Label) - Method in class jif.types.VarLabel_c

subst(UID, Label) - Method in class jif.types.UnknownPrincipal_c

subst(UID, Label) - Method in class jif.types.UnknownLabel_c

subst(UID, Label) - Method in class jif.types.TopLabel_c

subst(UID, Label) - Method in class jif.types.RuntimeLabel_c

subst(UID, Label) - Method in class jif.types.PolicyLabel_c

subst(UID, Label) - Method in class jif.types.ParamPrincipal_c

subst(UID, Label) - Method in class jif.types.ParamLabel_c

subst(UID, Label) - Method in class jif.types.NotTaken_c

subst(UID, Label) - Method in class jif.types.MeetLabel_c

subst(UID, Label) - Method in class jif.types.LabelOfVar_c

subst(UID, Label) - Method in class jif.types.JoinLabel_c

subst(UID, Label) - Method in class jif.types.ExternalPrincipal_c

subst(UID, Label) - Method in class jif.types.DynrecLabel_c

subst(UID, Label) - Method in class jif.types.DynamicLabel_c

subst(UID, Label) - Method in class jif.types.CovariantLabel_c

subst(UID, Label) - Method in class jif.types.Principal_c

subst(UID, Label) - Method in class jif.types.DynamicPrincipal_c

subst(UID, Label) - Method in class jif.types.ArgPrincipal_c

subst(UID, Label) - Method in class jif.types.Label_c

subst(UID, Label) - Method in interface jif.types.Label

Substitutes any occurences of for L.

subst(UID, Label) - Method in interface jif.types.Principal

Substitutes any occurences of for L.

subst(VarMap) - Method in class jif.types.JifMethodInstance_c

subst(VarMap) - Method in class jif.types.JifConstructorInstance_c

subst(VarMap) - Method in class jif.types.PathMap

subst(VarMap) - Method in interface jif.types.JifProcedureInstance

substClassType(ClassType) - Method in class jif.types.JifSubst_c

substConstraint(Constraint) - Method in class jif.types.JifSubst_c

substConstraint(Constraint) - Method in interface jif.types.JifSubst

substConstraintList(List) - Method in class jif.types.JifSubst_c

substConstraintList(List) - Method in interface jif.types.JifSubst

substConstructor(ConstructorInstance) - Method in class jif.types.JifSubst_c

substLabel(Label) - Method in class jif.types.JifSubst_c

substLabel(Label) - Method in interface jif.types.JifSubst

substLabel(Label) - Method in class jif.types.ArgLabelSubstitution

substLabel(Label) - Method in interface jif.types.LabelSubstitution

substLabelList(List) - Method in class jif.types.JifSubst_c

substLabelList(List) - Method in interface jif.types.JifSubst

substMethod(MethodInstance) - Method in class jif.types.JifSubst_c

substPrincipal(Principal) - Method in class jif.types.JifSubst_c

substPrincipal(Principal) - Method in interface jif.types.JifSubst

substPrincipal(Principal) - Method in class jif.types.ArgLabelSubstitution

substPrincipal(Principal) - Method in interface jif.types.LabelSubstitution

substPrincipalList(List) - Method in class jif.types.JifSubst_c

substPrincipalList(List) - Method in interface jif.types.JifSubst

subtypeChecker - Variable in class jif.extension.JifNewExt

subtypeChecker - Variable in class jif.extension.JifConstructorCallExt

subtypeChecker - Variable in class jif.extension.JifCallExt

SubtypeChecker - class jif.extension.SubtypeChecker.

A checker of subtype relationships.

SubtypeChecker() - Constructor for class jif.extension.SubtypeChecker

SUPER - Static variable in class jif.parse.sym

SWITCH - Static variable in class jif.parse.sym

SwitchLabel - interface jif.ast.SwitchLabel.

An immutable representation of the Jif swicth label statement.

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

SwitchLabel(Position, Expr, List) - Method in class jif.ast.JifNodeFactory_c

SwitchLabel(Position, Expr, List) - Method in interface jif.ast.JifNodeFactory

SwitchLabelToJavaExt_c - class jif.translate.SwitchLabelToJavaExt_c.

SwitchLabelToJavaExt_c() - Constructor for class jif.translate.SwitchLabelToJavaExt_c

sym - class jif.parse.sym.

CUP generated class containing symbol constants.

sym() - Constructor for class jif.parse.sym

SYNCHRONIZED - Static variable in class jif.parse.sym

T

targetIsNeverNull() - Method in class jif.extension.JifFieldDel

targetIsNeverNull() - Method in class jif.extension.JifCallDel

targetType(JifTypeSystem, JifContext, Expr) - Method in class jif.extension.JifFieldDel

targetType(JifTypeSystem, JifContext, Receiver, Field) - Static method in class jif.extension.JifFieldExt

THIS - Static variable in class jif.parse.sym

thisLabel - Variable in class jif.types.JifMethodInstance_c

thisLabel - Variable in class jif.types.JifConstructorInstance_c

thisLabel() - Method in class jif.types.JifSubstClassType_c

thisLabel() - Method in class jif.types.JifParsedPolyType_c

thisLabel() - Method in class jif.types.JifMethodInstance_c

thisLabel() - Method in class jif.types.JifContext_c

thisLabel() - Method in class jif.types.JifConstructorInstance_c

thisLabel() - Method in interface jif.types.JifClassType

thisLabel() - Method in interface jif.types.JifProcedureInstance

thisLabel(Label) - Method in class jif.types.JifParsedPolyType_c

thisLabel(Label) - Method in interface jif.types.JifParsedPolyType

thisLabel(Label) - Method in class jif.types.JifContext_c

THROW - Static variable in class jif.parse.sym

THROWS - Static variable in class jif.parse.sym

throwTypes(List) - Method in class jif.types.JifMethodInstance_c

Override super class to make sure that the arglabels of exceptions are replaced appropriately.

throwTypes(TypeSystem) - Method in class jif.extension.JifThrowDel

List of Types of exceptions that might get thrown.

throwTypes(TypeSystem) - Method in class jif.extension.JifFieldDel

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.JifCallDel

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.JifArrayAccessAssignDel

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

toJava - Variable in class jif.ast.Jif_c

toJava() - Method in class jif.ast.Jif_c

toJava() - Method in interface jif.ast.Jif

toJava(JifToJavaRewriter) - Method in class jif.translate.SwitchLabelToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.SourceFileToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ReturnToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.PackageNodeToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.NewLabelToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.MethodDeclToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.LocalDeclToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.InitializerToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.FormalToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.FieldDeclToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.DeclassifyStmtToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.DeclassifyExprToJavaExt_c

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.ConstructorCallToJavaExt_c

Rewrite this(a) to this.C$(a); Rewrite super(a) to super.C$(a)

toJava(JifToJavaRewriter) - Method in class jif.translate.ClassDeclToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ClassBodyToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CaseToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CanonicalTypeNodeToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CanonicalPrincipalNodeToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CanonicalLabelNodeToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.CannotToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ExprToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ToJavaExt_c

toJava(JifToJavaRewriter) - Method in class jif.translate.ActsForToJavaExt_c

toJava(JifToJavaRewriter) - Method in interface jif.translate.ToJavaExt

toJava(JifToJavaRewriter) - Method in class jif.types.UnknownPrincipal_c

toJava(JifToJavaRewriter) - Method in class jif.types.Principal_c

toJava(JifToJavaRewriter) - Method in class jif.types.Label_c

toJava(JifToJavaRewriter) - Method in interface jif.types.Label

toJava(JifToJavaRewriter) - Method in interface jif.types.Principal

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.PolicyLabelToJavaExpr_c

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.MeetLabelToJavaExpr_c

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.JoinLabelToJavaExpr_c

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.DynamicLabelToJavaExpr_c

toJava(Label, JifToJavaRewriter) - Method in interface jif.translate.LabelToJavaExpr

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.LabelToJavaExpr_c

toJava(Label, JifToJavaRewriter) - Method in class jif.translate.CannotLabelToJavaExpr_c

toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.ExternalPrincipalToJavaExpr_c

toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.DynamicPrincipalToJavaExpr_c

toJava(Principal, JifToJavaRewriter) - Method in interface jif.translate.PrincipalToJavaExpr

toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.PrincipalToJavaExpr_c

toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.CannotPrincipalToJavaExpr_c

toJava(ToJavaExt) - Method in class jif.ast.Jif_c

toJava(ToJavaExt) - Method in interface jif.ast.Jif

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.SwitchLabelToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.NewLabelToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.MethodDeclToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.DeclassifyStmtToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.DeclassifyExprToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ConstructorDeclToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ClassDeclToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ActsForToJavaExt_c

toJavaEnter(JifToJavaRewriter) - Method in interface jif.translate.ToJavaExt

ToJavaExt - interface jif.translate.ToJavaExt.

ToJavaExt_c - class jif.translate.ToJavaExt_c.

ToJavaExt_c() - Constructor for class jif.translate.ToJavaExt_c

toNull() - Method in class jif.types.LabeledType_c

toParamList(List) - Method in class jif.parse.Grm

topics - Static variable in class jif.ExtensionInfo

Topics - class jif.Topics.

Extension information for jif extension.

Topics() - Constructor for class jif.Topics

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

topLabel() - Method in class jif.types.JifTypeSystem_c

topLabel() - Method in interface jif.types.JifTypeSystem

topLabel(Position) - Method in class jif.types.JifTypeSystem_c

topLabel(Position) - Method in interface jif.types.JifTypeSystem

topoSort() - Method in class jif.types.Graph

toPrimitive() - Method in class jif.types.LabeledType_c

toReference() - Method in class jif.types.LabeledType_c

toString() - Method in class jif.ast.SwitchLabel_c

toString() - Method in class jif.ast.ParamDecl_c

toString() - Method in class jif.ast.NewLabel_c

toString() - Method in class jif.ast.LabeledTypeNode_c

toString() - Method in class jif.ast.LabelCase_c

toString() - Method in class jif.ast.InstTypeNode_c

toString() - Method in class jif.ast.DeclassifyStmt_c

toString() - Method in class jif.ast.DeclassifyExpr_c

toString() - Method in class jif.ast.AmbVarLabelNode_c

toString() - Method in class jif.ast.AmbThisLabelNode_c

toString() - Method in class jif.ast.PrincipalNode_c

toString() - Method in class jif.ast.AmbPrincipalNode_c

toString() - Method in class jif.ast.AmbParam_c

toString() - Method in class jif.ast.AmbParamTypeOrAccess_c

toString() - Method in class jif.ast.AmbNewArray_c

toString() - Method in class jif.ast.LabelNode_c

toString() - Method in class jif.ast.AmbDynamicLabelNode_c

toString() - Method in class jif.ast.ActsFor_c

toString() - Method in class jif.ast.ConstraintNode_c

toString() - Method in class jif.types.UnknownPrincipal_c

toString() - Method in class jif.types.UnknownParam_c

toString() - Method in class jif.types.UnknownLabel_c

toString() - Method in class jif.types.TopLabel_c

toString() - Method in class jif.types.RuntimeLabel_c

toString() - Method in class jif.types.PrincipalInstance_c

toString() - Method in class jif.types.ParamPrincipal_c

toString() - Method in class jif.types.ParamInstance_c

toString() - Method in class jif.types.NotTaken_c

toString() - Method in class jif.types.MeetLabel_c

toString() - Method in class jif.types.LabeledType_c

toString() - Method in class jif.types.JifSubstClassType_c

toString() - Method in class jif.types.JifPlaceHolder_c

toString() - Method in class jif.types.JifParsedPolyType_c

toString() - Method in class jif.types.JifMuPClass_c

toString() - Method in class jif.types.JifMethodInstance_c

toString() - Method in class jif.types.GotoPath_c

toString() - Method in class jif.types.ExternalPrincipal_c

toString() - Method in class jif.types.ExceptionPath_c

toString() - Method in class jif.types.CallerConstraint_c

toString() - Method in class jif.types.AuthConstraint_c

toString() - Method in class jif.types.DynamicPrincipal_c

toString() - Method in class jif.types.ArgPrincipal_c

toString() - Method in class jif.types.Label_c

toString() - Method in class jif.types.ActsForConstraint_c

toString() - Method in class jif.types.LabelConstraint

toString() - Method in class jif.types.NamedLabel

toString() - Method in class jif.types.Graph

toString() - Method in class jif.types.Equation

toString() - Method in class jif.types.PathMap

toString() - Method in class jif.types.PrincipalHierarchy

toString() - Method in class jif.types.UID

toStringSetNodes() - 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

TRANSIENT - Static variable in class jif.parse.sym

translate(CodeWriter, Translator) - Method in class jif.ast.SwitchLabel_c

translate(CodeWriter, Translator) - Method in class jif.ast.ParamDecl_c

translate(CodeWriter, Translator) - Method in class jif.ast.NewLabel_c

translate(CodeWriter, Translator) - Method in class jif.ast.LabeledTypeNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.LabelCase_c

translate(CodeWriter, Translator) - Method in class jif.ast.JifClassDecl_c

translate(CodeWriter, Translator) - Method in class jif.ast.InstTypeNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.DeclassifyStmt_c

translate(CodeWriter, Translator) - Method in class jif.ast.DeclassifyExpr_c

translate(CodeWriter, Translator) - Method in class jif.ast.CanonicalPrincipalNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.CanonicalLabelNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.CanonicalConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.CallerConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.AuthConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.ActsFor_c

translate(CodeWriter, Translator) - Method in class jif.ast.ActsForConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.extension.JifJL_c

translate(Resolver) - Method in class jif.types.UnknownPrincipal_c

translate(Resolver) - Method in class jif.types.UnknownParam_c

translate(Resolver) - Method in class jif.types.ParamPrincipal_c

translate(Resolver) - Method in class jif.types.LabeledType_c

translate(Resolver) - Method in class jif.types.ExternalPrincipal_c

translate(Resolver) - Method in class jif.types.Principal_c

translate(Resolver) - Method in class jif.types.DynamicPrincipal_c

translate(Resolver) - Method in interface jif.types.Principal

translate(Resolver, CodeWriter) - Method in class jif.types.VarLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.UnknownLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.TopLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.RuntimeLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.PolicyLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.ParamLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.NotTaken_c

translate(Resolver, CodeWriter) - Method in class jif.types.MeetLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.LabelOfVar_c

translate(Resolver, CodeWriter) - Method in class jif.types.JoinLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.DynrecLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.DynamicLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.CovariantLabel_c

translate(Resolver, CodeWriter) - Method in class jif.types.Label_c

translate(Resolver, CodeWriter) - Method in class jif.types.ArgLabel_c

translate(Resolver, CodeWriter) - Method in interface jif.types.Label

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

TRY - Static variable in class jif.parse.sym

ts - Variable in class jif.parse.Grm

ts - Variable in class jif.types.Solver

ts - Variable in class jif.types.PathMap

ts - Variable in class jif.visit.JifLabelSubst

type - Variable in class jif.ast.AmbParamTypeOrAccess_c

type() - Method in class jif.ast.AmbParamTypeOrAccess_c

type() - Method in class jif.extension.CallHelper

type(Type) - Method in class jif.ast.JifClassDecl_c

type(Type) - Method in interface jif.ast.JifClassDecl

typeCheck(TypeChecker) - Method in class jif.ast.SwitchLabel_c

typeCheck(TypeChecker) - Method in class jif.ast.NewLabel_c

typeCheck(TypeChecker) - Method in class jif.ast.LabeledTypeNode_c

typeCheck(TypeChecker) - Method in class jif.ast.JifNew_c

typeCheck(TypeChecker) - Method in class jif.ast.JifConstructorDecl_c

typeCheck(TypeChecker) - Method in class jif.ast.JifClassDecl_c

typeCheck(TypeChecker) - Method in class jif.ast.JifCanonicalTypeNode_c

typeCheck(TypeChecker) - Method in class jif.ast.InstTypeNode_c

typeCheck(TypeChecker) - Method in class jif.ast.DeclassifyExpr_c

typeCheck(TypeChecker) - Method in class jif.ast.ActsFor_c

Type check the expression.

typeCheck(TypeChecker) - Method in class jif.extension.JifInitializerDel

typeCheck(TypeChecker) - Method in class jif.extension.JifFieldDel

typeCheck(TypeChecker) - Method in class jif.extension.JifFieldDeclDel

typePart - Variable in class jif.ast.LabeledTypeNode_c

typePart - Variable in class jif.types.LabeledType_c

typePart() - Method in class jif.ast.LabeledTypeNode_c

typePart() - Method in interface jif.ast.LabeledTypeNode

typePart() - Method in class jif.types.LabeledType_c

typePart() - Method in interface jif.types.LabeledType

typePart(Type) - Method in class jif.types.LabeledType_c

typePart(Type) - Method in interface jif.types.LabeledType

typePart(TypeNode) - Method in class jif.ast.LabeledTypeNode_c

typePart(TypeNode) - Method in interface jif.ast.LabeledTypeNode

typeSystem() - Method in class jif.visit.LabelChecker

U

UID - class jif.types.UID.

A unique ID.

uid() - Method in class jif.types.VarLabel_c

uid() - Method in class jif.types.UnknownPrincipal_c

uid() - Method in class jif.types.ParamLabel_c

uid() - Method in class jif.types.ParamInstance_c

uid() - Method in class jif.types.JifLocalInstance_c

uid() - Method in class jif.types.JifFieldInstance_c

uid() - Method in class jif.types.DynrecLabel_c

uid() - Method in class jif.types.DynamicLabel_c

uid() - Method in class jif.types.CovariantLabel_c

uid() - Method in class jif.types.Principal_c

uid() - Method in class jif.types.ArgLabel_c

uid() - Method in interface jif.types.JifVarInstance

uid() - Method in interface jif.types.ArgLabel

Global unique identifier of this label.

uid() - Method in interface jif.types.DynrecLabel

uid() - Method in interface jif.types.ParamLabel

uid() - Method in interface jif.types.CovariantLabel

uid() - Method in interface jif.types.ParamInstance

uid() - Method in interface jif.types.DynamicLabel

uid() - Method in interface jif.types.VarLabel

uid() - Method in interface jif.types.Principal

UID(String) - Constructor for class jif.types.UID

uid(UID) - Method in class jif.types.VarLabel_c

uid(UID) - Method in class jif.types.ParamLabel_c

uid(UID) - Method in class jif.types.ParamInstance_c

uid(UID) - Method in class jif.types.JifLocalInstance_c

uid(UID) - Method in interface jif.types.JifLocalInstance

uid(UID) - Method in class jif.types.JifFieldInstance_c

uid(UID) - Method in interface jif.types.JifFieldInstance

uid(UID) - Method in class jif.types.DynrecLabel_c

uid(UID) - Method in class jif.types.DynamicLabel_c

uid(UID) - Method in class jif.types.CovariantLabel_c

uid(UID) - Method in interface jif.types.DynrecLabel

uid(UID) - Method in interface jif.types.ParamInstance

uid(UID) - Method in interface jif.types.DynamicLabel

uid(UID) - Method in interface jif.types.VarLabel

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

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

unknownLabel(Position) - Method in class jif.types.JifTypeSystem_c

unknownLabel(Position) - Method in interface jif.types.JifTypeSystem

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

unknownParam(Position) - Method in class jif.types.JifTypeSystem_c

unknownParam(Position) - Method in interface jif.types.JifTypeSystem

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

unknownPrincipal(Position) - Method in class jif.types.JifTypeSystem_c

unknownPrincipal(Position) - Method in interface jif.types.JifTypeSystem

unknownQualifier(Position) - Method in class jif.types.JifTypeSystem_c

unknownType(Position) - Method in class jif.types.JifTypeSystem_c

unlabel(Type) - Method in class jif.types.JifTypeSystem_c

unlabel(Type) - Method in interface jif.types.JifTypeSystem

Remove the label from a type, if any.

URSHIFT - Static variable in class jif.parse.sym

URSHIFTEQ - Static variable in class jif.parse.sym

usage(PrintStream) - Method in class jif.JifOptions

Print usage information

V

var() - Method in class jif.types.LabelOfVar_c

var() - Method in interface jif.types.LabelOfVar

variables() - Method in class jif.types.VarLabel_c

variables() - Method in class jif.types.UnknownLabel_c

variables() - Method in class jif.types.TopLabel_c

variables() - Method in class jif.types.RuntimeLabel_c

variables() - Method in class jif.types.PolicyLabel_c

variables() - Method in class jif.types.ParamLabel_c

variables() - Method in class jif.types.NotTaken_c

variables() - Method in class jif.types.MeetLabel_c

variables() - Method in class jif.types.LabelOfVar_c

variables() - Method in class jif.types.JoinLabel_c

variables() - Method in class jif.types.DynrecLabel_c

variables() - Method in class jif.types.DynamicLabel_c

variables() - Method in class jif.types.CovariantLabel_c

variables() - Method in class jif.types.Label_c

variables() - Method in class jif.types.ArgLabel_c

variables() - Method in class jif.types.Equation

variables() - Method in interface jif.types.Label

The collection of variables contained by this label (or any of its components).

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

varLabel(Position, UID) - Method in class jif.types.JifTypeSystem_c

varLabel(Position, UID) - Method in interface jif.types.JifTypeSystem

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

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

Version - class jif.Version.

version() - Method in class jif.ExtensionInfo

Version() - Constructor for class jif.Version

visitChildren(NodeVisitor) - Method in class jif.ast.SwitchLabel_c

visitChildren(NodeVisitor) - Method in class jif.ast.PolicyLabelNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.NewLabel_c

visitChildren(NodeVisitor) - Method in class jif.ast.LabeledTypeNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.LabelCase_c

visitChildren(NodeVisitor) - Method in class jif.ast.JoinLabelNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.JifMethodDecl_c

visitChildren(NodeVisitor) - Method in class jif.ast.JifConstructorDecl_c

visitChildren(NodeVisitor) - Method in class jif.ast.JifClassDecl_c

visitChildren(NodeVisitor) - Method in class jif.ast.InstTypeNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.DeclassifyStmt_c

visitChildren(NodeVisitor) - Method in class jif.ast.DeclassifyExpr_c

visitChildren(NodeVisitor) - Method in class jif.ast.CallerConstraintNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.AuthConstraintNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.AmbParamTypeOrAccess_c

visitChildren(NodeVisitor) - Method in class jif.ast.AmbNewArray_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.ActsForConstraintNode_c

Visits the children of this node.

visitChildren(NodeVisitor) - Method in class jif.parse.Wrapper

VOID - Static variable in class jif.parse.sym

VOLATILE - Static variable in class jif.parse.sym

W

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.

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.

X

X - Variable in class jif.ast.Jif_c

X() - Method in class jif.ast.Jif_c

X() - Method in interface jif.ast.Jif

Gets the path map of this extension.

X() - Method in class jif.extension.CallHelper

X(Node) - Static method in class jif.ast.Jif_c

X(Node) - Static method in class jif.ast.JifUtil

X(Node, PathMap) - Static method in class jif.ast.Jif_c

X(Node, PathMap) - Static method in class jif.ast.JifUtil

X(PathMap) - Method in class jif.ast.Jif_c

X(PathMap) - Method in interface jif.ast.Jif

Returns a copy of this object with the path map updated.

XOR - Static variable in class jif.parse.sym

XOREQ - Static variable in class jif.parse.sym

Y

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.

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

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 _