jif.types.label
Interface ParamLabel

All Superinterfaces:

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

All Known Implementing Classes:

ParamLabel_c

public interface ParamLabel

extends Label

The label derived from a label paramter.

Method Summary

ParamInstance

paramInstance()

Methods inherited from interface jif.types.label.Label

components, componentString, componentString, description, hasVariables, isBottom, isComparable, isCovariant, isDisambiguated, isEnumerable, isInvariant, isRuntimeRepresentable, isSingleton, isTop, join, labelCheck, leq_, setDescription, simplify, singletonComponent, subst, throwTypes, toJava, toString, 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

paramInstance

public ParamInstance paramInstance()