jif.lang
Class JoinConfPolicy

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

public final class JoinConfPolicy
extends AbstractPolicy
implements ConfPolicy

Represents the join of confidentiality policies


Method Summary
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 ConfPolicy join(ConfPolicy p)
           
 java.util.Set joinComponents()
           
 ConfPolicy meet(ConfPolicy p)
           
 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

joinComponents

public java.util.Set joinComponents()

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