jif.types.label
Interface ThisLabel

All Superinterfaces:

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

All Known Implementing Classes:

ThisLabel_c

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

isCanonical

Methods inherited from interface polyglot.types.TypeObject

equalsImpl, position, typeSystem

Methods inherited from interface polyglot.util.Copy

copy

Method Detail

classType

polyglot.types.ReferenceType classType()