|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||
Access represents a Amb of the form "P[e]"
where e must be an expression.actsFor statement.ActsForConstraint interface.ActsFor constraint.Params, being the parameters with which
this class is instantiated.
auth
AmbParam interface.AmbNewArray interface.AmbParam interface.AmbParamTypeOrAccess interface.AmbPrincipalNode interface.this label node.AmbThisLabelNode interface.AmbVarLabelNode interface.Array represents a Amb of the form "P[]".Assertion represents a condition on labels and/or principals
that is assumed to hold true.AuthConstraint interface.AuthConstraintNode interface.baseType updated.
CallerConstraint interface.CallerConstraint interface.CanonicalConstraint.CanonicalLabelNode interface.CanonicalPrincipal interface.components updated.
ConstraintNode interface.CovariantLabel interface.declassify expression.DeclassifyExpr interface.declassify statement.DeclassifyStmt interface.dims updated.
name.
DynamicLabel interface.DynamicPrincipal interface.EOF Symbol index.
error Symbol index.
c.
c.
ExceptionPath interface.ExternalPrincipal interface.Collection of Equations for this
constraint.
left to be less than or
equal to right, and add them to eqns.
Label associated with branching to the
location label, with the branch kind kind.
Label associated with branching to the
location label, with the branch kind kind.
Inst represents a Amb of the form "P[T,U,...]".InstOrAccess represents a Amb of the form
"P[e]" or "P[p]".InstTypeNode interface.Jif interface.ActsFor node.ArrayAccessAssign node.ArrayAccessAssign node.ArrayAccess node.ArrayAccess node.ArrayInit node.Assign node.Call node.Binary node.Block node.Branch node.Call node.Call node.JifCanonicalTypeNode is a type node for a canonical type in Polyj.JifCanonicalTypeNode is a type node for a canonical type in Polyj.Case node.Cast node.Cast node.ClassBody node.JifClassDecl interface.JifClassDecl node.JifClassDecl node.Conditional node.ConstructorCall node.ConstructorCall node.JifConstructor interface.JifConstructorDecl node.JifConstructorInstance interface.JifContext interface.DeclassifyExpr node.DeclassifyStmt node.Do node.Empty node.Eval node.FieldAssign node.LocalAssign node.FieldDecl node.FieldDecl node.FieldDecl node.Field node.Field node.JifFieldInstance interface.For node.Formal node.Formal node.FieldAssign node.If node.Initializer node.Initializer node.Cast node.Instanceof node.Jif interface.Labeled node.ActsFor node.Lit or NewLabel node.LocalAssign node.JifMethodDecl node.LocalDecl node.Local node.JifLocalInstance interface.JifMethod interface.JifMethodDecl node.JifMethodDecl node.JifMethodInstance interface.JifParsedPolyType interface.NewArray node.New node.JifNodeFactory interface.JifParsedPolyType interface.ProcedureDecl node.ProcedureDecl node.ProcedureDecl node.Return node.Special node.LabelSubstitution that performs
substitutions on Labels and Principals.Switch node.Synchronized node.Throw node.Throw node.Try node.TypeNode node.JifTypeSystem interface.Unary node.Jif interface.While node.JoinLabel interface.JoinLabel interface.Label interface.LabelChecker class is used in the label checking of
Jif.actsFor statement.
actsFor statement.
LabelConstraint represents a constraint on labels, which
may either be an inequality or equality constraint.LabeledType interface.LabeledTypeNode interface.new label
statement.NewLabel interface.actsFor statement.LabelNode interface.defaultLabel if unlabeled.
LabelSubsitution to all labels
that occur in the AST.ph.
Name represents a Amp of the form "n | P.n".new label
statement.NewLabel interface.NotTaken is the label for paths which cannot be
taken, for example, the path that includes statements following a return statement.NotTaken interface.ParamDecl interface.ParamInstance interface.ParamLabel interface.ParamPrincipal interface.PramaInstance object into a label node or a
principal node.
owner: r1,...,rnPolicyLabel interface.PolicyLabel interface.JifPolyType for the given
JifClassType jct.
Principal interface.PrincipalInstance represents a global principal.PrincipalInstance interface.PrincipalNode interface.PrincipalInstance object into a principal node.
reduce_goto table.
Variables
RuntimeLabel interface.lhs and rhs with the result of
lhs.subst(subst) and rhs.subst(subst)
respectively.
SubstLabelSubst, to be
used by substLabel(Label) and
substPrincipal(Principal).
type.
JifTopLabel is the label at the top of the label
lattice.TopLabel interface.LabelSubsitution to all labels
that occur in the AST.ReferenceType that do not have an initializer.
UnknownLabel interface.UnknownParam interface.UnknownPrincipal interface.UnwrapVisitor rewrites the AST to remove any Wrapped
nodes resulting from the parser.List of variables that occur in either the
left or right hand side.
VarLabel interface.JifVarInstance object into a label node or
a principal node
Wrapper wraps an Amb inside an AST node so that
it can be insert in the AST.reduce_goto table.
|
|||||||||
| PREV NEXT | FRAMES NO FRAMES | ||||||||