jif.types.label
Interface JoinLabel

All Superinterfaces:

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

All Known Implementing Classes:

JoinLabel_c

public interface JoinLabel
extends Label

The join of several labels.

Method Summary

java.util.Collection

joinComponents()

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

joinComponents

java.util.Collection joinComponents()