jif.types.label

## Interface WriterPolicy

- All Superinterfaces:
    java.lang.Cloneable, polyglot.util.Copy<polyglot.types.TypeObject>, IntegPolicy, Policy, java.io.Serializable, polyglot.types.TypeObject
  All Known Implementing Classes:
    WriterPolicy_c

      public interface WriterPolicy
      extends IntegPolicy

  The policy label of the form `owner <- w1,...,wn`

- - ### Nested Class Summary

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

      `polyglot.util.Copy.Util`

  - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `Principal` | `owner()`
    `Principal` | `writer()`

    - ### Methods inherited from interface jif.types.label.IntegPolicy

      `isBottomIntegrity, isTopIntegrity, 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()

    - #### writer

          Principal writer()