jif.types
Interface Assertion

All Superinterfaces:

java.lang.Cloneable, polyglot.util.Copy, java.io.Serializable, polyglot.types.TypeObject

All Known Subinterfaces:

ActsForConstraint, AuthConstraint, CallerConstraint, LabelLeAssertion

All Known Implementing Classes:

ActsForConstraint_c, AuthConstraint_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

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, isCanonical, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy