jltools.ext.jif.types
Interface ParamLabel

All Superinterfaces:

java.lang.Cloneable, Copy, Label, Param, java.io.Serializable, TypeObject

All Known Implementing Classes:

ParamLabel_c

public interface ParamLabel

extends Label

The label derived from a label paramter.

Method Summary

UID

uid()

Methods inherited from interface jltools.ext.jif.types.Label

bound, components, componentString, description, description, fold, hasVariables, isBottom, isComparable, isCovariant, isEnumerable, isEquiv, isInvariant, isMeetable, isSingleton, isTop, join, labelOf, leq_, leq, meet_, meet, minus, simplify, singletonComponent, subst, substArg, translate, variables

Methods inherited from interface jltools.ext.jif.types.Param

isCanonical, isRuntimeRepresentable

Methods inherited from interface jltools.types.TypeObject

position, restore, typeSystem

Methods inherited from interface jltools.util.Copy

copy

Method Detail

uid

public UID uid()