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
Class ConjunctivePrincipal

    java.lang.Object
      jif.lang.ConjunctivePrincipal

All Implemented Interfaces:
  Principal

    public final class ConjunctivePrincipal

extends java.lang.Object
implements Principal

A conjunction of two or more (non-null) principals

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)`
`int` | `hashCode()`
`boolean` | `isAuthorized(java.lang.Object authPrf, Closure closure, Label lb, boolean executeNow)`
`java.lang.String` | `name()`

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, notify, notifyAll, toString, wait, wait, wait`

Method Detail

### name

    public java.lang.String name()

  Specified by:
    `name` in interface `Principal`

### delegatesTo

    public boolean delegatesTo(Principal p)

  Specified by:
    `delegatesTo` in interface `Principal`

### hashCode

    public int hashCode()

  Overrides:
    `hashCode` in class `java.lang.Object`

### equals

    public boolean equals(Principal p)

  Specified by:
    `equals` in interface `Principal`

### isAuthorized

    public boolean isAuthorized(java.lang.Object authPrf,
                                Closure closure,
                                Label lb,
                                boolean executeNow)

  Specified by:
    `isAuthorized` in interface `Principal`

### findProofUpto

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

  Specified by:
    `findProofUpto` in interface `Principal`

### findProofDownto

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

  Specified by:
    `findProofDownto` in interface `Principal`

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