Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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)

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD