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: