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 java.lang.Object
implements TypeSubstitutions.TypeParamMapper

Created by covers1624 on 29/8/22.

Field Summary

Fields

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

Method Summary

Modifier and Type	Method and Description
boolean	equals(java.lang.Object obj)
static InferenceSolution	failure(java.lang.String reason)
boolean	hasFailed()
InferenceSolution	makeExplicit()
ReferenceType	mapParam(TypeParameter param) Map the given TypeParameter to a ReferenceType.
InferenceSolution	polyFailed(ReferenceType targetType)
static InferenceSolution	success(java.util.Map<TypeParameter,ReferenceType> map, AType retType, java.util.Map<AbstractInvoke,InferenceSolution> nested, java.util.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.TypeParamMapper

mapType

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

substFunc

Field Detail

map

public final java.util.Map<TypeParameter,ReferenceType> map

retType

public final AType retType

lambdaTypes

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

nested

public final java.util.Map<AbstractInvoke,InferenceSolution> nested

failureReason

@Nullable
public final @Nullable java.lang.String failureReason

hasRawArgs

public final boolean hasRawArgs

explicit

public final boolean explicit

polyFailed

@Nullable
public final @Nullable ReferenceType polyFailed

Method Detail

failure

public static InferenceSolution failure(java.lang.String reason)

success

public static InferenceSolution success(java.util.Map<TypeParameter,ReferenceType> map,
                                        AType retType,
                                        java.util.Map<AbstractInvoke,InferenceSolution> nested,
                                        java.util.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(java.lang.Object obj)

Overrides:

equals in class java.lang.Object