Interface Assertion

All Superinterfaces:
java.lang.Cloneable, polyglot.util.Copy, java.io.Serializable, polyglot.types.TypeObject
All Known Subinterfaces:
ActsForConstraint, AuthConstraint, AutoEndorseConstraint, CallerConstraint, LabelLeAssertion
All Known Implementing Classes:
ActsForConstraint_c, AuthConstraint_c, AutoEndorseConstraint_c, CallerConstraint_c, LabelLeAssertion_c

public interface Assertion
extends polyglot.types.TypeObject

An Assertion represents a condition on labels and/or principals that is assumed to hold true. Label environments (LabelEnv) contain collections of Constraints. 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).

See Also:
LabelEnv, LabelConstraint

Method Summary
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, isCanonical, position, typeSystem
Methods inherited from interface polyglot.util.Copy