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:
  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)`
`Principal[]` | `findChainDownto(Principal q)`
`Principal[]` | `findChainUpto(Principal p)`
`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)

### findChainUpto

    Principal[] findChainUpto(Principal p)

### findChainDownto

    Principal[] findChainDownto(Principal q)

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