jif.lang
Class LabelUtil

java.lang.Object
  extended by 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
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

getAndClearTime

public static long getAndClearTime()

noComponents

public static Label noComponents()

readerPolicy

public static ConfPolicy readerPolicy(Principal owner,
                                      Principal reader)

readerPolicy

public static ConfPolicy readerPolicy(Principal owner,
                                      java.util.Collection readers)

readerPolicy

public static ConfPolicy readerPolicy(Label lbl,
                                      Principal owner,
                                      Principal[] readers)
See the Jif signature for the explanation of lbl.


readerPolicy

public static ConfPolicy readerPolicy(Principal owner,
                                      PrincipalSet writers)

readerPolicyLabel

public static Label readerPolicyLabel(Principal owner,
                                      Principal reader)

readerPolicyLabel

public static Label readerPolicyLabel(Principal owner,
                                      java.util.Collection readers)

readerPolicyLabel

public static Label readerPolicyLabel(Label lbl,
                                      Principal owner,
                                      Principal[] readers)
See the Jif signature for the explanation of lbl.


readerPolicyLabel

public static Label readerPolicyLabel(Principal owner,
                                      PrincipalSet readers)

writerPolicy

public static IntegPolicy writerPolicy(Principal owner,
                                       Principal writer)

writerPolicy

public static IntegPolicy writerPolicy(Principal owner,
                                       java.util.Collection writers)

writerPolicyLabel

public static Label writerPolicyLabel(Principal owner,
                                      Principal writer)

writerPolicyLabel

public static Label writerPolicyLabel(Principal owner,
                                      java.util.Collection writers)

writerPolicyLabel

public static Label writerPolicyLabel(Label lbl,
                                      Principal owner,
                                      Principal[] writers)
See the Jif signature for the explanation of lbl.


writerPolicy

public static IntegPolicy writerPolicy(Label lbl,
                                       Principal owner,
                                       Principal[] writers)
See the Jif signature for the explanation of lbl.


writerPolicy

public static IntegPolicy writerPolicy(Principal owner,
                                       PrincipalSet writers)

toLabel

public static Label toLabel(ConfPolicy cPolicy,
                            IntegPolicy iPolicy)

toLabel

public static Label toLabel(ConfPolicy policy)

toLabel

public static Label toLabel(IntegPolicy policy)

join

public static Label join(Label l1,
                         Label l2)

meetLbl

public static Label meetLbl(Label l1,
                            Label l2)

meet

public static Label meet(Label l1,
                         Label l2)

join

public static ConfPolicy join(ConfPolicy p1,
                              ConfPolicy p2)

join

public static IntegPolicy join(IntegPolicy p1,
                               IntegPolicy p2)

meetPol

public static ConfPolicy meetPol(ConfPolicy p1,
                                 ConfPolicy p2)

meet

public static ConfPolicy meet(ConfPolicy p1,
                              ConfPolicy p2)

meetPol

public static IntegPolicy meetPol(IntegPolicy p1,
                                  IntegPolicy p2)

meet

public static IntegPolicy meet(IntegPolicy p1,
                               IntegPolicy p2)

equivalentTo

public static boolean equivalentTo(Label l1,
                                   Label l2)

isReadableBy

public static boolean isReadableBy(Label lbl,
                                   Principal p)

relabelsTo

public static boolean relabelsTo(Label from,
                                 Label to)

stringValue

public static java.lang.String stringValue(Label lb)

toString

public static java.lang.String toString(Label lb)

hashCode

public static int hashCode(Label lb)