Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

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
abstractSuperInterfaces(ReferenceType) - Method in interface jif.types.JifTypeSystem
  Exposes utility method of TypeSystem_c
abstractSuperInterfaces(ReferenceType) - Method in class jif.types.JifTypeSystem_c
acceptCFG(CFGBuilder, List) - Method in class jif.ast.ActsFor_c
acceptCFG(CFGBuilder, List) - Method in class jif.ast.AmbNewArray_c
  Visit this term in evaluation order.
acceptCFG(CFGBuilder, List) - Method in class jif.ast.AmbPrincipalNode_c
  Visit this term in evaluation order.
acceptCFG(CFGBuilder, List) - Method in class jif.ast.CanonicalPrincipalNode_c
  Visit this term in evaluation order.
acceptCFG(CFGBuilder, List) - Method in class jif.ast.DeclassifyExpr_c
acceptCFG(CFGBuilder, List) - Method in class jif.ast.DeclassifyStmt_c
acceptCFG(CFGBuilder, List) - Method in class jif.ast.LabelExpr_c
acceptCFG(CFGBuilder, List) - Method in class jif.ast.LabelIf_c
acceptCFG(CFGBuilder, List) - Method in class jif.parse.Wrapper
  Visit this term in evaluation order.
Access - Class in jif.parse
  An `Access` represents a `Amb` of the form "P[e]" where e must be an expression.
AccessPath - Class in jif.types.label
  An AccessPath represents a final access path.
AccessPath(Position) - Constructor for class jif.types.label.AccessPath
AccessPathClass - Class in jif.types.label
  Represents a final access path rooted at a class, e.g.
AccessPathClass(ClassType, Position) - Constructor for class jif.types.label.AccessPathClass
AccessPathConstant - Class in jif.types.label
  Represents a final access path consisting of a constant label or principal, that is, either a NewLabel expression or an External principal.
AccessPathConstant(Label, Position) - Constructor for class jif.types.label.AccessPathConstant
AccessPathConstant(Principal, Position) - Constructor for class jif.types.label.AccessPathConstant
accessPathDescrip(AccessPath, String) - Static method in class jif.ast.JifUtil
AccessPathField - Class in jif.types.label
  Represent a final access path whose last element is a field access to a final field, for example "p.f", where p is a final access path.
AccessPathField(AccessPath, FieldInstance, String, Position) - Constructor for class jif.types.label.AccessPathField
AccessPathLocal - Class in jif.types.label
  Represents a final access path rooted at a local variable.
AccessPathLocal(LocalInstance, String, Position) - Constructor for class jif.types.label.AccessPathLocal
AccessPathRoot - Class in jif.types.label
  Represents a final access path root.
AccessPathRoot(Position) - Constructor for class jif.types.label.AccessPathRoot
AccessPathThis - Class in jif.types.label
  Represents a final access path rooted at "this".
AccessPathThis(ClassType, Position) - Constructor for class jif.types.label.AccessPathThis
AccessPathUninterpreted - Class in jif.types.label
  Represents an access path that is not final, and thus not interpreted: the type system does not track it precisely.
AccessPathUninterpreted(Expr, Position) - Constructor for class jif.types.label.AccessPathUninterpreted
action_obj - Variable in class jif.parse.Grm
  Instance of action encapsulation class.
action_table() - Method in class jif.parse.Grm
  Access to parse-action table.
actor() - Method in interface jif.ast.ActsFor
  Gets the actor.
actor(PrincipalNode) - Method in interface jif.ast.ActsFor
  Makes a copy node and sets the actor of the copy.
actor - Variable in class jif.ast.ActsFor_c
actor() - Method in class jif.ast.ActsFor_c
  Gets the actor principal.
actor(PrincipalNode) - Method in class jif.ast.ActsFor_c
  Sets the actor principal.
actor() - Method in interface jif.ast.ActsForConstraintNode
  Gets the actor principal.
actor(PrincipalNode) - Method in interface jif.ast.ActsForConstraintNode
  Returns a copy of this node with the actor updated.
actor - Variable in class jif.ast.ActsForConstraintNode_c
actor() - Method in class jif.ast.ActsForConstraintNode_c
  Gets the actor principal.
actor(PrincipalNode) - Method in class jif.ast.ActsForConstraintNode_c
  Returns a copy of this node with the actor updated.
actor() - Method in interface jif.types.ActsForConstraint
actor(Principal) - Method in interface jif.types.ActsForConstraint
actor - Variable in class jif.types.ActsForConstraint_c
actor(Principal) - Method in class jif.types.ActsForConstraint_c
actor() - Method in class jif.types.ActsForConstraint_c
ActsFor - Interface in jif.ast
  An immutable representation of a Jif `actsFor` statement.
ACTSFOR - Static variable in interface jif.ast.ActsFor
ActsFor(Position, ActsFor.Kind, Principal, Principal, Stmt, Stmt) - Method in interface jif.ast.JifNodeFactory
ActsFor(Position, ActsFor.Kind, PrincipalNode, PrincipalNode, Stmt, Stmt) - Method in interface jif.ast.JifNodeFactory
ActsFor(Position, ActsFor.Kind, Principal, Principal, Stmt, Stmt) - Method in class jif.ast.JifNodeFactory_c
ActsFor(Position, ActsFor.Kind, PrincipalNode, PrincipalNode, Stmt, Stmt) - Method in class jif.ast.JifNodeFactory_c
ACTSFOR - Static variable in class jif.extension.JifBinaryDel
ACTSFOR - Static variable in class jif.parse.sym
actsFor(Principal, Principal) - Method in class jif.types.hierarchy.PrincipalHierarchy
actsFor(Principal, Principal, Set) - Method in class jif.types.hierarchy.PrincipalHierarchy
actsFor(Collection, Collection) - Method in class jif.types.hierarchy.PrincipalHierarchy
actsFor(Principal, Principal) - Method in interface jif.types.JifContext
  Test an actsfor relation, using the principal hierarchy.
actsFor(Collection, Collection) - Method in interface jif.types.JifContext
  Test an actsfor relation, using the principal hierarchy.
actsFor(Principal, Principal) - Method in class jif.types.JifContext_c
actsFor(Collection, Collection) - Method in class jif.types.JifContext_c
ActsFor.Kind - Class in jif.ast
ActsFor.Kind(String) - Constructor for class jif.ast.ActsFor.Kind
ActsFor_c - Class in jif.ast
  An implementation of the `ActsFor` interface.
ActsFor_c(Position, ActsFor.Kind, PrincipalNode, PrincipalNode, Stmt, Stmt) - Constructor for class jif.ast.ActsFor_c
ACTSFOR_LOWER - Static variable in class jif.parse.sym
ActsForConstraint - Interface in jif.types
  The acts-for constraint.
actsForConstraint(Position, Principal, Principal, boolean) - Method in interface jif.types.JifTypeSystem
  Construct an acts-for constraint.
actsForConstraint(Position, Principal, Principal, boolean) - Method in class jif.types.JifTypeSystem_c
ActsForConstraint_c - Class in jif.types
  An implementation of the `ActsForConstraint` interface.
ActsForConstraint_c(JifTypeSystem, Position, Principal, Principal, boolean) - Constructor for class jif.types.ActsForConstraint_c
ActsForConstraintNode - Interface in jif.ast
  An immutable representation of the Jif `ActsFor constraint`.
ActsForConstraintNode(Position, PrincipalNode, PrincipalNode) - Method in interface jif.ast.JifNodeFactory
ActsForConstraintNode(Position, PrincipalNode, PrincipalNode, boolean) - Method in interface jif.ast.JifNodeFactory
ActsForConstraintNode(Position, PrincipalNode, PrincipalNode) - Method in class jif.ast.JifNodeFactory_c
ActsForConstraintNode(Position, PrincipalNode, PrincipalNode, boolean) - Method in class jif.ast.JifNodeFactory_c
ActsForConstraintNode_c - Class in jif.ast
  An implementation of the `ActsForConstraintNode` interface.
ActsForConstraintNode_c(Position, PrincipalNode, PrincipalNode, boolean) - Constructor for class jif.ast.ActsForConstraintNode_c
actsForString() - Method in class jif.types.hierarchy.PrincipalHierarchy
ActsForToJavaExt_c - Class in jif.translate
ActsForToJavaExt_c() - Constructor for class jif.translate.ActsForToJavaExt_c
actuals() - Method in interface jif.types.JifClassType
  Returns a list of `Param`s, being the parameters with which this class is instantiated.
actuals() - Method in class jif.types.JifParsedPolyType_c
actuals() - Method in class jif.types.JifSubstClassType_c
add(Principal, Principal) - Method in class jif.types.hierarchy.PrincipalHierarchy
addActsFor(Principal, Principal) - Method in interface jif.types.hierarchy.LabelEnv
addActsFor(Principal, Principal) - Method in class jif.types.hierarchy.LabelEnv_c
addActsFor(Principal, Principal) - Method in interface jif.types.JifContext
  Add an actsfor relation to the principal hierarchy.
addActsFor(Principal, Principal) - Method in class jif.types.JifContext_c
addAdditionalClassDecl(ClassDecl) - Method in class jif.translate.JifToJavaRewriter
addAssertionLE(Label, Label) - Method in interface jif.types.hierarchy.LabelEnv
addAssertionLE(Label, Label) - Method in class jif.types.hierarchy.LabelEnv_c
addAssertionLE(Label, Label, boolean) - Method in class jif.types.hierarchy.LabelEnv_c
addAssertionLE(Label, Label) - Method in interface jif.types.JifContext
  Add a less than or equal assertion to the label environment.
addAssertionLE(Label, Label) - Method in class jif.types.JifContext_c
addAuthorityToContext(JifContext) - Method in interface jif.ast.JifClassDecl
addAuthorityToContext(JifContext) - Method in class jif.ast.JifClassDecl_c
addCallers(JifProcedureInstance, JifContext, Set) - Static 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
addDefinitionalAssertionEquiv(Label, Label) - Method in interface jif.types.JifContext
  Adds the assertion to this context, and all outer contexts up to the method/constructor/initializer level
addDefinitionalAssertionEquiv(Label, Label) - Method in class jif.types.JifContext_c
  Adds the assertion to this context, and all outer contexts up to the method/constructor/initializer level
addDefinitionalEquiv(Principal, Principal) - Method in interface jif.types.JifContext
  Adds the assertion to this context, and all outer contexts up to the method/constructor/initializer level
addDefinitionalEquiv(Principal, Principal) - Method in class jif.types.JifContext_c
  Adds the assertion to this context, and all outer contexts up to the method/constructor/initializer level
addDependencies(Equation) - Method in class jif.types.Solver
  This abstract method must add the correct dependencies from Equation eqn to varaiables occuring in eqn, and dependencies in the other direction (that is, from variables occuring in eqn to eqn).
addDependencies(Equation) - Method in class jif.types.SolverGLB
  This method adds the correct dependencies from Equation eqn to varaiables occuring in eqn, and dependencies in the other direction (that is, from variables occuring in eqn to eqn).
addDependency(VarLabel, Equation) - Method in class jif.types.Solver
  This method records a dependency from variable var to Equation eqn.
addDependency(Equation, VarLabel) - Method in class jif.types.Solver
  This method records a dependency from Equation eqn to variable var.
addEquationToQueue(Equation) - Method in class jif.types.Solver
addEquationToQueueHead(Equation) - Method in class jif.types.Solver
addEquiv(Principal, Principal) - Method in interface jif.types.hierarchy.LabelEnv
addEquiv(Label, Label) - Method in interface jif.types.hierarchy.LabelEnv
addEquiv(Principal, Principal) - Method in class jif.types.hierarchy.LabelEnv_c
addEquiv(Label, Label) - Method in class jif.types.hierarchy.LabelEnv_c
addEquiv(Principal, Principal) - Method in interface jif.types.JifContext
  Add an actsfor relation both ways to the principal hierarchy.
addEquiv(Principal, Principal) - Method in class jif.types.JifContext_c
addInitializer(Stmt) - Method in class jif.translate.JifToJavaRewriter
addJob(Source, Node) - Method in class jif.JifScheduler
addJob(Source) - Method in class jif.JifScheduler
addMemberClass(ClassType) - Method in class jif.types.JifParsedPolyType_c
addParamsToContext(JifContext) - Method in interface jif.ast.JifClassDecl
addParamsToContext(JifContext) - Method in class jif.ast.JifClassDecl_c
addReturnConstraints(Label, PathMap, JifProcedureInstance, LabelChecker, Type) - Method in class jif.extension.JifProcedureDeclExt_c
  This method corresponds to most of the check-body predicate in the thesis (Figure 4.40).
addSubtypeConstraints(LabelChecker, Position, Type, Type) - Method in class jif.extension.SubtypeChecker
  Check that subtype <= supertype
addTrace(VarLabel, Equation, Label) - Method in class jif.types.Solver
  Record the fact that label variable v, in the constraint eqn had its bound set to the label lb.
allActivesAreMultiVarRHS() - Method in class jif.types.SolverGLB
  return true if every active constraint has multi vars on the RHS.
allPaths() - Method in class jif.types.PathMap
  Return all paths in the map including NV and RV.
alternative() - Method in interface jif.ast.ActsFor
  Gets the alternative statement.
alternative(Stmt) - Method in interface jif.ast.ActsFor
  Makes a copy of this node and sets the alternative statement of the copy.
alternative - Variable in class jif.ast.ActsFor_c
alternative() - Method in class jif.ast.ActsFor_c
  Gets the alternative statement.
alternative(Stmt) - Method in class jif.ast.ActsFor_c
  Sets the alternative statement.
alternative() - Method in interface jif.ast.LabelIf
  Gets the alternative statement.
alternative(Stmt) - Method in interface jif.ast.LabelIf
  Makes a copy of this node and sets the alternative statement of the copy.
alternative - Variable in class jif.ast.LabelIf_c
alternative() - Method in class jif.ast.LabelIf_c
  Gets the alternative statement.
alternative(Stmt) - Method in class jif.ast.LabelIf_c
  Sets the alternative statement.
Amb - Class in jif.parse
amb - Variable in class jif.parse.Wrapper
AmbDynamicLabelNode - Interface in jif.ast
  An ambiguous dynamic label.
AmbDynamicLabelNode(Position, Expr) - Method in interface jif.ast.JifNodeFactory
AmbDynamicLabelNode(Position, Expr) - Method in class jif.ast.JifNodeFactory_c
AmbDynamicLabelNode_c - Class in jif.ast
  An implementation of the `AmbDynamicLabel` interface.
AmbDynamicLabelNode_c(Position, Expr) - Constructor for class jif.ast.AmbDynamicLabelNode_c
AmbExprParam - Interface in jif.ast
  An ambiguous expression parameter.
AmbExprParam_c - Class in jif.ast
  An implementation of the `AmbParam` interface.
AmbExprParam_c(Position, Expr, ParamInstance) - Constructor for class jif.ast.AmbExprParam_c
AmbLabelNode_c - Class in jif.ast
  An ambiguous label node.
AmbLabelNode_c(Position) - Constructor for class jif.ast.AmbLabelNode_c
AmbNewArray - Interface in jif.ast
  An ambiguous new array expression.
AmbNewArray(Position, TypeNode, Object, List) - Method in interface jif.ast.JifNodeFactory
AmbNewArray(Position, TypeNode, Object, List) - Method in class jif.ast.JifNodeFactory_c
AmbNewArray_c - Class in jif.ast
  An implementation of the `AmbNewArray` interface.
AmbNewArray_c(Position, TypeNode, Object, List) - Constructor for class jif.ast.AmbNewArray_c
AmbParam - Interface in jif.ast
  An ambiguous parameter.
AmbParam(Position, String) - Method in interface jif.ast.JifNodeFactory
AmbParam(Position, String, ParamInstance) - Method in interface jif.ast.JifNodeFactory
AmbParam(Position, Expr, ParamInstance) - Method in interface jif.ast.JifNodeFactory
AmbParam(Position, String) - Method in class jif.ast.JifNodeFactory_c
AmbParam(Position, String, ParamInstance) - Method in class jif.ast.JifNodeFactory_c
AmbParam(Position, Expr, ParamInstance) - Method in class jif.ast.JifNodeFactory_c
AmbParam_c - Class in jif.ast
  An implementation of the `AmbParam` interface.
AmbParam_c(Position, String, ParamInstance) - Constructor for class jif.ast.AmbParam_c
AmbParamTypeOrAccess - Interface in jif.ast
  An ambiguous parameter type or array access.
AmbParamTypeOrAccess(Position, Receiver, Object) - Method in interface jif.ast.JifNodeFactory
AmbParamTypeOrAccess(Position, Receiver, Object) - Method in class jif.ast.JifNodeFactory_c
AmbParamTypeOrAccess_c - Class in jif.ast
  An implementation of the `AmbParamTypeOrAccess` interface.
AmbParamTypeOrAccess_c(Position, Receiver, Object) - Constructor for class jif.ast.AmbParamTypeOrAccess_c
AmbPrincipalNode - Interface in jif.ast
  An ambiguous principal node.
AmbPrincipalNode(Position, Expr) - Method in interface jif.ast.JifNodeFactory
AmbPrincipalNode(Position, String) - Method in interface jif.ast.JifNodeFactory
AmbPrincipalNode(Position, Expr) - Method in class jif.ast.JifNodeFactory_c
AmbPrincipalNode(Position, String) - Method in class jif.ast.JifNodeFactory_c
AmbPrincipalNode_c - Class in jif.ast
  An implementation of the `AmbPrincipalNode` interface.
AmbPrincipalNode_c(Position, Expr) - Constructor for class jif.ast.AmbPrincipalNode_c
AmbPrincipalNode_c(Position, String) - Constructor for class jif.ast.AmbPrincipalNode_c
AmbThisLabelNode - Interface in jif.ast
  An ambigous `this` label node.
AmbThisLabelNode(Position) - Method in interface jif.ast.JifNodeFactory
AmbThisLabelNode(Position) - Method in class jif.ast.JifNodeFactory_c
AmbThisLabelNode_c - Class in jif.ast
  An implementation of the `AmbThisLabelNode` interface.
AmbThisLabelNode_c(Position) - Constructor for class jif.ast.AmbThisLabelNode_c
AmbVarLabelNode - Interface in jif.ast
  An ambiguous variable label node.
AmbVarLabelNode(Position, String) - Method in interface jif.ast.JifNodeFactory
AmbVarLabelNode(Position, String) - Method in class jif.ast.JifNodeFactory_c
AmbVarLabelNode_c - Class in jif.ast
  An implementation of the `AmbVarLabelNode` interface.
AmbVarLabelNode_c(Position, String) - Constructor for class jif.ast.AmbVarLabelNode_c
AND - Static variable in class jif.parse.sym
ANDAND - Static variable in class jif.parse.sym
ANDEQ - Static variable in class jif.parse.sym
applyBoundsTo(Label) - Method in class jif.types.Solver
applyTo(Label) - Method in class jif.types.VarMap
applyTo(Principal) - Method in class jif.types.VarMap
applyTo(Type) - Method in class jif.types.VarMap
argLabel(Position, VarInstance) - Method in interface jif.types.JifTypeSystem
argLabel(Position, VarInstance) - Method in class jif.types.JifTypeSystem_c
ArgLabel - Interface in jif.types.label
  This label is used as a place-holder for method argument labels.
ArgLabel_c - Class in jif.types.label
  This label is used as the label of the real argument.
ArgLabel_c() - Constructor for class jif.types.label.ArgLabel_c
ArgLabel_c(JifTypeSystem, VarInstance, Position) - Constructor for class jif.types.label.ArgLabel_c
argVarLabels - Variable in class jif.extension.JifCallDel
Array - Class in jif.parse
  An `Array` represents a `Amb` of the form "P[]".
Array(Grm, Position, TypeNode) - Constructor for class jif.parse.Array
ArrayIndexChecker - Class in jif.visit
  ###TODO
ArrayIndexChecker(Job, TypeSystem, NodeFactory) - Constructor for class jif.visit.ArrayIndexChecker
  Constructor
arrayIsNeverNull() - Method in class jif.extension.JifArrayAccessDel
ASSERT - Static variable in class jif.parse.sym
Assertion - Interface in jif.types
  An `Assertion` represents a condition on labels and/or principals that is assumed to hold true.
AuthConstraint - Interface in jif.types
  The authority constraint.
authConstraint(Position, List) - Method in interface jif.types.JifTypeSystem
  Construct an authority constraint.
authConstraint(Position, List) - Method in class jif.types.JifTypeSystem_c
AuthConstraint_c - Class in jif.types
  An implementation of the `AuthConstraint` interface.
AuthConstraint_c(JifTypeSystem, Position, List) - Constructor for class jif.types.AuthConstraint_c
AuthConstraintNode - Interface in jif.ast
  An authority constraint node.
AuthConstraintNode(Position, List) - Method in interface jif.ast.JifNodeFactory
AuthConstraintNode(Position, List) - Method in class jif.ast.JifNodeFactory_c
AuthConstraintNode_c - Class in jif.ast
  An implmentation of the `AuthConstraintNode` interface.
AuthConstraintNode_c(Position, List) - Constructor for class jif.ast.AuthConstraintNode_c
authLabel() - Method in interface jif.types.JifContext
  Get the authority of the current code, represented as a privacy label.
authLabel() - Method in class jif.types.JifContext_c
authority() - Method in interface jif.ast.JifClassDecl
authority(List) - Method in interface jif.ast.JifClassDecl
authority - Variable in class jif.ast.JifClassDecl_c
authority() - Method in class jif.ast.JifClassDecl_c
authority(List) - Method in class jif.ast.JifClassDecl_c
AUTHORITY - Static variable in class jif.parse.sym
authority() - Method in interface jif.types.JifClassType
  The principals that grant authority to objects of this class, that is, the principals listed in the authority clause.
authority() - Method in interface jif.types.JifContext
  The authority of a class or a procedure is the set of principals who have authorized that code.
authority() - Method in class jif.types.JifContext_c
authority() - Method in class jif.types.JifParsedPolyType_c
authority() - Method in class jif.types.JifSubstClassType_c

## B

base() - Method in interface jif.ast.InstTypeNode
base(TypeNode) - Method in interface jif.ast.InstTypeNode
base - Variable in class jif.ast.InstTypeNode_c
base() - Method in class jif.ast.InstTypeNode_c
base(TypeNode) - Method in class jif.ast.InstTypeNode_c
baseType() - Method in interface jif.ast.AmbNewArray
  Gets the base type.
baseType(TypeNode) - Method in interface jif.ast.AmbNewArray
  Returns a copy of this node with the base type updated.
baseType - Variable in class jif.ast.AmbNewArray_c
baseType() - Method in class jif.ast.AmbNewArray_c
  Gets the base type.
baseType(TypeNode) - Method in class jif.ast.AmbNewArray_c
  Returns a copy of this node with `baseType` updated.
begin() - Method in class jif.visit.NotNullChecker
begin() - Method in class jif.visit.PreciseClassChecker
BinaryToJavaExt_c - Class in jif.translate
BinaryToJavaExt_c() - Constructor for class jif.translate.BinaryToJavaExt_c
bindVarLabels(LabelChecker, VarLabel, List, List) - Method in class jif.extension.CallHelper
  Bind the given var labels to the appropriate labels that have been calculated during the call checking.
body() - Method in interface jif.ast.DeclassifyStmt
body(Stmt) - Method in interface jif.ast.DeclassifyStmt
body() - Method in class jif.ast.DeclassifyStmt_c
body(Stmt) - Method in class jif.ast.DeclassifyStmt_c
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(Position) - Method in interface jif.types.JifTypeSystem
bottomLabel() - Method in interface jif.types.JifTypeSystem
bottomLabel(Position) - Method in class jif.types.JifTypeSystem_c
bottomLabel() - Method in class jif.types.JifTypeSystem_c
bound() - Method in interface jif.ast.DeclassifyExpr
bound(LabelNode) - Method in interface jif.ast.DeclassifyExpr
bound() - Method in class jif.ast.DeclassifyExpr_c
bound(LabelNode) - Method in class jif.ast.DeclassifyExpr_c
bound() - Method in interface jif.ast.DeclassifyStmt
bound(LabelNode) - Method in interface jif.ast.DeclassifyStmt
bound() - Method in class jif.ast.DeclassifyStmt_c
bound(LabelNode) - Method in class jif.ast.DeclassifyStmt_c
boundOf(VarLabel) - Method in class jif.types.VarMap
bounds() - Method in class jif.types.Solver
  Get the bounds for this Solver.
bounds - Variable in class jif.visit.JifLabelSubst
BREAK - Static variable in class jif.parse.sym
buildTypes(TypeBuilder) - Method in class jif.ast.JifClassDecl_c
buildTypes(TypeBuilder) - Method in class jif.ast.LabeledTypeNode_c
buildTypes(TypeBuilder) - Method in class jif.ast.ParamDecl_c
buildTypes(TypeBuilder) - Method in class jif.extension.JifFieldDeclDel
buildTypes(TypeBuilder) - Method in class jif.extension.JifFormalDel
buildTypes(TypeBuilder) - Method in class jif.extension.JifJL_c
buildTypes(TypeBuilder) - Method in class jif.extension.JifLocalDeclDel
BYTE - Static variable in class jif.parse.sym

## C

Call(Position, Receiver, String, List) - Method in class jif.ast.JifNodeFactory_c
CALLER - Static variable in class jif.parse.sym
CallerConstraint - Interface in jif.types
  The caller constraint.
callerConstraint(Position, List) - Method in interface jif.types.JifTypeSystem
  Construct a caller constraint.
callerConstraint(Position, List) - Method in class jif.types.JifTypeSystem_c
CallerConstraint_c - Class in jif.types
  An implementation of the `CallerConstraint` interface.
CallerConstraint_c(JifTypeSystem, Position, List) - Constructor for class jif.types.CallerConstraint_c
CallerConstraintNode - Interface in jif.ast
  A caller constraint node.
CallerConstraintNode(Position, List) - Method in interface jif.ast.JifNodeFactory
CallerConstraintNode(Position, List) - Method in class jif.ast.JifNodeFactory_c
CallerConstraintNode_c - Class in jif.ast
  An implementation of the `CallerConstraint` interface.
CallerConstraintNode_c(Position, List) - Constructor for class jif.ast.CallerConstraintNode_c
CallHelper - Class in jif.extension
  This is a tool to label check method calls.
