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 `Constraint`s. A n`Assertion` 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`