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

A

ABSTRACT - Static variable in class jif.parse.sym

ACTSFOR - Static variable in class jif.extension.JifBinaryDel

ACTSFOR - Static variable in class jif.parse.sym

ACTSFOR_LOWER - Static variable in class jif.parse.sym

AND - Static variable in class jif.parse.sym

ANDAND - Static variable in class jif.parse.sym

ANDEQ - Static variable in class jif.parse.sym

ASSERT - Static variable in class jif.parse.sym

AUTHORITY - Static variable in class jif.parse.sym

Access - class jif.parse.Access.

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

AccessPath - class jif.types.label.AccessPath.

An AccessPath represents a final access path.

AccessPath(Position) - Constructor for class jif.types.label.AccessPath

AccessPathClass - class jif.types.label.AccessPathClass.

Represents a final access path rooted at a class, e.g.

AccessPathClass(ClassType, Position) - Constructor for class jif.types.label.AccessPathClass

AccessPathConstant - class jif.types.label.AccessPathConstant.

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

AccessPathField - class jif.types.label.AccessPathField.

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 jif.types.label.AccessPathLocal.

Represents a final access path rooted at a local variable.

AccessPathLocal(LocalInstance, String, Position) - Constructor for class jif.types.label.AccessPathLocal

AccessPathRoot - class jif.types.label.AccessPathRoot.

Represents a final access path root.

AccessPathRoot(Position) - Constructor for class jif.types.label.AccessPathRoot

AccessPathThis - class jif.types.label.AccessPathThis.

Represents a final access path rooted at "this".

AccessPathThis(ClassType, Position) - Constructor for class jif.types.label.AccessPathThis

AccessPathUninterpreted - class jif.types.label.AccessPathUninterpreted.

Represents an access path that is not final, and thus not interpreted: the type system does not track it precisely.

AccessPathUninterpreted(Position) - Constructor for class jif.types.label.AccessPathUninterpreted

ActsFor - interface jif.ast.ActsFor.

An immutable representation of a Jif actsFor statement.

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

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

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

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

ActsForConstraint - interface jif.types.ActsForConstraint.

The acts-for constraint.

ActsForConstraintNode - interface jif.ast.ActsForConstraintNode.

An immutable representation of the Jif ActsFor constraint.

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

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

ActsForConstraintNode_c - class jif.ast.ActsForConstraintNode_c.

An implementation of the ActsForConstraintNode interface.

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

ActsForConstraint_c - class jif.types.ActsForConstraint_c.

An implementation of the ActsForConstraint interface.

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

ActsForToJavaExt_c - class jif.translate.ActsForToJavaExt_c.

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

ActsFor_c - class jif.ast.ActsFor_c.

An implementation of the ActsFor interface.

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

Amb - class jif.parse.Amb.

AmbDynamicLabelNode - interface jif.ast.AmbDynamicLabelNode.

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 jif.ast.AmbDynamicLabelNode_c.

An implementation of the AmbDynamicLabel interface.

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

AmbExprParam - interface jif.ast.AmbExprParam.

An ambiguous expression parameter.

AmbExprParam_c - class jif.ast.AmbExprParam_c.

An implementation of the AmbParam interface.

AmbExprParam_c(Position, Expr, ParamInstance) - Constructor for class jif.ast.AmbExprParam_c

AmbLabelNode_c - class jif.ast.AmbLabelNode_c.

An ambiguous label node.

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

AmbNewArray - interface jif.ast.AmbNewArray.

An ambiguous new array expression.

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

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

AmbNewArray_c - class jif.ast.AmbNewArray_c.

An implementation of the AmbNewArray interface.

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

AmbParam - interface jif.ast.AmbParam.

An ambiguous parameter.

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

AmbParam(Position, String, 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

AmbParamTypeOrAccess - interface jif.ast.AmbParamTypeOrAccess.

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 jif.ast.AmbParamTypeOrAccess_c.

An implementation of the AmbParamTypeOrAccess interface.

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

AmbParam_c - class jif.ast.AmbParam_c.

An implementation of the AmbParam interface.

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

AmbPrincipalNode - interface jif.ast.AmbPrincipalNode.

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 jif.ast.AmbPrincipalNode_c.

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 jif.ast.AmbThisLabelNode.

An ambigous this label node.

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

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

AmbThisLabelNode_c - class jif.ast.AmbThisLabelNode_c.

An implementation of the AmbThisLabelNode interface.

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

AmbVarLabelNode - interface jif.ast.AmbVarLabelNode.

An ambiguous variable label node.

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

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

AmbVarLabelNode_c - class jif.ast.AmbVarLabelNode_c.

An implementation of the AmbVarLabelNode interface.

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

ArgLabel - interface jif.types.label.ArgLabel.

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

ArgLabel_c - class jif.types.label.ArgLabel_c.

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

Array - class jif.parse.Array.

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

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

ArrayIndexChecker - class jif.visit.ArrayIndexChecker.

###TODO

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

Constructor

Assertion - interface jif.types.Assertion.

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

AuthConstraint - interface jif.types.AuthConstraint.

The authority constraint.

AuthConstraintNode - interface jif.ast.AuthConstraintNode.

An authority constraint node.

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

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

AuthConstraintNode_c - class jif.ast.AuthConstraintNode_c.

An implmentation of the AuthConstraintNode interface.

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

AuthConstraint_c - class jif.types.AuthConstraint_c.

An implementation of the AuthConstraint interface.

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

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.

action_obj - Variable in class jif.parse.Grm

Instance of action encapsulation class.

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

Access to parse-action table.

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

Gets the actor.

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

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

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

Gets the actor principal.

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

Returns a copy of this node with the actor updated.

actor - Variable in class jif.ast.ActsForConstraintNode_c

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

Gets the actor principal.

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

Returns a copy of this node with the actor updated.

actor - Variable in class jif.ast.ActsFor_c

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

Gets the actor principal.

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

Sets the actor principal.

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

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

actor - Variable in class jif.types.ActsForConstraint_c

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

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

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

Test an actsfor relation, using the principal hierarchy.

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

Test an actsfor relation, using the principal hierarchy.

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

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

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

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

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

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

Construct an acts-for constraint.

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

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

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

Returns a list of Params, 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.JifContext

Add an actsfor relation to the principal hierarchy.

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

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

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

addAdditionalClassDecl(ClassDecl) - Method in class jif.translate.JifToJavaRewriter

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

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

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

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

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

addAuthorityToContext(JifContext) - Method in interface jif.ast.JifClassDecl

addAuthorityToContext(JifContext) - Method in class jif.ast.JifClassDecl_c

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

Adds the caller's authorities into auth

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

Add the constraint c to the system

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

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

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

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

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

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 - Variable in class jif.parse.Wrapper

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

argVarLabels - Variable in class jif.extension.JifCallDel

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

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

Construct an authority constraint.

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

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

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

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

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

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

authority - Variable in class jif.ast.JifClassDecl_c

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

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

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

The principals that grant authority to objects of this class, 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

BOOLEAN - Static variable in class jif.parse.sym

BOOLEAN_LITERAL - Static variable in class jif.parse.sym

BREAK - Static variable in class jif.parse.sym

BYTE - Static variable in class jif.parse.sym

BinaryToJavaExt_c - class jif.translate.BinaryToJavaExt_c.

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

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

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

base - Variable in class jif.ast.InstTypeNode_c

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

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

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

Gets the base type.

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

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

baseType - Variable in class jif.ast.AmbNewArray_c

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

Gets the base type.

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

Returns a copy of this node with baseType updated.

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

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

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

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

C

CALLER - Static variable in class jif.parse.sym

CASE - Static variable in class jif.parse.sym

CATCH - Static variable in class jif.parse.sym

CHAR - Static variable in class jif.parse.sym

CHARACTER - Static variable in class jif.parse.Lexer_c

CHARACTER_LITERAL - Static variable in class jif.parse.sym

CLASS - Static variable in class jif.parse.sym

COLON - Static variable in class jif.parse.sym

COMMA - Static variable in class jif.parse.sym

COMP - Static variable in class jif.parse.sym

CONST - Static variable in class jif.parse.sym

CONTINUE - Static variable in class jif.parse.sym

COVARIANT - Static variable in class jif.parse.sym

COVARIANT_LABEL - Static variable in interface jif.types.ParamInstance

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

CallHelper - class jif.extension.CallHelper.

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 jif.translate.CallToJavaExt_c.

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

CallerConstraint - interface jif.types.CallerConstraint.

The caller constraint.

CallerConstraintNode - interface jif.ast.CallerConstraintNode.

A caller constraint node.

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

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

CallerConstraintNode_c - class jif.ast.CallerConstraintNode_c.

An implementation of the CallerConstraint interface.

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

CallerConstraint_c - class jif.types.CallerConstraint_c.

An implementation of the CallerConstraint interface.

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

CannotLabelToJavaExpr_c - class jif.translate.CannotLabelToJavaExpr_c.

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

CannotPrincipalToJavaExpr_c - class jif.translate.CannotPrincipalToJavaExpr_c.

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

CannotToJavaExt_c - class jif.translate.CannotToJavaExt_c.

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

CanonicalConstraintNode - interface jif.ast.CanonicalConstraintNode.

A canonical(non-ambiguous) constraint node.

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

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

CanonicalConstraintNode_c - class jif.ast.CanonicalConstraintNode_c.

An implementation of the CanonicalConstraint.

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

CanonicalLabelNode - interface jif.ast.CanonicalLabelNode.

A canonical label node.

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

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

CanonicalLabelNodeToJavaExt_c - class jif.translate.CanonicalLabelNodeToJavaExt_c.

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

CanonicalLabelNode_c - class jif.ast.CanonicalLabelNode_c.

An implementation of the CanonicalLabelNode interface.

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

CanonicalPrincipalNode - interface jif.ast.CanonicalPrincipalNode.

Canonical principal node.

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

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

CanonicalPrincipalNodeToJavaExt_c - class jif.translate.CanonicalPrincipalNodeToJavaExt_c.

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

CanonicalPrincipalNode_c - class jif.ast.CanonicalPrincipalNode_c.

An implemenation of the CanonicalPrincipal interface.

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

CanonicalTypeNode(Position, Type) - Method in class jif.ast.JifNodeFactory_c

CanonicalTypeNodeToJavaExt_c - class jif.translate.CanonicalTypeNodeToJavaExt_c.

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

CaseToJavaExt_c - class jif.translate.CaseToJavaExt_c.

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

CastToJavaExt_c - class jif.translate.CastToJavaExt_c.

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

Catch(Position, Formal, Block) - Method in class jif.ast.JifNodeFactory_c

ClassBodyToJavaExt_c - class jif.translate.ClassBodyToJavaExt_c.

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

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

ClassDeclToJavaExt_c - class jif.translate.ClassDeclToJavaExt_c.

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

ConstChecker - class jif.visit.ConstChecker.

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

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

ConstraintNode - interface jif.ast.ConstraintNode.

The root of various constraint nodes.

ConstraintNode_c - class jif.ast.ConstraintNode_c.

An implementation of the ConstraintNode interface.

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

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

ConstructorCallToJavaExt_c - class jif.translate.ConstructorCallToJavaExt_c.

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

ConstructorChecker - class jif.extension.ConstructorChecker.

A tool to label check constructors.

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

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

ConstructorDeclToJavaExt_c - class jif.translate.ConstructorDeclToJavaExt_c.

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

CovariantParamLabel - interface jif.types.label.CovariantParamLabel.

Covariant label.

CovariantParamLabel_c - class jif.types.label.CovariantParamLabel_c.

An implementation of the CovariantLabel interface.

CovariantParamLabel_c(ParamInstance, JifTypeSystem, Position) - Constructor for class jif.types.label.CovariantParamLabel_c

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

Construct a caller constraint.

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

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

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

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

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

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

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

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

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

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

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.

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

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.

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

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

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

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

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

compilerName() - Method in class jif.ExtensionInfo

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

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

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

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

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

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

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

Gets the consequent statement.

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

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

consequent - Variable in class jif.ast.ActsFor_c

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

Gets the consequent statement.

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

Sets the consequent statement.

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.

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

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

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

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

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

Gets the constraint.

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

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

constraint - Variable in class jif.ast.ConstraintNode_c

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

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

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

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

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

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

constraints - Variable in class jif.ast.JifConstructorDecl_c

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

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

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

constraints - Variable in class jif.ast.JifMethodDecl_c

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

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

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

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

constructOutputExtClasspath() - Method in class jif.JifOptions

constructPostCompilerClasspath() - Method in class jif.JifOptions

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

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

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

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

constructorChecker - Variable in class jif.extension.JifConstructorCallExt

constructorChecker - Variable in class jif.extension.JifNewExt

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

createInitialItem(FlowGraph, 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.

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

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

DECLASSIFY - Static variable in class jif.parse.sym

DEFAULT - Static variable in class jif.parse.sym

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

DIV - Static variable in class jif.parse.sym

DIVEQ - Static variable in class jif.parse.sym

DO - Static variable in class jif.parse.sym

DOT - Static variable in class jif.parse.sym

DOUBLE - Static variable in class jif.parse.sym

DOUBLE_LITERAL - Static variable in class jif.parse.sym

Declarator - class jif.parse.Declarator.

DeclassifyExpr - interface jif.ast.DeclassifyExpr.

An immutable representation of the Jif declassify expression.

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

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

DeclassifyExprToJavaExt_c - class jif.translate.DeclassifyExprToJavaExt_c.

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

DeclassifyExpr_c - class jif.ast.DeclassifyExpr_c.

An implemenation of the DeclassifyExpr interface.

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

DeclassifyStmt - interface jif.ast.DeclassifyStmt.

An immutable representation of the Jif declassify statement.

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

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

DeclassifyStmtToJavaExt_c - class jif.translate.DeclassifyStmtToJavaExt_c.

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

DeclassifyStmt_c - class jif.ast.DeclassifyStmt_c.

An implementation of the DeclassifyStmt interface.

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

DefaultSignature - interface jif.types.DefaultSignature.

DynamicLabel - interface jif.types.label.DynamicLabel.

Dynamic label.

DynamicLabelToJavaExpr_c - class jif.translate.DynamicLabelToJavaExpr_c.

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

DynamicLabel_c - class jif.types.label.DynamicLabel_c.

An implementation of the DynamicLabel interface.

DynamicLabel_c(AccessPath, JifTypeSystem, Position) - Constructor for class jif.types.label.DynamicLabel_c

DynamicPrincipal - interface jif.types.principal.DynamicPrincipal.

Dynamic principal.

DynamicPrincipalToJavaExpr_c - class jif.translate.DynamicPrincipalToJavaExpr_c.

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

DynamicPrincipal_c - class jif.types.principal.DynamicPrincipal_c.

An implementation of the DynamicPrincipal interface.

DynamicPrincipal_c(AccessPath, JifTypeSystem, Position) - Constructor for class jif.types.principal.DynamicPrincipal_c

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

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

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

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

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

definitions(VarMap, Set) - Method in interface jif.types.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.

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

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

Disambiguates name.

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

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

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

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

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

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

Invoke a user supplied parse action.

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

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

dynBounds - Variable in class jif.types.Solver

dynamicLabel(Position, AccessPath) - Method in interface jif.types.JifTypeSystem

dynamicLabel(Position, AccessPath) - Method in class jif.types.JifTypeSystem_c

dynamicPrincipal(Position, AccessPath) - Method in interface jif.types.JifTypeSystem

dynamicPrincipal(Position, AccessPath) - Method in class jif.types.JifTypeSystem_c

E

ELSE - Static variable in class jif.parse.sym

END_OF_LINE_COMMENT - Static variable in class jif.parse.Lexer_c

lexical states

EOF - Static variable in class jif.parse.sym

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

EOF Symbol index.

EQ - Static variable in class jif.parse.sym

EQEQ - Static variable in class jif.parse.sym

EQUAL - Static variable in class jif.types.LabelConstraint

An equality kind of constraint.

EXTENDS - Static variable in class jif.parse.sym

Equation - class jif.types.Equation.

Label equation derived from a label constraint.

ExceptionPath - interface jif.types.ExceptionPath.

The control flow path introduced by throwing a exception.

ExceptionPath_c - class jif.types.ExceptionPath_c.

An implementation of the ExceptionPath interface.

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

ExprToJavaExt_c - class jif.translate.ExprToJavaExt_c.

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

ExtensionInfo - class jif.ExtensionInfo.

The configuration information of the Jif extension.

ExtensionInfo() - Constructor for class jif.ExtensionInfo

ExtensionInfo.JifJobExt - class jif.ExtensionInfo.JifJobExt.

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

ExternalPrincipal - interface jif.types.principal.ExternalPrincipal.

The external principal is used primarily for testing purposes.

ExternalPrincipalToJavaExpr_c - class jif.translate.ExternalPrincipalToJavaExpr_c.

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

ExternalPrincipal_c - class jif.types.principal.ExternalPrincipal_c.

An implementation of the ExternalPrincipal interface.

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

emptyLabelEnv - Static variable in interface jif.types.JifTypeSystem

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

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

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

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

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

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

entry() - Method in class jif.ast.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

eq - Variable in class jif.visit.JifLabelSubst

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

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

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

equals(Object) - Method in class jif.types.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.LabeledType_c

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

error - Static variable in class jif.Topics

error - Static variable in class jif.parse.sym

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

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

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

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

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

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

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

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

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

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

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

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

error Symbol index.

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

Evaluate this equation.

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

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

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

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

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

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

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

Check exceptions thrown by the call.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

A bound of the PC of the caller.

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

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

F

FINAL - Static variable in class jif.parse.sym

FINALLY - Static variable in class jif.parse.sym

FLOAT - Static variable in class jif.parse.sym

FLOAT_LITERAL - Static variable in class jif.parse.sym

FOR - Static variable in class jif.parse.sym

FieldConstantsChecked(FieldInstance) - Method in class jif.JifScheduler

FieldDeclToJavaExt_c - class jif.translate.FieldDeclToJavaExt_c.

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

FieldLabelInference(Job) - Method in class jif.JifScheduler

FieldLabelInferenceGoal - class jif.FieldLabelInferenceGoal.

FieldLabelInferenceGoal(Job) - Constructor for class jif.FieldLabelInferenceGoal

FieldLabelResolver - class jif.visit.FieldLabelResolver.

A visitor used to resolving field labels.

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

FieldToJavaExt_c - class jif.translate.FieldToJavaExt_c.

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

FixedSignature - class jif.types.FixedSignature.

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

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

FormalToJavaExt_c - class jif.translate.FormalToJavaExt_c.

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

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

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

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

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.

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.

formal(Formal) - Method in class jif.ast.JifCatch_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

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

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

G

GOTO - Static variable in class jif.parse.sym

GT - Static variable in class jif.parse.sym

GTEQ - Static variable in class jif.parse.sym

GotoPath_c - class jif.types.GotoPath_c.

The control flow path derived from GOTO like statements.

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

Graph - class jif.types.Graph.

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

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

Grm - class jif.parse.Grm.

CUP v0.10k generated parser.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Gets the granter.

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

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

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

Gets the granter principal.

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

Returns a copy of this node with the granter updated.

granter - Variable in class jif.ast.ActsForConstraintNode_c

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

Gets the granter principal.

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

Returns a copy of this node with the granter updated.

granter - Variable in class jif.ast.ActsFor_c

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

Gets the granter principal.

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

Sets the granter principal.

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

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

granter - Variable in class jif.types.ActsForConstraint_c

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

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

H

hasInitializer() - Method in interface jif.types.JifFieldInstance

hasInitializer - Variable in class jif.types.JifFieldInstance_c

hasInitializer() - Method in class jif.types.JifFieldInstance_c

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

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

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

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

hasVariables() - Method in 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

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

I

IDENTIFIER - Static variable in class jif.parse.sym

IF - Static variable in class jif.parse.sym

IMPLEMENTS - Static variable in class jif.parse.sym

IMPORT - Static variable in class jif.parse.sym

INSTANCEOF - Static variable in class jif.parse.sym

INT - Static variable in class jif.parse.sym

INTEGER_LITERAL - Static variable in class jif.parse.sym

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

InitializationsChecked(Job) - Method in class jif.JifScheduler

InitializerToJavaExt_c - class jif.translate.InitializerToJavaExt_c.

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

Inst - class jif.parse.Inst.

An Inst represents a Amb of the form "P[T,U,...]".

InstOrAccess - class jif.parse.InstOrAccess.

An InstOrAccess represents a Amb of the form "P[e]" or "P[p]".

InstTypeNode - interface jif.ast.InstTypeNode.

Instantiated type node.

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

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

InstTypeNode_c - class jif.ast.InstTypeNode_c.

An implementation of the InstTypeNode interface.

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

InstanceOfToJavaExt_c - class jif.translate.InstanceOfToJavaExt_c.

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

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

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

init(Node) - Method in class jif.ast.Jif_c

init(Node) - Method in class jif.extension.JifStmtExt_c

initCompiler(Compiler) - Method in class jif.ExtensionInfo

initTypeSystem() - Method in class jif.ExtensionInfo

initTypeSystem() - Method in class jif.OutputExtensionInfo

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

Action encapsulation object initializer.

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

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

Initializes the type system and its internal constants.

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

instantiate(Label, 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

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

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

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

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

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

isDisambiguated() - Method in class jif.ast.AmbParam_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.LabelNode_c

isDisambiguated() - Method in class jif.ast.LabeledTypeNode_c

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

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

isDisambiguated() - Method in class jif.types.label.ArgLabel_c

isDisambiguated() - Method in class jif.types.label.CovariantParamLabel_c

isDisambiguated() - Method in class jif.types.label.DynamicLabel_c

isDisambiguated() - Method in class jif.types.label.JoinLabel_c

isDisambiguated() - Method in interface jif.types.label.Label

Are the components of this label all disambiguated?

isDisambiguated() - Method in class jif.types.label.NotTaken_c

isDisambiguated() - Method in class jif.types.label.ParamLabel_c

isDisambiguated() - Method in class jif.types.label.PolicyLabel_c

isDisambiguated() - Method in class jif.types.label.RuntimeLabel_c

isDisambiguated() - Method in class jif.types.label.ThisLabel_c

isDisambiguated() - Method in class jif.types.label.TopLabel_c

isDisambiguated() - Method in class jif.types.label.UnknownLabel_c

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

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

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

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

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

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

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

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

Tests if the type is "principal".

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

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

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

isPrincipalConstant() - Method in class jif.types.label.AccessPathConstant

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

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

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

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

isToSubstJifClass() - Method in class jif.extension.JifCastDel

isToSubstJifClass() - Method in class jif.extension.JifInstanceOfDel

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

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

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

J

Jif - interface jif.ast.Jif.

This class represents a Jif extension node.

JifActsForExt - class jif.extension.JifActsForExt.

The Jif extension of the ActsFor node.

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

JifArrayAccessAssignDel - class jif.extension.JifArrayAccessAssignDel.

The Jif extension of the ArrayAccessAssign node.

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

JifArrayAccessAssignExt - class jif.extension.JifArrayAccessAssignExt.

The Jif extension of the ArrayAccessAssign node.

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

JifArrayAccessDel - class jif.extension.JifArrayAccessDel.

The Jif extension of the ArrayAccess node.

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

JifArrayAccessExt - class jif.extension.JifArrayAccessExt.

The Jif extension of the ArrayAccess node.

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

JifArrayInitExt - class jif.extension.JifArrayInitExt.

The Jif extension of the ArrayInit node.

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

JifAssignExt - class jif.extension.JifAssignExt.

The Jif extension of the Assign node.

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

JifBinaryDel - class jif.extension.JifBinaryDel.

The Jif extension of the Call node.

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

JifBinaryExt - class jif.extension.JifBinaryExt.

The Jif extension of the Binary node.

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

JifBlockExt - class jif.extension.JifBlockExt.

The Jif extension of the Block node.

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

JifBranchExt - class jif.extension.JifBranchExt.

The Jif extension of the Branch node.

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

JifCallDel - class jif.extension.JifCallDel.

The Jif extension of the Call node.

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

JifCallExt - class jif.extension.JifCallExt.

The Jif extension of the Call node.

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

JifCall_c - class jif.ast.JifCall_c.

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

JifCanonicalTypeNode - interface jif.ast.JifCanonicalTypeNode.

A JifCanonicalTypeNode is a type node for a canonical type in Polyj.

JifCanonicalTypeNode_c - class jif.ast.JifCanonicalTypeNode_c.

A JifCanonicalTypeNode is a type node for a canonical type in Polyj.

JifCanonicalTypeNode_c(Position, Type) - Constructor for class jif.ast.JifCanonicalTypeNode_c

JifCaseExt - class jif.extension.JifCaseExt.

The Jif extension of the Case node.

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

JifCastDel - class jif.extension.JifCastDel.

The Jif extension of the Cast node.

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

JifCastExt - class jif.extension.JifCastExt.

The Jif extension of the Cast node.

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

JifCatch_c - class jif.ast.JifCatch_c.

JifCatch_c(Position, Formal, Block) - Constructor for class jif.ast.JifCatch_c

JifClassBodyExt - class jif.extension.JifClassBodyExt.

The extension of the ClassBody node.

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

JifClassDecl - interface jif.ast.JifClassDecl.

An immutable representation of the Jif class declaration.

JifClassDecl(Position, Flags, String, List, 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

JifClassDeclDel - class jif.extension.JifClassDeclDel.

The delegate of the JifClassDecl node.

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

JifClassDeclExt - class jif.extension.JifClassDeclExt.

The extension of the JifClassDecl node.

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

JifClassDecl_c - class jif.ast.JifClassDecl_c.

An implementation of the JifClassDecl interface.

JifClassDecl_c(Position, Flags, String, List, TypeNode, List, List, ClassBody) - Constructor for class jif.ast.JifClassDecl_c

JifClassType - interface jif.types.JifClassType.

Jif class type.

JifConditionalExt - class jif.extension.JifConditionalExt.

The Jif extension of the Conditional node.

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

JifConstructorCallDel - class jif.extension.JifConstructorCallDel.

The Jif extension of the ConstructorCall node.

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

JifConstructorCallExt - class jif.extension.JifConstructorCallExt.

The Jif extension of the ConstructorCall node.

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

JifConstructorDecl - interface jif.ast.JifConstructorDecl.

An immutable representation of the Jif constructor declaration.

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

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

JifConstructorDeclExt - class jif.extension.JifConstructorDeclExt.

The Jif extension of the JifConstructorDecl node.

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

JifConstructorDecl_c - class jif.ast.JifConstructorDecl_c.

An implementation of the JifConstructor interface.

JifConstructorDecl_c(Position, Flags, String, LabelNode, LabelNode, List, List, List, Block) - Constructor for class jif.ast.JifConstructorDecl_c

JifConstructorInstance - interface jif.types.JifConstructorInstance.

Jif constructor instance.

JifConstructorInstance_c - class jif.types.JifConstructorInstance_c.

An implementation of the JifConstructorInstance interface.

JifConstructorInstance_c(JifTypeSystem, Position, ClassType, Flags, Label, boolean, Label, boolean, List, List, List, List) - Constructor for class jif.types.JifConstructorInstance_c

JifContext - interface jif.types.JifContext.

The context for Jif type checking.

JifContext_c - class jif.types.JifContext_c.

An implementation of the JifContext interface.

JifDeclassifyExprExt - class jif.extension.JifDeclassifyExprExt.

The Jif extension of the DeclassifyExpr node.

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

JifDeclassifyStmtExt - class jif.extension.JifDeclassifyStmtExt.

The Jif extension of the DeclassifyStmt node.

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

JifDelFactory_c - class jif.ast.JifDelFactory_c.

Constructs Jif delegates

JifDelFactory_c() - Constructor for class jif.ast.JifDelFactory_c

JifDisamb_c - class jif.ast.JifDisamb_c.

Utility class which is used to disambiguate ambiguous AST nodes (Expr, Type, Receiver, Qualifier, Prefix).

JifDisamb_c() - Constructor for class jif.ast.JifDisamb_c

JifDoExt - class jif.extension.JifDoExt.

The Jif extension of the Do node.

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

JifEmptyExt - class jif.extension.JifEmptyExt.

The Jif extension of the Empty node.

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

JifEvalExt - class jif.extension.JifEvalExt.

The Jif extension of the Eval node.

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

JifExtFactory_c - class jif.ast.JifExtFactory_c.

This class provides is Jif's Extension factory, creating the appropriate Ext objects as required.

JifExtFactory_c() - Constructor for class jif.ast.JifExtFactory_c

JifFieldAssignDel - class jif.extension.JifFieldAssignDel.

The Jif extension of the FieldAssign node.

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

JifFieldAssignExt - class jif.extension.JifFieldAssignExt.

The Jif extension of the LocalAssign node.

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

JifFieldDeclDel - class jif.extension.JifFieldDeclDel.

The Jif extension of the FieldDecl node.

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

JifFieldDeclExt - interface jif.extension.JifFieldDeclExt.

The Jif extension of the FieldDecl node.

JifFieldDeclExt_c - class jif.extension.JifFieldDeclExt_c.

The Jif extension of the FieldDecl node.

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

JifFieldDeclExt_c.InvarianceLabelChecker - class jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker.

Checker to ensure that labels do not use covariant labels in the wrong places

JifFieldDeclExt_c.InvarianceLabelVisitor - class jif.extension.JifFieldDeclExt_c.InvarianceLabelVisitor.

Visitor to ensure that labels do not use covariant labels in the wrong places

JifFieldDeclExt_c.InvarianceLabelVisitor(Position) - Constructor for class jif.extension.JifFieldDeclExt_c.InvarianceLabelVisitor

JifFieldDeclExt_c.StaticFieldLabelChecker - class jif.extension.JifFieldDeclExt_c.StaticFieldLabelChecker.

Checker to ensure that labels of static fields do not use the This label, or any parameters

JifFieldDel - class jif.extension.JifFieldDel.

The Jif extension of the Field node.

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

JifFieldExt - class jif.extension.JifFieldExt.

The Jif extension of the Field node.

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

JifFieldInstance - interface jif.types.JifFieldInstance.

Jif field instance.

JifFieldInstance_c - class jif.types.JifFieldInstance_c.

An implementation of the JifFieldInstance interface.

JifFieldInstance_c(JifTypeSystem, Position, ReferenceType, Flags, Type, String) - Constructor for class jif.types.JifFieldInstance_c

JifForExt - class jif.extension.JifForExt.

The Jif extension of the For node.

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

JifFormalDel - class jif.extension.JifFormalDel.

The Jif extension of the Formal node.

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

JifFormalExt - class jif.extension.JifFormalExt.

The Jif extension of the Formal node.

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

JifFormal_c - class jif.ast.JifFormal_c.

JifFormal_c(Position, Flags, TypeNode, String) - Constructor for class jif.ast.JifFormal_c

JifIfDel - class jif.extension.JifIfDel.

The Jif extension of the FieldAssign node.

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

JifIfExt - class jif.extension.JifIfExt.

The Jif extension of the If node.

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

JifInitChecker - class jif.visit.JifInitChecker.

Override the init checker, since type nodes may now mention local variables.

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

JifInitializerDel - class jif.extension.JifInitializerDel.

The Jif extension of the Initializer node.

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

JifInitializerExt - class jif.extension.JifInitializerExt.

The Jif extension of the Initializer node.

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

JifInstanceOfDel - class jif.extension.JifInstanceOfDel.

The Jif extension of the Cast node.

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

JifInstanceofExt - class jif.extension.JifInstanceofExt.

The Jif extension of the Instanceof node.

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

JifInstantiator - class jif.ast.JifInstantiator.

This class contains a number of static utility methods to help instantiate labels, principals and types.

JifJL_c - class jif.extension.JifJL_c.

An implementation of the Jif interface.

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

JifLabelExprExt - class jif.extension.JifLabelExprExt.

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

JifLabelIfExt - class jif.extension.JifLabelIfExt.

The Jif extension of the ActsFor node.

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

JifLabelSubst - class jif.visit.JifLabelSubst.

This visitor substitutes labels for each variable in the path maps of each JifExt object.

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

JifLabeledExt - class jif.extension.JifLabeledExt.

The Jif extension of the Labeled node.

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

JifLazyClassInitializer_c - class jif.types.JifLazyClassInitializer_c.

A LazyClassInitializer is responsible for initializing members of a class after it has been created.

JifLazyClassInitializer_c(TypeSystem) - Constructor for class jif.types.JifLazyClassInitializer_c

JifLiteralExt - class jif.extension.JifLiteralExt.

The Jif extension of the Lit or NewLabel node.

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

JifLocalAssignExt - class jif.extension.JifLocalAssignExt.

The Jif extension of the LocalAssign node.

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

JifLocalDeclDel - class jif.extension.JifLocalDeclDel.

The delegate of the JifMethodDecl node.

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

JifLocalDeclExt - class jif.extension.JifLocalDeclExt.

The Jif extension of the LocalDecl node.

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

JifLocalDecl_c - class jif.ast.JifLocalDecl_c.

JifLocalDecl_c(Position, Flags, TypeNode, String, Expr) - Constructor for class jif.ast.JifLocalDecl_c

JifLocalExt - class jif.extension.JifLocalExt.

The Jif extension of the Local node.

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

JifLocalInstance - interface jif.types.JifLocalInstance.

Jif local instance.

JifLocalInstance_c - class jif.types.JifLocalInstance_c.

An implementation of the JifLocalInstance interface.

JifLocalInstance_c(JifTypeSystem, Position, Flags, Type, String) - Constructor for class jif.types.JifLocalInstance_c

JifMethodDecl - interface jif.ast.JifMethodDecl.

An immutable representation of the Jif method declaration.

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

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

JifMethodDeclDel - class jif.extension.JifMethodDeclDel.

The delegate of the JifMethodDecl node.

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

JifMethodDeclExt - class jif.extension.JifMethodDeclExt.

The Jif extension of the JifMethodDecl node.

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

JifMethodDecl_c - class jif.ast.JifMethodDecl_c.

An implementation of the JifMethod interface.

JifMethodDecl_c(Position, Flags, TypeNode, String, LabelNode, List, LabelNode, List, List, Block) - Constructor for class jif.ast.JifMethodDecl_c

JifMethodInstance - interface jif.types.JifMethodInstance.

Jif method instance.

JifMethodInstance_c - class jif.types.JifMethodInstance_c.

An implementation of the JifMethodInstance interface.

JifMethodInstance_c(JifTypeSystem, Position, ReferenceType, Flags, Type, String, Label, boolean, List, List, Label, boolean, List, List) - Constructor for class jif.types.JifMethodInstance_c

JifMuPClass_c - class jif.types.JifMuPClass_c.

An implementation of the JifParsedPolyType interface.

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

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

JifNewArrayExt - class jif.extension.JifNewArrayExt.

The Jif extension of the NewArray node.

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

JifNewExt - class jif.extension.JifNewExt.

The Jif extension of the New node.

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

JifNew_c - class jif.ast.JifNew_c.

JifNew_c(Position, TypeNode, List, ClassBody) - Constructor for class jif.ast.JifNew_c

JifNodeFactory - interface jif.ast.JifNodeFactory.

The node factory of the Jif extension.

JifNodeFactory_c - class jif.ast.JifNodeFactory_c.

An implementation of the JifNodeFactory interface.

JifNodeFactory_c() - Constructor for class jif.ast.JifNodeFactory_c

JifNodeFactory_c(ExtFactory) - Constructor for class jif.ast.JifNodeFactory_c

JifOptions - class jif.JifOptions.

This object encapsulates various polyglot options.

JifOptions(ExtensionInfo) - Constructor for class jif.JifOptions

Constructor

JifParsedPolyType - interface jif.types.JifParsedPolyType.

Jif parsed polymorphic class type.

JifParsedPolyType_c - class jif.types.JifParsedPolyType_c.

An implementation of the JifParsedPolyType interface.

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

JifParsedPolyType_c(JifTypeSystem, LazyClassInitializer, Source) - Constructor for class jif.types.JifParsedPolyType_c

JifPlaceHolder_c - class jif.types.JifPlaceHolder_c.

A place holder type used to serialize types that cannot be serialized.

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

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

JifPolyType - interface jif.types.JifPolyType.

Jif polymorphic type.

JifPrincipalNodeExt - class jif.extension.JifPrincipalNodeExt.

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

JifProcedureDecl - interface jif.ast.JifProcedureDecl.

An immutable representation of the Jif procedure declaration.

JifProcedureDeclDel - class jif.extension.JifProcedureDeclDel.

The Jif delegate the ProcedureDecl node.

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

JifProcedureDeclExt - interface jif.extension.JifProcedureDeclExt.

The Jif extension of the ProcedureDecl node.

JifProcedureDeclExt_c - class jif.extension.JifProcedureDeclExt_c.

The Jif extension of the ProcedureDecl node.

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

JifProcedureInstance - interface jif.types.JifProcedureInstance.

Jif procedure instance.

JifReturnExt - class jif.extension.JifReturnExt.

The Jif extension of the Return node.

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

JifScheduler - class jif.JifScheduler.

JifScheduler(ExtensionInfo, OutputExtensionInfo) - Constructor for class jif.JifScheduler

JifSourceFileExt - class jif.extension.JifSourceFileExt.

The root of all kinds of Jif extensions for statements.

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

JifSpecialExt - class jif.extension.JifSpecialExt.

The Jif extension of the Special node.

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

JifStmtExt - interface jif.extension.JifStmtExt.

The root of all kinds of Jif extensions for statements.

JifStmtExt_c - class jif.extension.JifStmtExt_c.

The root of all kinds of Jif extensions for statements.

JifStmtExt_c(Jif, JifStmtExt, ToJavaExt) - Constructor for class jif.extension.JifStmtExt_c

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

JifSubst - interface jif.types.JifSubst.

JifSubstClassType_c - class jif.types.JifSubstClassType_c.

JifSubstClassType_c(JifTypeSystem, Position, ClassType, JifSubst) - Constructor for class jif.types.JifSubstClassType_c

JifSubstType - interface jif.types.JifSubstType.

JifSubst_c - class jif.types.JifSubst_c.

JifSubst_c(JifTypeSystem, Map, Map) - Constructor for class jif.types.JifSubst_c

JifSubst_c.ConstraintXform - class jif.types.JifSubst_c.ConstraintXform.

JifSubst_c.ConstraintXform() - Constructor for class jif.types.JifSubst_c.ConstraintXform

JifSubst_c.LabelXform - class jif.types.JifSubst_c.LabelXform.

JifSubst_c.LabelXform() - Constructor for class jif.types.JifSubst_c.LabelXform

JifSubst_c.PrincipalXform - class jif.types.JifSubst_c.PrincipalXform.

JifSubst_c.PrincipalXform() - Constructor for class jif.types.JifSubst_c.PrincipalXform

JifSubst_c.SubstLabelSubst - class jif.types.JifSubst_c.SubstLabelSubst.

This class is a LabelSubstitution that performs substitutions on Labels and Principals.

JifSubst_c.SubstLabelSubst() - Constructor for class jif.types.JifSubst_c.SubstLabelSubst

JifSwitchExt - class jif.extension.JifSwitchExt.

Jif extension of the Switch node.

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

JifSynchronizedExt - class jif.extension.JifSynchronizedExt.

Jif extension of the Synchronized node.

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

JifThrowDel - class jif.extension.JifThrowDel.

Jif extension of the Throw node.

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

JifThrowExt - class jif.extension.JifThrowExt.

Jif extension of the Throw node.

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

JifToJavaRewriter - class jif.translate.JifToJavaRewriter.

Visitor which performs rewriting on the AST.

JifToJavaRewriter(Job, JifTypeSystem, JifNodeFactory, ExtensionInfo) - Constructor for class jif.translate.JifToJavaRewriter

JifToJavaRewritten(Job) - Method in class jif.JifScheduler

JifTranslator - class jif.visit.JifTranslator.

The Jif translator is used to generate Java files from the current ASTs.

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

JifTryExt - class jif.extension.JifTryExt.

Jif extension of the Try node.

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

JifTypeNodeDel - class jif.extension.JifTypeNodeDel.

The Jif extension of the TypeNode node.

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

JifTypeNodeDel.StaticLabelChecker - class jif.extension.JifTypeNodeDel.StaticLabelChecker.

Checker to ensure that labels in a static context do not use the This label

JifTypeSystem - interface jif.types.JifTypeSystem.

Jif type system.

JifTypeSystem_c - class jif.types.JifTypeSystem_c.

An implementation of the JifTypeSystem interface.

JifTypeSystem_c(TypeSystem) - Constructor for class jif.types.JifTypeSystem_c

JifUnaryExt - class jif.extension.JifUnaryExt.

Jif extension of the Unary node.

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

JifUtil - class jif.ast.JifUtil.

An implementation of the Jif interface.

JifUtil() - Constructor for class jif.ast.JifUtil

JifVarInstance - interface jif.types.JifVarInstance.

Jif variable instance.

JifWhileExt - class jif.extension.JifWhileExt.

Jif extension of the While node.

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

Jif_c - class jif.ast.Jif_c.

An implementation of the Jif interface.

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

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

JoinLabel - interface jif.types.label.JoinLabel.

The join of several labels.

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

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

JoinLabelNode - interface jif.ast.JoinLabelNode.

This class represents a join of several label nodes.

JoinLabelNode_c - class jif.ast.JoinLabelNode_c.

An implementation of the JoinLabel interface.

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

JoinLabelToJavaExpr_c - class jif.translate.JoinLabelToJavaExpr_c.

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

JoinLabel_c - class jif.types.label.JoinLabel_c.

An implementation of the JoinLabel interface.

JoinLabel_c(Collection, JifTypeSystem, Position) - Constructor for class jif.types.label.JoinLabel_c

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

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

jif - package jif

Contains all of the classes related to the Jif extentsion.

jif - Static variable in class jif.Topics

jif.ast - package jif.ast

Provides classes for dealing with the Jif AST nodes and interfaces.

jif.extension - package jif.extension

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

jif.parse - package jif.parse

jif.translate - package jif.translate

jif.types - package jif.types

Contains classes related to the Jif type system and Jif types, including Jif labels and principals.

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

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

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

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

Get the JifExtFactory_c instance.

jifMethodInstance(Position, ReferenceType, Flags, Type, String, Label, boolean, List, List, Label, boolean, List, List) - Method in class jif.types.JifTypeSystem_c

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

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

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

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

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.

joinLabel(Position, Collection) - Method in interface jif.types.JifTypeSystem

joinLabel(Position, Collection) - Method in class jif.types.JifTypeSystem_c

K

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

kind(ParamInstance.Kind) - Method in interface jif.ast.ParamDecl

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

kind(ParamInstance.Kind) - Method in class jif.ast.ParamDecl_c

kind(ClassType.Kind) - Method in class jif.types.JifParsedPolyType_c

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

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

kind(ParamInstance.Kind) - Method in interface jif.types.ParamInstance

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

kind(ParamInstance.Kind) - Method in class jif.types.ParamInstance_c

L

LABEL - Static variable in class jif.parse.sym

LABEL_ - Variable in class jif.types.JifTypeSystem_c

LBRACE - Static variable in class jif.parse.sym

LBRACK - Static variable in class jif.parse.sym

LEQ - Static variable in class jif.types.LabelConstraint

An inequality kind of constraint.

LONG - Static variable in class jif.parse.sym

LONG_LITERAL - Static variable in class jif.parse.sym

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

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

Returns the "label" type.

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

Label - interface jif.types.label.Label.

This class represents the Jif security label.

LabelCheckGoal - class jif.LabelCheckGoal.

LabelCheckGoal(Job) - Constructor for class jif.LabelCheckGoal

LabelCheckPass - class jif.visit.LabelCheckPass.

A pass which runs a visitor.

LabelCheckPass(Goal, Job, LabelChecker) - Constructor for class jif.visit.LabelCheckPass

LabelChecker - class jif.visit.LabelChecker.

The LabelChecker class is used in the label checking of Jif.

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

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

LabelConstraint - class jif.types.LabelConstraint.

A LabelConstraint represents a constraint on labels, which may either be an inequality or equality constraint.

LabelConstraint(NamedLabel, LabelConstraint.Kind, NamedLabel, LabelEnv, Position) - Constructor for class jif.types.LabelConstraint

LabelConstraint(NamedLabel, LabelConstraint.Kind, NamedLabel, LabelEnv, Position, boolean) - Constructor for class jif.types.LabelConstraint

LabelConstraint.Kind - class jif.types.LabelConstraint.Kind.

Kinds of constraint, either equality or inequality.

LabelEnv - interface jif.types.hierarchy.LabelEnv.

LabelEnv_c - class jif.types.hierarchy.LabelEnv_c.

The wrapper of a set of assumptions that can be used to decide whether L1 <= L2.

LabelEnv_c() - Constructor for class jif.types.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 jif.ast.LabelExpr.

An immutable representation of the Jif new label statement.

LabelExprToJavaExt_c - class jif.translate.LabelExprToJavaExt_c.

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

LabelExpr_c - class jif.ast.LabelExpr_c.

An implementation of the NewLabel interface.

LabelExpr_c(Position, LabelNode) - Constructor for class jif.ast.LabelExpr_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 jif.ast.LabelIf.

An immutable representation of a Jif actsFor statement.

LabelIfToJavaExt_c - class jif.translate.LabelIfToJavaExt_c.

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

LabelIf_c - class jif.ast.LabelIf_c.

An implementation of the LabelIf interface.

LabelIf_c(Position, LabelExpr, LabelExpr, Stmt, Stmt) - Constructor for class jif.ast.LabelIf_c

LabelLeAssertion - interface jif.types.LabelLeAssertion.

LabelLeAssertion_c - class jif.types.LabelLeAssertion_c.

LabelLeAssertion_c(Label, Label) - Constructor for class jif.types.LabelLeAssertion_c

LabelNode - interface jif.ast.LabelNode.

A placeholder in the AST for a Jif label.

LabelNode_c - class jif.ast.LabelNode_c.

An implementation of the LabelNode interface.

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

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

LabelSubstitution - class jif.types.LabelSubstitution.

The class is a simple Label visitor.

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

LabelSubstitutionVisitor - class jif.visit.LabelSubstitutionVisitor.

Visits an AST, and applies a LabelSubsitution to all labels that occur in the AST.

LabelSubstitutionVisitor(LabelSubstitution, boolean) - Constructor for class jif.visit.LabelSubstitutionVisitor

LabelToJavaExpr - interface jif.translate.LabelToJavaExpr.

LabelToJavaExpr_c - class jif.translate.LabelToJavaExpr_c.

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

LabelTypeCheckUtil - class jif.extension.LabelTypeCheckUtil.

Contains some common utility code to type check dynamic labels and principals

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

Label_c - class jif.types.label.Label_c.

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

LabeledExpr - class jif.parse.LabeledExpr.

LabeledExpr(Grm, Position, Amb, LabelNode) - Constructor for class jif.parse.LabeledExpr

LabeledType - interface jif.types.LabeledType.

A labeled type.

LabeledTypeNode(Position, TypeNode, LabelNode) - Method in interface jif.ast.JifNodeFactory

LabeledTypeNode(Position, TypeNode, LabelNode) - Method in class jif.ast.JifNodeFactory_c

LabeledTypeNode - interface jif.ast.LabeledTypeNode.

This class represents a labeled type node.

LabeledTypeNode_c - class jif.ast.LabeledTypeNode_c.

An implementation of the LabeledTypeNode interface.

LabeledTypeNode_c(Position, TypeNode, LabelNode) - Constructor for class jif.ast.LabeledTypeNode_c

LabeledType_c - class jif.types.LabeledType_c.

An implementation of the LabeledType interface.

LabeledType_c(JifTypeSystem, Position, Type, Label) - Constructor for class jif.types.LabeledType_c

LabelsChecked(Job) - Method in class jif.JifScheduler

Lexer_c - class jif.parse.Lexer_c.

This class is a scanner generated by JFlex 1.3.5 on 8/26/05 3:11 PM from the specification file file:/amd/panda/b/andru/jif/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.

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 jif.translate.LocalDeclToJavaExt_c.

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

LocalToJavaExt_c - class jif.translate.LocalToJavaExt_c.

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

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

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

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

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

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

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

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

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

label() - Method in interface jif.ast.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 - 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.JifVarInstance

label - Variable in class jif.types.NamedLabel

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

label(String) - Method in class jif.types.NamedLabel

labelCheck(LabelChecker) - Method in interface jif.ast.Jif

Label check the node to which this extension is attached.

labelCheck(LabelChecker) - Method in class jif.ast.Jif_c

labelCheck(LabelChecker) - Method in class jif.extension.JifArrayAccessExt

labelCheck(LabelChecker) - Method in class jif.extension.JifArrayInitExt

labelCheck(LabelChecker) - Method in class jif.extension.JifAssignExt

labelCheck(LabelChecker) - Method in class jif.extension.JifBinaryExt

labelCheck(LabelChecker) - Method in class jif.extension.JifCallExt

labelCheck(LabelChecker) - Method in class jif.extension.JifCastExt

labelCheck(LabelChecker) - Method in class jif.extension.JifClassBodyExt

labelCheck(LabelChecker) - Method in class jif.extension.JifClassDeclExt

labelCheck(LabelChecker) - Method in class jif.extension.JifConditionalExt

labelCheck(LabelChecker) - Method in class jif.extension.JifConstructorDeclExt

labelCheck(LabelChecker) - Method in class jif.extension.JifDeclassifyExprExt

labelCheck(LabelChecker) - Method in class jif.extension.JifFieldDeclExt_c

Label check field initializers.

labelCheck(LabelChecker) - Method in class jif.extension.JifFieldExt

label check the field access.

labelCheck(LabelChecker) - Method in class jif.extension.JifFormalExt

labelCheck(LabelChecker) - Method in class jif.extension.JifInitializerExt

labelCheck(LabelChecker) - Method in class jif.extension.JifInstanceofExt

labelCheck(LabelChecker) - Method in class jif.extension.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.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

labelCheckElements(LabelChecker, Type) - Method in class jif.extension.JifArrayInitExt

labelCheckField(LabelChecker, JifClassType) - Method in interface jif.extension.JifFieldDeclExt

labelCheckField(LabelChecker, JifClassType) - Method in class jif.extension.JifFieldDeclExt_c

Extracts the declared label of this field.

labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifArrayAccessExt

labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifFieldExt

labelCheckIncrement(LabelChecker) - Method in class jif.extension.JifLocalExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifArrayAccessAssignExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifAssignExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifFieldAssignExt

labelCheckLHS(LabelChecker) - Method in class jif.extension.JifLocalAssignExt

labelCheckOverride(JifMethodInstance, JifMethodInstance, LabelChecker) - Static method in class jif.extension.JifMethodDeclExt

Label check that mi is allowed to override mj.

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

Label check the actsFor statement.

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifLabeledExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifLocalDeclExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifReturnExt

labelCheckStmt(LabelChecker) - Method in interface jif.extension.JifStmtExt

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifStmtExt_c

labelCheckStmt(LabelChecker) - Method in class jif.extension.JifSwitchExt

Label check the switch statement.

labelCheckStmt(LabelChecker) - Method in class jif.extension.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

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

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

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

labelToJava(Label) - Method in class jif.translate.JifToJavaRewriter

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

labeledType(Position, Type, Label) - Method in interface jif.types.JifTypeSystem

Returns a labeled type, type{label}.

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

Jif specific stuff

labels - Static variable in class jif.Topics

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

Override the superclass implementation, to handle label and principal parameters, and array base types correctly.

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

Find out if the least common ancestor of subtype and supertype is supertype, given that strip(subtype) is a sub type of strip(supertype).

leave(Node, Node, NodeVisitor) - Method in class jif.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.

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, LabelEnv) - Method in interface jif.types.JifTypeSystem

Returns true iff L1 <= L2 in ph.

leq(Label, Label) - Method in interface jif.types.JifTypeSystem

leq(Label, Label, LabelEnv) - Method in class jif.types.JifTypeSystem_c

leq(Label, Label) - Method in class jif.types.JifTypeSystem_c

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

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

leq(Label, Label, boolean, Set) - Method in class jif.types.hierarchy.LabelEnv_c

Indirect through the TS so extensions can support new label types.

leq_(Label, LabelEnv) - Method in class jif.types.label.ArgLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.label.CovariantParamLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.label.DynamicLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.label.JoinLabel_c

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

Implementation of leq, should only be called by JifTypeSystem

leq_(Label, LabelEnv) - Method in class jif.types.label.NotTaken_c

leq_(Label, LabelEnv) - Method in class jif.types.label.ParamLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.label.PolicyLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.label.RuntimeLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.label.ThisLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.label.TopLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.label.UnknownLabel_c

leq_(Label, LabelEnv) - Method in class jif.types.label.VarLabel_c

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

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

lhs() - Method in interface jif.types.LabelLeAssertion

lhs() - Method in class jif.types.LabelLeAssertion_c

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

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.

M

MINUS - Static variable in class jif.parse.sym

MINUSEQ - Static variable in class jif.parse.sym

MINUSMINUS - Static variable in class jif.parse.sym

MOD - Static variable in class jif.parse.sym

MODEQ - Static variable in class jif.parse.sym

MULT - Static variable in class jif.parse.sym

MULTEQ - Static variable in class jif.parse.sym

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

MethodDeclToJavaExt_c - class jif.translate.MethodDeclToJavaExt_c.

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

major() - Method in class jif.Version

makeAccessOrInst(Amb, List) - Method in class jif.parse.Grm

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

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

minor() - Method in class jif.Version

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

A message to display if this constraint is violated.

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

N

N - Static variable in interface jif.types.Path

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

N(Label) - Method in class jif.types.PathMap

NATIVE - Static variable in class jif.parse.sym

NEW - Static variable in class jif.parse.sym

NOT - Static variable in class jif.parse.sym

NOTEQ - Static variable in class jif.parse.sym

NULL_LITERAL - Static variable in class jif.parse.sym

NV - Static variable in interface jif.types.Path

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

NV(Label) - Method in class jif.types.PathMap

Name - class jif.parse.Name.

A Name represents a Amp of the form "n | P.n".

Name(Grm, Position, String) - Constructor for class jif.parse.Name

Name(Grm, Position, Amb, String) - Constructor for class jif.parse.Name

NamedLabel - class jif.types.NamedLabel.

A Jif label with names for the debuging use.

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

NamedLabel(String, Label) - Constructor for class jif.types.NamedLabel

NamedLabel(String, String, Label) - Constructor for class jif.types.NamedLabel

NamedLabel(Position) - Constructor for class jif.types.NamedLabel

New(Position, Expr, TypeNode, List, ClassBody) - Method in class jif.ast.JifNodeFactory_c

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

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

NewLabel - interface jif.ast.NewLabel.

An immutable representation of the Jif new label statement.

NewLabelToJavaExt_c - class jif.translate.NewLabelToJavaExt_c.

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

NewLabel_c - class jif.ast.NewLabel_c.

An implementation of the NewLabel interface.

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

NewToJavaExt_c - class jif.translate.NewToJavaExt_c.

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

NotNullChecker - class jif.visit.NotNullChecker.

Visitor which determines at which program points local variables 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 - interface jif.types.label.NotTaken.

The class NotTaken is the label for paths which cannot be taken, for example, the path that includes statements following a return statement.

NotTaken_c - class jif.types.label.NotTaken_c.

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

name() - Method in class jif.Version

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

nameToDescrip - Variable in class jif.types.NamedLabel

nameToLabels - Variable in class jif.types.NamedLabel

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

Return a map from Strings to Strings, which are the descriptions of names in the left and right hand sides.

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

Return a map from Strings to Labels, which are the named elements of the left and right hand sides.

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

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

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

Resumes scanning until the next regular expression is matched, the end of input is encountered or an I/O-Error occurs.

nf - Variable in class jif.parse.Grm

notConstant() - Method in class jif.types.JifFieldInstance_c

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

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

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

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

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

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

O

OR - Static variable in class jif.parse.sym

OREQ - Static variable in class jif.parse.sym

OROR - Static variable in class jif.parse.sym

OutputExtensionInfo - class jif.OutputExtensionInfo.

This is an extension to jl that is the target language of the jif extension.

OutputExtensionInfo(ExtensionInfo) - Constructor for class jif.OutputExtensionInfo

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

override(Node) - Method in class jif.parse.UnwrapVisitor

override(Node) - Method in class jif.visit.ConstChecker

override(Node) - Method in class jif.visit.LabelSubstitutionVisitor

overrideMethodLabelCheck(LabelChecker, JifMethodInstance) - Method in class jif.extension.JifMethodDeclExt

Check that this method instance conforms to the signatures of any methods in the superclasses or interfaces that it is overriding.

owner() - Method in interface jif.ast.PolicyLabelNode

owner(PrincipalNode) - Method in interface jif.ast.PolicyLabelNode

owner - Variable in class jif.ast.PolicyLabelNode_c

owner() - Method in class jif.ast.PolicyLabelNode_c

owner(PrincipalNode) - Method in class jif.ast.PolicyLabelNode_c

owner() - Method in interface jif.types.label.PolicyLabel

owner() - Method in class jif.types.label.PolicyLabel_c

P

PACKAGE - Static variable in class jif.parse.sym

PLUS - Static variable in class jif.parse.sym

PLUSEQ - Static variable in class jif.parse.sym

PLUSPLUS - Static variable in class jif.parse.sym

PRINCIPAL - Static variable in class jif.parse.sym

PRINCIPAL - Static variable in interface jif.types.ParamInstance

PRINCIPAL_ - Variable in class jif.types.JifTypeSystem_c

PRINCIPAL_CLASS_ - Variable in class jif.types.JifTypeSystem_c

PRIVATE - Static variable in class jif.parse.sym

PROTECTED - Static variable in class jif.parse.sym

PUBLIC - Static variable in class jif.parse.sym

PackageNodeToJavaExt_c - class jif.translate.PackageNodeToJavaExt_c.

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

Param - interface jif.types.Param.

The root of the Jif class parameter types.

ParamDecl(Position, ParamInstance.Kind, String) - Method in interface jif.ast.JifNodeFactory

ParamDecl(Position, ParamInstance.Kind, String) - Method in class jif.ast.JifNodeFactory_c

ParamDecl - interface jif.ast.ParamDecl.

The AST node representing a label/principal parameter declaration.

ParamDecl_c - class jif.ast.ParamDecl_c.

An implementation of the ParamDecl interface.

ParamDecl_c(Position, ParamInstance.Kind, String) - Constructor for class jif.ast.ParamDecl_c

ParamInstance - interface jif.types.ParamInstance.

A parameter instance.

ParamInstance.Kind - class jif.types.ParamInstance.Kind.

ParamInstance.Kind(String) - Constructor for class jif.types.ParamInstance.Kind

ParamInstance_c - class jif.types.ParamInstance_c.

An implementation of the ParamInstance interface.

ParamInstance_c(JifTypeSystem, Position, JifClassType, ParamInstance.Kind, String) - Constructor for class jif.types.ParamInstance_c

ParamLabel - interface jif.types.label.ParamLabel.

The label derived from a label paramter.

ParamLabel_c - class jif.types.label.ParamLabel_c.

An implementation of the ParamLabel interface.

ParamLabel_c(ParamInstance, JifTypeSystem, Position) - Constructor for class jif.types.label.ParamLabel_c

ParamNode - interface jif.ast.ParamNode.

This class is the root of all the classes that may be parameters, including label node classes and principal node classes.

ParamPrincipal - interface jif.types.principal.ParamPrincipal.

The principal derived from a principal parameter.

ParamPrincipal_c - class jif.types.principal.ParamPrincipal_c.

An implementation of the ParamPrincipal interface.

ParamPrincipal_c(ParamInstance, JifTypeSystem, Position) - Constructor for class jif.types.principal.ParamPrincipal_c

ParamToJavaExpr_c - class jif.translate.ParamToJavaExpr_c.

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

Path - interface jif.types.Path.

A control flow path.

Path.FixedPath - class jif.types.Path.FixedPath.

PathMap - class jif.types.PathMap.

Implements the mapping from paths to labels.

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

PolicyLabel - interface jif.types.label.PolicyLabel.

The policy label of the form owner: r1,...,rn

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

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

PolicyLabelNode - interface jif.ast.PolicyLabelNode.

A policy label node.

PolicyLabelNode_c - class jif.ast.PolicyLabelNode_c.

An implementation of the PolicyLabel interface.

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

PolicyLabelToJavaExpr_c - class jif.translate.PolicyLabelToJavaExpr_c.

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

PolicyLabel_c - class jif.types.label.PolicyLabel_c.

An implementation of the PolicyLabel interface.

PolicyLabel_c(Principal, Collection, JifTypeSystem, Position) - Constructor for class jif.types.label.PolicyLabel_c

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

Returns the "principal" type.

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

Principal - interface jif.types.principal.Principal.

The root interface of all kinds of Jif principals.

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

Returns the class jif.lang.Principal.

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

PrincipalHierarchy - class jif.types.hierarchy.PrincipalHierarchy.

The principal hierarchy that defines the acts-for relationships between principals.

PrincipalHierarchy() - Constructor for class jif.types.hierarchy.PrincipalHierarchy

PrincipalInstance - interface jif.types.PrincipalInstance.

A PrincipalInstance represents a global principal.

PrincipalInstance_c - class jif.types.PrincipalInstance_c.

An implementation of the PrincipalInstance interface.

PrincipalInstance_c(JifTypeSystem, Position, ExternalPrincipal) - Constructor for class jif.types.PrincipalInstance_c

PrincipalNode - interface jif.ast.PrincipalNode.

A placeholder in AST for a Jif principal.

PrincipalNode_c - class jif.ast.PrincipalNode_c.

An implementation of the PrincipalNode interface.

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

PrincipalToJavaExpr - interface jif.translate.PrincipalToJavaExpr.

PrincipalToJavaExpr_c - class jif.translate.PrincipalToJavaExpr_c.

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

Principal_c - class jif.types.principal.Principal_c.

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

packageForName(Package, String) - Method in class jif.types.JifTypeSystem_c

paramArgName(ParamInstance) - Static method in class jif.translate.ParamToJavaExpr_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() - Method in interface jif.types.principal.ParamPrincipal

paramInstance() - Method in class jif.types.principal.ParamPrincipal_c

paramLabel(Position, ParamInstance) - Method in interface jif.types.JifTypeSystem

paramLabel(Position, ParamInstance) - Method in class jif.types.JifTypeSystem_c

paramToJava(Param) - Method in class jif.translate.JifToJavaRewriter

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

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

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

params(List) - Method in interface jif.ast.InstTypeNode

params - Variable in class jif.ast.InstTypeNode_c

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

params(List) - Method in class jif.ast.InstTypeNode_c

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

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

params - Variable in class jif.ast.JifClassDecl_c

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

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

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

params() - Method in interface jif.types.JifPolyType

Declared parameters of the class.

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

After we parse as usual, the AST may contain reftype_or_expr nodes wrapped in expressions.

parseCommand(String[], int, Set) - Method in class jif.JifOptions

Parse a command

parser(Reader, FileSource, ErrorQueue) - Method in class jif.ExtensionInfo

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() - Method in interface jif.types.principal.DynamicPrincipal

path() - Method in class jif.types.principal.DynamicPrincipal_c

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

pathMap(Path, Label) - Method in interface jif.types.JifTypeSystem

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

pathMap(Path, Label) - Method in class jif.types.JifTypeSystem_c

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

Return all paths in the map except NV and RV (which aren't really paths).

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

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

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

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

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

ph() - Method in interface jif.types.hierarchy.LabelEnv

ph() - Method in class jif.types.hierarchy.LabelEnv_c

pi - Variable in class jif.ast.AmbParam_c

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

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

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

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

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

position() - Method in class jif.types.label.AccessPath

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

postExtLabelExpr(Ext) - Method in class jif.ast.JifExtFactory_c

postExtLabelIf(Ext) - Method in class jif.ast.JifExtFactory_c

postExtLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtLabeledTypeNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtNewLabel(Ext) - Method in class jif.ast.JifExtFactory_c

postExtParamDecl(Ext) - Method in class jif.ast.JifExtFactory_c

postExtParamNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtPolicyLabelNode(Ext) - Method in class jif.ast.JifExtFactory_c

postExtPrincipalNode(Ext) - Method in class jif.ast.JifExtFactory_c

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

prefix() - Method in interface jif.ast.AmbParamTypeOrAccess

Gets the prefix.

prefix - Variable in class jif.ast.AmbParamTypeOrAccess_c

prefix() - Method in class jif.ast.AmbParamTypeOrAccess_c

prefix(Receiver) - Method in class jif.ast.AmbParamTypeOrAccess_c

prefix - Variable in class jif.parse.LabeledExpr

prefix - Variable in class jif.parse.Name

prefixToPackage(Prefix) - Method in class jif.parse.Grm

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ActsForConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ActsFor_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbDynamicLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbNewArray_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbThisLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AmbVarLabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.AuthConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CallerConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.CanonicalConstraintNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.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.LabelExpr_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabelIf_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabelNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.LabeledTypeNode_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.NewLabel_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.ParamDecl_c

prettyPrint(CodeWriter, PrettyPrinter) - Method in class jif.ast.PolicyLabelNode_c

prettyPrintHeader(CodeWriter, PrettyPrinter) - Method in class jif.ast.JifClassDecl_c

primitiveForName(String) - Method in class jif.types.JifTypeSystem_c

principal() - Method in interface jif.ast.PrincipalNode

principal(Principal) - Method in interface jif.ast.PrincipalNode

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

principal(Principal) - Method in class jif.ast.PrincipalNode_c

principal() - Method in interface jif.types.PrincipalInstance

principal(ExternalPrincipal) - Method in interface jif.types.PrincipalInstance

principal() - Method in class jif.types.PrincipalInstance_c

principal(ExternalPrincipal) - Method in class jif.types.PrincipalInstance_c

principalInstance(Position, ExternalPrincipal) - Method in interface jif.types.JifTypeSystem

Constructs a principal instance for an external principal.

principalInstance(Position, ExternalPrincipal) - Method in class jif.types.JifTypeSystem_c

principalParam(Position, ParamInstance) - Method in interface jif.types.JifTypeSystem

principalParam(Position, ParamInstance) - Method in class jif.types.JifTypeSystem_c

principalToJava(Principal) - Method in class jif.translate.JifToJavaRewriter

principalToParam(PrincipalInstance, AmbiguityRemover) - Method in class jif.ast.AmbParam_c

Turns a PrincipalInstance object into a principal node.

principalToPrincipal(PrincipalInstance, AmbiguityRemover) - Method in class jif.ast.AmbPrincipalNode_c

principals() - Method in interface jif.ast.AuthConstraintNode

Gets the list of principal who grants their authorities.

principals(List) - Method in interface jif.ast.AuthConstraintNode

Returns a copy of this node with the principal list updated.

principals - Variable in class jif.ast.AuthConstraintNode_c

principals() - Method in class jif.ast.AuthConstraintNode_c

principals(List) - Method in class jif.ast.AuthConstraintNode_c

principals() - Method in interface jif.ast.CallerConstraintNode

Gets the list of principals who need to grant their authorities to the caller.

principals(List) - Method in interface jif.ast.CallerConstraintNode

Returns a copy of this node with the principal list updated.

principals - Variable in class jif.ast.CallerConstraintNode_c

principals() - Method in class jif.ast.CallerConstraintNode_c

principals(List) - Method in class jif.ast.CallerConstraintNode_c

principals() - Method in interface jif.types.AuthConstraint

principals(List) - Method in interface jif.types.AuthConstraint

principals - Variable in class jif.types.AuthConstraint_c

principals(List) - Method in class jif.types.AuthConstraint_c

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

principals() - Method in interface jif.types.CallerConstraint

principals(List) - Method in interface jif.types.CallerConstraint

principals - Variable in class jif.types.CallerConstraint_c

principals(List) - Method in class jif.types.CallerConstraint_c

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

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

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

Access to production table.

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

QUESTION - Static variable in class jif.parse.sym

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

R

R - Static variable in interface jif.types.Path

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

R(Label) - Method in class jif.types.PathMap

RBRACE - Static variable in class jif.parse.sym

RBRACK - Static variable in class jif.parse.sym

RETURN - Static variable in class jif.parse.sym

RPAREN - Static variable in class jif.parse.sym

RSHIFT - Static variable in class jif.parse.sym

RSHIFTEQ - Static variable in class jif.parse.sym

RV - Static variable in interface jif.types.Path

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

RV(Label) - Method in class jif.types.PathMap

ReturnToJavaExt_c - class jif.translate.ReturnToJavaExt_c.

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

RuntimeLabel - interface jif.types.label.RuntimeLabel.

This component represents the join of all runtime components.

RuntimeLabel_c - class jif.types.label.RuntimeLabel_c.

An implementation of the RuntimeLabel interface.

RuntimeLabel_c(JifTypeSystem, Position) - Constructor for class jif.types.label.RuntimeLabel_c

readers() - Method in interface jif.ast.PolicyLabelNode

readers(List) - Method in interface jif.ast.PolicyLabelNode

readers - Variable in class jif.ast.PolicyLabelNode_c

readers() - Method in class jif.ast.PolicyLabelNode_c

readers(List) - Method in class jif.ast.PolicyLabelNode_c

readers() - Method in interface jif.types.label.PolicyLabel

readers() - Method in class jif.types.label.PolicyLabel_c

receiverVarLabel - Variable in class jif.extension.JifCallDel

reconstruct(PrincipalNode, PrincipalNode) - Method in class jif.ast.ActsForConstraintNode_c

Reconstructs this node.

reconstruct(PrincipalNode, PrincipalNode, Stmt, Stmt) - Method in class jif.ast.ActsFor_c

Reconstructs the node.

reconstruct(TypeNode, 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(LabelNode) - Method in class jif.ast.LabelExpr_c

reconstruct(LabelExpr, LabelExpr, Stmt, Stmt) - Method in class jif.ast.LabelIf_c

Reconstructs the node.

reconstruct(TypeNode, LabelNode) - Method in class jif.ast.LabeledTypeNode_c

reconstruct(PrincipalNode, List) - Method in class jif.ast.PolicyLabelNode_c

recurseIntoArrayType(ArrayType) - Method in class jif.visit.LabelSubstitutionVisitor

recurseIntoLabelOf() - Method in class jif.extension.JifFieldDeclExt_c.InvarianceLabelChecker

We do not want to check the labelOf components of fields.

recurseIntoLabeledType(LabeledType) - Method in class jif.visit.LabelSubstitutionVisitor

recurseIntoSubstType(JifSubstType) - Method in class jif.extension.JifFieldDeclExt_c.InvarianceLabelVisitor

recurseIntoSubstType(JifSubstType) - Method in class jif.visit.LabelSubstitutionVisitor

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

resolve(TypeSystem) - Method in class jif.types.JifPlaceHolder_c

returnLabel(LabelNode) - Method in interface jif.ast.JifConstructorDecl

returnLabel - Variable in class jif.ast.JifConstructorDecl_c

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

returnLabel(LabelNode) - Method in class jif.ast.JifConstructorDecl_c

returnLabel(LabelNode) - Method in interface jif.ast.JifMethodDecl

returnLabel - Variable in class jif.ast.JifMethodDecl_c

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

returnLabel(LabelNode) - Method in class jif.ast.JifMethodDecl_c

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

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

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

rewritePrincipal(Principal) - Method in class jif.visit.LabelSubstitutionVisitor

rewriteType(Type) - Method in class jif.visit.LabelSubstitutionVisitor

rewriteTypeNode(TypeNode) - Method in class jif.visit.LabelSubstitutionVisitor

Replace the args in the label of type nodes.

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

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

rhs() - Method in interface jif.types.LabelLeAssertion

rhs() - Method in class jif.types.LabelLeAssertion_c

run() - Method in class jif.visit.LabelCheckPass

runToCompletion() - Method in class jif.JifScheduler

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

S

SEMICOLON - Static variable in class jif.parse.sym

SHORT - Static variable in class jif.parse.sym

STATIC - Static variable in class jif.parse.sym

STATUS_NOT_SOLVED - Static variable in class jif.types.Solver

STATUS_NO_SOLUTION - Static variable in class jif.types.Solver

STATUS_SOLVED - Static variable in class jif.types.Solver

STATUS_SOLVING - Static variable in class jif.types.Solver

STRICTFP - Static variable in class jif.parse.sym

STRING - Static variable in class jif.parse.Lexer_c

STRING_LITERAL - Static variable in class jif.parse.sym

SUPER - Static variable in class jif.parse.sym

SWITCH - Static variable in class jif.parse.sym

SYNCHRONIZED - Static variable in class jif.parse.sym

SemanticDetailedException - exception jif.types.SemanticDetailedException.

Allow a more detailed message if requested.

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

SemanticDetailedException(Throwable) - Constructor for class jif.types.SemanticDetailedException

SemanticDetailedException(Position) - Constructor for class jif.types.SemanticDetailedException

SemanticDetailedException(String) - Constructor for class jif.types.SemanticDetailedException

SemanticDetailedException(String, String) - Constructor for class jif.types.SemanticDetailedException

SemanticDetailedException(String, Throwable) - Constructor for class jif.types.SemanticDetailedException

SemanticDetailedException(String, String, Throwable) - Constructor for class jif.types.SemanticDetailedException

SemanticDetailedException(String, String, Position) - Constructor for class jif.types.SemanticDetailedException

Solver - class jif.types.Solver.

A solver of Jif constraints.

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

Constructor

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

Constructor

SolverGLB - class jif.types.SolverGLB.

A solver of Jif constraints.

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

Constructor

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

Constructor

SourceFileToJavaExt_c - class jif.translate.SourceFileToJavaExt_c.

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

Special(Position, Special.Kind, TypeNode) - Method in class jif.ast.JifNodeFactory_c

SubtypeChecker - class jif.extension.SubtypeChecker.

A checker of subtype relationships.

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

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

Scan to get the next Symbol.

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

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

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() - Method in class jif.extension.JifCallDel

setTargetIsNeverNull() - Method in class jif.extension.JifFieldDel

setThrownIsNeverNull() - Method in class jif.extension.JifThrowDel

setType(Type) - Method in class jif.types.ParamInstance_c

setType(Type) - Method in class jif.types.PrincipalInstance_c

setUpperBound(Label) - Method in interface jif.types.label.ArgLabel

setUpperBound(Label) - Method in class jif.types.label.ArgLabel_c

shouldReport(int) - Static method in class jif.types.Solver

Convenience method to determine if messages of the given obscurity should be reported.

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

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

simplify() - Method in class jif.types.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() - Method in interface jif.types.JifTypeSystem

Returns a new label constraint system solver.

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

solver - Variable in class jif.visit.JifLabelSubst

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

stackContains(Label) - Method in class jif.types.LabelSubstitution

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

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

Indicates start production.

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

Indicates start state.

staticMainToJava(JifToJavaRewriter, MethodDecl) - Method in class jif.translate.MethodDeclToJavaExt_c

Rewrite static main(principal p, String[] args) {...} to static main(String[] args) {Principal p = Runtime.getUser(); {...} };

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

stmtDel() - Method in interface jif.extension.JifStmtExt

stmtDel(JifStmtExt) - Method in interface jif.extension.JifStmtExt

stmtDel - Variable in class jif.extension.JifStmtExt_c

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

stmtDel(JifStmtExt) - Method in class jif.extension.JifStmtExt_c

stop_constraint - Static variable in class jif.types.Solver

Constraint number at which to stop the compiler, for debugging purposes.

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

subLabel(Label, 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(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(VarMap) - 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(VarMap) - Method in class jif.types.PathMap

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

substLabel(Label) - Method in class jif.types.JifSubst_c

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

sym - class jif.parse.sym.

CUP generated class containing symbol constants.

sym() - Constructor for class jif.parse.sym

T

THIS - Static variable in class jif.parse.sym

THROW - Static variable in class jif.parse.sym

THROWS - Static variable in class jif.parse.sym

TRADITIONAL_COMMENT - Static variable in class jif.parse.Lexer_c

TRANSIENT - Static variable in class jif.parse.sym

TRY - Static variable in class jif.parse.sym

ThisLabel - interface jif.types.label.ThisLabel.

This label is used as a place-holder for the "this" label.

ThisLabel_c - class jif.types.label.ThisLabel_c.

ThisLabel_c(JifTypeSystem, JifClassType, Position) - Constructor for class jif.types.label.ThisLabel_c

ToJavaExt - interface jif.translate.ToJavaExt.

ToJavaExt_c - class jif.translate.ToJavaExt_c.

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

TopLabel - interface jif.types.label.TopLabel.

The class JifTopLabel is the label at the top of the label lattice.

TopLabel_c - class jif.types.label.TopLabel_c.

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

Topics - class jif.Topics.

Extension information for jif extension.

Topics() - Constructor for class jif.Topics

targetIsNeverNull() - Method in class jif.extension.JifCallDel

targetIsNeverNull() - Method in class jif.extension.JifFieldDel

targetType(JifTypeSystem, JifContext, Expr) - Method in class jif.extension.JifFieldDel

targetType(JifTypeSystem, JifContext, Receiver, Field) - Static method in class jif.extension.JifFieldExt

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

A technical message to display if this constraint is violated.

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

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

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 Field_c in that it does not throw a null pointer exception if the receiver is guaranteed to be non-null

throwTypes(TypeSystem) - Method in class jif.extension.JifFieldDel

List of Types of exceptions that might get thrown.

throwTypes(TypeSystem) - Method in class jif.extension.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 interface jif.translate.ToJavaExt

toJavaEnter(JifToJavaRewriter) - Method in class jif.translate.ToJavaExt_c

toName() - Method in class jif.parse.Amb

toName() - Method in class jif.parse.Name

toNewArray(Position) - Method in class jif.parse.Access

toNewArray(Position) - Method in class jif.parse.Amb

toNewArray(Position) - Method in class jif.parse.InstOrAccess

toNewArrayPrefix(Position) - Method in class jif.parse.Access

toNewArrayPrefix(Position) - Method in class jif.parse.Amb

toNewArrayPrefix(Position) - Method in class jif.parse.InstOrAccess

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

toPackage() - Method in class jif.parse.Amb

toPackage() - Method in class jif.parse.Name

toParamList(List) - Method in class jif.parse.Grm

toPrefix() - Method in class jif.parse.Access

toPrefix() - Method in class jif.parse.Amb

toPrefix() - Method in class jif.parse.Inst

toPrefix() - Method in class jif.parse.InstOrAccess

toPrefix() - Method in class jif.parse.Name

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

toReceiver() - Method in class jif.parse.Access

toReceiver() - Method in class jif.parse.Amb

toReceiver() - Method in class jif.parse.Array

toReceiver() - Method in class jif.parse.Inst

toReceiver() - Method in class jif.parse.InstOrAccess

toReceiver() - Method in class jif.parse.Name

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

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

toString() - Method in class jif.ast.AmbDynamicLabelNode_c

toString() - Method in class jif.ast.AmbExprParam_c

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

toString() - Method in class jif.ast.AmbParamTypeOrAccess_c

toString() - Method in class jif.ast.AmbParam_c

toString() - Method in class jif.ast.AmbPrincipalNode_c

toString() - Method in class jif.ast.AmbThisLabelNode_c

toString() - Method in class jif.ast.AmbVarLabelNode_c

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

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

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

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

toString() - Method in class jif.ast.LabelExpr_c

toString() - Method in class jif.ast.LabelIf_c

toString() - Method in class jif.ast.LabelNode_c

toString() - Method in class jif.ast.LabeledTypeNode_c

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

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

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

toString() - Method in class jif.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.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.JifPlaceHolder_c

toString() - Method in class jif.types.JifSubstClassType_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.PrincipalInstance_c

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

toString() - Method in class jif.types.hierarchy.LabelEnv_c

toString() - Method in class jif.types.hierarchy.PrincipalHierarchy

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

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

toType() - Method in class jif.parse.Amb

toType() - Method in class jif.parse.Array

toType() - Method in class jif.parse.Inst

toType() - Method in class jif.parse.InstOrAccess

toType() - Method in class jif.parse.LabeledExpr

toType() - Method in class jif.parse.Name

toUnlabeledType() - Method in class jif.parse.Amb

toUnlabeledType() - Method in class jif.parse.Array

toUnlabeledType() - Method in class jif.parse.Inst

toUnlabeledType() - Method in class jif.parse.InstOrAccess

toUnlabeledType() - Method in class jif.parse.Name

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

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

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

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

topics - Static variable in class jif.ExtensionInfo

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

transform(Object) - Method in class jif.types.JifSubst_c.ConstraintXform

transform(Object) - Method in class jif.types.JifSubst_c.LabelXform

transform(Object) - Method in class jif.types.JifSubst_c.PrincipalXform

translate(CodeWriter, Translator) - Method in class jif.ast.ActsForConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.ActsFor_c

translate(CodeWriter, Translator) - Method in class jif.ast.AuthConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.CallerConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.CanonicalConstraintNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.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.LabelExpr_c

translate(CodeWriter, Translator) - Method in class jif.ast.LabelIf_c

translate(CodeWriter, Translator) - Method in class jif.ast.LabelNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.LabeledTypeNode_c

translate(CodeWriter, Translator) - Method in class jif.ast.NewLabel_c

translate(CodeWriter, Translator) - Method in class jif.ast.ParamDecl_c

translate(CodeWriter, Translator) - Method in class jif.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

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

typeCheck(TypeChecker) - Method in class jif.ast.LabeledTypeNode_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

typePart() - Method in interface jif.ast.LabeledTypeNode

typePart(TypeNode) - Method in interface jif.ast.LabeledTypeNode

typePart - Variable in class jif.ast.LabeledTypeNode_c

typePart() - Method in class jif.ast.LabeledTypeNode_c

typePart(TypeNode) - Method in class jif.ast.LabeledTypeNode_c

typePart() - Method in interface jif.types.LabeledType

typePart(Type) - Method in interface jif.types.LabeledType

typePart - Variable in class jif.types.LabeledType_c

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

typePart(Type) - Method in class jif.types.LabeledType_c

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

U

URSHIFT - Static variable in class jif.parse.sym

URSHIFTEQ - Static variable in class jif.parse.sym

UnknownLabel - interface jif.types.label.UnknownLabel.

A representation of any unknown label.

UnknownLabel_c - class jif.types.label.UnknownLabel_c.

An implementation of the UnknownLabel interface.

UnknownLabel_c(JifTypeSystem, Position) - Constructor for class jif.types.label.UnknownLabel_c

UnknownParam - interface jif.types.UnknownParam.

A representation of any unknown class parameter.

UnknownParam_c - class jif.types.UnknownParam_c.

An implementation of the UnknownParam interface.

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

UnknownPrincipal - interface jif.types.principal.UnknownPrincipal.

A representation of any unknown principal.

UnknownPrincipal_c - class jif.types.principal.UnknownPrincipal_c.

An implementation of the UnknownPrincipal interface.

UnknownPrincipal_c(JifTypeSystem, Position) - Constructor for class jif.types.principal.UnknownPrincipal_c

UnwrapVisitor - class jif.parse.UnwrapVisitor.

An UnwrapVisitor rewrites the AST to remove any Wrapped nodes resulting from the parser.

UnwrapVisitor() - Constructor for class jif.parse.UnwrapVisitor

uncachedSubstType(Type) - Method in class jif.types.JifSubst_c

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

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

uninitFinalFields(ReferenceType) - Static method in class jif.extension.JifConstructorDeclExt

Utility method to get the set of field instances of final fields of the given ReferenceType that do not have an initializer.

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

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

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

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

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

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

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

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

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

Remove the label from a type, if any.

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

upperBound() - Method in interface jif.types.label.ArgLabel

upperBound() - Method in class jif.types.label.ArgLabel_c

usage(PrintStream) - Method in class jif.JifOptions

Print usage information

V

VOID - Static variable in class jif.parse.sym

VOLATILE - Static variable in class jif.parse.sym

VarLabel - interface jif.types.label.VarLabel.

The variable label.

VarLabel_c - class jif.types.label.VarLabel_c.

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 jif.types.VarMap.

Maps variable components to labels.

VarMap(JifTypeSystem, Label) - Constructor for class jif.types.VarMap

VarSignature - class jif.types.VarSignature.

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

Version - class jif.Version.

Version() - Constructor for class jif.Version

varInstanceToAccessPath(VarInstance, Position) - Static method in class jif.ast.JifUtil

varToParam(JifVarInstance, AmbiguityRemover) - Method in class jif.ast.AmbParam_c

Turns a JifVarInstance object into a label node or a principal node

varToPrincipal(JifVarInstance, AmbiguityRemover) - Method in class jif.ast.AmbPrincipalNode_c

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

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

visitChildren(NodeVisitor) - Method in class jif.ast.ActsForConstraintNode_c

Visits the children of this node.

visitChildren(NodeVisitor) - Method in class jif.ast.ActsFor_c

Visits the children of the node.

visitChildren(NodeVisitor) - Method in class jif.ast.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.LabelExpr_c

visitChildren(NodeVisitor) - Method in class jif.ast.LabelIf_c

Visits the children of the node.

visitChildren(NodeVisitor) - Method in class jif.ast.LabeledTypeNode_c

visitChildren(NodeVisitor) - Method in class jif.ast.PolicyLabelNode_c

visitChildren(NodeVisitor) - Method in class jif.parse.Wrapper

W

WHERE - Static variable in class jif.parse.sym

WHILE - Static variable in class jif.parse.sym

Wrapper - class jif.parse.Wrapper.

A Wrapper wraps an Amb inside an AST node so that it can be insert in the AST.

wakeUp(VarLabel) - Method in class jif.types.Solver

Awakens all equations in the system that depend on the variable v, ensuring that they are in the queue of active equations.

wrap() - Method in class jif.parse.Amb

X

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

Gets the path map of this extension.

X(PathMap) - Method in interface jif.ast.Jif

Returns a copy of this object with the path map updated.

X(Node) - Static method in class jif.ast.JifUtil

X(Node, PathMap) - Static method in class jif.ast.JifUtil

X - Variable in class jif.ast.Jif_c

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

X(PathMap) - Method in class jif.ast.Jif_c

X(Node) - Static method in class jif.ast.Jif_c

X(Node, PathMap) - Static method in class jif.ast.Jif_c

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

XOR - Static variable in class jif.parse.sym

XOREQ - Static variable in class jif.parse.sym

Y

YYEOF - Static variable in class jif.parse.Lexer_c

This character denotes the end of file

YYINITIAL - Static variable in class jif.parse.Lexer_c

yybegin(int) - Method in class jif.parse.Lexer_c

Enters a new lexical state

yycharat(int) - Method in class jif.parse.Lexer_c

Returns the character at position pos from the matched text.

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

Closes the input stream.

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

Returns the length of the matched text region.

yyreset(Reader) - Method in class jif.parse.Lexer_c

Closes the current stream, and resets the scanner to read from a new input stream.

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

Returns the current lexical state.

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

Returns the text matched by the current regular expression.

_

_action_table - Static variable in class jif.parse.Grm

Parse-action table.

_production_table - Static variable in class jif.parse.Grm

Production table.

_reduce_table - Static variable in class jif.parse.Grm

reduce_goto table.

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