CallHelper(Label, Receiver, ReferenceType, JifProcedureInstance, List, Position) - Constructor for class jif.extension.CallHelper
CallHelper(Label, ReferenceType, JifProcedureInstance, List, Position) - Constructor for class jif.extension.CallHelper
CallToJavaExt_c - Class in jif.translate
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 in jif.translate
CannotLabelToJavaExpr_c() - Constructor for class jif.translate.CannotLabelToJavaExpr_c
CannotPrincipalToJavaExpr_c - Class in jif.translate
CannotPrincipalToJavaExpr_c() - Constructor for class jif.translate.CannotPrincipalToJavaExpr_c
CannotToJavaExt_c - Class in jif.translate
CannotToJavaExt_c() - Constructor for class jif.translate.CannotToJavaExt_c
CanonicalConstraintNode - Interface in jif.ast
  A canonical(non-ambiguous) constraint node.
CanonicalConstraintNode(Position, Assertion) - Method in interface jif.ast.JifNodeFactory
CanonicalConstraintNode(Position, Assertion) - Method in class jif.ast.JifNodeFactory_c
CanonicalConstraintNode_c - Class in jif.ast
  An implementation of the `CanonicalConstraint`.
CanonicalConstraintNode_c(Position, Assertion) - Constructor for class jif.ast.CanonicalConstraintNode_c
CanonicalLabelNode - Interface in jif.ast
  A canonical label node.
CanonicalLabelNode(Position, Label) - Method in interface jif.ast.JifNodeFactory
CanonicalLabelNode(Position, Label) - Method in class jif.ast.JifNodeFactory_c
CanonicalLabelNode_c - Class in jif.ast
  An implementation of the `CanonicalLabelNode` interface.
CanonicalLabelNode_c(Position, Label) - Constructor for class jif.ast.CanonicalLabelNode_c
CanonicalLabelNodeToJavaExt_c - Class in jif.translate
CanonicalLabelNodeToJavaExt_c() - Constructor for class jif.translate.CanonicalLabelNodeToJavaExt_c
CanonicalPrincipalNode - Interface in jif.ast
  Canonical principal node.
CanonicalPrincipalNode(Position, Principal) - Method in interface jif.ast.JifNodeFactory
CanonicalPrincipalNode(Position, Principal) - Method in class jif.ast.JifNodeFactory_c
CanonicalPrincipalNode_c - Class in jif.ast
  An implemenation of the `CanonicalPrincipal` interface.
CanonicalPrincipalNode_c(Position, Principal) - Constructor for class jif.ast.CanonicalPrincipalNode_c
CanonicalPrincipalNodeToJavaExt_c - Class in jif.translate
CanonicalPrincipalNodeToJavaExt_c() - Constructor for class jif.translate.CanonicalPrincipalNodeToJavaExt_c
CanonicalTypeNode(Position, Type) - Method in class jif.ast.JifNodeFactory_c
CanonicalTypeNodeToJavaExt_c - Class in jif.translate
CanonicalTypeNodeToJavaExt_c() - Constructor for class jif.translate.CanonicalTypeNodeToJavaExt_c
CASE - Static variable in class jif.parse.sym
CaseToJavaExt_c - Class in jif.translate
CaseToJavaExt_c() - Constructor for class jif.translate.CaseToJavaExt_c
CastToJavaExt_c - Class in jif.translate
CastToJavaExt_c() - Constructor for class jif.translate.CastToJavaExt_c
Catch(Position, Formal, Block) - Method in class jif.ast.JifNodeFactory_c
CATCH - Static variable in class jif.parse.sym
CHAR - Static variable in class jif.parse.sym
CHARACTER - Static variable in class jif.parse.Lexer_c
CHARACTER_LITERAL - Static variable in class jif.parse.sym
check(FlowGraph, Term, DataFlow.Item, Map) - Method in class jif.visit.ArrayIndexChecker
  For each array access, determine if the array access could throw an ArrayIndexOutOfBoundsException, and annotate the node appropriately.
check(FlowGraph, Term, DataFlow.Item, Map) - Method in class jif.visit.NotNullChecker
  "Check" the nodes of the graph for the not null analysis.
check(FlowGraph, Term, DataFlow.Item, Map) - Method in class jif.visit.PreciseClassChecker
  "Check" the nodes of the graph for the precise class analysis.
checkActsForAuthority(Principal, JifContext) - Method in class jif.extension.JifProcedureDeclExt_c
  Check that there is a p' in the old "auth" set such that p' actsFor p.
checkAndRemoveThrowType(List, Type) - Static method in class jif.ast.Jif_c
  Check that the type excType is indeed in the list of types thrown, thowTypes, and remoive excType from that list.
checkArguments(JifProcedureInstance, LabelChecker) - Method in class jif.extension.JifProcedureDeclExt_c
  This methods corresponds to the check-arguments predicate in the thesis (Figure 4.37).
checkCall(LabelChecker, List) - Method in class jif.extension.CallHelper
  Check method calls.
checkCandidateSolution() - Method in class jif.types.Solver
  Check the candidate solution
checkConstructorAuthority(ClassType, JifContext, Position) - Method in class jif.extension.ConstructorChecker
checkCovariance(JifMethodInstance, LabelChecker) - Method in class jif.extension.JifMethodDeclExt
  This method checks that covariant labels are not used in contravariant positions.
checkEquation(Equation) - Method in class jif.types.SolverGLB
  Check that the equation eqn is satisfied.
checkFinalFieldAssignment(Stmt, Set, JifContext) - Method in class jif.extension.JifConstructorDeclExt
  Check if the stmt is an assignment to a final field.
checkingInits() - Method in interface jif.types.JifContext
  Indicates if we are currently checking the initializers within a constructor.
checkingInits() - Method in class jif.types.JifContext_c
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
checkOther(FlowGraph, Node, InitChecker.DataFlowItem, InitChecker.DataFlowItem) - Method in class jif.visit.JifInitChecker
checkOverride(LabelChecker) - Method in class jif.extension.CallHelper
  this.pi is a Jif method instance that this.overridingMethod is attempting to override.
checkStaticMethodAuthority(JifMethodInstance, JifContext, Position) - Method in class jif.extension.ConstructorChecker
checkTarget(LabelChecker, Field) - Static method in class jif.extension.JifFieldExt
checkThrowTypes(List) - Static method in class jif.ast.Jif_c
  Check that the list of types thrown, thowTypes, does not contain any checked exceptions, i.e., all throw types have been correctly label checked.
CLASS - Static variable in class jif.parse.sym
ClassBodyToJavaExt_c - Class in jif.translate
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 in jif.translate
ClassDeclToJavaExt_c() - Constructor for class jif.translate.ClassDeclToJavaExt_c
classType() - Method in interface jif.types.label.ThisLabel
classType() - Method in class jif.types.label.ThisLabel_c
clear() - Method in class jif.types.hierarchy.PrincipalHierarchy
clearPH() - Method in interface jif.types.JifContext
  Clears the principal hierarchy of all actsfor relations.
clearPH() - Method in class jif.types.JifContext_c
COLON - Static variable in class jif.parse.sym
COMMA - Static variable in class jif.parse.sym
COMP - Static variable in class jif.parse.sym
compilerName() - Method in class jif.ExtensionInfo
components() - Method in interface jif.ast.JoinLabelNode
  Gets the list of join components.
components(List) - Method in interface jif.ast.JoinLabelNode
  Returns a copy of this object with `components` updated.
components - Variable in class jif.ast.JoinLabelNode_c
components() - Method in class jif.ast.JoinLabelNode_c
components(List) - Method in class jif.ast.JoinLabelNode_c
components() - Method in class jif.types.label.JoinLabel_c
components() - Method in interface jif.types.label.Label
  Retrieve the collection of components.
components() - Method in class jif.types.label.Label_c
  By default, the components of a label is simply the label itself.
components() - Method in class jif.types.label.NotTaken_c
components() - Method in class jif.types.label.RuntimeLabel_c
components() - Method in class jif.types.label.UnknownLabel_c
componentString(Set) - Method in class jif.types.label.ArgLabel_c
componentString(Set) - Method in class jif.types.label.CovariantParamLabel_c
componentString(Set) - Method in class jif.types.label.DynamicLabel_c
componentString(Set) - Method in class jif.types.label.JoinLabel_c
componentString() - Method in interface jif.types.label.Label
componentString(Set) - Method in interface jif.types.label.Label
componentString() - Method in class jif.types.label.Label_c
componentString(Set) - Method in class jif.types.label.Label_c
componentString(Set) - Method in class jif.types.label.NotTaken_c
componentString(Set) - Method in class jif.types.label.ParamLabel_c
componentString(Set) - Method in class jif.types.label.PolicyLabel_c
componentString(Set) - Method in class jif.types.label.RuntimeLabel_c
componentString(Set) - Method in class jif.types.label.ThisLabel_c
componentString(Set) - Method in class jif.types.label.TopLabel_c
componentString(Set) - Method in class jif.types.label.UnknownLabel_c
componentString(Set) - Method in class jif.types.label.VarLabel_c
confluence(List, Term, FlowGraph) - Method in class jif.visit.ArrayIndexChecker
  The confluence operator is essentially intersection: a bound must be in all DataFlowItems going into the confluence for it to be valid.
confluence(List, Term, FlowGraph) - Method in class jif.visit.NotNullChecker
  The confluence operator is intersection: a variable is not null only if it is not null on all paths flowing in.
confluence(List, Term, FlowGraph) - Method in class jif.visit.PreciseClassChecker
  The confluence operator is intersection: a variable is not null only if it is not null on all paths flowing in.
consequent() - Method in interface jif.ast.ActsFor
  Gets the consequent statement.
consequent(Stmt) - Method in interface jif.ast.ActsFor
  Makes a copy of this node and sets the consequent statement of the copy.
consequent - Variable in class jif.ast.ActsFor_c
consequent() - Method in class jif.ast.ActsFor_c
  Gets the consequent statement.
consequent(Stmt) - Method in class jif.ast.ActsFor_c
  Sets the consequent statement.
consequent() - Method in interface jif.ast.LabelIf
  Gets the consequent statement.
consequent(Stmt) - Method in interface jif.ast.LabelIf
  Makes a copy of this node and sets the consequent statement of the copy.
consequent - Variable in class jif.ast.LabelIf_c
consequent() - Method in class jif.ast.LabelIf_c
  Gets the consequent statement.
consequent(Stmt) - Method in class jif.ast.LabelIf_c
  Sets the consequent statement.
CONST - Static variable in class jif.parse.sym
constantValue() - Method in class jif.types.JifFieldInstance_c
constantValue(Object) - Method in class jif.types.JifFieldInstance_c
constantValue() - Method in class jif.types.label.AccessPathConstant
constantValueSet() - Method in class jif.types.JifFieldInstance_c
ConstChecker - Class in jif.visit
  Visitor which traverses an expression AST, and determines if the expression is a constant expression.
ConstChecker() - Constructor for class jif.visit.ConstChecker
constrain(LabelConstraint) - Method in class jif.visit.LabelChecker
constrainLabelEnv(JifProcedureInstance, JifContext) - Static method in class jif.extension.JifProcedureDeclExt_c
  This method corresponds to the constraint-ph predicate in the thesis (Figure 4.39).
constraint() - Method in interface jif.ast.CanonicalConstraintNode
  Gets the constraint.
constraint() - Method in interface jif.ast.ConstraintNode
constraint(Assertion) - Method in interface jif.ast.ConstraintNode
constraint - Variable in class jif.ast.ConstraintNode_c
constraint() - Method in class jif.ast.ConstraintNode_c
constraint(Assertion) - Method in class jif.ast.ConstraintNode_c
constraint() - Method in class jif.types.Equation
constraintAuth(JifProcedureInstance, JifContext) - Method in class jif.extension.JifProcedureDeclExt_c
  This method corresponds to the constraint-authority predicate in the thesis (Figure 4.39).
ConstraintNode - Interface in jif.ast
  The root of various constraint nodes.
ConstraintNode_c - Class in jif.ast
  An implementation of the `ConstraintNode` interface.
ConstraintNode_c(Position) - Constructor for class jif.ast.ConstraintNode_c
constraints(List) - Method in interface jif.ast.JifConstructorDecl
constraints - Variable in class jif.ast.JifConstructorDecl_c
constraints() - Method in class jif.ast.JifConstructorDecl_c
constraints(List) - Method in class jif.ast.JifConstructorDecl_c
constraints(List) - Method in interface jif.ast.JifMethodDecl
constraints - Variable in class jif.ast.JifMethodDecl_c
constraints() - Method in class jif.ast.JifMethodDecl_c
constraints(List) - Method in class jif.ast.JifMethodDecl_c
constraints() - Method in interface jif.ast.JifProcedureDecl
constraints - Variable in class jif.types.JifConstructorInstance_c
constraints() - Method in class jif.types.JifConstructorInstance_c
constraints - Variable in class jif.types.JifMethodInstance_c
constraints() - Method in class jif.types.JifMethodInstance_c
constraints() - Method in interface jif.types.JifProcedureInstance
constructJifClasspath() - Method in class jif.JifOptions
ConstructorCall(Position, ConstructorCall.Kind, Expr, List) - Method in class jif.ast.JifNodeFactory_c
constructorCallAuthority() - Method in interface jif.types.JifClassType
  The principals whose authority is required by the context that creates a new instance of this class.
constructorCallAuthority() - Method in class jif.types.JifParsedPolyType_c
constructorCallAuthority() - Method in class jif.types.JifSubstClassType_c
ConstructorCallToJavaExt_c - Class in jif.translate
ConstructorCallToJavaExt_c() - Constructor for class jif.translate.ConstructorCallToJavaExt_c
ConstructorChecker - Class in jif.extension
  A tool to label check constructors.
ConstructorChecker() - Constructor for class jif.extension.ConstructorChecker
constructorChecker - Variable in class jif.extension.JifConstructorCallExt
constructorChecker - Variable in class jif.extension.JifNewExt
ConstructorDecl(Position, Flags, String, List, List, Block) - Method in class jif.ast.JifNodeFactory_c
ConstructorDeclToJavaExt_c - Class in jif.translate
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 interface jif.types.JifContext
  If the current code is a constructor, returns the return label of that constructor.
constructorReturnLabel() - Method in class jif.types.JifContext_c
constructOutputExtClasspath() - Method in class jif.JifOptions
constructPostCompilerClasspath() - Method in class jif.JifOptions
constructRuntimeClassPath() - Method in class jif.JifOptions
container() - Method in interface jif.types.ParamInstance
container(JifClassType) - Method in interface jif.types.ParamInstance
container() - Method in class jif.types.ParamInstance_c
container(JifClassType) - Method in class jif.types.ParamInstance_c
context() - Method in class jif.visit.LabelChecker
context(JifContext) - Method in class jif.visit.LabelChecker
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 interface jif.types.hierarchy.LabelEnv
copy() - Method in class jif.types.hierarchy.LabelEnv_c
copy() - Method in class jif.types.hierarchy.PrincipalHierarchy
copy() - Method in class jif.types.JifContext_c
copy() - Method in class jif.types.VarMap
copy() - Method in class jif.visit.LabelChecker
COVARIANT - Static variable in class jif.parse.sym
COVARIANT_LABEL - Static variable in interface jif.types.ParamInstance
covariantLabel(Position, ParamInstance) - Method in interface jif.types.JifTypeSystem
covariantLabel(Position, ParamInstance) - Method in class jif.types.JifTypeSystem_c
CovariantParamLabel - Interface in jif.types.label
  Covariant label.
CovariantParamLabel_c - Class in jif.types.label
  An implementation of the `CovariantLabel` interface.
CovariantParamLabel_c(ParamInstance, JifTypeSystem, Position) - Constructor for class jif.types.label.CovariantParamLabel_c
createClassType(LazyClassInitializer, Source) - Method in class jif.types.JifTypeSystem_c
createContext() - Method in class jif.types.JifTypeSystem_c
createGraph() - Method in class jif.types.Solver
  Creating the equation graph with edges based on information gathered during the addConstraint method.
createInitialItem(FlowGraph, Term) - Method in class jif.visit.ArrayIndexChecker
  Create an initial Item for the dataflow analysis.
createInitialItem(FlowGraph, Term) - Method in class jif.visit.NotNullChecker
  Create an initial Item for the dataflow analysis.
createInitialItem(FlowGraph, Term) - Method in class jif.visit.PreciseClassChecker
  Create an initial Item for the dataflow analysis.
createItem(FlowGraph, Term) - Method in class jif.visit.NotNullChecker
createItem(FlowGraph, Term) - Method in class jif.visit.PreciseClassChecker
createNodeFactory() - Method in class jif.ExtensionInfo
createOptions() - Method in class jif.ExtensionInfo
createPass(ExtensionInfo) - Method in class jif.FieldLabelInferenceGoal
createPass(ExtensionInfo) - Method in class jif.LabelCheckGoal
createScheduler() - Method in class jif.ExtensionInfo
createScheduler() - Method in class jif.OutputExtensionInfo
createTypeSystem() - Method in class jif.ExtensionInfo
currentClass() - Method in class jif.translate.JifToJavaRewriter

## D

debugString() - Method in class jif.types.JifConstructorInstance_c
debugString() - Method in class jif.types.JifMethodInstance_c
debugString() - Method in interface jif.types.JifProcedureInstance
Declarator - Class in jif.parse
DECLASSIFY - Static variable in class jif.parse.sym
DeclassifyExpr - Interface in jif.ast
  An immutable representation of the Jif `declassify` expression.
DeclassifyExpr(Position, Expr, LabelNode, LabelNode) - Method in interface jif.ast.JifNodeFactory
DeclassifyExpr(Position, Expr, LabelNode, LabelNode) - Method in class jif.ast.JifNodeFactory_c
DeclassifyExpr_c - Class in jif.ast
  An implemenation of the `DeclassifyExpr` interface.
DeclassifyExpr_c(Position, Expr, LabelNode, LabelNode) - Constructor for class jif.ast.DeclassifyExpr_c
DeclassifyExprToJavaExt_c - Class in jif.translate
DeclassifyExprToJavaExt_c() - Constructor for class jif.translate.DeclassifyExprToJavaExt_c
DeclassifyStmt - Interface in jif.ast
  An immutable representation of the Jif `declassify` statement.
DeclassifyStmt(Position, LabelNode, LabelNode, Stmt) - Method in interface jif.ast.JifNodeFactory
DeclassifyStmt(Position, LabelNode, LabelNode, Stmt) - Method in class jif.ast.JifNodeFactory_c
DeclassifyStmt_c - Class in jif.ast
  An implementation of the `DeclassifyStmt` interface.
DeclassifyStmt_c(Position, LabelNode, LabelNode, Stmt) - Constructor for class jif.ast.DeclassifyStmt_c
DeclassifyStmtToJavaExt_c - Class in jif.translate
DeclassifyStmtToJavaExt_c() - Constructor for class jif.translate.DeclassifyStmtToJavaExt_c
DEFAULT - Static variable in class jif.parse.sym
defaultArgBound(Formal) - Method in interface jif.types.DefaultSignature
defaultArgBound(Formal) - Method in class jif.types.FixedSignature
defaultArgBound(Formal) - Method in class jif.types.VarSignature
defaultClassInitializer() - Method in class jif.types.JifTypeSystem_c
defaultConstructor(Position, ClassType) - Method in class jif.types.JifTypeSystem_c
defaultFieldLabel(FieldDecl) - Method in interface jif.types.DefaultSignature
defaultFieldLabel(FieldDecl) - Method in class jif.types.FixedSignature
defaultFieldLabel(FieldDecl) - Method in class jif.types.VarSignature
defaultFileExtension() - Method in class jif.ExtensionInfo
defaultPackageImports() - Method in class jif.types.JifTypeSystem_c
defaultReturnLabel(ProcedureDecl) - Method in interface jif.types.DefaultSignature
defaultReturnLabel(ProcedureDecl) - Method in class jif.types.FixedSignature
defaultReturnLabel(ProcedureDecl) - Method in class jif.types.VarSignature
defaultReturnValueLabel(ProcedureDecl) - Method in interface jif.types.DefaultSignature
defaultReturnValueLabel(ProcedureDecl) - Method in class jif.types.FixedSignature
defaultReturnValueLabel(ProcedureDecl) - Method in class jif.types.VarSignature
DefaultSignature - Interface in jif.types
defaultSignature() - Method in interface jif.types.JifTypeSystem
defaultSignature() - Method in class jif.types.JifTypeSystem_c
defaultStartLabel(Position, String) - Method in interface jif.types.DefaultSignature
defaultStartLabel(Position, String) - Method in class jif.types.FixedSignature
defaultStartLabel(Position, String) - Method in class jif.types.VarSignature
definitions(VarMap, Set) - Method in interface jif.types.hierarchy.LabelEnv
  Returns a Map of Strings to List[String]s which is the descriptions of any components that appear in the environment.
definitions(VarMap, Set) - Method in class jif.types.hierarchy.LabelEnv_c
  Returns a Map of Strings to List[String]s which is the descriptions of any components that appear in the environment.
definitions(VarMap) - Method in class jif.types.LabelConstraint
  Returns a Map of Strings to List[String]s which is the definitions/bounds of the NamedLabels, and the description of any components that appear in the NamedLabels.
del(Jif) - Method in interface jif.ast.Jif
del() - Method in interface jif.ast.Jif
del - Variable in class jif.ast.Jif_c
del(Jif) - Method in class jif.ast.Jif_c
del() - Method in class jif.ast.Jif_c
delArrayAccessAssignImpl() - Method in class jif.ast.JifDelFactory_c
delArrayAccessImpl() - Method in class jif.ast.JifDelFactory_c
delBinaryImpl() - Method in class jif.ast.JifDelFactory_c
delCallImpl() - Method in class jif.ast.JifDelFactory_c
delCastImpl() - Method in class jif.ast.JifDelFactory_c
delClassDeclImpl() - Method in class jif.ast.JifDelFactory_c
delConstructorCallImpl() - Method in class jif.ast.JifDelFactory_c
delConstructorDeclImpl() - Method in class jif.ast.JifDelFactory_c
delFieldAssignImpl() - Method in class jif.ast.JifDelFactory_c
delFieldDeclImpl() - Method in class jif.ast.JifDelFactory_c
delFieldImpl() - Method in class jif.ast.JifDelFactory_c
delFormalImpl() - Method in class jif.ast.JifDelFactory_c
delIfImpl() - Method in class jif.ast.JifDelFactory_c
delInitializerImpl() - Method in class jif.ast.JifDelFactory_c
delInstanceofImpl() - Method in class jif.ast.JifDelFactory_c
delLocalDeclImpl() - Method in class jif.ast.JifDelFactory_c
delMethodDeclImpl() - Method in class jif.ast.JifDelFactory_c
delThrowImpl() - Method in class jif.ast.JifDelFactory_c
delTypeNodeImpl() - Method in class jif.ast.JifDelFactory_c
descendsFrom(Type, Type) - Method in class jif.types.JifTypeSystem_c
description() - Method in interface jif.types.label.Label
description - Variable in class jif.types.label.Label_c
description() - Method in class jif.types.label.Label_c
detailMsg() - Method in class jif.types.LabelConstraint
  A detailed message to display if this constraint is violated.
dims() - Method in interface jif.ast.AmbNewArray
  Gets the additional dimensions.
dims(List) - Method in interface jif.ast.AmbNewArray
  Returns a copy of this node with the additional dimensions updated.
dims - Variable in class jif.ast.AmbNewArray_c
dims() - Method in class jif.ast.AmbNewArray_c
  Gets the addtional dimensions.
dims(List) - Method in class jif.ast.AmbNewArray_c
  Returns a copy of this node with `dims` updated.
disamb() - Method in class jif.ast.JifNodeFactory_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.ActsForConstraintNode_c
  Builds the type of this node.
disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbDynamicLabelNode_c
  Disambiguate the type of this node.
disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbExprParam_c
  Always return a CanoncialLabelNode, and let the dynamic label be possibly changed to a dynamic principal later.
disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbLabelNode_c
  Disambiguate the type of this node.
disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbNewArray_c
  Disambiguates
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.AmbPrincipalNode_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbThisLabelNode_c
  Disambiguates the type of this node by finding the correct label for "this".
disambiguate(AmbiguityRemover) - Method in class jif.ast.AmbVarLabelNode_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.AuthConstraintNode_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.CallerConstraintNode_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.InstTypeNode_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.JifClassDecl_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.JifConstructorDecl_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.JifMethodDecl_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.JoinLabelNode_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.LabeledTypeNode_c
disambiguate(AmbiguityRemover) - Method in class jif.ast.LabelLeAssertionNode_c
  Builds the type of this node.
disambiguate(AmbiguityRemover) - Method in class jif.ast.PolicyLabelNode_c
disambiguate(AmbiguityRemover) - Method in class jif.extension.JifFieldDeclDel
disambiguate(AmbiguityRemover) - Method in class jif.extension.JifFormalDel
disambiguate(AmbiguityRemover) - Method in class jif.extension.JifIfDel
disambiguate(AmbiguityRemover) - Method in class jif.extension.JifLocalDeclDel
disambiguateName(AmbiguityRemover, String) - Method in class jif.ast.AmbPrincipalNode_c
disambiguateVarInstance(VarInstance) - Method in class jif.ast.JifDisamb_c
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
dump(CodeWriter) - Method in class jif.types.PathMap
dump(CodeWriter) - Method in class jif.types.VarMap
dynamicLabel(Position, AccessPath) - Method in interface jif.types.JifTypeSystem
dynamicLabel(Position, AccessPath) - Method in class jif.types.JifTypeSystem_c
DynamicLabel - Interface in jif.types.label
  Dynamic label.
DynamicLabel_c - Class in jif.types.label
  An implementation of the `DynamicLabel` interface.
DynamicLabel_c(AccessPath, JifTypeSystem, Position) - Constructor for class jif.types.label.DynamicLabel_c
DynamicLabelToJavaExpr_c - Class in jif.translate
DynamicLabelToJavaExpr_c() - Constructor for class jif.translate.DynamicLabelToJavaExpr_c
dynamicPrincipal(Position, AccessPath) - Method in interface jif.types.JifTypeSystem
dynamicPrincipal(Position, AccessPath) - Method in class jif.types.JifTypeSystem_c
DynamicPrincipal - Interface in jif.types.principal
  Dynamic principal.
DynamicPrincipal_c - Class in jif.types.principal
  An implementation of the `DynamicPrincipal` interface.
DynamicPrincipal_c(AccessPath, JifTypeSystem, Position) - Constructor for class jif.types.principal.DynamicPrincipal_c
DynamicPrincipalToJavaExpr_c - Class in jif.translate
DynamicPrincipalToJavaExpr_c() - Constructor for class jif.translate.DynamicPrincipalToJavaExpr_c
dynBounds - Variable in class jif.types.Solver

## E

ELSE - Static variable in class jif.parse.sym
END_OF_LINE_COMMENT - Static variable in class jif.parse.Lexer_c
  lexical states
