public class InferenceSolution extends java.lang.Object implements TypeSubstitutions.TypeParamMapper
| 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 |
| 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) |
clone, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitmapTypesubstFuncpublic final java.util.Map<TypeParameter,ReferenceType> map
public final AType retType
public final java.util.List<org.apache.commons.lang3.tuple.Pair<MethodDecl,ReferenceType>> lambdaTypes
public final java.util.Map<AbstractInvoke,InferenceSolution> nested
@Nullable public final @Nullable java.lang.String failureReason
public final boolean hasRawArgs
public final boolean explicit
@Nullable public final @Nullable ReferenceType polyFailed
public static InferenceSolution failure(java.lang.String reason)
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)
public ReferenceType mapParam(TypeParameter param)
TypeSubstitutions.TypeParamMappermapParam in interface TypeSubstitutions.TypeParamMapperparam - The parameter to map.public InferenceSolution makeExplicit()
public InferenceSolution polyFailed(ReferenceType targetType)
public boolean hasFailed()
public boolean equals(java.lang.Object obj)
equals in class java.lang.Object