jif.lang

## Interface Label

- All Known Implementing Classes:
    PairLabel

      public interface Label

  A Label is the runtime representation of a Jif label.

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `ConfPolicy` | `confPolicy()`
    `IntegPolicy` | `integPolicy()`
    `Label` | `join(Label l)`
    `Label` | `join(Label l, boolean simplify)`
    `Label` | `meet(Label l)`
    `Label` | `meet(Label l, boolean simplify)`
    `boolean` | `relabelsTo(Label l, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)` Returns true iff this <= l.

- - ### Method Detail

    - #### relabelsTo

          boolean relabelsTo(Label l,
                             java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)

      Returns true iff this <= l. If the method returns true, then s has all of the delegations (i.e., DelegationPairs) added to it that the result depends upon. If the method returns false, then s has no elements added to it.

    - #### join

          Label join(Label l)

    - #### join

          Label join(Label l,
                     boolean simplify)

    - #### meet

          Label meet(Label l)

    - #### meet

          Label meet(Label l,
                     boolean simplify)

    - #### confPolicy

          ConfPolicy confPolicy()

    - #### integPolicy

          IntegPolicy integPolicy()