Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD

## 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
`JifClassType` | `classType()`

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

### classType

    JifClassType classType()

Overview | Package | Class | Tree | Deprecated | Index | Help
PREV CLASS NEXT CLASS | FRAMES NO FRAMES
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD