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.

- - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `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)