|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface LabelEnv
Nested Class Summary | |
---|---|
static interface |
LabelEnv.SearchState
Encapsulates the solvers search state. |
Method Summary | |
---|---|
boolean |
actsFor(Principal p,
Principal q)
|
java.util.Map |
definitions(VarMap bounds,
java.util.Set seenComponents)
Returns a Map of Strings to List[String]s which is the descriptions of any components that appear in the environment. |
boolean |
equivalentAccessPaths(AccessPath p,
AccessPath q)
|
Label |
findNonArgLabelUpperBound(Label L)
Finds an upper bound for L that does not have any arg labels in it. |
Label |
findUpperBound(Label L)
Finds an upper bound for L using the assertions in this environment. |
boolean |
hasVariables()
Do any of the assertions in this label environment contain variables? |
boolean |
isEmpty()
Is this enviornment empty, or does is contain some constraints? |
boolean |
leq(Label L1,
Label L2)
|
boolean |
leq(Label L1,
Label L2,
LabelEnv.SearchState state)
|
boolean |
leq(Policy p1,
Policy p2)
|
boolean |
leq(Policy p1,
Policy p2,
LabelEnv.SearchState state)
|
void |
setSolver(Solver solver)
Set the solver used for this Label Environment. |
Label |
triggerTransforms(Label label)
Trigger any writersToReaders transforms in label, and return the result. |
Method Detail |
---|
boolean leq(Label L1, Label L2)
boolean leq(Label L1, Label L2, LabelEnv.SearchState state)
boolean leq(Policy p1, Policy p2)
boolean leq(Policy p1, Policy p2, LabelEnv.SearchState state)
boolean actsFor(Principal p, Principal q)
Label findUpperBound(Label L)
Label findNonArgLabelUpperBound(Label L)
java.util.Map definitions(VarMap bounds, java.util.Set seenComponents)
Label triggerTransforms(Label label)
boolean isEmpty()
boolean hasVariables()
void setSolver(Solver solver)
boolean equivalentAccessPaths(AccessPath p, AccessPath q)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |