Package net.covers1624.coffeegrinder.type

Class TypeSubstitutions

java.lang.Object

net.covers1624.coffeegrinder.type.TypeSubstitutions

public class TypeSubstitutions
extends Object

Helpers for applying type substitutions.

Created by covers1624 on 2/5/22.

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	TypeSubstitutions.TypeMapper
static interface	TypeSubstitutions.TypeParamMapper
static interface	TypeSubstitutions.TypeSubstApplier

Constructor Summary

Constructors

Constructor	Description
TypeSubstitutions()

Method Summary

Modifier and Type	Method	Description
static Field	applyOwnerParameterization(ParameterizedClass owner, Field field)	Parameterize the given field.
static Method	applyOwnerParameterization(ParameterizedClass owner, Method method)
static Method	parameterize(ClassType owner, Method method, TypeSubstitutions.TypeParamMapper mapper)	Parameterize the given method.
static AType	subst(AType type, TypeSubstitutions.TypeMapper mapper)	Apply the substitutions given by the provided mapper recursively.
static ClassType	subst(ClassType type, TypeSubstitutions.TypeMapper mapper)	Apply the substitutions given by the provided mapper recursively.
static ReferenceType	subst(ReferenceType type, TypeSubstitutions.TypeMapper mapper)	Apply the substitutions given by the provided mapper recursively.

Methods inherited from class java.lang.Object

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

Constructor Details

TypeSubstitutions

public TypeSubstitutions()

Method Details

subst

public static AType subst(AType type,
 TypeSubstitutions.TypeMapper mapper)

Apply the substitutions given by the provided mapper recursively.

Parameters:

type - The input type.

mapper - The TypeSubstitutions.TypeMapper.

Returns:

The substituted type.

subst

public static ReferenceType subst(ReferenceType type,
 TypeSubstitutions.TypeMapper mapper)

Apply the substitutions given by the provided mapper recursively.

Parameters:

type - The input type.

mapper - The TypeSubstitutions.TypeMapper.

Returns:

The substituted type.

subst

public static ClassType subst(ClassType type,
 TypeSubstitutions.TypeMapper mapper)

Apply the substitutions given by the provided mapper recursively.

Parameters:

type - The input type.

mapper - The TypeSubstitutions.TypeMapper.

Returns:

The substituted type.

applyOwnerParameterization

public static Field applyOwnerParameterization(ParameterizedClass owner,
 Field field)

Parameterize the given field.

Parameters:

owner - The owner of the field. (where it is declared)

field - The field to parameterize.

Returns:

The parameterized field. May return the same field passed in if no substitutions were made.

applyOwnerParameterization

public static Method applyOwnerParameterization(ParameterizedClass owner,
 Method method)

parameterize

public static Method parameterize(ClassType owner,
 Method method,
 TypeSubstitutions.TypeParamMapper mapper)

Parameterize the given method.

Parameters:

owner - The owner of the method. (where it is declared)

method - The method to parameterize.

mapper - The TypeSubstitutions.TypeMapper to apply.

Returns:

The parameterized method.