jif.runtime

Class NativePrincipal

java.lang.Object

jif.runtime.NativePrincipal

All Implemented Interfaces:

Principal

public class NativePrincipal
extends java.lang.Object
implements Principal

A NativePrincipal represents the file system users and groups.

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Set<Principal>	superiors

Method Summary

Modifier and Type	Method and Description
protected static Principal[]	addToChainBottom(Principal[] chain, Principal principal) Create a new chain of length chain.length+1, such that the last element of the new chain is principal, and all other elements are copied over from chain.
protected static Principal[]	addToChainTop(Principal principal, Principal[] chain) Create a new chain of length chain.length+1, such that the first element of the new chain is principal, and all other elements are copied over from chain, offset by one.
boolean	delegatesTo(Principal p)
boolean	equals(java.lang.Object o)
boolean	equals(Principal p)
ActsForProof	findProofDownto(Principal q, java.lang.Object searchState)
ActsForProof	findProofUpto(Principal p, java.lang.Object searchState)
int	hashCode()
boolean	isAuthorized(java.lang.Object authorizationProof, Closure closure, Label lb, boolean executeNow)
java.lang.String	name()
java.util.Set<Principal>	superiors()

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

superiors

protected final java.util.Set<Principal> superiors

Method Detail

name

public java.lang.String name()

Specified by:

name in interface Principal

superiors

public java.util.Set<Principal> superiors()

delegatesTo

public boolean delegatesTo(Principal p)

Specified by:

delegatesTo in interface Principal

isAuthorized

public boolean isAuthorized(java.lang.Object authorizationProof,
                            Closure closure,
                            Label lb,
                            boolean executeNow)

Specified by:

isAuthorized in interface Principal

findProofDownto

public ActsForProof findProofDownto(Principal q,
                                    java.lang.Object searchState)

Specified by:

findProofDownto in interface Principal

findProofUpto

public ActsForProof findProofUpto(Principal p,
                                  java.lang.Object searchState)

Specified by:

findProofUpto in interface Principal

equals

public boolean equals(java.lang.Object o)

Overrides:

equals in class java.lang.Object

equals

public boolean equals(Principal p)

Specified by:

equals in interface Principal

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

addToChainBottom

protected static Principal[] addToChainBottom(Principal[] chain,
                                              Principal principal)

Create a new chain of length chain.length+1, such that the last element of the new chain is principal, and all other elements are copied over from chain.

addToChainTop

protected static Principal[] addToChainTop(Principal principal,
                                           Principal[] chain)

Create a new chain of length chain.length+1, such that the first element of the new chain is principal, and all other elements are copied over from chain, offset by one.