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

## 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
`boolean` | `relabelsTo(Policy p, java.util.Set 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 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:

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