jif.types

Interface Assertion

All Superinterfaces:

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

All Known Subinterfaces:

ActsForConstraint<Actor,Granter>, 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

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Method Summary

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, isCanonical, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy