|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectjif.lang.PrincipalUtil
public class PrincipalUtil
Utility methods for principals. See the Jif source code, in lib-src/jif/lang/PrincipalUtil.jif
Constructor Summary | |
---|---|
PrincipalUtil()
|
Method Summary | |
---|---|
static boolean |
acts_for(Principal p,
Principal q)
Returns true if and only if the principal p acts for the principal q. |
static boolean |
actsFor(Principal p,
Principal q)
Returns true if and only if the principal p acts for the principal q. |
static Capability |
authorize(Principal p,
java.lang.Object authPrf,
Closure c,
Label lb)
Obtain a Capability for the given principal and closure. |
static Principal |
bottomPrincipal()
|
static Principal |
conjunction(java.util.Collection principals)
|
static Principal |
conjunction(Principal left,
Principal right)
|
static boolean |
delegatesTo(Principal granter,
Principal superior)
|
static Principal |
disjunction(java.util.Collection principals)
|
static Principal |
disjunction(Principal left,
Principal right)
|
static boolean |
equals(Principal p,
Principal q)
|
static boolean |
equivalentTo(Principal p,
Principal q)
|
static ActsForProof |
findActsForProof(Principal p,
Principal q,
java.lang.Object searchState)
Search for an ActsForProof between p and q. |
static Principal |
nullPrincipal()
returns the null principal, the principal that every other principal can act for. |
static ConfPolicy |
readableByPrinPolicy(Principal p)
|
static java.lang.String |
stringValue(Principal p)
|
static Principal |
topPrincipal()
|
static java.lang.String |
toString(Principal p)
|
static boolean |
verifyProof(ActsForProof prf,
Principal actor,
Principal granter)
Verify that the chain is a valid delegates-chain between p and q. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PrincipalUtil()
Method Detail |
---|
public static boolean acts_for(Principal p, Principal q)
actsFor
method.
public static boolean actsFor(Principal p, Principal q)
public static ActsForProof findActsForProof(Principal p, Principal q, java.lang.Object searchState)
p
- q
- searchState
- records the goals that we are in the middle of attempting
public static boolean verifyProof(ActsForProof prf, Principal actor, Principal granter)
public static boolean delegatesTo(Principal granter, Principal superior)
public static boolean equivalentTo(Principal p, Principal q)
public static boolean equals(Principal p, Principal q)
public static Capability authorize(Principal p, java.lang.Object authPrf, Closure c, Label lb)
public static Principal nullPrincipal()
public static Principal bottomPrincipal()
public static Principal topPrincipal()
public static ConfPolicy readableByPrinPolicy(Principal p)
public static Principal disjunction(Principal left, Principal right)
public static Principal conjunction(Principal left, Principal right)
public static Principal disjunction(java.util.Collection principals)
public static Principal conjunction(java.util.Collection principals)
public static java.lang.String toString(Principal p)
public static java.lang.String stringValue(Principal p)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |