jif.lang
Class WriterPolicy

java.lang.Object
  extended by jif.lang.AbstractPolicy
      extended by jif.lang.WriterPolicy
All Implemented Interfaces:
IntegPolicy, Policy

public class WriterPolicy
extends AbstractPolicy
implements IntegPolicy


Constructor Summary
WriterPolicy(Principal owner, Principal writer)
           
 
Method Summary
 boolean equals(java.lang.Object o)
           
 int hashCode()
           
 IntegPolicy join(IntegPolicy p)
           
 IntegPolicy meet(IntegPolicy p)
           
 Principal owner()
           
 boolean relabelsTo(Policy p)
           
 java.lang.String toString()
           
 Principal writer()
           
 
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
 

Constructor Detail

WriterPolicy

public WriterPolicy(Principal owner,
                    Principal writer)
Method Detail

owner

public Principal owner()

writer

public Principal writer()

relabelsTo

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

hashCode

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

equals

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

toString

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

join

public IntegPolicy join(IntegPolicy p)
Specified by:
join in interface IntegPolicy

meet

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