jif.lang
Interface Principal
- All Known Implementing Classes:
- AbstractPrincipal, ConjunctivePrincipal, DisjunctivePrincipal, NativePrincipal
public interface Principal
See the documentation for the Jif source file, $JIF/sig-src/jif/lang/Principal.jif.
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)