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

## jif.types.principal
Interface DisjunctivePrincipal

All Superinterfaces:
  java.lang.Cloneable, polyglot.util.Copy, Param, Principal, java.io.Serializable, polyglot.types.TypeObject

All Known Implementing Classes:
  DisjunctivePrincipal_c

    public interface DisjunctivePrincipal

extends Principal

A disjunctive principal represents the disjunction of two principals "A or B". The conjunctive principal "A or B" delegates its authority to A and B, that is, A can act for "A or B" and B can act for "A or B".

Method Summary
`java.util.Set` | `disjuncts()`

Methods inherited from interface jif.types.principal.Principal
`isBottomPrincipal, isTopPrincipal, labelCheck, subst, throwTypes, toJava`

Methods inherited from interface jif.types.Param
`isCanonical, isRuntimeRepresentable`

Methods inherited from interface polyglot.types.TypeObject
`equalsImpl, position, typeSystem`

Methods inherited from interface polyglot.util.Copy
`copy`

Method Detail

### disjuncts

    java.util.Set disjuncts()

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