jif.lang
Class WriterPolicy
java.lang.Object
jif.lang.AbstractPolicy
jif.lang.WriterPolicy
- All Implemented Interfaces:
- IntegPolicy, Policy
public class WriterPolicy
- extends AbstractPolicy
- implements IntegPolicy
Methods inherited from class java.lang.Object |
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
WriterPolicy
public WriterPolicy(Principal owner,
Principal writer)
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