jif.types.label
Interface MeetLabel

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

public interface MeetLabel
extends Label

The meet of several labels.


Method Summary
 java.util.Set meetComponents()
           
 
Methods inherited from interface jif.types.label.Label
componentString, componentString, confProjection, description, hasVariableComponents, hasVariables, hasWritersToReaders, integProjection, isBottom, isComparable, isCovariant, isDisambiguated, isEnumerable, isInvariant, isRuntimeRepresentable, isTop, labelCheck, leq_, normalize, setDescription, simplify, subst, throwTypes, toJava, toString, variableComponents, variables
 
Methods inherited from interface jif.types.Param
isCanonical
 
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, position, typeSystem
 
Methods inherited from interface polyglot.util.Copy
copy
 

Method Detail

meetComponents

java.util.Set meetComponents()