jif.lang
Class MeetConfPolicy

java.lang.Object
  extended by jif.lang.AbstractPolicy
      extended by jif.lang.MeetConfPolicy
All Implemented Interfaces:
ConfPolicy, Policy

public final class MeetConfPolicy
extends AbstractPolicy
implements ConfPolicy

Represents the meet of confidentiality policies


Method Summary
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 ConfPolicy join(ConfPolicy p)
           
 ConfPolicy meet(ConfPolicy p)
           
 java.util.Set meetComponents()
           
 boolean relabelsTo(Policy pol)
           
 java.lang.String 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)
Specified by:
join in interface ConfPolicy

meet

public ConfPolicy meet(ConfPolicy p)
Specified by:
meet in interface ConfPolicy

meetComponents

public java.util.Set meetComponents()

relabelsTo

public boolean relabelsTo(Policy pol)
Specified by:
relabelsTo in interface Policy

equals

public boolean equals(java.lang.Object o)
Specified by:
equals in class AbstractPolicy

hashCode

public final int hashCode()
Specified by:
hashCode in class AbstractPolicy

toString

public final java.lang.String toString()
Overrides:
toString in class java.lang.Object