jif.lang
Interface Principal

All Known Implementing Classes:

NativePrincipal

public interface Principal

See the doucmentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.

Method Summary

boolean	delegatesTo(Principal p)
boolean	equals(Principal p)
Principal[]	findChainDownto(Principal q)
Principal[]	findChainUpto(Principal p)
boolean	isAuthorized(java.lang.Object authPrf, Closure closure, Label lb)
java.lang.String	name()

Method Detail

name

java.lang.String name()

delegatesTo

boolean delegatesTo(Principal p)

equals

boolean equals(Principal p)

isAuthorized

boolean isAuthorized(java.lang.Object authPrf,
                     Closure closure,
                     Label lb)

findChainUpto

Principal[] findChainUpto(Principal p)

findChainDownto

Principal[] findChainDownto(Principal q)