jif.types.label
Interface CovariantParamLabel

All Superinterfaces:
java.lang.Cloneable, polyglot.util.Copy, Label, Param, java.io.Serializable, polyglot.types.TypeObject
All Known Implementing Classes:
CovariantParamLabel_c

public interface CovariantParamLabel
extends Label

Covariant label.


Method Summary
 ParamInstance paramInstance()
           
 
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

paramInstance

ParamInstance paramInstance()