enterCall(Node) - Method in class jif.translate.JifToJavaRewriter
enterCall(Node) - Method in class jif.visit.FieldLabelResolver
enterChildScope(Node, Context) - Method in class jif.ast.JifClassDecl_c
enteringClass(ClassType) - Method in class jif.translate.JifToJavaRewriter
enteringClassBody(ClassType) - Method in class jif.visit.LabelChecker
  Called by JifClassDeclExt just before this label checker is used to check a class body.
enteringMethod(MethodInstance) - Method in class jif.visit.LabelChecker
  Called by JifMethodDeclExt just before this label checker is used to check a method body.
enterScope(Context) - Method in class jif.ast.JifClassDecl_c
enterScope(Context) - Method in class jif.extension.JifConstructorCallDel
enterScope(Context) - Method in class jif.extension.JifProcedureDeclDel
entry() - Method in class jif.ast.ActsFor_c
entry() - Method in class jif.ast.AmbNewArray_c
entry() - Method in class jif.ast.AmbPrincipalNode_c
entry() - Method in class jif.ast.CanonicalPrincipalNode_c
entry() - Method in class jif.ast.DeclassifyExpr_c
entry() - Method in class jif.ast.DeclassifyStmt_c
entry() - Method in class jif.ast.LabelExpr_c
entry() - Method in class jif.ast.LabelIf_c
entry() - Method in class jif.parse.Wrapper
entryPC() - Method in interface jif.types.JifContext
  The entry PC is the upper bound on the PC of the caller of the current code.
entryPC() - Method in class jif.types.JifContext_c
env() - Method in class jif.types.Equation
env() - Method in class jif.types.LabelConstraint
EOF - Static variable in class jif.parse.sym
EOF_sym() - Method in class jif.parse.Grm
  `EOF` Symbol index.
EQ - Static variable in class jif.parse.sym
eq - Variable in class jif.visit.JifLabelSubst
EQEQ - Static variable in class jif.parse.sym
EQUAL - Static variable in class jif.types.LabelConstraint
  An equality kind of constraint.
equals(Object) - Method in class jif.types.Equation
equals(Object) - Method in class jif.types.GotoPath_c
equals(TypeObject, TypeObject) - Method in class jif.types.JifTypeSystem_c
equals(Object) - Method in class jif.types.label.AccessPathClass
equals(Object) - Method in class jif.types.label.AccessPathConstant
equals(Object) - Method in class jif.types.label.AccessPathField
equals(Object) - Method in class jif.types.label.AccessPathLocal
equals(Object) - Method in class jif.types.label.AccessPathThis
equals(Object) - Method in class jif.types.label.AccessPathUninterpreted
equalsImpl(TypeObject) - Method in class jif.types.ExceptionPath_c
equalsImpl(TypeObject) - Method in class jif.types.JifParsedPolyType_c
equalsImpl(TypeObject) - Method in class jif.types.label.ArgLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.CovariantParamLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.DynamicLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.JoinLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.Label_c
equalsImpl(TypeObject) - Method in class jif.types.label.NotTaken_c
equalsImpl(TypeObject) - Method in class jif.types.label.ParamLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.PolicyLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.RuntimeLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.ThisLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.TopLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.UnknownLabel_c
equalsImpl(TypeObject) - Method in class jif.types.label.VarLabel_c
equalsImpl(TypeObject) - Method in class jif.types.LabeledType_c
equalsImpl(TypeObject) - Method in class jif.types.ParamInstance_c
equalsImpl(TypeObject) - Method in class jif.types.principal.DynamicPrincipal_c
equalsImpl(TypeObject) - Method in class jif.types.principal.ExternalPrincipal_c
  Compares the specified object with this principal for equality.
equalsImpl(TypeObject) - Method in class jif.types.principal.ParamPrincipal_c
equalsImpl(TypeObject) - Method in class jif.types.principal.Principal_c
equalsImpl(TypeObject) - Method in class jif.types.principal.UnknownPrincipal_c
equalsNoStrip(TypeObject, TypeObject) - Method in interface jif.types.JifTypeSystem
  Compares t1 to t2 without stripping off all the parameters and labels
equalsNoStrip(TypeObject, TypeObject) - Method in class jif.types.JifTypeSystem_c
Equation - Class in jif.types
  Label equation derived from a label constraint.
EQUIV - Static variable in interface jif.ast.ActsFor
EQUIV - Static variable in class jif.extension.JifBinaryDel
EQUIV - Static variable in class jif.parse.sym
equiv(Principal, Principal) - Method in interface jif.types.JifContext
  Test if p1 actsfor p2 and vice versa, using the principal hierarchy.
equiv(Principal, Principal) - Method in class jif.types.JifContext_c
error - Static variable in class jif.parse.sym
error - Static variable in class jif.Topics
error_sym() - Method in class jif.parse.Grm
  `error` Symbol index.
errorMsg(LabelConstraint) - Method in class jif.types.Solver
  Produce an error message for the constraint c, which cannot be satisfied.
errorQueue() - Method in class jif.translate.JifToJavaRewriter
errorShowConstraint() - Method in class jif.types.Solver
errorShowDefns() - Method in class jif.types.Solver
errorShowDetailMsg() - Method in class jif.types.Solver
errorShowTechnicalMsg() - Method in class jif.types.Solver
errorStringConstraint(LabelConstraint) - Method in class jif.types.Solver
  Produce a string appropriate for an error message that displays the unsatisfiable constraint `c`.
errorStringDefns(LabelConstraint) - Method in class jif.types.Solver
  Produce a string appropriate for an error message that displays the definitions needed by the unsatisfiable constraint `c`.
evaluate() - Method in class jif.types.Equation
  Evaluate this equation.
exc(Label, Type) - Method in class jif.types.PathMap
exception() - Method in interface jif.types.ExceptionPath
exception() - Method in class jif.types.ExceptionPath_c
exception(Type, Label) - Method in class jif.types.PathMap
exceptionCheck(ExceptionChecker) - Method in class jif.ast.InstTypeNode_c
exceptionCheck(ExceptionChecker) - Method in class jif.ast.LabeledTypeNode_c
exceptionCheckEnter(ExceptionChecker) - Method in class jif.ast.ConstraintNode_c
  Bypass all children when peforming an exception check.
ExceptionPath - Interface in jif.types
  The control flow path introduced by throwing a exception.
exceptionPath(Type) - Method in interface jif.types.JifTypeSystem
exceptionPath(Type) - Method in class jif.types.JifTypeSystem_c
ExceptionPath_c - Class in jif.types
  An implementation of the `ExceptionPath` interface.
ExceptionPath_c(Type) - Constructor for class jif.types.ExceptionPath_c
expectedPI(ParamInstance) - Method in interface jif.ast.AmbExprParam
expectedPI - Variable in class jif.ast.AmbExprParam_c
expectedPI(ParamInstance) - Method in class jif.ast.AmbExprParam_c
explainErrors - Variable in class jif.JifOptions
  Provide more detailed explanation of solver error messages?
expr - Variable in class jif.ast.AmbDynamicLabelNode_c
expr - Variable in class jif.ast.AmbExprParam_c
expr() - Method in class jif.ast.AmbExprParam_c
expr(Expr) - Method in class jif.ast.AmbExprParam_c
expr() - Method in interface jif.ast.AmbNewArray
  Gets the expr.
expr - Variable in class jif.ast.AmbNewArray_c
  The ambiguous expr.
expr() - Method in class jif.ast.AmbNewArray_c
  Gets the expr.
expr() - Method in interface jif.ast.AmbParamTypeOrAccess
  Gets the expr.
expr - Variable in class jif.ast.AmbParamTypeOrAccess_c
expr() - Method in class jif.ast.AmbParamTypeOrAccess_c
expr - Variable in class jif.ast.AmbPrincipalNode_c
expr() - Method in interface jif.ast.DeclassifyExpr
expr(Expr) - Method in interface jif.ast.DeclassifyExpr
expr() - Method in class jif.ast.DeclassifyExpr_c
expr(Expr) - Method in class jif.ast.DeclassifyExpr_c
exprString() - Method in class jif.types.label.AccessPath
exprString() - Method in class jif.types.label.AccessPathClass
exprString() - Method in class jif.types.label.AccessPathField
exprString() - Method in class jif.types.label.AccessPathLocal
exprString() - Method in class jif.types.label.AccessPathThis
exprToAccessPath(Expr, JifContext) - Static method in class jif.ast.JifUtil
exprToJava(JifToJavaRewriter) - Method in class jif.translate.BinaryToJavaExt_c
exprToJava(JifToJavaRewriter) - Method in class jif.translate.CallToJavaExt_c
exprToJava(JifToJavaRewriter) - Method in class jif.translate.ExprToJavaExt_c
exprToJava(JifToJavaRewriter) - Method in class jif.translate.FieldToJavaExt_c
exprToJava(JifToJavaRewriter) - Method in class jif.translate.LocalToJavaExt_c
exprToJava(JifToJavaRewriter) - Method in class jif.translate.NewToJavaExt_c
ExprToJavaExt_c - Class in jif.translate
ExprToJavaExt_c() - Constructor for class jif.translate.ExprToJavaExt_c
exprToLabel(JifTypeSystem, Expr, JifContext) - Static method in class jif.ast.JifUtil
exprToPackage(Expr) - Method in class jif.parse.Grm
exprToParam(Expr) - Method in class jif.parse.Grm
exprToPrincipal(JifTypeSystem, Expr, JifContext) - Static method in class jif.ast.JifUtil
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 in jif
  The configuration information of the Jif extension.
ExtensionInfo() - Constructor for class jif.ExtensionInfo
ExtensionInfo.JifJobExt - Class in jif
ExtensionInfo.JifJobExt(JifTypeSystem) - Constructor for class jif.ExtensionInfo.JifJobExt
externalPC() - Method in class jif.types.JifConstructorInstance_c
externalPrincipal(Position, String) - Method in interface jif.types.JifTypeSystem
externalPrincipal(Position, String) - Method in class jif.types.JifTypeSystem_c
ExternalPrincipal - Interface in jif.types.principal
  The external principal is used primarily for testing purposes.
ExternalPrincipal_c - Class in jif.types.principal
  An implementation of the `ExternalPrincipal` interface.
ExternalPrincipal_c(String, JifTypeSystem, Position) - Constructor for class jif.types.principal.ExternalPrincipal_c
ExternalPrincipalToJavaExpr_c - Class in jif.translate
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
extLabeledImpl() - Method in class jif.ast.JifExtFactory_c
extLabeledTypeNode() - Method in class jif.ast.JifExtFactory_c
extLabeledTypeNodeImpl() - Method in class jif.ast.JifExtFactory_c
extLabelExpr() - Method in class jif.ast.JifExtFactory_c
extLabelExprImpl() - Method in class jif.ast.JifExtFactory_c
extLabelIf() - Method in class jif.ast.JifExtFactory_c
extLabelIfImpl() - Method in class jif.ast.JifExtFactory_c
extLabelLeAssertionNode() - Method in class jif.ast.JifExtFactory_c
extLabelLeAssertionNodeImpl() - 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
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

FieldConstantsChecked(FieldInstance) - Method in class jif.JifScheduler
FieldDeclToJavaExt_c - Class in jif.translate
FieldDeclToJavaExt_c() - Constructor for class jif.translate.FieldDeclToJavaExt_c
fieldInstance(Position, ReferenceType, Flags, Type, String) - Method in class jif.types.JifTypeSystem_c
fieldInstance() - Method in class jif.types.label.AccessPathField
FieldLabelInference(Job) - Method in class jif.JifScheduler
FieldLabelInferenceGoal - Class in jif
FieldLabelInferenceGoal(Job) - Constructor for class jif.FieldLabelInferenceGoal
FieldLabelResolver - Class in jif.visit
  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 in jif.translate
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
findContainer(TypeSystem, MethodInstance) - Method in class jif.ast.JifCall_c
findContradictiveEqn(LabelConstraint) - Method in class jif.types.Solver
findContradictiveEqn(LabelConstraint) - Method in class jif.types.SolverGLB
  Find a contradicting equation.
findTrace(VarLabel, Label, boolean) - Method in class jif.types.Solver
findVariableSilent(String) - Method in class jif.types.JifContext_c
finish(Node) - Method in class jif.translate.JifToJavaRewriter
finishedLabelCheckPass(Node) - Method in class jif.visit.LabelChecker
  This method should be called on the top level label checker once the label checking has finished.
FixedSignature - Class in jif.types
FixedSignature(JifTypeSystem) - Constructor for class jif.types.FixedSignature
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.ArrayIndexChecker
  Implement the flow equations for this dataflow analysis.
