jif.types.principal
Interface ConjunctivePrincipal

All Superinterfaces:

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

All Known Implementing Classes:

ConjunctivePrincipal_c

public interface ConjunctivePrincipal
extends Principal

A conjunctive principal represents the conjunction of two principals A&B. The conjunctive principal A&B can act for A and it can act for B.

Method Summary

java.util.Set

conjuncts()

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

conjuncts

java.util.Set conjuncts()