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

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

copy

Method Detail

disjuncts

java.util.Set disjuncts()