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.label
Interface ReaderPolicy

All Superinterfaces:
  java.lang.Cloneable, ConfPolicy, polyglot.util.Copy, Policy, java.io.Serializable, polyglot.types.TypeObject

All Known Implementing Classes:
  ReaderPolicy_c

    public interface ReaderPolicy

extends ConfPolicy

The policy label of the form `owner -> r1,...,rn`

Method Summary
`Principal` | `owner()`
`Principal` | `reader()`

Methods inherited from interface jif.types.label.ConfPolicy
`isBottomConfidentiality, isTopConfidentiality, join, leq_, meet`

Methods inherited from interface jif.types.label.Policy
`hasVariables, hasWritersToReaders, isBottom, isCanonical, isRuntimeRepresentable, isSingleton, isTop, labelCheck, simplify, subst, throwTypes, toString`

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

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

Method Detail

### owner

    Principal owner()

### reader

    Principal reader()

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