jif.types
Interface CovariantLabel

All Superinterfaces:

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

All Known Implementing Classes:

CovariantLabel_c

public interface CovariantLabel

extends Label

Covariant label.

Method Summary

UID

uid()

Methods inherited from interface jif.types.Label

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

Methods inherited from interface jif.types.Param

isCanonical, isRuntimeRepresentable

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

uid

public UID uid()