jif.types.principal

Interface ConjunctivePrincipal

All Superinterfaces:

ActsForParam, java.lang.Cloneable, polyglot.util.Copy<polyglot.types.TypeObject>, 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.

Nested Class Summary

Nested classes/interfaces inherited from interface polyglot.util.Copy

polyglot.util.Copy.Util

Method Summary

Modifier and Type	Method and Description
java.util.Set<Principal>	conjuncts()

Methods inherited from interface jif.types.principal.Principal

hasVariables, isBottomPrincipal, isTopPrincipal, labelCheck, simplify, subst, throwTypes, variables

Methods inherited from interface jif.types.ActsForParam

toJava

Methods inherited from interface jif.types.Param

isCanonical, isRuntimeRepresentable, typeSystem

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, position

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

conjuncts

java.util.Set<Principal> conjuncts()