jif.lang
Class LabelUtil
java.lang.Object
jif.lang.LabelUtil
public class LabelUtil
- extends java.lang.Object
A Label is the runtime representation of a Jif label. A Label consists of a
set of components, each of which is a Policy
.
Method Summary |
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)
|
protected ConfPolicy |
join(ConfPolicy p1,
ConfPolicy p2,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
|
IntegPolicy |
join(IntegPolicy p1,
IntegPolicy p2)
|
Label |
join(Label l1,
Label l2)
|
protected ConfPolicy |
meet(ConfPolicy p1,
ConfPolicy p2,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
|
Label |
meet(Label l1,
Label l2)
|
Label |
meetLbl(Label l1,
Label l2)
|
ConfPolicy |
meetPol(ConfPolicy p1,
ConfPolicy p2)
|
IntegPolicy |
meetPol(IntegPolicy p1,
IntegPolicy p2)
|
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)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
singleton
protected static LabelUtil singleton
COUNT_TIME
public static final boolean COUNT_TIME
- See Also:
- Constant Field Values
USE_CACHING
public static final boolean USE_CACHING
- See Also:
- Constant Field Values
LabelUtil
protected LabelUtil()
singleton
public static LabelUtil singleton()
getAndClearTime
public long getAndClearTime()
getAndClearCount
public int getAndClearCount()
getAndClearTopCount
public int getAndClearTopCount()
noComponents
public Label noComponents()
bottomConf
public ConfPolicy bottomConf()
topConf
public ConfPolicy topConf()
topInteg
public IntegPolicy topInteg()
readerPolicy
public ConfPolicy readerPolicy(Principal owner,
Principal reader)
readerPolicy
public ConfPolicy readerPolicy(Principal owner,
java.util.Collection<Principal> readers)
readerPolicy
public ConfPolicy readerPolicy(Label lbl,
Principal owner,
Principal[] readers)
- See the Jif signature for the explanation of lbl.
readerPolicy
public ConfPolicy readerPolicy(Principal owner,
PrincipalSet writers)
readerPolicyLabel
public Label readerPolicyLabel(Principal owner,
Principal reader)
readerPolicyLabel
public Label readerPolicyLabel(Principal owner,
java.util.Collection<Principal> readers)
readerPolicyLabel
public Label readerPolicyLabel(Label lbl,
Principal owner,
Principal[] readers)
- See the Jif signature for the explanation of lbl.
readerPolicyLabel
public Label readerPolicyLabel(Principal owner,
PrincipalSet readers)
writerPolicy
public IntegPolicy writerPolicy(Principal owner,
Principal writer)
writerPolicy
public IntegPolicy writerPolicy(Principal owner,
java.util.Collection<Principal> writers)
writerPolicyLabel
public Label writerPolicyLabel(Principal owner,
Principal writer)
writerPolicyLabel
public Label writerPolicyLabel(Principal owner,
java.util.Collection<Principal> writers)
writerPolicyLabel
public Label writerPolicyLabel(Label lbl,
Principal owner,
Principal[] writers)
- See the Jif signature for the explanation of lbl.
writerPolicy
public IntegPolicy writerPolicy(Label lbl,
Principal owner,
Principal[] writers)
- See the Jif signature for the explanation of lbl.
writerPolicy
public IntegPolicy writerPolicy(Principal owner,
PrincipalSet writers)
toLabel
public Label toLabel(ConfPolicy cPolicy,
IntegPolicy iPolicy)
toLabel
public Label toLabel(ConfPolicy policy)
toLabel
public Label toLabel(IntegPolicy policy)
join
public Label join(Label l1,
Label l2)
meetLbl
public Label meetLbl(Label l1,
Label l2)
meet
public Label meet(Label l1,
Label l2)
join
public ConfPolicy join(ConfPolicy p1,
ConfPolicy p2)
join
protected ConfPolicy join(ConfPolicy p1,
ConfPolicy p2,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
join
public IntegPolicy join(IntegPolicy p1,
IntegPolicy p2)
meetPol
public ConfPolicy meetPol(ConfPolicy p1,
ConfPolicy p2)
meet
protected ConfPolicy meet(ConfPolicy p1,
ConfPolicy p2,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
meetPol
public IntegPolicy meetPol(IntegPolicy p1,
IntegPolicy p2)
equivalentTo
public boolean equivalentTo(Label l1,
Label l2)
isReadableBy
public boolean isReadableBy(Label lbl,
Principal p)
isWritableBy
public boolean isWritableBy(Label lbl,
Principal p)
relabelsTo
public boolean relabelsTo(Label from,
Label to)
relabelsTo
public boolean relabelsTo(Policy from,
Policy to)
relabelsTo
public boolean relabelsTo(Policy from,
Policy to,
java.util.Set<jif.lang.PrincipalUtil.DelegationPair> s)
stringValue
public java.lang.String stringValue(Label lb)
toString
public java.lang.String toString(Label lb)
hashCode
public int hashCode(Label lb)