|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface Assertion
An Assertion
represents a condition on labels and/or principals
that is assumed to hold true. Label environments
(LabelEnv
)
contain collections of Constraint
s.
A nAssertion
is not the same as a LabelConstraint
, which represents a condition on labels that needs to be
satisfied (as opposed to being assumed to be satsified).
LabelEnv
,
LabelConstraint
Method Summary |
---|
Methods inherited from interface polyglot.types.TypeObject |
---|
equalsImpl, isCanonical, position, typeSystem |
Methods inherited from interface polyglot.util.Copy |
---|
copy |
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |