public class LabelUtil
extends java.lang.Object
Policy
.Modifier and Type | Field and Description |
---|---|
static boolean |
COUNT_TIME |
protected static LabelUtil |
singleton |
static boolean |
USE_CACHING |
Modifier | Constructor and Description |
---|---|
protected |
LabelUtil() |
Modifier and Type | Method and Description |
---|---|
boolean |
acts_for(Label actor,
Principal granter) |
boolean |
actsFor(Label actor,
Principal granter) |
ConfPolicy |
bottomConf() |
boolean |
equivalentTo(Label l1,
Label l2) |
int |
getAndClearCount() |
long |
getAndClearTime() |
int |
getAndClearTopCount() |
int |
hashCode(Label lb) |
boolean |
isReadableBy(Label lbl,
Principal p) |
boolean |
isWritableBy(Label lbl,
Principal p) |
ConfPolicy |
join(ConfPolicy p1,
ConfPolicy p2,
boolean simplify) |
protected ConfPolicy |
join(ConfPolicy p1,
ConfPolicy p2,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s,
boolean simplify) |
IntegPolicy |
join(IntegPolicy p1,
IntegPolicy p2,
boolean simplify) |
Label |
join(Label l1,
Label l2) |
Label |
join(Label l1,
Label l2,
boolean simplify) |
ConfPolicy |
meet(ConfPolicy p1,
ConfPolicy p2,
boolean simplify) |
protected ConfPolicy |
meet(ConfPolicy p1,
ConfPolicy p2,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s,
boolean simplify) |
IntegPolicy |
meet(IntegPolicy p1,
IntegPolicy p2,
boolean simplify) |
Label |
meet(Label l1,
Label l2) |
Label |
meet(Label l1,
Label l2,
boolean simplify) |
Label |
noComponents() |
ConfPolicy |
readerPolicy(Label lbl,
Principal owner,
Principal[] readers)
See the Jif signature for the explanation of lbl.
|
ConfPolicy |
readerPolicy(Principal owner,
java.util.Collection<Principal> readers) |
ConfPolicy |
readerPolicy(Principal owner,
Principal reader) |
ConfPolicy |
readerPolicy(Principal owner,
PrincipalSet writers) |
Label |
readerPolicyLabel(Label lbl,
Principal owner,
Principal[] readers)
See the Jif signature for the explanation of lbl.
|
Label |
readerPolicyLabel(Principal owner,
java.util.Collection<Principal> readers) |
Label |
readerPolicyLabel(Principal owner,
Principal reader) |
Label |
readerPolicyLabel(Principal owner,
PrincipalSet readers) |
boolean |
relabelsTo(Label from,
Label to) |
boolean |
relabelsTo(Policy from,
Policy to) |
boolean |
relabelsTo(Policy from,
Policy to,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s) |
static LabelUtil |
singleton() |
java.lang.String |
stringValue(Label lb) |
Label |
toLabel(ConfPolicy policy) |
Label |
toLabel(ConfPolicy cPolicy,
IntegPolicy iPolicy) |
Label |
toLabel(IntegPolicy policy) |
ConfPolicy |
topConf() |
IntegPolicy |
topInteg() |
java.lang.String |
toString(Label lb) |
IntegPolicy |
writerPolicy(Label lbl,
Principal owner,
Principal[] writers)
See the Jif signature for the explanation of lbl.
|
IntegPolicy |
writerPolicy(Principal owner,
java.util.Collection<Principal> writers) |
IntegPolicy |
writerPolicy(Principal owner,
Principal writer) |
IntegPolicy |
writerPolicy(Principal owner,
PrincipalSet writers) |
Label |
writerPolicyLabel(Label lbl,
Principal owner,
Principal[] writers)
See the Jif signature for the explanation of lbl.
|
Label |
writerPolicyLabel(Principal owner,
java.util.Collection<Principal> writers) |
Label |
writerPolicyLabel(Principal owner,
Principal writer) |
protected static LabelUtil singleton
public static final boolean COUNT_TIME
public static final boolean USE_CACHING
public static LabelUtil singleton()
public long getAndClearTime()
public int getAndClearCount()
public int getAndClearTopCount()
public Label noComponents()
public ConfPolicy bottomConf()
public ConfPolicy topConf()
public IntegPolicy topInteg()
public ConfPolicy readerPolicy(Principal owner, Principal reader)
public ConfPolicy readerPolicy(Principal owner, java.util.Collection<Principal> readers)
public ConfPolicy readerPolicy(Label lbl, Principal owner, Principal[] readers)
public ConfPolicy readerPolicy(Principal owner, PrincipalSet writers)
public Label readerPolicyLabel(Principal owner, java.util.Collection<Principal> readers)
public Label readerPolicyLabel(Label lbl, Principal owner, Principal[] readers)
public Label readerPolicyLabel(Principal owner, PrincipalSet readers)
public IntegPolicy writerPolicy(Principal owner, Principal writer)
public IntegPolicy writerPolicy(Principal owner, java.util.Collection<Principal> writers)
public Label writerPolicyLabel(Principal owner, java.util.Collection<Principal> writers)
public Label writerPolicyLabel(Label lbl, Principal owner, Principal[] writers)
public IntegPolicy writerPolicy(Label lbl, Principal owner, Principal[] writers)
public IntegPolicy writerPolicy(Principal owner, PrincipalSet writers)
public Label toLabel(ConfPolicy cPolicy, IntegPolicy iPolicy)
public Label toLabel(ConfPolicy policy)
public Label toLabel(IntegPolicy policy)
public ConfPolicy join(ConfPolicy p1, ConfPolicy p2, boolean simplify)
protected ConfPolicy join(ConfPolicy p1, ConfPolicy p2, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s, boolean simplify)
public IntegPolicy join(IntegPolicy p1, IntegPolicy p2, boolean simplify)
public ConfPolicy meet(ConfPolicy p1, ConfPolicy p2, boolean simplify)
protected ConfPolicy meet(ConfPolicy p1, ConfPolicy p2, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s, boolean simplify)
public IntegPolicy meet(IntegPolicy p1, IntegPolicy p2, boolean simplify)
public boolean relabelsTo(Label from, Label to)
public boolean relabelsTo(Policy from, Policy to, java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
public java.lang.String stringValue(Label lb)
public java.lang.String toString(Label lb)
public int hashCode(Label lb)