flow(List, List, FlowGraph, Term, Set) - Method in class jif.visit.NotNullChecker
flow(DataFlow.Item, DataFlow.Item, 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(List, List, FlowGraph, Term, Set) - Method in class jif.visit.PreciseClassChecker
flow(DataFlow.Item, DataFlow.Item, DataFlow.Item, FlowGraph, Term, Set) - Method in class jif.visit.PreciseClassChecker
  If a local variable is initialized with a non-null expression, then the variable is not null.
FOR - Static variable in class jif.parse.sym
formal(Formal) - Method in class jif.ast.JifCatch_c
Formal(Position, Flags, TypeNode, String) - Method in class jif.ast.JifNodeFactory_c
formalInstance() - Method in interface jif.types.label.ArgLabel
formalInstance() - Method in class jif.types.label.ArgLabel_c
formals() - Method in class jif.types.JifMuPClass_c
FormalToJavaExt_c - Class in jif.translate
FormalToJavaExt_c() - Constructor for class jif.translate.FormalToJavaExt_c
freshLabelVariable(Position, String, String) - Method in interface jif.types.JifTypeSystem
freshLabelVariable(Position, String, String) - Method in class jif.types.JifTypeSystem_c
fullSignature() - Method in class jif.types.JifConstructorInstance_c
fullSignature() - Method in class jif.types.JifMethodInstance_c

## G

get(ParamInstance) - Method in interface jif.types.JifSubst
get(ParamInstance) - Method in class jif.types.JifSubst_c
get(Path) - Method in class jif.types.PathMap
getArgLabelsFromFormalTypes(List, JifTypeSystem) - Static method in class jif.extension.CallHelper
getCompileGoal(Job) - Method in class jif.ExtensionInfo
getCompileGoal(Job) - Method in class jif.OutputExtensionInfo
getDefaultBound() - Method in class jif.types.Solver
  This method must return a constant label, which is the default bound of variables.
getDefaultBound() - Method in class jif.types.SolverGLB
  The default bound of variables in this solver is bottom
getEquations() - Method in class jif.types.LabelConstraint
  Produce a `Collection` of `Equations` for this constraint.
getInitializations() - Method in class jif.translate.JifToJavaRewriter
getJifOptions() - Method in class jif.ExtensionInfo
getLEQEqns(Collection, Label, Label) - Method in class jif.types.LabelConstraint
  Produce equations that require `left` to be less than or equal to `right`, and add them to `eqns`.
getOptions() - Method in class jif.OutputExtensionInfo
getPreciseClassExpr() - Method in class jif.extension.JifCastDel
getPreciseClassExpr() - Method in interface jif.extension.JifPreciseClassDel
getQueue() - Method in class jif.types.Solver
getSuperNodeGraph() - Method in class jif.types.Graph
GOTO - Static variable in class jif.parse.sym
gotoLabel(Branch.Kind, String) - Method in interface jif.types.JifContext
  Retrieve the `Label` associated with branching to the location `label`, with the branch kind `kind`.
gotoLabel(Branch.Kind, String, Label) - Method in interface jif.types.JifContext
  Record the `Label` associated with branching to the location `label`, with the branch kind `kind`.
gotoLabel(Branch.Kind, String) - Method in class jif.types.JifContext_c
gotoLabel(Branch.Kind, String, Label) - Method in class jif.types.JifContext_c
gotoPath(Branch.Kind, String) - Method in interface jif.types.JifTypeSystem
gotoPath(Branch.Kind, String) - Method in class jif.types.JifTypeSystem_c
GotoPath_c - Class in jif.types
  The control flow path derived from GOTO like statements.
GotoPath_c(Branch.Kind, String) - Constructor for class jif.types.GotoPath_c
granter() - Method in interface jif.ast.ActsFor
  Gets the granter.
granter(PrincipalNode) - Method in interface jif.ast.ActsFor
  Makes a copy of this node and sets the granter of the copy.
granter - Variable in class jif.ast.ActsFor_c
granter() - Method in class jif.ast.ActsFor_c
  Gets the granter principal.
granter(PrincipalNode) - Method in class jif.ast.ActsFor_c
  Sets the granter principal.
granter() - Method in interface jif.ast.ActsForConstraintNode
  Gets the granter principal.
granter(PrincipalNode) - Method in interface jif.ast.ActsForConstraintNode
  Returns a copy of this node with the granter updated.
granter - Variable in class jif.ast.ActsForConstraintNode_c
granter() - Method in class jif.ast.ActsForConstraintNode_c
  Gets the granter principal.
granter(PrincipalNode) - Method in class jif.ast.ActsForConstraintNode_c
  Returns a copy of this node with the granter updated.
granter() - Method in interface jif.types.ActsForConstraint
granter(Principal) - Method in interface jif.types.ActsForConstraint
granter - Variable in class jif.types.ActsForConstraint_c
granter(Principal) - Method in class jif.types.ActsForConstraint_c
granter() - Method in class jif.types.ActsForConstraint_c
Graph - Class in jif.types
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 in jif.parse
  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

hashCode() - Method in class jif.types.Equation
hashCode() - Method in class jif.types.ExceptionPath_c
hashCode() - Method in class jif.types.GotoPath_c
hashCode() - Method in class jif.types.JifParsedPolyType_c
hashCode() - Method in class jif.types.label.AccessPath
hashCode() - Method in class jif.types.label.AccessPathClass
hashCode() - Method in class jif.types.label.AccessPathConstant
hashCode() - Method in class jif.types.label.AccessPathField
hashCode() - Method in class jif.types.label.AccessPathLocal
hashCode() - Method in class jif.types.label.AccessPathThis
hashCode() - Method in class jif.types.label.AccessPathUninterpreted
hashCode() - Method in class jif.types.label.ArgLabel_c
hashCode() - Method in class jif.types.label.CovariantParamLabel_c
hashCode() - Method in class jif.types.label.DynamicLabel_c
hashCode() - Method in class jif.types.label.JoinLabel_c
hashCode() - Method in class jif.types.label.NotTaken_c
hashCode() - Method in class jif.types.label.ParamLabel_c
hashCode() - Method in class jif.types.label.PolicyLabel_c
hashCode() - Method in class jif.types.label.RuntimeLabel_c
hashCode() - Method in class jif.types.label.ThisLabel_c
hashCode() - Method in class jif.types.label.TopLabel_c
hashCode() - Method in class jif.types.label.UnknownLabel_c
hashCode() - Method in class jif.types.label.VarLabel_c
hashCode() - Method in class jif.types.principal.DynamicPrincipal_c
hashCode() - Method in class jif.types.principal.ExternalPrincipal_c
hashCode() - Method in class jif.types.principal.ParamPrincipal_c
hashCode() - Method in class jif.types.principal.Principal_c
hashCode() - Method in class jif.types.principal.UnknownPrincipal_c
hasInitializer() - Method in interface jif.types.JifFieldInstance
hasInitializer - Variable in class jif.types.JifFieldInstance_c
hasInitializer() - Method in class jif.types.JifFieldInstance_c
hasSafeConstructors(ClassType) - Method in class jif.types.JifTypeSystem_c
  Check if the class has safe constructors, that is, if the constructors of the class definitely do not access a final field (possibly on a subclass) before that field has been initalized.
hasUntrustedAncestor(Type) - Method in interface jif.types.JifTypeSystem
  Check if the class has an untrusted non-jif ancestor.
hasUntrustedAncestor(Type) - Method in class jif.types.JifTypeSystem_c
  Check if the class has an untrusted non-jif ancestor.
hasVariables() - Method in interface jif.types.hierarchy.LabelEnv
  Do any of the assertions in this label environment contain variables?
hasVariables() - Method in class jif.types.hierarchy.LabelEnv_c
hasVariables() - Method in interface jif.types.label.Label
  Does the label contain any variables, that is, labels of type VarLabel?
hasVariables() - Method in class jif.types.label.Label_c

## I

IDENTIFIER - Static variable in class jif.parse.sym
IF - Static variable in class jif.parse.sym
IMPLEMENTS - Static variable in class jif.parse.sym
IMPORT - Static variable in class jif.parse.sym
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(boolean) - Method in class jif.translate.JifToJavaRewriter
inConstructorCall() - Method in interface jif.types.JifContext
  Is the Context in a constructor call, e.g.
inConstructorCall() - Method in class jif.types.JifContext_c
init(Node) - Method in class jif.ast.Jif_c
init(Node) - Method in class jif.extension.JifStmtExt_c
init_actions() - Method in class jif.parse.Grm
  Action encapsulation object initializer.
init_keywords() - Method in class jif.parse.Lexer_c
initCompiler(Compiler) - Method in class jif.ExtensionInfo
InitializationsChecked(Job) - Method in class jif.JifScheduler
initialize(TopLevelResolver, ExtensionInfo) - Method in class jif.types.JifTypeSystem_c
  Initializes the type system and its internal constants.
initializerInstance(Position, ClassType, Flags) - Method in class jif.types.JifTypeSystem_c
InitializerToJavaExt_c - Class in jif.translate
InitializerToJavaExt_c() - Constructor for class jif.translate.InitializerToJavaExt_c
initTypeSystem() - Method in class jif.ExtensionInfo
initTypeSystem() - Method in class jif.OutputExtensionInfo
Inst - Class in jif.parse
  An `Inst` represents a `Amb` of the form "P[T,U,...]".
INSTANCEOF - Static variable in class jif.parse.sym
InstanceOfToJavaExt_c - Class in jif.translate
InstanceOfToJavaExt_c() - Constructor for class jif.translate.InstanceOfToJavaExt_c
instantiate(Label, JifContext, Expr, ReferenceType, Label) - Static method in class jif.ast.JifInstantiator
  Perform instantiation on the label L
instantiate(Label, JifContext, AccessPath, ReferenceType, Label) - Static method in class jif.ast.JifInstantiator
  Perform instantiation on the label L
instantiate(Label, JifContext, Expr, ReferenceType, Label, List, List, List, List) - Static method in class jif.ast.JifInstantiator
  Perform instantiation on the label L
instantiate(Principal, JifContext, Expr, ReferenceType, Label, List, List, List) - Static method in class jif.ast.JifInstantiator
  Perform instantiation on the principal p
instantiate(Type, JifContext, Expr, ReferenceType, Label, List, List, List, List) - Static method in class jif.ast.JifInstantiator
  Perform instantiation on the type t
instantiate(Type, JifContext, Expr, ReferenceType, Label) - Static method in class jif.ast.JifInstantiator
  Perform instantiation on the type t
instantiatedFrom() - Method in class jif.types.JifParsedPolyType_c
instantiatedFrom() - Method in class jif.types.JifSubstClassType_c
InstOrAccess - Class in jif.parse
  An `InstOrAccess` represents a `Amb` of the form "P[e]" or "P[p]".
InstTypeNode - Interface in jif.ast
  Instantiated type node.
InstTypeNode(Position, TypeNode, List) - Method in interface jif.ast.JifNodeFactory
InstTypeNode(Position, TypeNode, List) - Method in class jif.ast.JifNodeFactory_c
InstTypeNode_c - Class in jif.ast
  An implementation of the `InstTypeNode` interface.
InstTypeNode_c(Position, TypeNode, List) - Constructor for class jif.ast.InstTypeNode_c
INT - Static variable in class jif.parse.sym
INTEGER_LITERAL - Static variable in class jif.parse.sym
INTEGER_LITERAL_BD - Static variable in class jif.parse.sym
INTERFACE - Static variable in class jif.parse.sym
INVARIANT - Static variable in class jif.parse.sym
INVARIANT_LABEL - Static variable in interface jif.types.ParamInstance
isAccessible(MemberInstance, ClassType) - Method in interface jif.types.JifTypeSystem
  Exposes utility method of TypeSystem_c
isAccessible(MemberInstance, ClassType) - Method in class jif.types.JifTypeSystem_c
isArray() - Method in class jif.types.LabeledType_c
isBoolean() - Method in class jif.types.LabeledType_c
isBottom() - Method in class jif.types.label.JoinLabel_c
isBottom() - Method in interface jif.types.label.Label
  Is this label equivalent to bottom?
isBottom() - Method in class jif.types.label.Label_c
  By default, a label is not Bottom
isByte() - Method in class jif.types.LabeledType_c
isCanonical() - Method in class jif.types.ActsForConstraint_c
isCanonical() - Method in class jif.types.AuthConstraint_c
isCanonical() - Method in class jif.types.CallerConstraint_c
isCanonical() - Method in class jif.types.JifConstructorInstance_c
isCanonical() - Method in class jif.types.JifLocalInstance_c
isCanonical() - Method in class jif.types.JifMethodInstance_c
isCanonical() - Method in class jif.types.label.AccessPath
isCanonical() - Method in class jif.types.label.AccessPathClass
isCanonical() - Method in class jif.types.label.AccessPathConstant
isCanonical() - Method in class jif.types.label.AccessPathField
isCanonical() - Method in class jif.types.label.AccessPathLocal
isCanonical() - Method in class jif.types.label.AccessPathThis
isCanonical() - Method in class jif.types.label.AccessPathUninterpreted
isCanonical() - Method in class jif.types.label.ArgLabel_c
isCanonical() - Method in class jif.types.label.CovariantParamLabel_c
isCanonical() - Method in class jif.types.label.DynamicLabel_c
isCanonical() - Method in class jif.types.label.JoinLabel_c
isCanonical() - Method in class jif.types.label.NotTaken_c
isCanonical() - Method in class jif.types.label.ParamLabel_c
isCanonical() - Method in class jif.types.label.PolicyLabel_c
isCanonical() - Method in class jif.types.label.RuntimeLabel_c
isCanonical() - Method in class jif.types.label.ThisLabel_c
isCanonical() - Method in class jif.types.label.TopLabel_c
isCanonical() - Method in class jif.types.label.UnknownLabel_c
isCanonical() - Method in class jif.types.label.VarLabel_c
isCanonical() - Method in class jif.types.LabeledType_c
isCanonical() - Method in class jif.types.LabelLeAssertion_c
isCanonical() - Method in interface jif.types.Param
isCanonical() - Method in class jif.types.principal.DynamicPrincipal_c
isCanonical() - Method in class jif.types.principal.ExternalPrincipal_c
isCanonical() - Method in class jif.types.principal.ParamPrincipal_c
isCanonical() - Method in class jif.types.principal.Principal_c
isCanonical() - Method in class jif.types.principal.UnknownPrincipal_c
isCanonical() - Method in class jif.types.UnknownParam_c
isCastValid(Type, Type) - Method in class jif.types.JifTypeSystem_c
isCatchFormal() - Method in class jif.extension.JifFormalDel
isChar() - Method in class jif.types.LabeledType_c
isClass() - Method in class jif.types.LabeledType_c
isComparable() - Method in class jif.types.label.ArgLabel_c
isComparable() - Method in class jif.types.label.CovariantParamLabel_c
isComparable() - Method in class jif.types.label.DynamicLabel_c
isComparable() - Method in class jif.types.label.JoinLabel_c
isComparable() - Method in interface jif.types.label.Label
  Is this label comparable to other labels?
isComparable() - Method in class jif.types.label.NotTaken_c
isComparable() - Method in class jif.types.label.ParamLabel_c
isComparable() - Method in class jif.types.label.PolicyLabel_c
isComparable() - Method in class jif.types.label.RuntimeLabel_c
isComparable() - Method in class jif.types.label.ThisLabel_c
isComparable() - Method in class jif.types.label.TopLabel_c
isComparable() - Method in class jif.types.label.UnknownLabel_c
isComparable() - Method in class jif.types.label.VarLabel_c
isConst() - Method in class jif.visit.ConstChecker
isConstant() - Method in class jif.types.JifFieldInstance_c
isCovariant() - Method in class jif.types.label.ArgLabel_c
isCovariant() - Method in class jif.types.label.CovariantParamLabel_c
isCovariant() - Method in class jif.types.label.DynamicLabel_c
isCovariant() - Method in class jif.types.label.JoinLabel_c
isCovariant() - Method in interface jif.types.label.Label
  Is this label covariant?
isCovariant() - Method in class jif.types.label.NotTaken_c
isCovariant() - Method in class jif.types.label.ParamLabel_c
isCovariant() - Method in class jif.types.label.PolicyLabel_c
isCovariant() - Method in class jif.types.label.RuntimeLabel_c
isCovariant() - Method in class jif.types.label.ThisLabel_c
isCovariant() - Method in class jif.types.label.TopLabel_c
isCovariant() - Method in class jif.types.label.UnknownLabel_c
isCovariant() - Method in class jif.types.label.VarLabel_c
isCovariantLabel() - Method in interface jif.ast.ParamDecl
isCovariantLabel() - Method in class jif.ast.ParamDecl_c
isCovariantLabel() - Method in interface jif.types.ParamInstance
isCovariantLabel() - Method in class jif.types.ParamInstance_c
isDefaultReturnLabel - Variable in class jif.types.JifConstructorInstance_c
isDefaultReturnLabel() - Method in class jif.types.JifConstructorInstance_c
isDefaultReturnLabel - Variable in class jif.types.JifMethodInstance_c
isDefaultReturnLabel() - Method in class jif.types.JifMethodInstance_c
isDefaultReturnLabel() - Method in interface jif.types.JifProcedureInstance
isDefaultStartLabel - Variable in class jif.types.JifConstructorInstance_c
isDefaultStartLabel() - Method in class jif.types.JifConstructorInstance_c
isDefaultStartLabel - Variable in class jif.types.JifMethodInstance_c
isDefaultStartLabel() - Method in class jif.types.JifMethodInstance_c
isDefaultStartLabel() - Method in interface jif.types.JifProcedureInstance
isDisambiguated() - Method in class jif.ast.AmbExprParam_c
isDisambiguated() - Method in class jif.ast.AmbLabelNode_c
isDisambiguated() - Method in class jif.ast.AmbNewArray_c
isDisambiguated() - Method in class jif.ast.AmbParam_c
isDisambiguated() - Method in class jif.ast.AmbParamTypeOrAccess_c
isDisambiguated() - Method in class jif.ast.AmbPrincipalNode_c
isDisambiguated() - Method in class jif.ast.CanonicalLabelNode_c
isDisambiguated() - Method in class jif.ast.CanonicalPrincipalNode_c
isDisambiguated() - Method in class jif.ast.ConstraintNode_c
isDisambiguated() - Method in class jif.ast.InstTypeNode_c
isDisambiguated() - Method in class jif.ast.JifCanonicalTypeNode_c
isDisambiguated() - Method in class jif.ast.JifFormal_c
isDisambiguated() - Method in class jif.ast.LabeledTypeNode_c
isDisambiguated() - Method in class jif.ast.LabelNode_c
isDisambiguated() - Method in class jif.ast.ParamDecl_c
isDisambiguated() - Method in class jif.ast.PrincipalNode_c
isDisambiguated() - Method in interface jif.types.label.Label
  Are the components of this label all disambiguated?
isDisambiguated() - Method in class jif.types.label.Label_c
isDisambiguatedImpl() - Method in class jif.types.label.ArgLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.CovariantParamLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.DynamicLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.JoinLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.Label_c
  Check if the label is disambiguated, without recursing into child labels.
isDisambiguatedImpl() - Method in class jif.types.label.NotTaken_c
isDisambiguatedImpl() - Method in class jif.types.label.ParamLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.PolicyLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.RuntimeLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.ThisLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.TopLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.UnknownLabel_c
isDisambiguatedImpl() - Method in class jif.types.label.VarLabel_c
isDouble() - Method in class jif.types.LabeledType_c
isEmpty() - Method in interface jif.types.hierarchy.LabelEnv
  Is this enviornment empty, or does is contain some constraints?
isEmpty() - Method in class jif.types.hierarchy.LabelEnv_c
  Is this enviornment empty, or does is contain some constraints?
isEmpty() - Method in class jif.types.hierarchy.PrincipalHierarchy
isEnumerable() - Method in class jif.types.label.ArgLabel_c
isEnumerable() - Method in class jif.types.label.CovariantParamLabel_c
isEnumerable() - Method in class jif.types.label.DynamicLabel_c
isEnumerable() - Method in class jif.types.label.JoinLabel_c
isEnumerable() - Method in interface jif.types.label.Label
  Are the components of this label enumerable?
isEnumerable() - Method in class jif.types.label.NotTaken_c
isEnumerable() - Method in class jif.types.label.ParamLabel_c
isEnumerable() - Method in class jif.types.label.PolicyLabel_c
isEnumerable() - Method in class jif.types.label.RuntimeLabel_c
isEnumerable() - Method in class jif.types.label.ThisLabel_c
isEnumerable() - Method in class jif.types.label.TopLabel_c
isEnumerable() - Method in class jif.types.label.UnknownLabel_c
isEnumerable() - Method in class jif.types.label.VarLabel_c
isEquiv - Variable in class jif.ast.ActsForConstraintNode_c
isEquiv - Variable in class jif.ast.LabelLeAssertionNode_c
isEquiv() - Method in interface jif.types.ActsForConstraint
isEquiv - Variable in class jif.types.ActsForConstraint_c
isEquiv() - Method in class jif.types.ActsForConstraint_c
isFinalAccessExprOrConst(JifTypeSystem, Expr) - Static method in class jif.ast.JifUtil
isFloat() - Method in class jif.types.LabeledType_c
isImplicitCastValid(Type, Type) - Method in class jif.types.JifTypeSystem_c
isInt() - Method in class jif.types.LabeledType_c
isIntOrLess() - Method in class jif.types.LabeledType_c
isInvariant() - Method in interface jif.types.label.Label
  Is this label invariant?
isInvariant() - Method in class jif.types.label.Label_c
isInvariantLabel() - Method in interface jif.ast.ParamDecl
isInvariantLabel() - Method in class jif.ast.ParamDecl_c
isInvariantLabel() - Method in interface jif.types.ParamInstance
isInvariantLabel() - Method in class jif.types.ParamInstance_c
isJifClass(Type) - Method in interface jif.types.JifTypeSystem
  Returns true if the type is a Jif class (will return false if the type is just a jif signature for a java class).
isJifClass(Type) - Method in class jif.types.JifTypeSystem_c
  Returns true if the type is a Jif class (will return false if the type is just a jif signature for a java class).
isLabel() - Method in interface jif.ast.ParamDecl
isLabel() - Method in class jif.ast.ParamDecl_c
isLabel(Type) - Method in interface jif.types.JifTypeSystem
  Tests if the type is "label".
isLabel(Type) - Method in class jif.types.JifTypeSystem_c
isLabel() - Method in interface jif.types.ParamInstance
isLabel() - Method in class jif.types.ParamInstance_c
isLabelConstant() - Method in class jif.types.label.AccessPathConstant
isLabeled(Type) - Method in interface jif.types.JifTypeSystem
  Returns true if the type is labeled.
isLabeled(Type) - Method in class jif.types.JifTypeSystem_c
isLong() - Method in class jif.types.LabeledType_c
isLongOrLess() - Method in class jif.types.LabeledType_c
isNeverNull() - Method in class jif.types.label.AccessPath
isNeverNull() - Method in class jif.types.label.AccessPathClass
isNeverNull() - Method in class jif.types.label.AccessPathConstant
isNeverNull() - Method in class jif.types.label.AccessPathField
isNeverNull() - Method in class jif.types.label.AccessPathLocal
isNeverNull() - Method in class jif.types.label.AccessPathThis
isNeverNull() - Method in class jif.types.label.AccessPathUninterpreted
isNull() - Method in class jif.types.LabeledType_c
isNumeric() - Method in class jif.types.LabeledType_c
isParamsRuntimeRep(Type) - Method in interface jif.types.JifTypeSystem
  Returns true if the type is a Jif class, or if it is a non-Jif class that represents parameters at runtime.
isParamsRuntimeRep(Type) - Method in class jif.types.JifTypeSystem_c
isPrimitive() - Method in class jif.types.LabeledType_c
isPrincipal() - Method in interface jif.ast.ParamDecl
isPrincipal() - Method in class jif.ast.ParamDecl_c
isPrincipal(Type) - Method in interface jif.types.JifTypeSystem
  Tests if the type is "principal".
isPrincipal(Type) - Method in class jif.types.JifTypeSystem_c
isPrincipal() - Method in interface jif.types.ParamInstance
isPrincipal() - Method in class jif.types.ParamInstance_c
isPrincipalConstant() - Method in class jif.types.label.AccessPathConstant
isReference() - Method in class jif.types.LabeledType_c
isRuntimeRepresentable() - Method in class jif.types.label.ArgLabel_c
isRuntimeRepresentable() - Method in class jif.types.label.CovariantParamLabel_c
isRuntimeRepresentable() - Method in class jif.types.label.DynamicLabel_c
isRuntimeRepresentable() - Method in class jif.types.label.JoinLabel_c
isRuntimeRepresentable() - Method in interface jif.types.label.Label
isRuntimeRepresentable() - Method in class jif.types.label.NotTaken_c
isRuntimeRepresentable() - Method in class jif.types.label.ParamLabel_c
isRuntimeRepresentable() - Method in class jif.types.label.PolicyLabel_c
isRuntimeRepresentable() - Method in class jif.types.label.RuntimeLabel_c
isRuntimeRepresentable() - Method in class jif.types.label.ThisLabel_c
isRuntimeRepresentable() - Method in class jif.types.label.TopLabel_c
isRuntimeRepresentable() - Method in class jif.types.label.UnknownLabel_c
isRuntimeRepresentable() - Method in class jif.types.label.VarLabel_c
isRuntimeRepresentable() - Method in interface jif.types.Param
isRuntimeRepresentable() - Method in class jif.types.principal.DynamicPrincipal_c
isRuntimeRepresentable() - Method in class jif.types.principal.ExternalPrincipal_c
isRuntimeRepresentable() - Method in class jif.types.principal.ParamPrincipal_c
isRuntimeRepresentable() - Method in class jif.types.principal.Principal_c
isRuntimeRepresentable() - Method in class jif.types.principal.UnknownPrincipal_c
isRuntimeRepresentable() - Method in class jif.types.UnknownParam_c
isShort() - Method in class jif.types.LabeledType_c
isSingleton() - Method in interface jif.types.label.Label
  Does this label represent only a single label?
isSingleton() - Method in class jif.types.label.Label_c
  A label is a singleton if it only has a single component.
isSingleton() - Method in class jif.types.label.RuntimeLabel_c
isSubtype(Type, Type) - Method in class jif.types.JifTypeSystem_c
isTargetNeverNull() - Method in class jif.types.label.AccessPathField
isThrowable() - Method in class jif.types.LabeledType_c
isTop() - Method in interface jif.types.label.Label
  Is this label equivalent to top?
isTop() - Method in class jif.types.label.Label_c
isTop() - Method in class jif.types.label.TopLabel_c
isToSubstJifClass() - Method in class jif.extension.JifCastDel
isToSubstJifClass() - Method in class jif.extension.JifInstanceOfDel
isUncheckedException() - Method in class jif.types.LabeledType_c
isUninterpreted() - Method in class jif.types.label.AccessPath
isUninterpreted() - Method in class jif.types.label.AccessPathField
isUninterpreted() - Method in class jif.types.label.AccessPathRoot
isUninterpreted() - Method in class jif.types.label.AccessPathUninterpreted
isVoid() - Method in class jif.types.LabeledType_c

## J

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 - Interface in jif.ast
  This class represents a Jif extension node.
jif - Static variable in class jif.Topics
jif.ast - package jif.ast
  Provides classes for dealing with the Jif AST nodes and interfaces.
jif.extension - package jif.extension
  Provides classes that implements the Jif AST node extensions and delegates.
jif.parse - package jif.parse
jif.translate - package jif.translate
jif.types - package jif.types
  Contains classes related to the Jif type system and Jif types, including Jif labels and principals.
jif.types.hierarchy - package jif.types.hierarchy
jif.types.label - package jif.types.label
jif.types.principal - package jif.types.principal
jif.visit - package jif.visit
  Contains the Jif visitors, such as the label checker and the Jif translator.
Jif_c - Class in jif.ast
  An implementation of the `Jif` interface.
Jif_c(ToJavaExt) - Constructor for class jif.ast.Jif_c
Jif_c(Jif, ToJavaExt) - Constructor for class jif.ast.Jif_c
jif_nf() - Method in class jif.translate.JifToJavaRewriter
jif_ts() - Method in class jif.translate.JifToJavaRewriter
JifActsForExt - Class in jif.extension
  The Jif extension of the `ActsFor` node.
JifActsForExt(ToJavaExt) - Constructor for class jif.extension.JifActsForExt
JifArrayAccessAssignDel - Class in jif.extension
  The Jif extension of the `ArrayAccessAssign` node.
JifArrayAccessAssignDel() - Constructor for class jif.extension.JifArrayAccessAssignDel
JifArrayAccessAssignExt - Class in jif.extension
  The Jif extension of the `ArrayAccessAssign` node.
JifArrayAccessAssignExt(ToJavaExt) - Constructor for class jif.extension.JifArrayAccessAssignExt
JifArrayAccessDel - Class in jif.extension
  The Jif extension of the `ArrayAccess` node.
JifArrayAccessDel() - Constructor for class jif.extension.JifArrayAccessDel
JifArrayAccessExt - Class in jif.extension
  The Jif extension of the `ArrayAccess` node.
JifArrayAccessExt(ToJavaExt) - Constructor for class jif.extension.JifArrayAccessExt
JifArrayInitExt - Class in jif.extension
  The Jif extension of the `ArrayInit` node.
JifArrayInitExt(ToJavaExt) - Constructor for class jif.extension.JifArrayInitExt
JifAssignExt - Class in jif.extension
  The Jif extension of the `Assign` node.
JifAssignExt(ToJavaExt) - Constructor for class jif.extension.JifAssignExt
JifBinaryDel - Class in jif.extension
  The Jif extension of the `Call` node.
JifBinaryDel() - Constructor for class jif.extension.JifBinaryDel
JifBinaryExt - Class in jif.extension
  The Jif extension of the `Binary` node.
JifBinaryExt(ToJavaExt) - Constructor for class jif.extension.JifBinaryExt
JifBlockExt - Class in jif.extension
  The Jif extension of the `Block` node.
JifBlockExt(ToJavaExt) - Constructor for class jif.extension.JifBlockExt
JifBranchExt - Class in jif.extension
  The Jif extension of the `Branch` node.
JifBranchExt(ToJavaExt) - Constructor for class jif.extension.JifBranchExt
JifCall_c - Class in jif.ast
JifCall_c(Position, Receiver, String, List) - Constructor for class jif.ast.JifCall_c
JifCallDel - Class in jif.extension
  The Jif extension of the `Call` node.
JifCallDel() - Constructor for class jif.extension.JifCallDel
JifCallExt - Class in jif.extension
  The Jif extension of the `Call` node.
JifCallExt(ToJavaExt) - Constructor for class jif.extension.JifCallExt
JifCanonicalTypeNode - Interface in jif.ast
  A `JifCanonicalTypeNode` is a type node for a canonical type in Polyj.
JifCanonicalTypeNode_c - Class in jif.ast
  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 in jif.extension
  The Jif extension of the `Case` node.
JifCaseExt(ToJavaExt) - Constructor for class jif.extension.JifCaseExt
JifCastDel - Class in jif.extension
  The Jif extension of the `Cast` node.
JifCastDel() - Constructor for class jif.extension.JifCastDel
JifCastExt - Class in jif.extension
  The Jif extension of the `Cast` node.
JifCastExt(ToJavaExt) - Constructor for class jif.extension.JifCastExt
JifCatch_c - Class in jif.ast
JifCatch_c(Position, Formal, Block) - Constructor for class jif.ast.JifCatch_c
JifClassBodyExt - Class in jif.extension
  The extension of the `ClassBody` node.
JifClassBodyExt(ToJavaExt) - Constructor for class jif.extension.JifClassBodyExt
JifClassDecl - Interface in jif.ast
  An immutable representation of the Jif class declaration.
JifClassDecl(Position, Flags, String, List, TypeNode, List, List, ClassBody) - Method in interface jif.ast.JifNodeFactory
JifClassDecl(Position, Flags, String, List, TypeNode, List, List, ClassBody) - Method in class jif.ast.JifNodeFactory_c
JifClassDecl_c - Class in jif.ast
  An implementation of the `JifClassDecl` interface.
JifClassDecl_c(Position, Flags, String, List, TypeNode, List, List, ClassBody) - Constructor for class jif.ast.JifClassDecl_c
JifClassDeclDel - Class in jif.extension
  The delegate of the `JifClassDecl` node.
JifClassDeclDel() - Constructor for class jif.extension.JifClassDeclDel
JifClassDeclExt - Class in jif.extension
  The extension of the `JifClassDecl` node.
JifClassDeclExt(ToJavaExt) - Constructor for class jif.extension.JifClassDeclExt
JifClassType - Interface in jif.types
  Jif class type.
JifConditionalExt - Class in jif.extension
  The Jif extension of the `Conditional` node.
JifConditionalExt(ToJavaExt) - Constructor for class jif.extension.JifConditionalExt
JifConstructorCallDel - Class in jif.extension
  The Jif extension of the `ConstructorCall` node.
JifConstructorCallDel() - Constructor for class jif.extension.JifConstructorCallDel
JifConstructorCallExt - Class in jif.extension
  The Jif extension of the `ConstructorCall` node.
JifConstructorCallExt(ToJavaExt) - Constructor for class jif.extension.JifConstructorCallExt
JifConstructorDecl - Interface in jif.ast
  An immutable representation of the Jif constructor declaration.
JifConstructorDecl(Position, Flags, String, LabelNode, LabelNode, List, List, List, Block) - Method in interface jif.ast.JifNodeFactory
JifConstructorDecl(Position, Flags, String, LabelNode, LabelNode, List, List, List, Block) - Method in class jif.ast.JifNodeFactory_c
JifConstructorDecl_c - Class in jif.ast
  An implementation of the `JifConstructor` interface.
JifConstructorDecl_c(Position, Flags, String, LabelNode, LabelNode, List, List, List, Block) - Constructor for class jif.ast.JifConstructorDecl_c
JifConstructorDeclExt - Class in jif.extension
  The Jif extension of the `JifConstructorDecl` node.
JifConstructorDeclExt(ToJavaExt) - Constructor for class jif.extension.JifConstructorDeclExt
JifConstructorInstance - Interface in jif.types
  Jif constructor instance.
jifConstructorInstance(Position, ClassType, Flags, Label, boolean, Label, boolean, List, List, List, List) - Method in class jif.types.JifTypeSystem_c
JifConstructorInstance_c - Class in jif.types
  An implementation of the `JifConstructorInstance` interface.
JifConstructorInstance_c(JifTypeSystem, Position, ClassType, Flags, Label, boolean, Label, boolean, List, List, List, List) - Constructor for class jif.types.JifConstructorInstance_c
JifContext - Interface in jif.types
  The context for Jif type checking.
jifContext() - Method in class jif.visit.LabelChecker
JifContext_c - Class in jif.types
  An implementation of the `JifContext` interface.
JifDeclassifyExprExt - Class in jif.extension
  The Jif extension of the `DeclassifyExpr` node.
JifDeclassifyExprExt(ToJavaExt) - Constructor for class jif.extension.JifDeclassifyExprExt
JifDeclassifyStmtExt - Class in jif.extension
  The Jif extension of the `DeclassifyStmt` node.
JifDeclassifyStmtExt(ToJavaExt) - Constructor for class jif.extension.JifDeclassifyStmtExt
JifDelFactory_c - Class in jif.ast
  Constructs Jif delegates
JifDelFactory_c() - Constructor for class jif.ast.JifDelFactory_c
JifDisamb_c - Class in jif.ast
  Utility class which is used to disambiguate ambiguous AST nodes (Expr, Type, Receiver, Qualifier, Prefix).
JifDisamb_c() - Constructor for class jif.ast.JifDisamb_c
JifDoExt - Class in jif.extension
  The Jif extension of the `Do` node.
JifDoExt(ToJavaExt) - Constructor for class jif.extension.JifDoExt
JifEmptyExt - Class in jif.extension
  The Jif extension of the `Empty` node.
JifEmptyExt(ToJavaExt) - Constructor for class jif.extension.JifEmptyExt
JifEvalExt - Class in jif.extension
  The Jif extension of the `Eval` node.
JifEvalExt(ToJavaExt) - Constructor for class jif.extension.JifEvalExt
jifExtFactory() - Method in class jif.ast.JifNodeFactory_c
  Get the JifExtFactory_c instance.
JifExtFactory_c - Class in jif.ast
  This class provides is Jif's Extension factory, creating the appropriate Ext objects as required.
JifExtFactory_c() - Constructor for class jif.ast.JifExtFactory_c
JifFieldAssignDel - Class in jif.extension
  The Jif extension of the `FieldAssign` node.
JifFieldAssignDel() - Constructor for class jif.extension.JifFieldAssignDel
JifFieldAssignExt - Class in jif.extension
  The Jif extension of the `LocalAssign` node.
JifFieldAssignExt(ToJavaExt) - Constructor for class jif.extension.JifFieldAssignExt
JifFieldDeclDel - Class in jif.extension
  The Jif extension of the `FieldDecl` node.
JifFieldDeclDel() - Constructor for class jif.extension.JifFieldDeclDel
JifFieldDeclExt - Interface in jif.extension
  The Jif extension of the `FieldDecl` node.
JifFieldDeclExt_c - Class in jif.extension
  The Jif extension of the `FieldDecl` node.
JifFieldDeclExt_c(ToJavaExt) - Constructor for class jif.extension.JifFieldDeclExt_c
JifFieldDeclExt_c.InvarianceLabelChecker - Class in jif.extension
  Checker to ensure that labels do not use covariant labels in the wrong places
JifFieldDeclExt_c.InvarianceLabelSubstr - Class in jif.extension
  Visitor to ensure that labels do not use covariant labels in the wrong places
JifFieldDeclExt_c.InvarianceLabelSubstr(Position) - Constructor for class jif.extension.JifFieldDeclExt_c.InvarianceLabelSubstr
JifFieldDeclExt_c.StaticFieldLabelChecker - Class in jif.extension
  Checker to ensure that labels of static fields do not use the This label, or any parameters
JifFieldDel - Class in jif.extension
  The Jif extension of the `Field` node.
JifFieldDel() - Constructor for class jif.extension.JifFieldDel
JifFieldExt - Class in jif.extension
  The Jif extension of the `Field` node.
JifFieldExt(ToJavaExt) - Constructor for class jif.extension.JifFieldExt
JifFieldInstance - Interface in jif.types
  Jif field instance.
JifFieldInstance_c - Class in jif.types
  An implementation of the `JifFieldInstance` interface.
JifFieldInstance_c(JifTypeSystem, Position, ReferenceType, Flags, Type, String) - Constructor for class jif.types.JifFieldInstance_c
JifForExt - Class in jif.extension
  The Jif extension of the `For` node.
JifForExt(ToJavaExt) - Constructor for class jif.extension.JifForExt
JifFormal_c - Class in jif.ast
JifFormal_c(Position, Flags, TypeNode, String) - Constructor for class jif.ast.JifFormal_c
JifFormalDel - Class in jif.extension
  The Jif extension of the `Formal` node.
JifFormalDel() - Constructor for class jif.extension.JifFormalDel
JifFormalExt - Class in jif.extension
  The Jif extension of the `Formal` node.
JifFormalExt(ToJavaExt) - Constructor for class jif.extension.JifFormalExt
JifIfDel - Class in jif.extension
  The Jif extension of the `FieldAssign` node.
JifIfDel() - Constructor for class jif.extension.JifIfDel
JifIfExt - Class in jif.extension
  The Jif extension of the `If` node.
JifIfExt(ToJavaExt) - Constructor for class jif.extension.JifIfExt
JifInitChecker - Class in jif.visit
  Override the init checker, since type nodes may now mention local variables.
JifInitChecker(Job, TypeSystem, NodeFactory) - Constructor for class jif.visit.JifInitChecker
JifInitializerDel - Class in jif.extension
  The Jif extension of the `Initializer` node.
JifInitializerDel() - Constructor for class jif.extension.JifInitializerDel
JifInitializerExt - Class in jif.extension
  The Jif extension of the `Initializer` node.
JifInitializerExt(ToJavaExt) - Constructor for class jif.extension.JifInitializerExt
JifInstanceOfDel - Class in jif.extension
  The Jif extension of the `Cast` node.
JifInstanceOfDel() - Constructor for class jif.extension.JifInstanceOfDel
JifInstanceofExt - Class in jif.extension
  The Jif extension of the `Instanceof` node.
JifInstanceofExt(ToJavaExt) - Constructor for class jif.extension.JifInstanceofExt
JifInstantiator - Class in jif.ast
  This class contains a number of static utility methods to help instantiate labels, principals and types.
JifJL_c - Class in jif.extension
  An implementation of the `Jif` interface.
JifJL_c() - Constructor for class jif.extension.JifJL_c
JifLabeledExt - Class in jif.extension
  The Jif extension of the `Labeled` node.
JifLabeledExt(ToJavaExt) - Constructor for class jif.extension.JifLabeledExt
JifLabelExprExt - Class in jif.extension
JifLabelExprExt(ToJavaExt) - Constructor for class jif.extension.JifLabelExprExt
JifLabelIfExt - Class in jif.extension
  The Jif extension of the `ActsFor` node.
JifLabelIfExt(ToJavaExt) - Constructor for class jif.extension.JifLabelIfExt
JifLabelSubst - Class in jif.visit
  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 in jif.types
  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 in jif.extension
  The Jif extension of the `Lit` or `NewLabel` node.
JifLiteralExt(ToJavaExt) - Constructor for class jif.extension.JifLiteralExt
JifLocalAssignExt - Class in jif.extension
  The Jif extension of the `LocalAssign` node.
JifLocalAssignExt(ToJavaExt) - Constructor for class jif.extension.JifLocalAssignExt
JifLocalDecl_c - Class in jif.ast
JifLocalDecl_c(Position, Flags, TypeNode, String, Expr) - Constructor for class jif.ast.JifLocalDecl_c
JifLocalDeclDel - Class in jif.extension
  The delegate of the `JifMethodDecl` node.
JifLocalDeclDel() - Constructor for class jif.extension.JifLocalDeclDel
JifLocalDeclExt - Class in jif.extension
  The Jif extension of the `LocalDecl` node.
JifLocalDeclExt(ToJavaExt) - Constructor for class jif.extension.JifLocalDeclExt
JifLocalExt - Class in jif.extension
  The Jif extension of the `Local` node.
JifLocalExt(ToJavaExt) - Constructor for class jif.extension.JifLocalExt
JifLocalInstance - Interface in jif.types
  Jif local instance.
JifLocalInstance_c - Class in jif.types
  An implementation of the `JifLocalInstance` interface.
JifLocalInstance_c(JifTypeSystem, Position, Flags, Type, String) - Constructor for class jif.types.JifLocalInstance_c
JifMethodDecl - Interface in jif.ast
  An immutable representation of the Jif method declaration.
JifMethodDecl(Position, Flags, TypeNode, String, LabelNode, List, LabelNode, List, List, Block) - Method in interface jif.ast.JifNodeFactory
JifMethodDecl(Position, Flags, TypeNode, String, LabelNode, List, LabelNode, List, List, Block) - Method in class jif.ast.JifNodeFactory_c
JifMethodDecl_c - Class in jif.ast
  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
JifMethodDeclDel - Class in jif.extension
  The delegate of the `JifMethodDecl` node.
JifMethodDeclDel() - Constructor for class jif.extension.JifMethodDeclDel
JifMethodDeclExt - Class in jif.extension
  The Jif extension of the `JifMethodDecl` node.
JifMethodDeclExt(ToJavaExt) - Constructor for class jif.extension.JifMethodDeclExt
JifMethodInstance - Interface in jif.types
  Jif method instance.
jifMethodInstance(Position, ReferenceType, Flags, Type, String, Label, boolean, List, List, Label, boolean, List, List) - Method in class jif.types.JifTypeSystem_c
JifMethodInstance_c - Class in jif.types
  An implementation of the `JifMethodInstance` interface.
JifMethodInstance_c(JifTypeSystem, Position, ReferenceType, Flags, Type, String, Label, boolean, List, List, Label, boolean, List, List) - Constructor for class jif.types.JifMethodInstance_c
JifMuPClass_c - Class in jif.types
  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 in jif.ast
JifNew_c(Position, TypeNode, List, ClassBody) - Constructor for class jif.ast.JifNew_c
JifNewArrayExt - Class in jif.extension
  The Jif extension of the `NewArray` node.
JifNewArrayExt(ToJavaExt) - Constructor for class jif.extension.JifNewArrayExt
JifNewExt - Class in jif.extension
  The Jif extension of the `New` node.
JifNewExt(ToJavaExt) - Constructor for class jif.extension.JifNewExt
JifNodeFactory - Interface in jif.ast
  The node factory of the Jif extension.
JifNodeFactory_c - Class in jif.ast
  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 in jif
  This object encapsulates various polyglot options.
JifOptions(ExtensionInfo) - Constructor for class jif.JifOptions
  Constructor
JifParsedPolyType - Interface in jif.types
  Jif parsed polymorphic class type.
JifParsedPolyType_c - Class in jif.types
  An implementation of the `JifParsedPolyType` interface.
JifParsedPolyType_c() - Constructor for class jif.types.JifParsedPolyType_c
JifParsedPolyType_c(JifTypeSystem, LazyClassInitializer, Source) - Constructor for class jif.types.JifParsedPolyType_c
JifPolyType - Interface in jif.types
  Jif polymorphic type.
JifPreciseClassDel - Interface in jif.extension
  Marker interface for nodes that want to track the precise classes of a sub-expression, e.g., JifCastDel.
JifPrincipalNodeExt - Class in jif.extension
JifPrincipalNodeExt(ToJavaExt) - Constructor for class jif.extension.JifPrincipalNodeExt
JifProcedureDecl - Interface in jif.ast
  An immutable representation of the Jif procedure declaration.
JifProcedureDeclDel - Class in jif.extension
  The Jif delegate the `ProcedureDecl` node.
JifProcedureDeclDel() - Constructor for class jif.extension.JifProcedureDeclDel
JifProcedureDeclExt - Interface in jif.extension
  The Jif extension of the `ProcedureDecl` node.
JifProcedureDeclExt_c - Class in jif.extension
  The Jif extension of the `ProcedureDecl` node.
JifProcedureDeclExt_c(ToJavaExt) - Constructor for class jif.extension.JifProcedureDeclExt_c
JifProcedureInstance - Interface in jif.types
  Jif procedure instance.
JifReturnExt - Class in jif.extension
  The Jif extension of the `Return` node.
JifReturnExt(ToJavaExt) - Constructor for class jif.extension.JifReturnExt
JifScheduler - Class in jif
JifScheduler(ExtensionInfo, OutputExtensionInfo) - Constructor for class jif.JifScheduler
JifSourceFileExt - Class in jif.extension
  The root of all kinds of Jif extensions for statements.
JifSourceFileExt(ToJavaExt) - Constructor for class jif.extension.JifSourceFileExt
JifSpecialExt - Class in jif.extension
  The Jif extension of the `Special` node.
JifSpecialExt(ToJavaExt) - Constructor for class jif.extension.JifSpecialExt
JifStmtExt - Interface in jif.extension
  The root of all kinds of Jif extensions for statements.
JifStmtExt_c - Class in jif.extension
  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 in jif.types
JifSubst_c - Class in jif.types
JifSubst_c(JifTypeSystem, Map, Map) - Constructor for class jif.types.JifSubst_c
JifSubst_c.ConstraintXform - Class in jif.types
JifSubst_c.ConstraintXform() - Constructor for class jif.types.JifSubst_c.ConstraintXform
JifSubst_c.LabelXform - Class in jif.types
JifSubst_c.LabelXform() - Constructor for class jif.types.JifSubst_c.LabelXform
JifSubst_c.PrincipalXform - Class in jif.types
JifSubst_c.PrincipalXform() - Constructor for class jif.types.JifSubst_c.PrincipalXform
JifSubst_c.SubstLabelSubst - Class in jif.types
  This class is a `LabelSubstitution` that performs substitutions on `Label`s and `Principal`s.
JifSubst_c.SubstLabelSubst() - Constructor for class jif.types.JifSubst_c.SubstLabelSubst
JifSubstClassType_c - Class in jif.types
JifSubstClassType_c(JifTypeSystem, Position, ClassType, JifSubst) - Constructor for class jif.types.JifSubstClassType_c
JifSubstType - Interface in jif.types
JifSwitchExt - Class in jif.extension
  Jif extension of the `Switch` node.
JifSwitchExt(ToJavaExt) - Constructor for class jif.extension.JifSwitchExt
JifSynchronizedExt - Class in jif.extension
  Jif extension of the `Synchronized` node.
JifSynchronizedExt(ToJavaExt) - Constructor for class jif.extension.JifSynchronizedExt
JifThrowDel - Class in jif.extension
  Jif extension of the `Throw` node.
JifThrowDel() - Constructor for class jif.extension.JifThrowDel
JifThrowExt - Class in jif.extension
  Jif extension of the `Throw` node.
JifThrowExt(ToJavaExt) - Constructor for class jif.extension.JifThrowExt
JifToJavaRewriter - Class in jif.translate
  Visitor which performs rewriting on the AST.
JifToJavaRewriter(Job, JifTypeSystem, JifNodeFactory, ExtensionInfo) - Constructor for class jif.translate.JifToJavaRewriter
JifToJavaRewritten(Job) - Method in class jif.JifScheduler
JifTranslator - Class in jif.visit
  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 in jif.extension
  Jif extension of the `Try` node.
JifTryExt(ToJavaExt) - Constructor for class jif.extension.JifTryExt
JifTypeNodeDel - Class in jif.extension
  The Jif extension of the `TypeNode` node.
JifTypeNodeDel() - Constructor for class jif.extension.JifTypeNodeDel
JifTypeNodeDel.StaticLabelChecker - Class in jif.extension
  Checker to ensure that labels in a static context do not use the This label
JifTypeSystem - Interface in jif.types
  Jif type system.
jifTypeSystem() - Method in class jif.visit.LabelChecker
JifTypeSystem_c - Class in jif.types
  An implementation of the `JifTypeSystem` interface.
JifTypeSystem_c(TypeSystem) - Constructor for class jif.types.JifTypeSystem_c
JifUnaryExt - Class in jif.extension
  Jif extension of the `Unary` node.
JifUnaryExt(ToJavaExt) - Constructor for class jif.extension.JifUnaryExt
JifUtil - Class in jif.ast
  An implementation of the `Jif` interface.
JifUtil() - Constructor for class jif.ast.JifUtil
JifVarInstance - Interface in jif.types
  Jif variable instance.
JifWhileExt - Class in jif.extension
  Jif extension of the `While` node.
JifWhileExt(ToJavaExt) - Constructor for class jif.extension.JifWhileExt
jlext - Variable in class jif.ExtensionInfo
jlrtext - Variable in class jif.ExtensionInfo
jobExt() - Method in class jif.ExtensionInfo
join(Label, Label) - Method in interface jif.types.JifTypeSystem
  Returns the join of L1 and L2.
join(Label, Label) - Method in class jif.types.JifTypeSystem_c
join(Label) - Method in interface jif.types.label.Label
  Returns the join of this label and L.
join(Label) - Method in class jif.types.label.Label_c
  Join this label to L.
join(String, Label) - Method in class jif.types.NamedLabel
join(String, String, Label) - Method in class jif.types.NamedLabel
join(PathMap) - Method in class jif.types.PathMap
joinLabel(Position, Collection) - Method in interface jif.types.JifTypeSystem
joinLabel(Position, Collection) - Method in class jif.types.JifTypeSystem_c
JoinLabel - Interface in jif.types.label
  The join of several labels.
JoinLabel_c - Class in jif.types.label
  An implementation of the `JoinLabel` interface.
JoinLabel_c(Collection, JifTypeSystem, Position) - Constructor for class jif.types.label.JoinLabel_c
JoinLabelNode(Position, List) - Method in interface jif.ast.JifNodeFactory
JoinLabelNode(Position, List) - Method in class jif.ast.JifNodeFactory_c
JoinLabelNode - Interface in jif.ast
  This class represents a join of several label nodes.
JoinLabelNode_c - Class in jif.ast
  An implementation of the `JoinLabel` interface.
JoinLabelNode_c(Position, List) - Constructor for class jif.ast.JoinLabelNode_c
JoinLabelToJavaExpr_c - Class in jif.translate
JoinLabelToJavaExpr_c() - Constructor for class jif.translate.JoinLabelToJavaExpr_c

## K

kind() - Method in interface jif.ast.ActsFor
  Gets the kind.
kind - Variable in class jif.ast.ActsFor_c
kind() - Method in class jif.ast.ActsFor_c
kind() - Method in interface jif.ast.ParamDecl
kind(ParamInstance.Kind) - Method in interface jif.ast.ParamDecl
kind() - Method in class jif.ast.ParamDecl_c
kind(ParamInstance.Kind) - Method in class jif.ast.ParamDecl_c
kind(ClassType.Kind) - Method in class jif.types.JifParsedPolyType_c
kind() - Method in class jif.types.LabelConstraint
kind() - Method in interface jif.types.ParamInstance
kind(ParamInstance.Kind) - Method in interface jif.types.ParamInstance
kind() - Method in class jif.types.ParamInstance_c
kind(ParamInstance.Kind) - Method in class jif.types.ParamInstance_c

## L

label() - Method in interface jif.ast.DeclassifyExpr
label(LabelNode) - Method in interface jif.ast.DeclassifyExpr
label() - Method in class jif.ast.DeclassifyExpr_c
label(LabelNode) - Method in class jif.ast.DeclassifyExpr_c
label() - Method in interface jif.ast.DeclassifyStmt
label(LabelNode) - Method in interface jif.ast.DeclassifyStmt
label() - Method in class jif.ast.DeclassifyStmt_c
label(LabelNode) - Method in class jif.ast.DeclassifyStmt_c
label() - Method in interface jif.ast.LabelExpr
label(LabelNode) - Method in interface jif.ast.LabelExpr
label - Variable in class jif.ast.LabelExpr_c
label() - Method in class jif.ast.LabelExpr_c
label(LabelNode) - Method in class jif.ast.LabelExpr_c
label() - Method in interface jif.ast.LabelNode
label(Label) - Method in interface jif.ast.LabelNode
label() - Method in class jif.ast.LabelNode_c
label(Label) - Method in class jif.ast.LabelNode_c
label - Variable in class jif.parse.LabeledExpr
LABEL - Static variable in class jif.parse.sym
label - Variable in class jif.types.JifFieldInstance_c
label() - Method in class jif.types.JifFieldInstance_c
label - Variable in class jif.types.JifLocalInstance_c
label() - Method in class jif.types.JifLocalInstance_c
Label() - Method in interface jif.types.JifTypeSystem
  Returns the "label" type.
Label() - Method in class jif.types.JifTypeSystem_c
label() - Method in interface jif.types.JifVarInstance
Label - Interface in jif.types.label
  This class represents the Jif security label.
label - Variable in class jif.types.NamedLabel
label() - Method in class jif.types.NamedLabel
label(String) - Method in class jif.types.NamedLabel
LABEL_ - Variable in class jif.types.JifTypeSystem_c
Label_c - Class in jif.types.label
  An abstract implementation of the `Label` interface.
Label_c() - Constructor for class jif.types.label.Label_c
Label_c(JifTypeSystem, Position, LabelToJavaExpr) - Constructor for class jif.types.label.Label_c
Label_c(JifTypeSystem, Position) - Constructor for class jif.types.label.Label_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.ast.Jif_c
labelCheck(LabelChecker) - Method in class jif.extension.JifArrayAccessExt
labelCheck(LabelChecker) - Method in class jif.extension.JifArrayInitExt
labelCheck(LabelChecker) - Method in class jif.extension.JifAssignExt
labelCheck(LabelChecker) - Method in class jif.extension.JifBinaryExt
labelCheck(LabelChecker) - Method in class jif.extension.JifCallExt
labelCheck(LabelChecker) - Method in class jif.extension.JifCastExt
labelCheck(LabelChecker) - Method in class jif.extension.JifClassBodyExt
labelCheck(LabelChecker) - Method in class jif.extension.JifClassDeclExt
labelCheck(LabelChecker) - Method in class jif.extension.JifConditionalExt
labelCheck(LabelChecker) - Method in class jif.extension.JifConstructorDeclExt
labelCheck(LabelChecker) - Method in class jif.extension.JifDeclassifyExprExt
labelCheck(LabelChecker) - Method in class jif.extension.JifFieldDeclExt_c
  Label check field initializers.
labelCheck(LabelChecker) - Method in class jif.extension.JifFieldExt
  label check the field access.
labelCheck(LabelChecker) - Method in class jif.extension.JifFormalExt
labelCheck(LabelChecker) - Method in class jif.extension.JifInitializerExt
labelCheck(LabelChecker) - Method in class jif.extension.JifInstanceofExt
labelCheck(LabelChecker) - Method in class jif.extension.JifLabelExprExt
labelCheck(LabelChecker) - Method in class jif.extension.JifLiteralExt
labelCheck(LabelChecker) - Method in class jif.extension.JifLocalExt
labelCheck(LabelChecker) - Method in class jif.extension.JifMethodDeclExt
labelCheck(LabelChecker) - Method in class jif.extension.JifNewArrayExt
labelCheck(LabelChecker) - Method in class jif.extension.JifNewExt
labelCheck(LabelChecker) - Method in class jif.extension.JifPrincipalNodeExt
labelCheck(LabelChecker) - Method in class jif.extension.JifSourceFileExt
labelCheck(LabelChecker) - Method in class jif.extension.JifSpecialExt
  label check the special expression.
labelCheck(LabelChecker) - Method in class jif.extension.JifStmtExt_c
  Label check a statement.
labelCheck(LabelChecker) - Method in class jif.extension.JifUnaryExt
labelcheck(JifContext) - Method in class jif.types.label.AccessPath
labelcheck(JifContext) - Method in class jif.types.label.AccessPathClass
labelcheck(JifContext) - Method in class jif.types.label.AccessPathField
labelcheck(JifContext) - Method in class jif.types.label.AccessPathLocal
labelcheck(JifContext) - Method in class jif.types.label.AccessPathRoot
labelcheck(JifContext) - Method in class jif.types.label.AccessPathThis
labelCheck(JifContext) - Method in class jif.types.label.CovariantParamLabel_c
labelCheck(JifContext) - Method in class jif.types.label.DynamicLabel_c
labelCheck(JifContext) - Method in class jif.types.label.JoinLabel_c
labelCheck(JifContext) - Method in interface jif.types.label.Label
  Label check the label, which will determine how much information may be gained if the label is evaluated at runtime.
labelCheck(JifContext) - Method in class jif.types.label.Label_c
labelCheck(JifContext) - Method in class jif.types.label.ParamLabel_c
labelCheck(JifContext) - Method in class jif.types.label.PolicyLabel_c
labelCheck(JifContext) - Method in class jif.types.principal.DynamicPrincipal_c
labelCheck(JifContext) - Method in class jif.types.principal.ParamPrincipal_c
labelCheck(JifContext) - Method in interface jif.types.principal.Principal
  Label check the principal, which will determine how much information may be gained if the principal is evaluated at runtime.
labelCheck(JifContext) - Method in class jif.types.principal.Principal_c
labelCheck(Node) - Method in class jif.visit.LabelChecker
labelCheckedArgs() - Method in class jif.extension.CallHelper
labelCheckElements(LabelChecker, Type) - Method in class jif.extension.JifArrayInitExt
LabelChecker - Class in jif.visit
  The `LabelChecker` class is used in the label checking of Jif.
LabelChecker(Job, TypeSystem, NodeFactory, boolean, boolean) - Constructor for class jif.visit.LabelChecker
LabelChecker(Job, TypeSystem, NodeFactory, boolean, boolean, boolean) - Constructor for class jif.visit.LabelChecker
labelCheckField(LabelChecker, JifClassType) - Method in interface jif.extension.JifFieldDeclExt
labelCheckField(LabelChecker, JifClassType) - Method in class jif.extension.JifFieldDeclExt_c
  Extracts the declared label of this field.
LabelCheckGoal - Class in jif
LabelCheckGoal(Job) - Constructor for class jif.LabelCheckGoal
labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifArrayAccessExt
labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifFieldExt
labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifLocalExt
labelCheckLHS(LabelChecker) - Method in class jif.extension.JifArrayAccessAssignExt
labelCheckLHS(LabelChecker) - Method in class jif.extension.JifAssignExt
labelCheckLHS(LabelChecker) - Method in class jif.extension.JifFieldAssignExt
labelCheckLHS(LabelChecker) - Method in class jif.extension.JifLocalAssignExt
LabelCheckPass - Class in jif.visit
  A pass which runs a visitor.
LabelCheckPass(Goal, Job, LabelChecker) - Constructor for class jif.visit.LabelCheckPass
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifActsForExt
  Label check the `actsFor` statement.
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifBlockExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifBranchExt
  Label check the branch statement.
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifCaseExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifConstructorCallExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifDeclassifyStmtExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifDoExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifEmptyExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifEvalExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifForExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifIfExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifLabeledExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifLabelIfExt
  Label check the `actsFor` statement.
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifLocalDeclExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifReturnExt
labelCheckStmt(LabelChecker) - Method in interface jif.extension.JifStmtExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifStmtExt_c
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifSwitchExt
  Label check the switch statement.
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifSynchronizedExt
  Label check the `synchronized` statement.
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifThrowExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifTryExt
labelCheckStmt(LabelChecker) - Method in class jif.extension.JifWhileExt
labelCheckType(Type, LabelChecker, List, Position) - Static method in class jif.extension.LabelTypeCheckUtil
labelCheckTypeParams(Type, LabelChecker, List, Position) - Static method in class jif.extension.LabelTypeCheckUtil
LabelConstraint - Class in jif.types
  A `LabelConstraint` represents a constraint on labels, which may either be an inequality or equality constraint.
LabelConstraint(NamedLabel, LabelConstraint.Kind, NamedLabel, LabelEnv, Position) - Constructor for class jif.types.LabelConstraint
LabelConstraint(NamedLabel, LabelConstraint.Kind, NamedLabel, LabelEnv, Position, boolean) - Constructor for class jif.types.LabelConstraint
LabelConstraint.Kind - Class in jif.types
  Kinds of constraint, either equality or inequality.
LabeledExpr - Class in jif.parse
LabeledExpr(Grm, Position, Amb, LabelNode) - Constructor for class jif.parse.LabeledExpr
labeledType(Position, Type, Label) - Method in interface jif.types.JifTypeSystem
  Returns a labeled type, type{label}.
labeledType(Position, Type, Label) - Method in class jif.types.JifTypeSystem_c
  Jif specific stuff
LabeledType - Interface in jif.types
  A labeled type.
LabeledType_c - Class in jif.types
  An implementation of the `LabeledType` interface.
LabeledType_c(JifTypeSystem, Position, Type, Label) - Constructor for class jif.types.LabeledType_c
LabeledTypeNode(Position, TypeNode, LabelNode) - Method in interface jif.ast.JifNodeFactory
LabeledTypeNode(Position, TypeNode, LabelNode) - Method in class jif.ast.JifNodeFactory_c
LabeledTypeNode - Interface in jif.ast
  This class represents a labeled type node.
LabeledTypeNode_c - Class in jif.ast
  An implementation of the `LabeledTypeNode` interface.
LabeledTypeNode_c(Position, TypeNode, LabelNode) - Constructor for class jif.ast.LabeledTypeNode_c
LabelEnv - Interface in jif.types.hierarchy
labelEnv() - Method in interface jif.types.JifContext
labelEnv() - Method in class jif.types.JifContext_c
LabelEnv.SearchState - Interface in jif.types.hierarchy
  Encapsulates the solvers search state.
LabelEnv_c - Class in jif.types.hierarchy
  The wrapper of a set of assumptions that can be used to decide whether L1 <= L2.
LabelEnv_c(JifTypeSystem, boolean) - Constructor for class jif.types.hierarchy.LabelEnv_c
LabelExpr(Position, Label) - Method in interface jif.ast.JifNodeFactory
LabelExpr(Position, Label) - Method in class jif.ast.JifNodeFactory_c
LabelExpr(Position, LabelNode) - Method in class jif.ast.JifNodeFactory_c
LabelExpr - Interface in jif.ast
  An immutable representation of the Jif `new label` statement.
LabelExpr_c - Class in jif.ast
  An implementation of the `NewLabel` interface.
LabelExpr_c(Position, LabelNode) - Constructor for class jif.ast.LabelExpr_c
LabelExprToJavaExt_c - Class in jif.translate
LabelExprToJavaExt_c() - Constructor for class jif.translate.LabelExprToJavaExt_c
LabelIf(Position, LabelExpr, LabelExpr, Stmt, Stmt) - Method in interface jif.ast.JifNodeFactory
LabelIf(Position, LabelExpr, LabelExpr, Stmt, Stmt) - Method in class jif.ast.JifNodeFactory_c
LabelIf - Interface in jif.ast
  An immutable representation of a Jif `actsFor` statement.
LabelIf_c - Class in jif.ast
  An implementation of the `LabelIf` interface.
LabelIf_c(Position, LabelExpr, LabelExpr, Stmt, Stmt) - Constructor for class jif.ast.LabelIf_c
LabelIfToJavaExt_c - Class in jif.translate
LabelIfToJavaExt_c() - Constructor for class jif.translate.LabelIfToJavaExt_c
labelLeAssertion(Position, Label, Label) - Method in interface jif.types.JifTypeSystem
  Construct an acts-for constraint.
labelLeAssertion(Position, Label, Label) - Method in class jif.types.JifTypeSystem_c
LabelLeAssertion - Interface in jif.types
LabelLeAssertion_c - Class in jif.types
LabelLeAssertion_c(JifTypeSystem, Label, Label, Position) - Constructor for class jif.types.LabelLeAssertion_c
LabelLeAssertionNode(Position, LabelNode, LabelNode) - Method in interface jif.ast.JifNodeFactory
LabelLeAssertionNode(Position, LabelNode, LabelNode) - Method in class jif.ast.JifNodeFactory_c
LabelLeAssertionNode - Interface in jif.ast
LabelLeAssertionNode_c - Class in jif.ast
  An implementation of the `ActsForConstraintNode` interface.
LabelLeAssertionNode_c(Position, LabelNode, LabelNode, boolean) - Constructor for class jif.ast.LabelLeAssertionNode_c
LabelNode - Interface in jif.ast
  A placeholder in the AST for a Jif label.
LabelNode_c - Class in jif.ast
  An implementation of the `LabelNode` interface.
LabelNode_c(Position) - Constructor for class jif.ast.LabelNode_c
LabelNode_c(Position, Label) - Constructor for class jif.ast.LabelNode_c
labelOfField(FieldInstance, Label) - Method in interface jif.types.JifTypeSystem
  Get the label of the field, folding in the PC if appropriate.
labelOfField(FieldInstance, Label) - Method in class jif.types.JifTypeSystem_c
labelOfLocal(LocalInstance, Label) - Method in interface jif.types.JifTypeSystem
  Get the label of the local, folding in the PC if appropriate.
labelOfLocal(LocalInstance, Label) - Method in class jif.types.JifTypeSystem_c
labelOfType(Type) - Method in interface jif.types.JifTypeSystem
  Get the label of the type, or bottom if unlabeled
labelOfType(Type, Label) - Method in interface jif.types.JifTypeSystem
  Get the label of the type, or `defaultLabel` if unlabeled.
labelOfType(Type) - Method in class jif.types.JifTypeSystem_c
labelOfType(Type, Label) - Method in class jif.types.JifTypeSystem_c
labelPart() - Method in interface jif.ast.LabeledTypeNode
labelPart(LabelNode) - Method in interface jif.ast.LabeledTypeNode
labelPart - Variable in class jif.ast.LabeledTypeNode_c
labelPart() - Method in class jif.ast.LabeledTypeNode_c
labelPart(LabelNode) - Method in class jif.ast.LabeledTypeNode_c
labelPart() - Method in interface jif.types.LabeledType
labelPart(Label) - Method in interface jif.types.LabeledType
labelPart - Variable in class jif.types.LabeledType_c
labelPart() - Method in class jif.types.LabeledType_c
labelPart(Label) - Method in class jif.types.LabeledType_c
labels - Static variable in class jif.Topics
LabelsChecked(Job) - Method in class jif.JifScheduler
LabelSubstitution - Class in jif.types
  The class is a simple Label visitor.
LabelSubstitution() - Constructor for class jif.types.LabelSubstitution
LabelSubstitutionVisitor - Class in jif.visit
  Visits an AST, and applies a `LabelSubsitution` to all labels that occur in the AST.
LabelSubstitutionVisitor(LabelSubstitution, boolean) - Constructor for class jif.visit.LabelSubstitutionVisitor
LabelSubstitutionVisitor(LabelSubstitution, TypeSubstitutor, boolean) - Constructor for class jif.visit.LabelSubstitutionVisitor
labelToJava(Label) - Method in class jif.translate.JifToJavaRewriter
LabelToJavaExpr - Interface in jif.translate
LabelToJavaExpr_c - Class in jif.translate
LabelToJavaExpr_c() - Constructor for class jif.translate.LabelToJavaExpr_c
LabelTypeCheckUtil - Class in jif.extension
  Contains some common utility code to type check dynamic labels and principals
LabelTypeCheckUtil() - Constructor for class jif.extension.LabelTypeCheckUtil
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
  Override the superclass implementation, to handle label and principal parameters, and array base types correctly.
leastCommonAncestorSubtype(Type, Type) - Method in class jif.types.JifTypeSystem_c
  Find out if the least common ancestor of subtype and supertype is supertype, given that strip(subtype) is a sub type of strip(supertype).
leave(Node, Node, NodeVisitor) - Method in class jif.visit.ConstChecker
leave(Node, Node, NodeVisitor) - Method in class jif.visit.LabelSubstitutionVisitor
leaveCall(Node, Node, NodeVisitor) - Method in class jif.translate.JifToJavaRewriter
leaveCall(Node, Node, NodeVisitor) - Method in class jif.visit.FieldLabelResolver
leaveCall(Node, Node, NodeVisitor) - Method in class jif.visit.JifLabelSubst
leaveScope(Context) - Method in class jif.ast.ParamDecl_c
leavingClass() - Method in class jif.translate.JifToJavaRewriter
leavingClassBody(JifClassDecl) - Method in class jif.visit.LabelChecker
  Called by JifClassDeclExt just after this label checker has been used to check a class body.
leavingMethod(JifMethodDecl) - Method in class jif.visit.LabelChecker
  Called by JifClassDeclExt just after this label checker has been used to check a class body.
leavingSourceFile(SourceFile) - Method in class jif.translate.JifToJavaRewriter
  Take any additional class declarations that can fit into the source file, i.e., non-public class decls.
leq(Label, Label) - Method in interface jif.types.hierarchy.LabelEnv
leq(Label, Label, LabelEnv.SearchState) - Method in interface jif.types.hierarchy.LabelEnv
leq(Label, Label) - Method in class jif.types.hierarchy.LabelEnv_c
leq(Label, Label, LabelEnv.SearchState) - Method in class jif.types.hierarchy.LabelEnv_c
  Recursive implementation of L1 <= L2.
leq(Label, Label, LabelEnv) - Method in interface jif.types.JifTypeSystem
  Returns true iff L1 <= L2 in `ph`.
leq(Label, Label) - Method in interface jif.types.JifTypeSystem
leq(Label, Label, LabelEnv) - Method in class jif.types.JifTypeSystem_c
leq(Label, Label) - Method in class jif.types.JifTypeSystem_c
LEQ - Static variable in class jif.types.LabelConstraint
  An inequality kind of constraint.
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.ArgLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.CovariantParamLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.DynamicLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.JoinLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in interface jif.types.label.Label
  Implementation of leq, should only be called by JifTypeSystem
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.NotTaken_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.ParamLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.PolicyLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.RuntimeLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.ThisLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.TopLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.UnknownLabel_c
leq_(Label, LabelEnv, LabelEnv.SearchState) - Method in class jif.types.label.VarLabel_c
Lexer_c - Class in jif.parse
  This class is a scanner generated by JFlex 1.3.5 on 3/16/06 9:20 PM from the specification file `file:/D:/data/temp/jif-2.0.1/dist/src/jif/parse/jif.flex`
Lexer_c(InputStream, FileSource, ErrorQueue) - Constructor for class jif.parse.Lexer_c
Lexer_c(Reader, FileSource, ErrorQueue) - Constructor for class jif.parse.Lexer_c
Lexer_c(Reader) - Constructor for class jif.parse.Lexer_c
  Creates a new scanner There is also a java.io.InputStream version of this constructor.
Lexer_c(InputStream) - Constructor for class jif.parse.Lexer_c
  Creates a new scanner.
lhs() - Method in interface jif.ast.LabelIf
  Gets the actor.
lhs(LabelExpr) - Method in interface jif.ast.LabelIf
  Makes a copy node and sets the lhs of the copy.
lhs - Variable in class jif.ast.LabelIf_c
lhs() - Method in class jif.ast.LabelIf_c
  Gets the lhs principal.
lhs(LabelExpr) - Method in class jif.ast.LabelIf_c
  Sets the lhs principal.
lhs() - Method in interface jif.ast.LabelLeAssertionNode
  Gets the lhs Label.
lhs(LabelNode) - Method in interface jif.ast.LabelLeAssertionNode
  Returns a copy of this node with the lhs updated.
lhs - Variable in class jif.ast.LabelLeAssertionNode_c
lhs() - Method in class jif.ast.LabelLeAssertionNode_c
  Gets the lhs label node.
lhs(LabelNode) - Method in class jif.ast.LabelLeAssertionNode_c
  Returns a copy of this node with the lhs updated.
lhs() - Method in class jif.types.Equation
lhs() - Method in class jif.types.LabelConstraint
lhs() - Method in interface jif.types.LabelLeAssertion
lhs(Label) - Method in interface jif.types.LabelLeAssertion
lhs() - Method in class jif.types.LabelLeAssertion_c
lhs(Label) - Method in class jif.types.LabelLeAssertion_c
LocalClassDecl(Position, ClassDecl) - Method in class jif.ast.JifNodeFactory_c
LocalDecl(Position, Flags, TypeNode, String, Expr) - Method in class jif.ast.JifNodeFactory_c
LocalDeclToJavaExt_c - Class in jif.translate
LocalDeclToJavaExt_c() - Constructor for class jif.translate.LocalDeclToJavaExt_c
localInstance(Position, Flags, Type, String) - Method in class jif.types.JifTypeSystem_c
localInstance() - Method in class jif.types.label.AccessPathLocal
localInstancesUsed(JifClassType, JifTypeSystem) - Static method in class jif.extension.LabelTypeCheckUtil
  Returns a set of local instances that are used in the type.
LocalToJavaExt_c - Class in jif.translate
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
LONG_LITERAL_BD - 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
makeAccessOrInst(Amb, List) - Method in class jif.parse.Grm
makeMissingFieldTarget(FieldInstance) - Method in class jif.ast.JifDisamb_c
  Override superclass functionality to avoid returning an uninstantiated polymorphic class.
makeParamOrExprList(Expr) - Method in class jif.parse.Grm
map - Variable in class jif.types.PathMap
MethodDecl(Position, Flags, TypeNode, String, List, List, Block) - Method in class jif.ast.JifNodeFactory_c
MethodDeclToJavaExt_c - Class in jif.translate
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
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
  A message to display if this constraint is violated.
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.AmbParam_c
name() - Method in class jif.ast.AmbParam_c
name(String) - Method in class jif.ast.AmbParam_c
name - Variable in class jif.ast.AmbPrincipalNode_c
name() - Method in interface jif.ast.AmbVarLabelNode
name - Variable in class jif.ast.AmbVarLabelNode_c
name() - Method in class jif.ast.AmbVarLabelNode_c
name(String) - Method in class jif.ast.AmbVarLabelNode_c
name() - Method in interface jif.ast.ParamDecl
name(String) - Method in interface jif.ast.ParamDecl
name() - Method in class jif.ast.ParamDecl_c
name(String) - Method in class jif.ast.ParamDecl_c
Name - Class in jif.parse
  A `Name` represents a `Amp` of the form "n | P.n".
Name(Grm, Position, String) - Constructor for class jif.parse.Name
Name(Grm, Position, Amb, String) - Constructor for class jif.parse.Name
name - Variable in class jif.parse.Name
name(String) - Method in interface jif.types.ParamInstance
name(String) - Method in class jif.types.ParamInstance_c
name() - Method in interface jif.types.principal.ExternalPrincipal
name() - Method in class jif.types.principal.ExternalPrincipal_c
name() - Method in class jif.Version
namedDescrips() - Method in class jif.types.LabelConstraint
  Return a map from Strings to Strings, which are the descriptions of names in the left and right hand sides.
NamedLabel - Class in jif.types
  A Jif label with names for the debuging use.
NamedLabel() - Constructor for class jif.types.NamedLabel
NamedLabel(String, Label) - Constructor for class jif.types.NamedLabel
NamedLabel(String, String, Label) - Constructor for class jif.types.NamedLabel
NamedLabel(Position) - Constructor for class jif.types.NamedLabel
namedLabels() - Method in class jif.types.LabelConstraint
  Return a map from Strings to Labels, which are the named elements of the left and right hand sides.
namedLhs() - Method in class jif.types.LabelConstraint
namedRhs() - Method in class jif.types.LabelConstraint
nameToDescrip - Variable in class jif.types.NamedLabel
nameToLabels - Variable in class jif.types.NamedLabel
NATIVE - Static variable in class jif.parse.sym
New(Position, Expr, TypeNode, List, ClassBody) - Method in class jif.ast.JifNodeFactory_c
NEW - Static variable in class jif.parse.sym
NewLabel(Position, LabelNode) - Method in interface jif.ast.JifNodeFactory
NewLabel(Position, LabelNode) - Method in class jif.ast.JifNodeFactory_c
NewLabel - Interface in jif.ast
  An immutable representation of the Jif `new label` statement.
NewLabel_c - Class in jif.ast
  An implementation of the `NewLabel` interface.
NewLabel_c(Position, LabelNode) - Constructor for class jif.ast.NewLabel_c
NewLabelToJavaExt_c - Class in jif.translate
NewLabelToJavaExt_c() - Constructor for class jif.translate.NewLabelToJavaExt_c
NewToJavaExt_c - Class in jif.translate
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
nodeFactory() - Method in class jif.visit.LabelChecker
NOT - Static variable in class jif.parse.sym
notConstant() - Method in class jif.types.JifFieldInstance_c
NOTEQ - Static variable in class jif.parse.sym
NotNullChecker - Class in jif.visit
  Visitor which determines at which program points local variables and final fields of this class cannot be null, and thus field access and method calls to them cannot produce NullPointerExceptions.
NotNullChecker(Job, TypeSystem, NodeFactory) - Constructor for class jif.visit.NotNullChecker
notTaken(Position) - Method in interface jif.types.JifTypeSystem
notTaken() - Method in interface jif.types.JifTypeSystem
notTaken(Position) - Method in class jif.types.JifTypeSystem_c
notTaken() - Method in class jif.types.JifTypeSystem_c
NotTaken - Interface in jif.types.label
  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 in jif.types.label
  An implementation of the `NotTaken` interface.
NotTaken_c() - Constructor for class jif.types.label.NotTaken_c
NotTaken_c(JifTypeSystem, Position) - Constructor for class jif.types.label.NotTaken_c
NULL_LITERAL - Static variable in class jif.parse.sym
nullInstantiate(Position, PClass) - Method in interface jif.types.JifTypeSystem
nullInstantiate(Position, PClass) - Method in class jif.types.JifTypeSystem_c
numericConversionValid(Type, Object) - 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 in jif
  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.parse.UnwrapVisitor
override(Node) - Method in class jif.visit.ConstChecker
override(Node) - Method in class jif.visit.LabelSubstitutionVisitor
OverrideHelper(JifMethodInstance, JifMethodInstance, LabelChecker) - Static method in class jif.extension.CallHelper
overrideMethodLabelCheck(LabelChecker, JifMethodInstance) - Method in class jif.extension.JifMethodDeclExt
  Check that this method instance conforms to the signatures of any methods in the superclasses or interfaces that it is overriding.
owner() - Method in interface jif.ast.PolicyLabelNode
owner(PrincipalNode) - Method in interface jif.ast.PolicyLabelNode
owner - Variable in class jif.ast.PolicyLabelNode_c
owner() - Method in class jif.ast.PolicyLabelNode_c
owner(PrincipalNode) - Method in class jif.ast.PolicyLabelNode_c
owner() - Method in interface jif.types.label.PolicyLabel
owner() - Method in class jif.types.label.PolicyLabel_c

## P

PACKAGE - Static variable in class jif.parse.sym
packageForName(Package, String) - Method in class jif.types.JifTypeSystem_c
PackageNodeToJavaExt_c - Class in jif.translate
PackageNodeToJavaExt_c() - Constructor for class jif.translate.PackageNodeToJavaExt_c
Param - Interface in jif.types
  The root of the Jif class parameter types.
paramArgName(ParamInstance) - Static method in class jif.translate.ParamToJavaExpr_c
ParamDecl(Position, ParamInstance.Kind, String) - Method in interface jif.ast.JifNodeFactory
ParamDecl(Position, ParamInstance.Kind, String) - Method in class jif.ast.JifNodeFactory_c
ParamDecl - Interface in jif.ast
  The AST node representing a label/principal parameter declaration.
ParamDecl_c - Class in jif.ast
  An implementation of the `ParamDecl` interface.
ParamDecl_c(Position, ParamInstance.Kind, String) - Constructor for class jif.ast.ParamDecl_c
parameter() - Method in class jif.ast.AmbExprParam_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() - Method in class jif.ast.PrincipalNode_c
paramFieldName(ParamInstance) - Static method in class jif.translate.ParamToJavaExpr_c
paramFieldNameGetter(ParamInstance) - Static method in class jif.translate.ParamToJavaExpr_c
paramInstance() - Method in interface jif.ast.ParamDecl
paramInstance(ParamInstance) - Method in interface jif.ast.ParamDecl
paramInstance() - Method in class jif.ast.ParamDecl_c
paramInstance(ParamInstance) - Method in class jif.ast.ParamDecl_c
paramInstance(Position, JifClassType, ParamInstance.Kind, String) - Method in interface jif.types.JifTypeSystem
  Constructs a parameter instance for a class parameter declaration
paramInstance(Position, JifClassType, ParamInstance.Kind, String) - Method in class jif.types.JifTypeSystem_c
paramInstance() - Method in interface jif.types.label.CovariantParamLabel
paramInstance() - Method in class jif.types.label.CovariantParamLabel_c
paramInstance() - Method in interface jif.types.label.ParamLabel
paramInstance() - Method in class jif.types.label.ParamLabel_c
ParamInstance - Interface in jif.types
  A parameter instance.
paramInstance() - Method in interface jif.types.principal.ParamPrincipal
paramInstance() - Method in class jif.types.principal.ParamPrincipal_c
ParamInstance.Kind - Class in jif.types
ParamInstance.Kind(String) - Constructor for class jif.types.ParamInstance.Kind
ParamInstance_c - Class in jif.types
  An implementation of the `ParamInstance` interface.
ParamInstance_c(JifTypeSystem, Position, JifClassType, ParamInstance.Kind, String) - Constructor for class jif.types.ParamInstance_c
paramLabel(Position, ParamInstance) - Method in interface jif.types.JifTypeSystem
paramLabel(Position, ParamInstance) - Method in class jif.types.JifTypeSystem_c
ParamLabel - Interface in jif.types.label
  The label derived from a label paramter.
ParamLabel_c - Class in jif.types.label
  An implementation of the `ParamLabel` interface.
ParamLabel_c(ParamInstance, JifTypeSystem, Position) - Constructor for class jif.types.label.ParamLabel_c
ParamNode - Interface in jif.ast
  This class is the root of all the classes that may be parameters, including label node classes and principal node classes.
ParamPrincipal - Interface in jif.types.principal
  The principal derived from a principal parameter.
ParamPrincipal_c - Class in jif.types.principal
  An implementation of the `ParamPrincipal` interface.
ParamPrincipal_c(ParamInstance, JifTypeSystem, Position) - Constructor for class jif.types.principal.ParamPrincipal_c
params() - Method in interface jif.ast.InstTypeNode
params(List) - Method in interface jif.ast.InstTypeNode
params - Variable in class jif.ast.InstTypeNode_c
params() - Method in class jif.ast.InstTypeNode_c
params(List) - Method in class jif.ast.InstTypeNode_c
params() - Method in interface jif.ast.JifClassDecl
params(List) - Method in interface jif.ast.JifClassDecl
params - Variable in class jif.ast.JifClassDecl_c
params() - Method in class jif.ast.JifClassDecl_c
params(List) - Method in class jif.ast.JifClassDecl_c
params() - Method in class jif.types.JifParsedPolyType_c
params() - Method in interface jif.types.JifPolyType
  Declared parameters of the class.
paramToJava(Param) - Method in class jif.translate.JifToJavaRewriter
ParamToJavaExpr_c - Class in jif.translate
ParamToJavaExpr_c() - Constructor for class jif.translate.ParamToJavaExpr_c
paramToParam(ParamInstance, AmbiguityRemover) - Method in class jif.ast.AmbParam_c
  Turns a `PramaInstance` object into a label node or a principal node.
paramToPrincipal(ParamInstance, AmbiguityRemover) - Method in class jif.ast.AmbPrincipalNode_c
paramVarLabels - Variable in class jif.extension.JifCallDel
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
patch_level() - Method in class jif.Version
path() - Method in class jif.parse.Lexer_c
path() - Method in class jif.types.label.AccessPathField
path() - Method in interface jif.types.label.DynamicLabel
path() - Method in class jif.types.label.DynamicLabel_c
Path - Interface in jif.types
  A control flow path.
path() - Method in interface jif.types.principal.DynamicPrincipal
path() - Method in class jif.types.principal.DynamicPrincipal_c
Path.FixedPath - Class in jif.types
pathMap() - Method in interface jif.types.JifTypeSystem
pathMap(Path, Label) - Method in interface jif.types.JifTypeSystem
pathMap() - Method in class jif.types.JifTypeSystem_c
pathMap(Path, Label) - Method in class jif.types.JifTypeSystem_c
PathMap - Class in jif.types
  Implements the mapping from paths to labels.
PathMap(JifTypeSystem) - Constructor for class jif.types.PathMap
paths() - Method in class jif.types.PathMap
  Return all paths in the map except NV and RV (which aren't really paths).
pc() - Method in interface jif.types.JifContext
pc() - Method in class jif.types.JifContext_c
ph() - Method in interface jif.types.hierarchy.LabelEnv
ph() - Method in class jif.types.hierarchy.LabelEnv_c
ph() - Method in interface jif.types.JifContext
ph() - Method in class jif.types.JifContext_c
ph() - Method in class jif.types.LabelConstraint
pi - Variable in class jif.ast.AmbParam_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(Position, Principal, Collection) - Method in interface jif.types.JifTypeSystem
policyLabel(Position, Principal, Collection) - Method in class jif.types.JifTypeSystem_c
PolicyLabel - Interface in jif.types.label
  The policy label of the form `owner: r1,...,rn`
PolicyLabel_c - Class in jif.types.label
  An implementation of the `PolicyLabel` interface.
PolicyLabel_c(Principal, Collection, JifTypeSystem, Position) - Constructor for class jif.types.label.PolicyLabel_c
PolicyLabelNode(Position, PrincipalNode, List) - Method in interface jif.ast.JifNodeFactory
PolicyLabelNode(Position, PrincipalNode, List) - Method in class jif.ast.JifNodeFactory_c
PolicyLabelNode - Interface in jif.ast
  A policy label node.
PolicyLabelNode_c - Class in jif.ast
  An implementation of the `PolicyLabel` interface.
PolicyLabelNode_c(Position, PrincipalNode, List) - Constructor for class jif.ast.PolicyLabelNode_c
PolicyLabelToJavaExpr_c - Class in jif.translate
PolicyLabelToJavaExpr_c() - Constructor for class jif.translate.PolicyLabelToJavaExpr_c
polyTypeForClass(JifClassType) - Static method in class jif.extension.SubtypeChecker
  Return the `JifPolyType` for the given `JifClassType jct`.
popLabel(Label) - Method in class jif.types.LabelSubstitution
pos(Amb) - Static method in class jif.parse.Grm
  Return the source position of the Parse.
pos(Declarator) - Method in class jif.parse.Grm
pos() - Method in class jif.parse.Grm
pos - Variable in class jif.types.NamedLabel
posForObject(Object) - Method in class jif.parse.Grm
position() - Method in class jif.types.Equation
position() - Method in class jif.types.label.AccessPath
position() - Method in class jif.types.LabelConstraint
position() - Method in class jif.types.NamedLabel
postExtActsFor(Ext) - Method in class jif.ast.JifExtFactory_c
postExtActsForConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtAmbDynamicLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtAmbNewArray(Ext) - Method in class jif.ast.JifExtFactory_c
postExtAmbParam(Ext) - Method in class jif.ast.JifExtFactory_c
postExtAmbParamTypeOrAccess(Ext) - Method in class jif.ast.JifExtFactory_c
postExtAmbPrincipalNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtAmbThisLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtAmbVarLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtAuthConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtCallerConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtCanonicalConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtCanonicalLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtCanonicalPrincipalNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtConstraintNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtDeclassifyExpr(Ext) - Method in class jif.ast.JifExtFactory_c
postExtDeclassifyStmt(Ext) - Method in class jif.ast.JifExtFactory_c
postExtInstTypeNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtJoinLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtLabeledTypeNode(Ext) - Method in class jif.ast.JifExtFactory_c
postExtLabelExpr(Ext) - Method in class jif.ast.JifExtFactory_c
postExtLabelIf(Ext) - Method in class jif.ast.JifExtFactory_c
postExtLabelLeAssertionNode(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
precedence() - Method in class jif.ast.DeclassifyExpr_c
PreciseClassChecker - Class in jif.visit
  Visitor which determines at which program points more precise information is known about the runtime class of local variables and final access paths.
PreciseClassChecker(Job, TypeSystem, NodeFactory) - Constructor for class jif.visit.PreciseClassChecker
prefix() - Method in interface jif.ast.AmbParamTypeOrAccess
  Gets the prefix.
prefix - Variable in class jif.ast.AmbParamTypeOrAccess_c
prefix() - Method in class jif.ast.AmbParamTypeOrAccess_c
prefix(Receiver) - Method in class jif.ast.AmbParamTypeOrAccess_c
prefix - Variable in class jif.parse.LabeledExpr
prefix - Variable in class jif.parse.Name
prefixToPackage(Prefix) - Method in class jif.parse.Grm
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ActsFor_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ActsForConstraintNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbDynamicLabelNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbNewArray_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbThisLabelNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbVarLabelNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AuthConstraintNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CallerConstraintNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CanonicalConstraintNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CanonicalPrincipalNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.DeclassifyExpr_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.DeclassifyStmt_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.InstTypeNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.JoinLabelNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabeledTypeNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabelExpr_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabelIf_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabelLeAssertionNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabelNode_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.NewLabel_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ParamDecl_c
prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.PolicyLabelNode_c
prettyPrintHeader(CodeWriter, PrettyPrinter) - Method in class jif.ast.JifClassDecl_c
primitiveForName(String) - Method in class jif.types.JifTypeSystem_c
principal() - Method in interface jif.ast.PrincipalNode
principal(Principal) - Method in interface jif.ast.PrincipalNode
principal() - Method in class jif.ast.PrincipalNode_c
principal(Principal) - Method in class jif.ast.PrincipalNode_c
PRINCIPAL - Static variable in class jif.parse.sym
Principal() - Method in interface jif.types.JifTypeSystem
  Returns the "principal" type.
Principal() - Method in class jif.types.JifTypeSystem_c
PRINCIPAL - Static variable in interface jif.types.ParamInstance
Principal - Interface in jif.types.principal
  The root interface of all kinds of Jif principals.
principal() - Method in interface jif.types.PrincipalInstance
principal(ExternalPrincipal) - Method in interface jif.types.PrincipalInstance
principal() - Method in class jif.types.PrincipalInstance_c
principal(ExternalPrincipal) - Method in class jif.types.PrincipalInstance_c
PRINCIPAL_ - Variable in class jif.types.JifTypeSystem_c
Principal_c - Class in jif.types.principal
  An abstract implementation of the `Principal` interface.
Principal_c(JifTypeSystem, Position) - Constructor for class jif.types.principal.Principal_c
Principal_c(JifTypeSystem, Position, PrincipalToJavaExpr) - Constructor for class jif.types.principal.Principal_c
PRINCIPAL_CLASS_ - Variable in class jif.types.JifTypeSystem_c
PrincipalClass() - Method in interface jif.types.JifTypeSystem
  Returns the class jif.lang.Principal.
PrincipalClass() - Method in class jif.types.JifTypeSystem_c
PrincipalHierarchy - Class in jif.types.hierarchy
  The principal hierarchy that defines the acts-for relationships between principals.
PrincipalHierarchy() - Constructor for class jif.types.hierarchy.PrincipalHierarchy
principalInstance(Position, ExternalPrincipal) - Method in interface jif.types.JifTypeSystem
  Constructs a principal instance for an external principal.
principalInstance(Position, ExternalPrincipal) - Method in class jif.types.JifTypeSystem_c
PrincipalInstance - Interface in jif.types
  A `PrincipalInstance` represents a global principal.
PrincipalInstance_c - Class in jif.types
  An implementation of the `PrincipalInstance` interface.
PrincipalInstance_c(JifTypeSystem, Position, ExternalPrincipal) - Constructor for class jif.types.PrincipalInstance_c
PrincipalNode - Interface in jif.ast
  A placeholder in AST for a Jif principal.
PrincipalNode_c - Class in jif.ast
  An implementation of the `PrincipalNode` interface.
PrincipalNode_c(Position) - Constructor for class jif.ast.PrincipalNode_c
principalParam(Position, ParamInstance) - Method in interface jif.types.JifTypeSystem
principalParam(Position, ParamInstance) - Method in class jif.types.JifTypeSystem_c
principals() - Method in interface jif.ast.AuthConstraintNode
  Gets the list of principal who grants their authorities.
principals(List) - Method in interface jif.ast.AuthConstraintNode
  Returns a copy of this node with the principal list updated.
principals - Variable in class jif.ast.AuthConstraintNode_c
principals() - Method in class jif.ast.AuthConstraintNode_c
principals(List) - Method in class jif.ast.AuthConstraintNode_c
principals() - Method in interface jif.ast.CallerConstraintNode
  Gets the list of principals who need to grant their authorities to the caller.
principals(List) - Method in interface jif.ast.CallerConstraintNode
  Returns a copy of this node with the principal list updated.
principals - Variable in class jif.ast.CallerConstraintNode_c
principals() - Method in class jif.ast.CallerConstraintNode_c
principals(List) - Method in class jif.ast.CallerConstraintNode_c
principals() - Method in interface jif.types.AuthConstraint
principals(List) - Method in interface jif.types.AuthConstraint
principals - Variable in class jif.types.AuthConstraint_c
principals(List) - Method in class jif.types.AuthConstraint_c
principals() - Method in class jif.types.AuthConstraint_c
principals() - Method in interface jif.types.CallerConstraint
principals(List) - Method in interface jif.types.CallerConstraint
principals - Variable in class jif.types.CallerConstraint_c
principals(List) - Method in class jif.types.CallerConstraint_c
principals() - Method in class jif.types.CallerConstraint_c
principalToJava(Principal) - Method in class jif.translate.JifToJavaRewriter
PrincipalToJavaExpr - Interface in jif.translate
PrincipalToJavaExpr_c - Class in jif.translate
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
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
pushConstructorCall() - Method in interface jif.types.JifContext
  Push a Context onto the stack for a constructor call, e.g.
pushConstructorCall() - Method in class jif.types.JifContext_c
pushLabel(Label) - Method in class jif.types.LabelSubstitution
put(ParamInstance, Param) - Method in interface jif.types.JifSubst
put(ParamInstance, Param) - Method in class jif.types.JifSubst_c

## 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() - Method in interface jif.ast.PolicyLabelNode
readers(List) - Method in interface jif.ast.PolicyLabelNode
readers - Variable in class jif.ast.PolicyLabelNode_c
readers() - Method in class jif.ast.PolicyLabelNode_c
readers(List) - Method in class jif.ast.PolicyLabelNode_c
readers() - Method in interface jif.types.label.PolicyLabel
readers() - Method in class jif.types.label.PolicyLabel_c
receiverVarLabel - Variable in class jif.extension.JifCallDel
reconstruct(PrincipalNode, PrincipalNode, Stmt, Stmt) - Method in class jif.ast.ActsFor_c
  Reconstructs the node.
reconstruct(PrincipalNode, PrincipalNode) - Method in class jif.ast.ActsForConstraintNode_c
  Reconstructs this node.
reconstruct(TypeNode, Object, List) - Method in class jif.ast.AmbNewArray_c
  Reconstructs the node.
reconstruct(Receiver, Object) - Method in class jif.ast.AmbParamTypeOrAccess_c
reconstruct(List) - Method in class jif.ast.AuthConstraintNode_c
reconstruct(List) - Method in class jif.ast.CallerConstraintNode_c
reconstruct(Expr, LabelNode, LabelNode) - Method in class jif.ast.DeclassifyExpr_c
reconstruct(LabelNode, LabelNode, Stmt) - Method in class jif.ast.DeclassifyStmt_c
reconstruct(TypeNode, List) - Method in class jif.ast.InstTypeNode_c
reconstruct(Formal, Block) - Method in class jif.ast.JifCatch_c
reconstruct(List, TypeNode, List, List, ClassBody) - Method in class jif.ast.JifClassDecl_c
reconstruct(LabelNode, LabelNode, List, List, List, Block) - Method in class jif.ast.JifConstructorDecl_c
reconstruct(TypeNode, LabelNode, List, LabelNode, List, List, Block) - Method in class jif.ast.JifMethodDecl_c
reconstruct(List) - Method in class jif.ast.JoinLabelNode_c
reconstruct(TypeNode, LabelNode) - Method in class jif.ast.LabeledTypeNode_c
reconstruct(LabelNode) - Method in class jif.ast.LabelExpr_c
reconstruct(LabelExpr, LabelExpr, Stmt, Stmt) - Method in class jif.ast.LabelIf_c
  Reconstructs the node.
reconstruct(LabelNode, LabelNode) - Method in class jif.ast.LabelLeAssertionNode_c
  Reconstructs this node.
reconstruct(PrincipalNode, List) - Method in class jif.ast.PolicyLabelNode_c
recurseIntoArrayType(ArrayType) - Method in class jif.types.TypeSubstitutor
recurseIntoLabeledType(LabeledType) - Method in class jif.types.TypeSubstitutor
recurseIntoLabelOf() - Method in class jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker
  We do not want to check the labelOf components of fields.
recurseIntoSubstType(JifSubstType) - Method in class jif.extension.JifFieldDeclExt_c.InvarianceLabelSubstr
recurseIntoSubstType(JifSubstType) - Method in class jif.types.TypeSubstitutor
reduce_table() - Method in class jif.parse.Grm
  Access to `reduce_goto` table.
refineVariableEquation(VarLabel, Equation) - Method in class jif.types.SolverGLB
  Raise the bound on the label variable v, which is a component of the RHS of the equation eqn.
report() - Method in class jif.types.LabelConstraint
report(int, String) - Static method in class jif.types.Solver
  Convenience method to report messages for the appropriate topics
reportError(LabelConstraint, Collection) - Method in class jif.types.Solver
  Throws a SemanticException with the appropriate error message.
reportTraces(Collection) - Method in class jif.types.Solver
  Report the traces for each variables in the collection `Variables`
RETURN - Static variable in class jif.parse.sym
returnLabel(LabelNode) - Method in interface jif.ast.JifConstructorDecl
returnLabel - Variable in class jif.ast.JifConstructorDecl_c
returnLabel() - Method in class jif.ast.JifConstructorDecl_c
returnLabel(LabelNode) - Method in class jif.ast.JifConstructorDecl_c
returnLabel(LabelNode) - Method in interface jif.ast.JifMethodDecl
returnLabel - Variable in class jif.ast.JifMethodDecl_c
returnLabel() - Method in class jif.ast.JifMethodDecl_c
returnLabel(LabelNode) - Method in class jif.ast.JifMethodDecl_c
returnLabel() - Method in interface jif.ast.JifProcedureDecl
returnLabel - Variable in class jif.types.JifConstructorInstance_c
returnLabel() - Method in class jif.types.JifConstructorInstance_c
returnLabel - Variable in class jif.types.JifMethodInstance_c
returnLabel() - Method in class jif.types.JifMethodInstance_c
returnLabel() - Method in interface jif.types.JifProcedureInstance
ReturnToJavaExt_c - Class in jif.translate
ReturnToJavaExt_c() - Constructor for class jif.translate.ReturnToJavaExt_c
returnType() - Method in class jif.extension.CallHelper
returnValueLabel() - Method in interface jif.types.JifMethodInstance
returnValueLabel() - Method in class jif.types.JifMethodInstance_c
rewriteExpr(Expr) - Method in class jif.visit.LabelSubstitutionVisitor
rewriteLabel(Label) - Method in class jif.types.TypeSubstitutor
rewriteLabel(Label) - Method in class jif.visit.LabelSubstitutionVisitor
rewritePrincipal(Principal) - Method in class jif.types.TypeSubstitutor
rewritePrincipal(Principal) - Method in class jif.visit.LabelSubstitutionVisitor
rewriteType(Type) - Method in class jif.types.TypeSubstitutor
rewriteTypeNode(TypeNode) - Method in class jif.visit.LabelSubstitutionVisitor
  Replace the args in the label of type nodes.
rhs() - Method in interface jif.ast.LabelIf
  Gets the rhs.
rhs(LabelExpr) - Method in interface jif.ast.LabelIf
  Makes a copy of this node and sets the rhs of the copy.
rhs - Variable in class jif.ast.LabelIf_c
rhs() - Method in class jif.ast.LabelIf_c
  Gets the rhs principal.
rhs(LabelExpr) - Method in class jif.ast.LabelIf_c
  Sets the rhs principal.
rhs() - Method in interface jif.ast.LabelLeAssertionNode
  Gets the rhs Label.
rhs(LabelNode) - Method in interface jif.ast.LabelLeAssertionNode
  Returns a copy of this node with the rhs updated.
rhs - Variable in class jif.ast.LabelLeAssertionNode_c
rhs() - Method in class jif.ast.LabelLeAssertionNode_c
  Gets the rhs principal.
rhs(LabelNode) - Method in class jif.ast.LabelLeAssertionNode_c
  Returns a copy of this node with the rhs updated.
rhs() - Method in class jif.types.Equation
rhs() - Method in class jif.types.LabelConstraint
rhs() - Method in interface jif.types.LabelLeAssertion
rhs(Label) - Method in interface jif.types.LabelLeAssertion
rhs() - Method in class jif.types.LabelLeAssertion_c
rhs(Label) - Method in class jif.types.LabelLeAssertion_c
root() - Method in class jif.types.label.AccessPath
root() - Method in class jif.types.label.AccessPathField
root() - Method in class jif.types.label.AccessPathRoot
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(Position) - Method in interface jif.types.JifTypeSystem
runtimeLabel() - Method in interface jif.types.JifTypeSystem
runtimeLabel(Position) - Method in class jif.types.JifTypeSystem_c
runtimeLabel() - Method in class jif.types.JifTypeSystem_c
RuntimeLabel - Interface in jif.types.label
  This component represents the join of all runtime components.
RuntimeLabel_c - Class in jif.types.label
  An implementation of the `RuntimeLabel` interface.
RuntimeLabel_c(JifTypeSystem, Position) - Constructor for class jif.types.label.RuntimeLabel_c
runToCompletion() - Method in class jif.JifScheduler
RV - Static variable in interface jif.types.Path
RV() - Method in class jif.types.PathMap
RV(Label) - Method in class jif.types.PathMap

## S

scan() - Method in class jif.parse.Grm
  Scan to get the next Symbol.
SemanticDetailedException - Exception in jif.types
  Allow a more detailed message if requested.
SemanticDetailedException() - Constructor for exception jif.types.SemanticDetailedException
SemanticDetailedException(Throwable) - Constructor for exception jif.types.SemanticDetailedException
SemanticDetailedException(Position) - Constructor for exception jif.types.SemanticDetailedException
SemanticDetailedException(String) - Constructor for exception jif.types.SemanticDetailedException
SemanticDetailedException(String, String) - Constructor for exception jif.types.SemanticDetailedException
SemanticDetailedException(String, Throwable) - Constructor for exception jif.types.SemanticDetailedException
SemanticDetailedException(String, String, Throwable) - Constructor for exception jif.types.SemanticDetailedException
SemanticDetailedException(String, String, Position) - Constructor for exception jif.types.SemanticDetailedException
SEMICOLON - Static variable in class jif.parse.sym
set(Path, Label) - Method in class jif.types.PathMap
setArrayIsNeverNull() - Method in class jif.extension.JifArrayAccessDel
setAuthority(Set) - Method in interface jif.types.JifContext
setAuthority(Set) - Method in class jif.types.JifContext_c
setAuthority(List) - Method in interface jif.types.JifParsedPolyType
setAuthority(List) - Method in class jif.types.JifParsedPolyType_c
setBound(VarLabel, Label, LabelConstraint) - Method in class jif.types.Solver
setBound(VarLabel, Label) - Method in class jif.types.VarMap
setBounds(VarMap) - Method in class jif.types.Solver
  Set the bounds for this Solver.
setCheckingInits(boolean) - Method in interface jif.types.JifContext
  Set whether we are currently checking the initializers within a constructor.
setCheckingInits(boolean) - Method in class jif.types.JifContext_c
setConstantValue(Object) - Method in class jif.types.JifFieldInstance_c
setConstraints(List) - Method in class jif.types.JifConstructorInstance_c
setConstraints(List) - Method in class jif.types.JifMethodInstance_c
setConstraints(List) - Method in interface jif.types.JifProcedureInstance
setConstructorReturnLabel(Label) - Method in interface jif.types.JifContext
setConstructorReturnLabel(Label) - Method in class jif.types.JifContext_c
setDefaultValues() - Method in class jif.JifOptions
  Set default values for options
setDescription(String) - Method in interface jif.types.label.Label
setDescription(String) - Method in class jif.types.label.Label_c
setEntryPC(Label) - Method in interface jif.types.JifContext
setEntryPC(Label) - Method in class jif.types.JifContext_c
setHasInitializer(boolean) - Method in interface jif.types.JifFieldInstance
setHasInitializer(boolean) - Method in class jif.types.JifFieldInstance_c
setInstantiatedFrom(PClass) - Method in interface jif.types.JifParsedPolyType
setInstantiatedFrom(PClass) - Method in class jif.types.JifParsedPolyType_c
setIsCatchFormal(boolean) - Method in class jif.extension.JifFormalDel
setIsNeverNull() - Method in class jif.types.label.AccessPathField
setIsNeverNull() - Method in class jif.types.label.AccessPathLocal
setLabel(Label) - Method in class jif.types.JifFieldInstance_c
setLabel(Label) - Method in class jif.types.JifLocalInstance_c
setLabel(Label) - Method in interface jif.types.JifVarInstance
setNoOutOfBoundsExcThrown() - Method in class jif.extension.JifArrayAccessDel
setParams(List) - Method in interface jif.types.JifParsedPolyType
setParams(List) - Method in class jif.types.JifParsedPolyType_c
setPc(Label) - Method in interface jif.types.JifContext
setPc(Label) - Method in class jif.types.JifContext_c
setPreciseClass(Set) - Method in class jif.extension.JifCastDel
setPreciseClass(Set) - Method in interface jif.extension.JifPreciseClassDel
setReturnLabel(Label, boolean) - Method in class jif.types.JifConstructorInstance_c
setReturnLabel(Label, boolean) - Method in class jif.types.JifMethodInstance_c
setReturnLabel(Label, boolean) - Method in interface jif.types.JifProcedureInstance
setSolver(Solver) - Method in interface jif.types.hierarchy.LabelEnv
  Set the solver used for this Label Environment.
setSolver(Solver) - Method in class jif.types.hierarchy.LabelEnv_c
setStartLabel(Label, boolean) - Method in class jif.types.JifConstructorInstance_c
setStartLabel(Label, boolean) - Method in class jif.types.JifMethodInstance_c
setStartLabel(Label, boolean) - Method in interface jif.types.JifProcedureInstance
setTargetIsNeverNull(boolean) - Method in class jif.extension.JifCallDel
setTargetIsNeverNull(boolean) - Method in class jif.extension.JifFieldDel
setThrownIsNeverNull() - Method in class jif.extension.JifThrowDel
setType(Type) - Method in class jif.types.ParamInstance_c
setType(Type) - Method in class jif.types.PrincipalInstance_c
setUpperBound(Label) - Method in interface jif.types.label.ArgLabel
setUpperBound(Label) - Method in class jif.types.label.ArgLabel_c
SHORT - Static variable in class jif.parse.sym
shouldReport(int) - Static method in class jif.types.Solver
  Convenience method to determine if messages of the given obscurity should be reported.
signature() - Method in class jif.types.JifConstructorInstance_c
signature() - Method in class jif.types.JifMethodInstance_c
simplify() - Method in class jif.types.label.JoinLabel_c
simplify() - Method in interface jif.types.label.Label
simplify() - Method in class jif.types.label.Label_c
singletonComponent() - Method in interface jif.types.label.Label
  Retrieve the singleton component that this label represents.
singletonComponent() - Method in class jif.types.label.Label_c
  Return the single component.
singletonComponent() - Method in class jif.types.label.RuntimeLabel_c
solve() - Method in class jif.types.Solver
  Solve the system of constraints.
solve_bounds() - Method in class jif.types.Solver
  Solve the system of constraints, by finding upper bounds for the label variables.
solve_eqn(Equation) - Method in class jif.types.Solver
  This method changes the bounds of variables in the Equation eqn, to make the equation satisfied.
solve_eqn(Equation) - Method in class jif.types.SolverGLB
  This method changes the bounds of variables in the RHS of Equation eqn, to make the equation satisfied.
solver - Static variable in class jif.Topics
solver(String) - Method in interface jif.types.JifTypeSystem
  Returns a new label constraint system solver.
solver(String) - Method in class jif.types.JifTypeSystem_c
Solver - Class in jif.types
  A solver of Jif constraints.
Solver(JifTypeSystem, String) - Constructor for class jif.types.Solver
  Constructor
Solver(Solver) - Constructor for class jif.types.Solver
  Constructor
solver - Variable in class jif.visit.JifLabelSubst
solver() - Method in class jif.visit.LabelChecker
SolverGLB - Class in jif.types
  A solver of Jif constraints.
SolverGLB(JifTypeSystem, String) - Constructor for class jif.types.SolverGLB
  Constructor
SolverGLB(SolverGLB) - Constructor for class jif.types.SolverGLB
  Constructor
SourceFileToJavaExt_c - Class in jif.translate
SourceFileToJavaExt_c() - Constructor for class jif.translate.SourceFileToJavaExt_c
Special(Position, Special.Kind, TypeNode) - Method in class jif.ast.JifNodeFactory_c
stackContains(Label) - Method in class jif.types.LabelSubstitution
start_production() - Method in class jif.parse.Grm
  Indicates start production.
start_state() - Method in class jif.parse.Grm
  Indicates start state.
startLabel(LabelNode) - Method in interface jif.ast.JifConstructorDecl
startLabel - Variable in class jif.ast.JifConstructorDecl_c
startLabel() - Method in class jif.ast.JifConstructorDecl_c
startLabel(LabelNode) - Method in class jif.ast.JifConstructorDecl_c
startLabel(LabelNode) - Method in interface jif.ast.JifMethodDecl
startLabel - Variable in class jif.ast.JifMethodDecl_c
startLabel() - Method in class jif.ast.JifMethodDecl_c
startLabel(LabelNode) - Method in class jif.ast.JifMethodDecl_c
startLabel() - Method in interface jif.ast.JifProcedureDecl
startLabel - Variable in class jif.types.JifConstructorInstance_c
startLabel() - Method in class jif.types.JifConstructorInstance_c
startLabel - Variable in class jif.types.JifMethodInstance_c
startLabel() - Method in class jif.types.JifMethodInstance_c
startLabel() - Method in interface jif.types.JifProcedureInstance
STATIC - Static variable in class jif.parse.sym
staticMainToJava(JifToJavaRewriter, MethodDecl) - Method in class jif.translate.MethodDeclToJavaExt_c
  Rewrite static main(principal p, String[] args) {...} to static main(String[] args) {Principal p = Runtime.getUser(); {...} };
staticTarget(Type) - Method in class jif.types.JifTypeSystem_c
STATUS_NO_SOLUTION - Static variable in class jif.types.Solver
STATUS_NOT_SOLVED - Static variable in class jif.types.Solver
STATUS_SOLVED - Static variable in class jif.types.Solver
STATUS_SOLVING - Static variable in class jif.types.Solver
stmtDel() - Method in interface jif.extension.JifStmtExt
stmtDel(JifStmtExt) - Method in interface jif.extension.JifStmtExt
stmtDel - Variable in class jif.extension.JifStmtExt_c
stmtDel() - Method in class jif.extension.JifStmtExt_c
stmtDel(JifStmtExt) - Method in class jif.extension.JifStmtExt_c
stop_constraint - Static variable in class jif.types.Solver
  Constraint number at which to stop the compiler, for debugging purposes.
STRICTFP - Static variable in class jif.parse.sym
STRING - Static variable in class jif.parse.Lexer_c
STRING_LITERAL - Static variable in class jif.parse.sym
strip(Type) - Method in class jif.types.JifTypeSystem_c
subLabel(Label, ParamInstance) - Method in class jif.types.JifSubst_c
  Return the substitution of uid, or label if not found.
subPrincipal(Principal, ParamInstance) - Method in class jif.types.JifSubst_c
  Return the substitution of uid, or principal if not found.
subst(LabelSubstitution) - Method in class jif.types.Equation
  Replace the `lhs` and `rhs` with the result of `lhs.subst(subst)` and `rhs.subst(subst)` respectively.
subst(VarMap) - Method in class jif.types.JifConstructorInstance_c
subst(LabelSubstitution) - Method in class jif.types.JifConstructorInstance_c
subst(VarMap) - Method in class jif.types.JifFieldInstance_c
subst(VarMap) - Method in class jif.types.JifLocalInstance_c
subst(VarMap) - Method in class jif.types.JifMethodInstance_c
subst(LabelSubstitution) - Method in class jif.types.JifMethodInstance_c
subst(VarMap) - Method in interface jif.types.JifProcedureInstance
subst(LabelSubstitution) - Method in interface jif.types.JifProcedureInstance
subst(Map, Map) - Method in class jif.types.JifTypeSystem_c
subst(VarMap) - Method in interface jif.types.JifVarInstance
subst(AccessPathRoot, AccessPath) - Method in class jif.types.label.AccessPath
  Return the result of substituting the root r with the access path e.
subst(AccessPathRoot, AccessPath) - Method in class jif.types.label.AccessPathClass
subst(AccessPathRoot, AccessPath) - Method in class jif.types.label.AccessPathConstant
subst(AccessPathRoot, AccessPath) - Method in class jif.types.label.AccessPathField
subst(AccessPathRoot, AccessPath) - Method in class jif.types.label.AccessPathLocal
subst(AccessPathRoot, AccessPath) - Method in class jif.types.label.AccessPathThis
subst(AccessPathRoot, AccessPath) - Method in class jif.types.label.AccessPathUninterpreted
subst(LabelSubstitution) - Method in class jif.types.label.ArgLabel_c
subst(AccessPathRoot, AccessPath) - Method in interface jif.types.label.DynamicLabel
subst(AccessPathRoot, AccessPath) - Method in class jif.types.label.DynamicLabel_c
subst(LabelSubstitution) - Method in class jif.types.label.DynamicLabel_c
subst(LabelSubstitution) - Method in class jif.types.label.JoinLabel_c
subst(LabelSubstitution) - Method in interface jif.types.label.Label
subst(LabelSubstitution) - Method in class jif.types.label.Label_c
subst(LabelSubstitution) - Method in class jif.types.label.PolicyLabel_c
subst(LabelSubstitution) - Method in class jif.types.label.ThisLabel_c
subst(VarMap) - Method in class jif.types.PathMap
subst(AccessPathRoot, AccessPath) - Method in interface jif.types.principal.DynamicPrincipal
subst(AccessPathRoot, AccessPath) - Method in class jif.types.principal.DynamicPrincipal_c
subst(LabelSubstitution) - Method in interface jif.types.principal.Principal
subst(LabelSubstitution) - Method in class jif.types.principal.Principal_c
substClassType(ClassType) - Method in class jif.types.JifSubst_c
substConstraint(Assertion) - Method in interface jif.types.JifSubst
substConstraint(Assertion) - Method in class jif.types.JifSubst_c
substConstraintList(List) - Method in interface jif.types.JifSubst
substConstraintList(List) - Method in class jif.types.JifSubst_c
substConstructor(ConstructorInstance) - Method in class jif.types.JifSubst_c
substField(FieldInstance) - Method in class jif.types.JifSubst_c
  Perform substititions on a field.
substLabel(Label) - Method in class jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker
substLabel(Label) - Method in class jif.extension.JifFieldDeclExt_c.StaticFieldLabelChecker
substLabel(Label) - Method in class jif.extension.JifTypeNodeDel.StaticLabelChecker
substLabel(Label) - Method in interface jif.types.JifSubst
substLabel(Label) - Method in class jif.types.JifSubst_c
substLabel(Label) - Method in class jif.types.JifSubst_c.SubstLabelSubst
substLabel(Label) - Method in class jif.types.LabelSubstitution
substLabelList(List) - Method in interface jif.types.JifSubst
substLabelList(List) - Method in class jif.types.JifSubst_c
substLabelSubst - Variable in class jif.types.JifSubst_c
  An instance of the nested class `SubstLabelSubst`, to be used by `substLabel(Label)` and `substPrincipal(Principal)`.
substMethod(MethodInstance) - Method in class jif.types.JifSubst_c
substPrincipal(Principal) - Method in class jif.extension.JifFieldDeclExt_c.StaticFieldLabelChecker
substPrincipal(Principal) - Method in interface jif.types.JifSubst
substPrincipal(Principal) - Method in class jif.types.JifSubst_c.SubstLabelSubst
substPrincipal(Principal) - Method in class jif.types.JifSubst_c
substPrincipal(Principal) - Method in class jif.types.LabelSubstitution
substPrincipalList(List) - Method in interface jif.types.JifSubst
substPrincipalList(List) - Method in class jif.types.JifSubst_c
substSubstValue(Object) - Method in class jif.types.JifSubst_c
subtypeChecker - Variable in class jif.extension.JifCallExt
subtypeChecker - Variable in class jif.extension.JifConstructorCallExt
subtypeChecker - Variable in class jif.extension.JifNewExt
SubtypeChecker - Class in jif.extension
  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
sym - Class in jif.parse
  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.JifCallDel
targetIsNeverNull() - Method in class jif.extension.JifFieldDel
targetType(JifTypeSystem, JifContext, Expr) - Method in class jif.extension.JifFieldDel
targetType(JifTypeSystem, JifContext, Receiver, Field) - Static method in class jif.extension.JifFieldExt
technicalMsg() - Method in class jif.types.LabelConstraint
  A technical message to display if this constraint is violated.
THIS - Static variable in class jif.parse.sym
thisLabel() - Method in interface jif.types.JifClassType
  Returns this class's "this" label.
thisLabel() - Method in class jif.types.JifParsedPolyType_c
thisLabel() - Method in class jif.types.JifSubstClassType_c
thisLabel(Position, JifClassType) - Method in interface jif.types.JifTypeSystem
thisLabel(JifClassType) - Method in interface jif.types.JifTypeSystem
thisLabel(JifClassType) - Method in class jif.types.JifTypeSystem_c
thisLabel(Position, JifClassType) - Method in class jif.types.JifTypeSystem_c
ThisLabel - Interface in jif.types.label
  This label is used as a place-holder for the "this" label.
ThisLabel_c - Class in jif.types.label
ThisLabel_c(JifTypeSystem, JifClassType, Position) - Constructor for class jif.types.label.ThisLabel_c
THROW - Static variable in class jif.parse.sym
THROWS - Static variable in class jif.parse.sym
throwsClassCastException() - Method in class jif.extension.JifCastDel
throwTypes(TypeSystem) - Method in class jif.ast.JifNew_c
throwTypes(TypeSystem) - Method in class jif.ast.LabelExpr_c
throwTypes(TypeSystem) - Method in class jif.ast.PrincipalNode_c
throwTypes(TypeSystem) - Method in class jif.extension.JifArrayAccessAssignDel
  List of Types of exceptions that might get thrown.
throwTypes(TypeSystem) - Method in class jif.extension.JifArrayAccessDel
  List of Types of exceptions that might get thrown.
throwTypes(TypeSystem) - Method in class jif.extension.JifCallDel
  List of Types of exceptions that might get thrown.
throwTypes(TypeSystem) - Method in class jif.extension.JifCastDel
throwTypes(TypeSystem) - Method in class jif.extension.JifFieldAssignDel
  This differs from the method defined in FieldAssign_c in that it does not throw a null pointer exception if the receiver is guaranteed to be non-null
throwTypes(TypeSystem) - Method in class jif.extension.JifFieldDel
  List of Types of exceptions that might get thrown.
throwTypes(TypeSystem) - Method in class jif.extension.JifInstanceOfDel
throwTypes(TypeSystem) - Method in class jif.extension.JifThrowDel
  List of Types of exceptions that might get thrown.
throwTypes(JifClassType, JifTypeSystem) - Static method in class jif.extension.LabelTypeCheckUtil
  Return the types that may be thrown by a runtime evalution of the type `type`.
throwTypes(TypeSystem) - Method in class jif.types.label.AccessPath
  Return a list of types that may be thrown as a result of the runtime evaluation of this path.
throwTypes(TypeSystem) - Method in class jif.types.label.AccessPathField
throwTypes(TypeSystem) - Method in class jif.types.label.DynamicLabel_c
throwTypes(TypeSystem) - Method in class jif.types.label.JoinLabel_c
throwTypes(TypeSystem) - Method in interface jif.types.label.Label
  If the label is runtime representable, when it is evaluated at runtime it may throw exceptions.
throwTypes(TypeSystem) - Method in class jif.types.label.Label_c
throwTypes(TypeSystem) - Method in class jif.types.label.PolicyLabel_c
throwTypes(TypeSystem) - Method in class jif.types.principal.DynamicPrincipal_c
throwTypes(TypeSystem) - Method in interface jif.types.principal.Principal
  If the principal is runtime representable, when it is evaluated at runtime it may throw exceptions.
throwTypes(TypeSystem) - Method in class jif.types.principal.Principal_c
toArray() - Method in class jif.types.LabeledType_c
toClass() - Method in class jif.types.LabeledType_c
toClassType() - Method in class jif.parse.Amb
toClassType() - Method in class jif.parse.Inst
toClassType() - Method in class jif.parse.Name
toExpr() - Method in class jif.parse.Access
toExpr() - Method in class jif.parse.Amb
toExpr() - Method in class jif.parse.InstOrAccess
toExpr() - Method in class jif.parse.Name
toIdentifier() - Method in class jif.parse.Amb
toIdentifier() - Method in class jif.parse.Name
toJava() - Method in interface jif.ast.Jif
toJava(ToJavaExt) - Method in interface jif.ast.Jif
toJava - Variable in class jif.ast.Jif_c
toJava() - Method in class jif.ast.Jif_c
toJava(ToJavaExt) - Method in class jif.ast.Jif_c
toJava(JifToJavaRewriter) - Method in class jif.translate.ActsForToJavaExt_c
toJava(Label, JifToJavaRewriter) - Method in class jif.translate.CannotLabelToJavaExpr_c
toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.CannotPrincipalToJavaExpr_c
toJava(JifToJavaRewriter) - Method in class jif.translate.CannotToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.CanonicalLabelNodeToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.CanonicalPrincipalNodeToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.CanonicalTypeNodeToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.CaseToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.CastToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.ClassDeclToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.ConstructorCallToJavaExt_c
  Rewrite this(a) to this.C$(a); Rewrite super(a) to super.C$(a)
toJava(JifToJavaRewriter) - Method in class jif.translate.ConstructorDeclToJavaExt_c
  Rewrite constructor C(a) to method C C$(a)
toJava(JifToJavaRewriter) - Method in class jif.translate.DeclassifyExprToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.DeclassifyStmtToJavaExt_c
toJava(Label, JifToJavaRewriter) - Method in class jif.translate.DynamicLabelToJavaExpr_c
toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.DynamicPrincipalToJavaExpr_c
toJava(JifToJavaRewriter) - Method in class jif.translate.ExprToJavaExt_c
toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.ExternalPrincipalToJavaExpr_c
toJava(JifToJavaRewriter) - Method in class jif.translate.FieldDeclToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.FormalToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.InitializerToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.InstanceOfToJavaExt_c
toJava(Label, JifToJavaRewriter) - Method in class jif.translate.JoinLabelToJavaExpr_c
toJava(JifToJavaRewriter) - Method in class jif.translate.LabelExprToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.LabelIfToJavaExt_c
toJava(Label, JifToJavaRewriter) - Method in interface jif.translate.LabelToJavaExpr
toJava(Label, JifToJavaRewriter) - Method in class jif.translate.LabelToJavaExpr_c
toJava(JifToJavaRewriter) - Method in class jif.translate.LocalDeclToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.MethodDeclToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.PackageNodeToJavaExt_c
toJava(Label, JifToJavaRewriter) - Method in class jif.translate.ParamToJavaExpr_c
toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.ParamToJavaExpr_c
toJava(ParamInstance, JifToJavaRewriter) - Method in class jif.translate.ParamToJavaExpr_c
toJava(Label, JifToJavaRewriter) - Method in class jif.translate.PolicyLabelToJavaExpr_c
toJava(Principal, JifToJavaRewriter) - Method in interface jif.translate.PrincipalToJavaExpr
toJava(Principal, JifToJavaRewriter) - Method in class jif.translate.PrincipalToJavaExpr_c
toJava(JifToJavaRewriter) - Method in class jif.translate.ReturnToJavaExt_c
toJava(JifToJavaRewriter) - Method in class jif.translate.SourceFileToJavaExt_c
toJava(JifToJavaRewriter) - Method in interface jif.translate.ToJavaExt
toJava(JifToJavaRewriter) - Method in class jif.translate.ToJavaExt_c
toJava(JifToJavaRewriter) - Method in interface jif.types.label.Label
toJava - Variable in class jif.types.label.Label_c
toJava(JifToJavaRewriter) - Method in class jif.types.label.Label_c
toJava(JifToJavaRewriter) - Method in interface jif.types.principal.Principal
toJava(JifToJavaRewriter) - Method in class jif.types.principal.Principal_c
toJava(JifToJavaRewriter) - Method in class jif.types.principal.UnknownPrincipal_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ActsForToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.CastToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ClassDeclToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ConstructorDeclToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.DeclassifyExprToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.DeclassifyStmtToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.InstanceOfToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.LabelExprToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.LabelIfToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.MethodDeclToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.NewToJavaExt_c
toJavaEnter(JifToJavaRewriter) - Method in interface jif.translate.ToJavaExt
toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ToJavaExt_c
ToJavaExt - Interface in jif.translate
ToJavaExt_c - Class in jif.translate
ToJavaExt_c() - Constructor for class jif.translate.ToJavaExt_c
toName() - Method in class jif.parse.Amb
toName() - Method in class jif.parse.Name
toNewArray(Position) - Method in class jif.parse.Access
toNewArray(Position) - Method in class jif.parse.Amb
toNewArray(Position) - Method in class jif.parse.InstOrAccess
toNewArrayPrefix(Position) - Method in class jif.parse.Access
toNewArrayPrefix(Position) - Method in class jif.parse.Amb
toNewArrayPrefix(Position) - Method in class jif.parse.InstOrAccess
toNull() - Method in class jif.types.LabeledType_c
toPackage() - Method in class jif.parse.Amb
toPackage() - Method in class jif.parse.Name
toParamList(List) - Method in class jif.parse.Grm
topics - Static variable in class jif.ExtensionInfo
Topics - Class in jif
  Extension information for jif extension.
Topics() - Constructor for class jif.Topics
topLabel(Position) - Method in interface jif.types.JifTypeSystem
topLabel() - Method in interface jif.types.JifTypeSystem
topLabel(Position) - Method in class jif.types.JifTypeSystem_c
topLabel() - Method in class jif.types.JifTypeSystem_c
TopLabel - Interface in jif.types.label
  The class `JifTopLabel` is the label at the top of the label lattice.
TopLabel_c - Class in jif.types.label
  An implementation of the `TopLabel` interface.
TopLabel_c() - Constructor for class jif.types.label.TopLabel_c
TopLabel_c(JifTypeSystem, Position) - Constructor for class jif.types.label.TopLabel_c
topoSort() - Method in class jif.types.Graph
toPrefix() - Method in class jif.parse.Access
toPrefix() - Method in class jif.parse.Amb
toPrefix() - Method in class jif.parse.Inst
toPrefix() - Method in class jif.parse.InstOrAccess
toPrefix() - Method in class jif.parse.Name
toPrimitive() - Method in class jif.types.LabeledType_c
toReceiver() - Method in class jif.parse.Access
toReceiver() - Method in class jif.parse.Amb
toReceiver() - Method in class jif.parse.Array
toReceiver() - Method in class jif.parse.Inst
toReceiver() - Method in class jif.parse.InstOrAccess
toReceiver() - Method in class jif.parse.Name
toReference() - Method in class jif.types.LabeledType_c
toString() - Method in class jif.ast.ActsFor_c
toString() - Method in class jif.ast.AmbDynamicLabelNode_c
toString() - Method in class jif.ast.AmbExprParam_c
toString() - Method in class jif.ast.AmbNewArray_c
toString() - Method in class jif.ast.AmbParam_c
toString() - Method in class jif.ast.AmbParamTypeOrAccess_c
toString() - Method in class jif.ast.AmbPrincipalNode_c
toString() - Method in class jif.ast.AmbThisLabelNode_c
toString() - Method in class jif.ast.AmbVarLabelNode_c
toString() - Method in class jif.ast.ConstraintNode_c
toString() - Method in class jif.ast.DeclassifyExpr_c
toString() - Method in class jif.ast.DeclassifyStmt_c
toString() - Method in class jif.ast.InstTypeNode_c
toString() - Method in class jif.ast.LabeledTypeNode_c
toString() - Method in class jif.ast.LabelExpr_c
toString() - Method in class jif.ast.LabelIf_c
toString() - Method in class jif.ast.LabelNode_c
toString() - Method in class jif.ast.NewLabel_c
toString() - Method in class jif.ast.ParamDecl_c
toString() - Method in class jif.ast.PrincipalNode_c
toString() - Method in class jif.parse.Name
toString() - Method in class jif.types.ActsForConstraint_c
toString() - Method in class jif.types.AuthConstraint_c
toString() - Method in class jif.types.CallerConstraint_c
toString() - Method in class jif.types.Equation
toString() - Method in class jif.types.ExceptionPath_c
toString() - Method in class jif.types.GotoPath_c
toString() - Method in class jif.types.Graph
toString() - Method in class jif.types.hierarchy.LabelEnv_c
toString() - Method in class jif.types.hierarchy.PrincipalHierarchy
toString() - Method in class jif.types.JifLocalInstance_c
toString() - Method in class jif.types.JifMethodInstance_c
toString() - Method in class jif.types.JifMuPClass_c
toString() - Method in class jif.types.JifParsedPolyType_c
toString() - Method in class jif.types.JifSubstClassType_c
toString() - Method in class jif.types.label.AccessPathClass
toString() - Method in class jif.types.label.AccessPathConstant
toString() - Method in class jif.types.label.AccessPathField
toString() - Method in class jif.types.label.AccessPathLocal
toString() - Method in class jif.types.label.AccessPathThis
toString() - Method in class jif.types.label.AccessPathUninterpreted
toString(Set) - Method in interface jif.types.label.Label
toString() - Method in class jif.types.label.Label_c
toString(Set) - Method in class jif.types.label.Label_c
toString() - Method in class jif.types.label.NotTaken_c
toString() - Method in class jif.types.label.RuntimeLabel_c
toString() - Method in class jif.types.label.TopLabel_c
toString() - Method in class jif.types.label.UnknownLabel_c
toString() - Method in class jif.types.LabelConstraint
toString() - Method in class jif.types.LabeledType_c
toString() - Method in class jif.types.NamedLabel
toString() - Method in class jif.types.ParamInstance_c
toString() - Method in class jif.types.PathMap
toString() - Method in class jif.types.principal.DynamicPrincipal_c
toString() - Method in class jif.types.principal.ExternalPrincipal_c
toString() - Method in class jif.types.principal.ParamPrincipal_c
toString() - Method in class jif.types.principal.UnknownPrincipal_c
toString() - Method in class jif.types.PrincipalInstance_c
toString() - Method in class jif.types.UnknownParam_c
toStringSetNodes() - Method in class jif.types.Graph
toType() - Method in class jif.parse.Amb
toType() - Method in class jif.parse.Array
toType() - Method in class jif.parse.Inst
toType() - Method in class jif.parse.InstOrAccess
toType() - Method in class jif.parse.LabeledExpr
toType() - Method in class jif.parse.Name
toUnlabeledType() - Method in class jif.parse.Amb
toUnlabeledType() - Method in class jif.parse.Array
toUnlabeledType() - Method in class jif.parse.Inst
toUnlabeledType() - Method in class jif.parse.InstOrAccess
toUnlabeledType() - Method in class jif.parse.Name
TRADITIONAL_COMMENT - Static variable in class jif.parse.Lexer_c
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.ActsFor_c
translate(CodeWriter, Translator) - Method in class jif.ast.ActsForConstraintNode_c
translate(CodeWriter, Translator) - Method in class jif.ast.AuthConstraintNode_c
translate(CodeWriter, Translator) - Method in class jif.ast.CallerConstraintNode_c
translate(CodeWriter, Translator) - Method in class jif.ast.CanonicalConstraintNode_c
translate(CodeWriter, Translator) - Method in class jif.ast.CanonicalPrincipalNode_c
translate(CodeWriter, Translator) - Method in class jif.ast.DeclassifyExpr_c
translate(CodeWriter, Translator) - Method in class jif.ast.DeclassifyStmt_c
translate(CodeWriter, Translator) - Method in class jif.ast.InstTypeNode_c
translate(CodeWriter, Translator) - Method in class jif.ast.JifClassDecl_c
translate(CodeWriter, Translator) - Method in class jif.ast.LabeledTypeNode_c
translate(CodeWriter, Translator) - Method in class jif.ast.LabelExpr_c
translate(CodeWriter, Translator) - Method in class jif.ast.LabelIf_c
translate(CodeWriter, Translator) - Method in class jif.ast.LabelLeAssertionNode_c
translate(CodeWriter, Translator) - Method in class jif.ast.LabelNode_c
translate(CodeWriter, Translator) - Method in class jif.ast.NewLabel_c
translate(CodeWriter, Translator) - Method in class jif.ast.ParamDecl_c
translate(CodeWriter, Translator) - Method in class jif.extension.JifJL_c
translate(Resolver) - Method in class jif.types.LabeledType_c
translateClass(Resolver, ClassType) - Method in class jif.types.JifTypeSystem_c
translatePrimitive(Resolver, PrimitiveType) - Method in class jif.types.JifTypeSystem_c
translateSource(SourceFile) - Method in class jif.visit.JifTranslator
TRY - Static variable in class jif.parse.sym
ts - Variable in class jif.parse.Grm
ts - Variable in class jif.types.PathMap
ts - Variable in class jif.types.Solver
ts - Variable in class jif.visit.JifLabelSubst
type - Variable in class jif.ast.AmbParamTypeOrAccess_c
type() - Method in class jif.ast.AmbParamTypeOrAccess_c
type(Type) - Method in interface jif.ast.JifClassDecl
type(Type) - Method in class jif.ast.JifClassDecl_c
type() - Method in class jif.types.label.AccessPath
  The type of the access path (when the access path is regarded as an expression).
type() - Method in class jif.types.label.AccessPathClass
type() - Method in class jif.types.label.AccessPathConstant
type() - Method in class jif.types.label.AccessPathField
type() - Method in class jif.types.label.AccessPathLocal
type() - Method in class jif.types.label.AccessPathThis
type() - Method in class jif.types.label.AccessPathUninterpreted
typeCheck(TypeChecker) - Method in class jif.ast.ActsFor_c
  Type check the expression.
typeCheck(TypeChecker) - Method in class jif.ast.CanonicalLabelNode_c
typeCheck(TypeChecker) - Method in class jif.ast.CanonicalPrincipalNode_c
typeCheck(TypeChecker) - Method in class jif.ast.DeclassifyExpr_c
typeCheck(TypeChecker) - Method in class jif.ast.InstTypeNode_c
typeCheck(TypeChecker) - Method in class jif.ast.JifCanonicalTypeNode_c
typeCheck(TypeChecker) - Method in class jif.ast.JifConstructorDecl_c
typeCheck(TypeChecker) - Method in class jif.ast.JifNew_c
typeCheck(TypeChecker) - Method in class jif.ast.LabeledTypeNode_c
typeCheck(TypeChecker) - Method in class jif.ast.LabelExpr_c
typeCheck(TypeChecker) - Method in class jif.ast.PrincipalNode_c
  Type check the expression.
typeCheck(TypeChecker) - Method in class jif.extension.JifBinaryDel
typeCheck(TypeChecker) - Method in class jif.extension.JifCallDel
typeCheck(TypeChecker) - Method in class jif.extension.JifCastDel
typeCheck(TypeChecker) - Method in class jif.extension.JifClassDeclDel
typeCheck(TypeChecker) - Method in class jif.extension.JifFieldDeclDel
typeCheck(TypeChecker) - Method in class jif.extension.JifFieldDel
typeCheck(TypeChecker) - Method in class jif.extension.JifIfDel
typeCheck(TypeChecker) - Method in class jif.extension.JifInitializerDel
typeCheck(TypeChecker) - Method in class jif.extension.JifInstanceOfDel
typeCheck(TypeChecker) - Method in class jif.extension.JifLocalDeclDel
typeCheck(TypeChecker) - Method in class jif.extension.JifMethodDeclDel
typeCheck(TypeChecker) - Method in class jif.extension.JifTypeNodeDel
  Prevent an uninstantiated polymorphic class from being used anywhere, and check that the "this" label is not used in a static context.
typeCheckLabel(TypeChecker, Label) - Static method in class jif.extension.LabelTypeCheckUtil
typeCheckPrincipal(TypeChecker, Principal) - Static method in class jif.extension.LabelTypeCheckUtil
typeCheckType(TypeChecker, Type) - Static method in class jif.extension.LabelTypeCheckUtil
typeEquals(Type, Type) - Method in class jif.types.JifTypeSystem_c
typePart() - Method in interface jif.ast.LabeledTypeNode
typePart(TypeNode) - Method in interface jif.ast.LabeledTypeNode
typePart - Variable in class jif.ast.LabeledTypeNode_c
typePart() - Method in class jif.ast.LabeledTypeNode_c
typePart(TypeNode) - Method in class jif.ast.LabeledTypeNode_c
typePart() - Method in interface jif.types.LabeledType
typePart(Type) - Method in interface jif.types.LabeledType
typePart - Variable in class jif.types.LabeledType_c
typePart() - Method in class jif.types.LabeledType_c
typePart(Type) - Method in class jif.types.LabeledType_c
TypeSubstitutor - Class in jif.types
  Visits an AST, and applies a `LabelSubsitution` to all labels that occur in the AST.
TypeSubstitutor(LabelSubstitution) - Constructor for class jif.types.TypeSubstitutor
typeSystem() - Method in class jif.visit.LabelChecker

## U

uncachedSubstType(Type) - Method in class jif.types.JifSubst_c
uncheckedExceptions() - Method in class jif.types.JifTypeSystem_c
uncheckedInstantiate(Position, PClass, List) - Method in class jif.types.JifTypeSystem_c
uninitFinalFields(ReferenceType) - Static method in class jif.extension.JifConstructorDeclExt
  Utility method to get the set of field instances of final fields of the given `ReferenceType` that do not have an initializer.
unknownLabel(Position) - Method in interface jif.types.JifTypeSystem
unknownLabel(Position) - Method in class jif.types.JifTypeSystem_c
UnknownLabel - Interface in jif.types.label
  A representation of any unknown label.
UnknownLabel_c - Class in jif.types.label
  An implementation of the `UnknownLabel` interface.
UnknownLabel_c(JifTypeSystem, Position) - Constructor for class jif.types.label.UnknownLabel_c
unknownParam(Position) - Method in interface jif.types.JifTypeSystem
unknownParam(Position) - Method in class jif.types.JifTypeSystem_c
UnknownParam - Interface in jif.types
  A representation of any unknown class parameter.
UnknownParam_c - Class in jif.types
  An implementation of the `UnknownParam` interface.
UnknownParam_c(JifTypeSystem, Position) - Constructor for class jif.types.UnknownParam_c
unknownPrincipal(Position) - Method in interface jif.types.JifTypeSystem
unknownPrincipal(Position) - Method in class jif.types.JifTypeSystem_c
UnknownPrincipal - Interface in jif.types.principal
  A representation of any unknown principal.
UnknownPrincipal_c - Class in jif.types.principal
  An implementation of the `UnknownPrincipal` interface.
UnknownPrincipal_c(JifTypeSystem, Position) - Constructor for class jif.types.principal.UnknownPrincipal_c
unknownQualifier(Position) - Method in class jif.types.JifTypeSystem_c
unknownType(Position) - Method in class jif.types.JifTypeSystem_c
unlabel(Type) - Method in interface jif.types.JifTypeSystem
  Remove the label from a type, if any.
unlabel(Type) - Method in class jif.types.JifTypeSystem_c
UnwrapVisitor - Class in jif.parse
  An `UnwrapVisitor` rewrites the AST to remove any Wrapped nodes resulting from the parser.
UnwrapVisitor() - Constructor for class jif.parse.UnwrapVisitor
upperBound() - Method in interface jif.types.label.ArgLabel
upperBound() - Method in class jif.types.label.ArgLabel_c
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

variables() - Method in class jif.types.Equation
  Return a `List` of variables that occur in either the left or right hand side.
variables() - Method in interface jif.types.label.Label
  The set of variables that this contains, i.e., labels of type VarLabel?
variables() - Method in class jif.types.label.Label_c
varInstanceToAccessPath(VarInstance, Position) - Static method in class jif.ast.JifUtil
VarLabel - Interface in jif.types.label
  The variable label.
VarLabel_c - Class in jif.types.label
  An implementation of the `VarLabel` interface.
VarLabel_c() - Constructor for class jif.types.label.VarLabel_c
VarLabel_c(String, String, JifTypeSystem, Position) - Constructor for class jif.types.label.VarLabel_c
VarMap - Class in jif.types
  Maps variable components to labels.
VarMap(JifTypeSystem, Label) - Constructor for class jif.types.VarMap
VarSignature - Class in jif.types
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
verify(JifContext) - Method in class jif.types.label.AccessPath
  Go through the path, check that all the type information is set correctly, and check that every field access is to a final field, and any local used is final
verify(JifContext) - Method in class jif.types.label.AccessPathField
verify(JifContext) - Method in class jif.types.label.AccessPathLocal
verify(JifContext) - Method in class jif.types.label.AccessPathThis
version() - Method in class jif.ExtensionInfo
Version - Class in jif
Version() - Constructor for class jif.Version
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.ast.AmbDynamicLabelNode_c
visitChildren(NodeVisitor) - Method in class jif.ast.AmbExprParam_c
visitChildren(NodeVisitor) - Method in class jif.ast.AmbNewArray_c
  Visits the children of this node.
visitChildren(NodeVisitor) - Method in class jif.ast.AmbParamTypeOrAccess_c
visitChildren(NodeVisitor) - Method in class jif.ast.AmbPrincipalNode_c
visitChildren(NodeVisitor) - Method in class jif.ast.AuthConstraintNode_c
visitChildren(NodeVisitor) - Method in class jif.ast.CallerConstraintNode_c
visitChildren(NodeVisitor) - Method in class jif.ast.DeclassifyExpr_c
visitChildren(NodeVisitor) - Method in class jif.ast.DeclassifyStmt_c
visitChildren(NodeVisitor) - Method in class jif.ast.InstTypeNode_c
visitChildren(NodeVisitor) - Method in class jif.ast.JifClassDecl_c
visitChildren(NodeVisitor) - Method in class jif.ast.JifConstructorDecl_c
visitChildren(NodeVisitor) - Method in class jif.ast.JifLocalDecl_c
visitChildren(NodeVisitor) - Method in class jif.ast.JifMethodDecl_c
visitChildren(NodeVisitor) - Method in class jif.ast.JoinLabelNode_c
visitChildren(NodeVisitor) - Method in class jif.ast.LabeledTypeNode_c
visitChildren(NodeVisitor) - Method in class jif.ast.LabelExpr_c
visitChildren(NodeVisitor) - Method in class jif.ast.LabelIf_c
  Visits the children of the node.
visitChildren(NodeVisitor) - Method in class jif.ast.LabelLeAssertionNode_c
  Visits the children of this node.
visitChildren(NodeVisitor) - Method in class jif.ast.PolicyLabelNode_c
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
wrap() - Method in class jif.parse.Amb
Wrapper - Class in jif.parse
  A `Wrapper` wraps an `Amb` inside an AST node so that it can be insert in the AST.

## X

X() - Method in interface jif.ast.Jif
  Gets the path map of this extension.
X(PathMap) - Method in interface jif.ast.Jif
  Returns a copy of this object with the path map updated.
X - Variable in class jif.ast.Jif_c
X() - Method in class jif.ast.Jif_c
X(PathMap) - Method in class jif.ast.Jif_c
X(Node) - Static method in class jif.ast.Jif_c
X(Node, PathMap) - Static method in class jif.ast.Jif_c
X(Node) - Static method in class jif.ast.JifUtil
X(Node, PathMap) - Static method in class jif.ast.JifUtil
X() - Method in class jif.extension.CallHelper
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 _

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES