public interface Assertion
extends polyglot.types.TypeObject
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