Interface DisjunctivePrincipal

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

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
hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, toJava, variables
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

Method Detail


java.util.Set disjuncts()