jif.types.label

## Interface ConfPolicy

- All Superinterfaces:
    java.lang.Cloneable, polyglot.util.Copy<polyglot.types.TypeObject>, Policy, java.io.Serializable, polyglot.types.TypeObject
  All Known Subinterfaces:
    ConfProjectionPolicy, JoinConfPolicy, MeetConfPolicy, ReaderPolicy
  All Known Implementing Classes:
    ConfProjectionPolicy_c, JoinConfPolicy_c, MeetConfPolicy_c, ReaderPolicy_c

      public interface ConfPolicy
      extends Policy

  This class represents a Jif confidentiality policy, which is a lattice over reader policies.

- - ### 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
    --- | ---
    `boolean` | `isBottomConfidentiality()`
    `boolean` | `isTopConfidentiality()`
    `ConfPolicy` | `join(ConfPolicy p)`
    `boolean` | `leq_(ConfPolicy p, LabelEnv env, LabelEnv.SearchState state)`
    `ConfPolicy` | `meet(ConfPolicy p)`

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

    - #### isBottomConfidentiality

          boolean isBottomConfidentiality()

    - #### isTopConfidentiality

          boolean isTopConfidentiality()

    - #### leq_

          boolean leq_(ConfPolicy p,
                       LabelEnv env,
                       LabelEnv.SearchState state)

    - #### join

          ConfPolicy join(ConfPolicy p)

    - #### meet

          ConfPolicy meet(ConfPolicy p)