jif.types.label

## Interface ThisLabel

- All Superinterfaces:
    ActsForParam, java.lang.Cloneable, polyglot.util.Copy<polyglot.types.TypeObject>, 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".

- - ### Nested Class Summary

    - ### Nested classes/interfaces inherited from interface polyglot.util.Copy

      `polyglot.util.Copy.Util`

  - ### Method Summary

    All Methods Instance Methods Abstract Methods
    Modifier and Type | Method and Description
    --- | ---
    `polyglot.types.ReferenceType` | `classType()`

    - ### Methods inherited from interface jif.types.label.Label

      `componentString, componentString, confProjection, copy, description, hasVariableComponents, hasVariables, hasWritersToReaders, integProjection, isBottom, isComparable, isCovariant, isDisambiguated, isEnumerable, isInvariant, isRuntimeRepresentable, isTop, labelCheck, leq_, normalize, setDescription, simplify, subst, throwTypes, toJava, toString, toString, variableComponents, variables`

    - ### Methods inherited from interface jif.types.ActsForParam

      `toJava`

    - ### Methods inherited from interface jif.types.Param

      `isCanonical, typeSystem`

    - ### Methods inherited from interface polyglot.types.TypeObject

      `equalsImpl, position`

- - ### Method Detail

    - #### classType

          polyglot.types.ReferenceType classType()