jif.lang
Interface Principal

All Known Implementing Classes:
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)
           
 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)

findProofUpto

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

findProofDownto

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