|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjif.lang.LabelUtil
public class LabelUtil
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 | |
---|---|
static boolean |
equivalentTo(Label l1,
Label l2)
|
static long |
getAndClearTime()
|
static int |
hashCode(Label lb)
|
static boolean |
isReadableBy(Label lbl,
Principal p)
|
static ConfPolicy |
join(ConfPolicy p1,
ConfPolicy p2)
|
static IntegPolicy |
join(IntegPolicy p1,
IntegPolicy p2)
|
static Label |
join(Label l1,
Label l2)
|
static ConfPolicy |
meet(ConfPolicy p1,
ConfPolicy p2)
|
static IntegPolicy |
meet(IntegPolicy p1,
IntegPolicy p2)
|
static Label |
meet(Label l1,
Label l2)
|
static Label |
meetLbl(Label l1,
Label l2)
|
static ConfPolicy |
meetPol(ConfPolicy p1,
ConfPolicy p2)
|
static IntegPolicy |
meetPol(IntegPolicy p1,
IntegPolicy p2)
|
static Label |
noComponents()
|
static ConfPolicy |
readerPolicy(Label lbl,
Principal owner,
Principal[] readers)
See the Jif signature for the explanation of lbl. |
static ConfPolicy |
readerPolicy(Principal owner,
java.util.Collection readers)
|
static ConfPolicy |
readerPolicy(Principal owner,
Principal reader)
|
static ConfPolicy |
readerPolicy(Principal owner,
PrincipalSet writers)
|
static Label |
readerPolicyLabel(Label lbl,
Principal owner,
Principal[] readers)
See the Jif signature for the explanation of lbl. |
static Label |
readerPolicyLabel(Principal owner,
java.util.Collection readers)
|
static Label |
readerPolicyLabel(Principal owner,
Principal reader)
|
static Label |
readerPolicyLabel(Principal owner,
PrincipalSet readers)
|
static boolean |
relabelsTo(Label from,
Label to)
|
static java.lang.String |
stringValue(Label lb)
|
static Label |
toLabel(ConfPolicy policy)
|
static Label |
toLabel(ConfPolicy cPolicy,
IntegPolicy iPolicy)
|
static Label |
toLabel(IntegPolicy policy)
|
static java.lang.String |
toString(Label lb)
|
static IntegPolicy |
writerPolicy(Label lbl,
Principal owner,
Principal[] writers)
See the Jif signature for the explanation of lbl. |
static IntegPolicy |
writerPolicy(Principal owner,
java.util.Collection writers)
|
static IntegPolicy |
writerPolicy(Principal owner,
Principal writer)
|
static IntegPolicy |
writerPolicy(Principal owner,
PrincipalSet writers)
|
static Label |
writerPolicyLabel(Label lbl,
Principal owner,
Principal[] writers)
See the Jif signature for the explanation of lbl. |
static Label |
writerPolicyLabel(Principal owner,
java.util.Collection writers)
|
static Label |
writerPolicyLabel(Principal owner,
Principal writer)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Method Detail |
---|
public static long getAndClearTime()
public static Label noComponents()
public static ConfPolicy readerPolicy(Principal owner, Principal reader)
public static ConfPolicy readerPolicy(Principal owner, java.util.Collection readers)
public static ConfPolicy readerPolicy(Label lbl, Principal owner, Principal[] readers)
public static ConfPolicy readerPolicy(Principal owner, PrincipalSet writers)
public static Label readerPolicyLabel(Principal owner, Principal reader)
public static Label readerPolicyLabel(Principal owner, java.util.Collection readers)
public static Label readerPolicyLabel(Label lbl, Principal owner, Principal[] readers)
public static Label readerPolicyLabel(Principal owner, PrincipalSet readers)
public static IntegPolicy writerPolicy(Principal owner, Principal writer)
public static IntegPolicy writerPolicy(Principal owner, java.util.Collection writers)
public static Label writerPolicyLabel(Principal owner, Principal writer)
public static Label writerPolicyLabel(Principal owner, java.util.Collection writers)
public static Label writerPolicyLabel(Label lbl, Principal owner, Principal[] writers)
public static IntegPolicy writerPolicy(Label lbl, Principal owner, Principal[] writers)
public static IntegPolicy writerPolicy(Principal owner, PrincipalSet writers)
public static Label toLabel(ConfPolicy cPolicy, IntegPolicy iPolicy)
public static Label toLabel(ConfPolicy policy)
public static Label toLabel(IntegPolicy policy)
public static Label join(Label l1, Label l2)
public static Label meetLbl(Label l1, Label l2)
public static Label meet(Label l1, Label l2)
public static ConfPolicy join(ConfPolicy p1, ConfPolicy p2)
public static IntegPolicy join(IntegPolicy p1, IntegPolicy p2)
public static ConfPolicy meetPol(ConfPolicy p1, ConfPolicy p2)
public static ConfPolicy meet(ConfPolicy p1, ConfPolicy p2)
public static IntegPolicy meetPol(IntegPolicy p1, IntegPolicy p2)
public static IntegPolicy meet(IntegPolicy p1, IntegPolicy p2)
public static boolean equivalentTo(Label l1, Label l2)
public static boolean isReadableBy(Label lbl, Principal p)
public static boolean relabelsTo(Label from, Label to)
public static java.lang.String stringValue(Label lb)
public static java.lang.String toString(Label lb)
public static int hashCode(Label lb)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |