net.covers1624.coffeegrinder.type

Interface TypeSubstitutions.TypeParamMapper

All Superinterfaces:

TypeSubstitutions.TypeMapper

All Known Implementing Classes:

InferenceSolution, ParameterizedClass

Enclosing class:

TypeSubstitutions

public static interface TypeSubstitutions.TypeParamMapper
extends TypeSubstitutions.TypeMapper

Method Summary

Modifier and Type	Method and Description
ReferenceType	mapParam(TypeParameter param) Map the given TypeParameter to a ReferenceType.
default ReferenceType	mapType(ReferenceType type) Optionally substitute every type.

Methods inherited from interface net.covers1624.coffeegrinder.type.TypeSubstitutions.TypeMapper

substFunc

Method Detail

mapType

default ReferenceType mapType(ReferenceType type)

Description copied from interface: TypeSubstitutions.TypeMapper

Optionally substitute every type.

May produce an identity mapping.

Specified by:

mapType in interface TypeSubstitutions.TypeMapper

Parameters:

type - The type to substitute.

Returns:

The substituted type.

mapParam

ReferenceType mapParam(TypeParameter param)

Map the given TypeParameter to a ReferenceType.

May produce an identity mapping.

Parameters:

param - The parameter to map.

Returns:

The result.