jif.lang
Interface Principal

All Known Implementing Classes:

AbstractPrincipal, ConjunctivePrincipal, DisjunctivePrincipal, 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)
ActsForProof	findProofDownto(Principal q, java.lang.Object searchState)
ActsForProof	findProofUpto(Principal p, java.lang.Object searchState)
boolean	isAuthorized(java.lang.Object authPrf, Closure closure, Label lb, boolean executeNow)
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,
                     boolean executeNow)

findProofUpto

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

findProofDownto

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