|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface JifContext
The context for Jif type checking. JifContext
extends Context
with contextual information needed for
checking labels, and also with some utility methods to assist in the
implementation of label checking. The JifContext
object contains
a label environment
, which contains a
principal hierarchy
; most access to
these objects should be through the JifContext
object, for
example, the methods addActsFor
, actsFor
,
addContraintLE
.
Method Summary | |
---|---|
boolean |
actsFor(java.util.Collection actorGrp,
java.util.Collection grantorGrp)
Test an actsfor relation, using the principal hierarchy. |
boolean |
actsFor(Principal p1,
Principal p2)
Test an actsfor relation, using the principal hierarchy. |
void |
addActsFor(Principal p1,
Principal p2)
Add an actsfor relation to the principal hierarchy. |
void |
addAssertionLE(Label L1,
Label L2)
Add a less than or equal assertion to the label environment. |
void |
addDefinitionalAssertionEquiv(Label L1,
Label L2)
Adds the assertion to this context, and all outer contexts up to the method/constructor/initializer level |
void |
addDefinitionalEquiv(Principal p1,
Principal p2)
Adds the assertion to this context, and all outer contexts up to the method/constructor/initializer level |
void |
addEquiv(Label L1,
Label L2)
Add an equivalence to the label environment. |
void |
addEquiv(Principal p1,
Principal p2)
Add an actsfor relation both ways to the principal hierarchy. |
Label |
authLabel()
Get the authority of the current code, represented as a confidentiality label. |
Label |
authLabelInteg()
Get the authority of the current code, represented as an integrity label. |
java.util.Set |
authority()
The authority of a class or a procedure is the set of principals who have authorized that code. |
boolean |
checkingInits()
Indicates if we are currently checking the initializers within a constructor. |
void |
clearPH()
Clears the principal hierarchy of all actsfor relations. |
Label |
constructorReturnLabel()
If the current code is a constructor, returns the return label of that constructor. |
Label |
currentCodePCBound()
The currentCodePCBound is an upper bound on the PC of the caller of the current code, and a lower bound on the observable effects of the current code. |
boolean |
equiv(Principal p1,
Principal p2)
Test if p1 actsfor p2 and vice versa, using the principal hierarchy. |
Label |
gotoLabel(polyglot.ast.Branch.Kind kind,
java.lang.String label)
Retrieve the Label associated with branching to the
location label , with the branch kind kind . |
void |
gotoLabel(polyglot.ast.Branch.Kind kind,
java.lang.String label,
Label L)
Record the Label associated with branching to the
location label , with the branch kind kind . |
boolean |
inConstructorCall()
Is the Context in a constructor call, e.g. |
LabelEnv |
labelEnv()
|
Label |
pc()
|
PrincipalHierarchy |
ph()
|
polyglot.types.Context |
pushConstructorCall()
Push a Context onto the stack for a constructor call, e.g. |
void |
setAuthority(java.util.Set authority)
|
void |
setCheckingInits(boolean checkingInits)
Set whether we are currently checking the initializers within a constructor. |
void |
setConstructorReturnLabel(Label Lr)
|
void |
setCurrentCodePCBound(Label label)
|
void |
setPc(Label label)
|
Methods inherited from interface polyglot.types.Context |
---|
addMethod, addNamed, addVariable, currentClass, currentClassScope, currentCode, findField, findFieldScope, findLocal, findMethod, findMethodScope, findVariable, findVariableSilent, importTable, inCode, inStaticContext, isLocal, outerResolver, package_, pop, pushBlock, pushClass, pushCode, pushSource, pushStatic, typeSystem |
Methods inherited from interface polyglot.types.Resolver |
---|
find |
Methods inherited from interface polyglot.util.Copy |
---|
copy |
Method Detail |
---|
LabelEnv labelEnv()
void addAssertionLE(Label L1, Label L2)
void addEquiv(Label L1, Label L2)
void addDefinitionalAssertionEquiv(Label L1, Label L2)
L1
- L2
- PrincipalHierarchy ph()
void addActsFor(Principal p1, Principal p2)
void addEquiv(Principal p1, Principal p2)
void addDefinitionalEquiv(Principal p1, Principal p2)
boolean actsFor(Principal p1, Principal p2)
boolean equiv(Principal p1, Principal p2)
boolean actsFor(java.util.Collection actorGrp, java.util.Collection grantorGrp)
void clearPH()
Label pc()
void setPc(Label label)
Label currentCodePCBound()
void setCurrentCodePCBound(Label label)
Label gotoLabel(polyglot.ast.Branch.Kind kind, java.lang.String label) throws polyglot.types.SemanticException
Label
associated with branching to the
location label
, with the branch kind kind
.
polyglot.types.SemanticException
void gotoLabel(polyglot.ast.Branch.Kind kind, java.lang.String label, Label L)
Label
associated with branching to the
location label
, with the branch kind kind
.
java.util.Set authority()
void setAuthority(java.util.Set authority)
Label authLabel()
Label authLabelInteg()
boolean checkingInits()
void setCheckingInits(boolean checkingInits)
Label constructorReturnLabel()
checkingInits
is true, and is used for more permissive label checking for field
assignments.
void setConstructorReturnLabel(Label Lr)
polyglot.types.Context pushConstructorCall()
boolean inConstructorCall()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |