jif.lang
Class MeetConfPolicy

java.lang.Object
  jif.lang.AbstractPolicy
      jif.lang.MeetPolicy
          jif.lang.MeetConfPolicy

All Implemented Interfaces:

ConfPolicy, Policy

public final class MeetConfPolicy
extends MeetPolicy
implements ConfPolicy

Represents the meet of confidentiality policies

Field Summary

Fields inherited from class jif.lang.AbstractPolicy

labelUtil

Method Summary

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

Methods inherited from class jif.lang.MeetPolicy

equals, hashCode, meetComponents, relabelsTo, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface jif.lang.Policy

relabelsTo

Method Detail

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