public class WriterPolicy extends AbstractPolicy implements IntegPolicy
labelUtil
Constructor and Description |
---|
WriterPolicy(LabelUtil labelUtil,
Principal owner,
Principal writer) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object o) |
int |
hashCode() |
IntegPolicy |
join(IntegPolicy p) |
IntegPolicy |
join(IntegPolicy p,
boolean simplify) |
IntegPolicy |
join(IntegPolicy p,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
Return the join of this policy and p.
|
IntegPolicy |
join(IntegPolicy p,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s,
boolean simplify) |
IntegPolicy |
meet(IntegPolicy p) |
IntegPolicy |
meet(IntegPolicy p,
boolean simplify) |
IntegPolicy |
meet(IntegPolicy p,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s) |
IntegPolicy |
meet(IntegPolicy p,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s,
boolean simplify) |
Principal |
owner() |
boolean |
relabelsTo(Policy p,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
Does this policy relabel to policy p? If this method returns true,
then all delegations that this result depend upon (i.e., DelegationPairs)
should be added to the set s.
|
java.lang.String |
toString() |
Principal |
writer() |
public Principal owner()
public Principal writer()
public boolean relabelsTo(Policy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
Policy
relabelsTo
in interface Policy
public int hashCode()
hashCode
in class AbstractPolicy
public boolean equals(java.lang.Object o)
equals
in class AbstractPolicy
public java.lang.String toString()
toString
in class java.lang.Object
public IntegPolicy join(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
IntegPolicy
join
in interface IntegPolicy
public IntegPolicy meet(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
meet
in interface IntegPolicy
public IntegPolicy join(IntegPolicy p)
join
in interface IntegPolicy
public IntegPolicy meet(IntegPolicy p)
meet
in interface IntegPolicy
public IntegPolicy join(IntegPolicy p, boolean simplify)
join
in interface IntegPolicy
public IntegPolicy meet(IntegPolicy p, boolean simplify)
meet
in interface IntegPolicy
public IntegPolicy join(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s, boolean simplify)
join
in interface IntegPolicy
public IntegPolicy meet(IntegPolicy p, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s, boolean simplify)
meet
in interface IntegPolicy