Interface ThisLabel

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

public interface ThisLabel
extends Label

This label is used as a place-holder for the "this" label. It can be regarded as being similar to an ArgLabel, as it is substituted away at every field access and method call. In the context of a class, it represents how much information may be gained by knowing the reference to the "this" object, i.e., it is the label of the special "this".

Method Summary
 polyglot.types.ReferenceType classType()
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
Methods inherited from interface polyglot.types.TypeObject
equalsImpl, position, typeSystem
Methods inherited from interface polyglot.util.Copy

Method Detail


polyglot.types.ReferenceType classType()