jif.lang

## Interface Policy

- All Known Subinterfaces:
    ConfPolicy, IntegPolicy
  All Known Implementing Classes:
    AbstractPolicy, JoinConfPolicy, JoinIntegPolicy, JoinPolicy, MeetConfPolicy, MeetIntegPolicy, MeetPolicy, ReaderPolicy, WriterPolicy

      public interface Policy

  A Policy is a component of a label, and is either an integrity policy or a confidentiality policy.

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `boolean` | `relabelsTo(Policy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)` Does this policy relabel to policy p? If this method returns true, then all delegations that this result depend upon (i.e., DelegationPairs) should be added to the set s.

- - ### Method Detail

    - #### relabelsTo

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

      Does this policy relabel to policy p? If this method returns true, then all delegations that this result depend upon (i.e., DelegationPairs) should be added to the set s. If this method returns false, then the set is not altered at all.
      Parameters:
        `p` -
        `dependencies` -
      Returns: