Package net.covers1624.coffeegrinder.bytecode.transform.transformers.generics

Class InferenceSolution

java.lang.Object

net.covers1624.coffeegrinder.bytecode.transform.transformers.generics.InferenceSolution

All Implemented Interfaces:

TypeSubstitutions.TypeMapper, TypeSubstitutions.TypeParamMapper

public class InferenceSolution
extends Object
implements TypeSubstitutions.TypeParamMapper

Created by covers1624 on 29/8/22.

Field Summary

Fields

Modifier and Type	Field	Description
final boolean	explicit
final @Nullable String	failureReason
final boolean	hasRawArgs
final List<org.apache.commons.lang3.tuple.Pair<MethodDecl,ReferenceType>>	lambdaTypes
final Map<TypeParameter,ReferenceType>	map
final Map<AbstractInvoke,InferenceSolution>	nested
final @Nullable ReferenceType	polyFailed
final AType	retType

Method Summary

Modifier and Type	Method	Description
boolean	equals(Object obj)
static InferenceSolution	failure(String reason)
boolean	hasFailed()
InferenceSolution	makeExplicit()
ReferenceType	mapParam(TypeParameter param)	Map the given TypeParameter to a ReferenceType.
InferenceSolution	polyFailed(ReferenceType targetType)
static InferenceSolution	success(Map<TypeParameter,ReferenceType> map, AType retType, Map<AbstractInvoke,InferenceSolution> nested, List<org.apache.commons.lang3.tuple.Pair<MethodDecl,ReferenceType>> lambdaTypes, boolean hasRawArgs)

Methods inherited from class java.lang.Object

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

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

substFunc

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

mapType

Field Details

map

public final Map<TypeParameter,ReferenceType> map

retType

public final AType retType

lambdaTypes

public final List<org.apache.commons.lang3.tuple.Pair<MethodDecl,ReferenceType>> lambdaTypes

nested

public final Map<AbstractInvoke,InferenceSolution> nested

failureReason

@Nullable
public final @Nullable String failureReason

hasRawArgs

public final boolean hasRawArgs

explicit

public final boolean explicit

polyFailed

@Nullable
public final @Nullable ReferenceType polyFailed

Method Details

failure

public static InferenceSolution failure(String reason)

success

public static InferenceSolution success(Map<TypeParameter,ReferenceType> map,
 AType retType,
 Map<AbstractInvoke,InferenceSolution> nested,
 List<org.apache.commons.lang3.tuple.Pair<MethodDecl,ReferenceType>> lambdaTypes,
 boolean hasRawArgs)

mapParam

public ReferenceType mapParam(TypeParameter param)

Description copied from interface: TypeSubstitutions.TypeParamMapper

Map the given TypeParameter to a ReferenceType.

May produce an identity mapping.

Specified by:

mapParam in interface TypeSubstitutions.TypeParamMapper

Parameters:

param - The parameter to map.

Returns:

The result.

makeExplicit

public InferenceSolution makeExplicit()

polyFailed

public InferenceSolution polyFailed(ReferenceType targetType)

hasFailed

public boolean hasFailed()

equals

public boolean equals(Object obj)

Overrides:

equals in class Object