jif.types.label
Interface VarLabel

All Superinterfaces:

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

All Known Implementing Classes:

VarLabel_c

public interface VarLabel
extends Label, Variable

The variable label.

Method Summary

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

Methods inherited from interface jif.types.label.Variable

mustRuntimeRepresentable, name, setMustRuntimeRepresentable