jif.types.label
Interface ArgLabel

All Superinterfaces:

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

All Known Implementing Classes:

ArgLabel_c

public interface ArgLabel
extends Label

This label is used as a place-holder for method argument labels. The purpose is to avoid having to re-interpret labels at each call.

Method Summary

polyglot.types.VarInstance	formalInstance()
void	setUpperBound(Label upperBound)
Label	upperBound()

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

formalInstance

polyglot.types.VarInstance formalInstance()

upperBound

Label upperBound()

setUpperBound

void setUpperBound(Label upperBound)