Package net.covers1624.coffeegrinder.type

Class CapturedTypeVar

java.lang.Object

net.covers1624.coffeegrinder.type.AType

net.covers1624.coffeegrinder.type.ReferenceType

net.covers1624.coffeegrinder.type.TypeVariable

net.covers1624.coffeegrinder.type.CapturedTypeVar

public abstract class CapturedTypeVar
extends TypeVariable

Created by covers1624 on 25/4/22.

Field Summary

Fields

Modifier and Type	Field	Description
final int	id
final TypeParameter	orig
final WildcardType	wildcard

Constructor Summary

Constructors

Constructor	Description
CapturedTypeVar(TypeParameter orig, WildcardType wildcard)

Method Summary

Modifier and Type	Method	Description
String	debug(ITypePrinter printer)
ReferenceType	getLowerBound()
abstract CapturedTypeVar	map(TypeSubstitutions.TypeMapper map)
String	toIdentifierString()

Methods inherited from class net.covers1624.coffeegrinder.type.TypeVariable

getSuperType, getUpperBound

Methods inherited from class net.covers1624.coffeegrinder.type.ReferenceType

getAllMethods, getDirectSuperTypes, getFunctionalInterfaceMethod, getMethods, mentions, resolveField, resolveMethod

Methods inherited from class net.covers1624.coffeegrinder.type.AType

toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Details

id

public final int id

orig

public final TypeParameter orig

wildcard

public final WildcardType wildcard

Constructor Details

CapturedTypeVar

public CapturedTypeVar(TypeParameter orig,
 WildcardType wildcard)

Method Details

getLowerBound

public ReferenceType getLowerBound()

Overrides:

getLowerBound in class ReferenceType

toIdentifierString

public String toIdentifierString()

Specified by:

toIdentifierString in class AType

Returns:

A simple non-recursive 'identifier' for this type

debug

public String debug(ITypePrinter printer)

Overrides:

debug in class AType

map

public abstract CapturedTypeVar map(TypeSubstitutions.TypeMapper map)