Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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 `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`

Method Summary

Methods inherited from interface polyglot.types.TypeObject
`equalsImpl, isCanonical, position, typeSystem`

Methods inherited from interface polyglot.util.Copy
`copy`

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD