jif.lang
Class JoinConfPolicy
java.lang.Object
jif.lang.AbstractPolicy
jif.lang.JoinPolicy
jif.lang.JoinConfPolicy
- All Implemented Interfaces:
- ConfPolicy, Policy
public final class JoinConfPolicy
- extends JoinPolicy
- implements ConfPolicy
Represents the join of confidentiality policies
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
join
public ConfPolicy join(ConfPolicy p,
java.util.Set s)
- Description copied from interface:
ConfPolicy
- Return the join of this policy and p. The set s contains all
delegations (i.e., DelegationPairs) that this join result depends upon.
- Specified by:
join
in interface ConfPolicy
meet
public ConfPolicy meet(ConfPolicy p,
java.util.Set s)
- Specified by:
meet
in interface ConfPolicy
join
public ConfPolicy join(ConfPolicy p)
- Specified by:
join
in interface ConfPolicy
meet
public ConfPolicy meet(ConfPolicy p)
- Specified by:
meet
in interface ConfPolicy