jif.lang
Interface IntegPolicy

All Superinterfaces:

Policy

All Known Implementing Classes:

JoinIntegPolicy, MeetIntegPolicy, WriterPolicy

public interface IntegPolicy
extends Policy

Method Summary

IntegPolicy	join(IntegPolicy p)
IntegPolicy	join(IntegPolicy p, java.util.Set dependencies) Return the join of this policy and p.
IntegPolicy	meet(IntegPolicy p)
IntegPolicy	meet(IntegPolicy p, java.util.Set dependencies) Return the meet of this policy and p.

Methods inherited from interface jif.lang.Policy

relabelsTo

Method Detail

join

IntegPolicy join(IntegPolicy p,
                 java.util.Set dependencies)

Return the join of this policy and p. The set s contains all delegations (i.e., DelegationPairs) that this join result depends upon.

meet

IntegPolicy meet(IntegPolicy p,
                 java.util.Set dependencies)

Return the meet of this policy and p. The set s contains all delegations (i.e., DelegationPairs) that this meet result depends upon.

join

IntegPolicy join(IntegPolicy p)

meet

IntegPolicy meet(IntegPolicy p)