Class TypeInference
- java.lang.Object
-
- com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference
-
public class TypeInference extends Object
The API exposed by the TypeInference subsystem.- Author:
- Federico Tomassetti
-
-
Constructor Summary
Constructors Constructor Description TypeInference(TypeSolver typeSolver)
-
Method Summary
-
-
-
Constructor Detail
-
TypeInference
public TypeInference(TypeSolver typeSolver)
-
-
Method Detail
-
toMethodUsage
public static MethodUsage toMethodUsage(MethodCallExpr call, ResolvedMethodDeclaration methodDeclaration, TypeSolver typeSolver)
-
instantiationInference
public Optional<InstantiationSet> instantiationInference(MethodCallExpr methodCallExpr, ResolvedMethodDeclaration methodDeclaration)
-
instantiationInference
public Optional<InstantiationSet> instantiationInference(List<Expression> argumentExpressions, ResolvedMethodDeclaration methodDeclaration)
-
invocationApplicabilityInference
public boolean invocationApplicabilityInference(MethodCallExpr methodCallExpr, ResolvedMethodDeclaration methodDeclaration)
Determine whether a potentially applicable generic method m is applicable for a method invocation that provides no explicit type arguments.
-
invocationTypeInferenceBoundsSetB3
public BoundSet invocationTypeInferenceBoundsSetB3()
-
invocationTypeInference
public void invocationTypeInference()
-
functionalInterfaceParameterizationInference
public void functionalInterfaceParameterizationInference(LambdaExpr lambdaExpr, ResolvedInterfaceDeclaration interfaceDeclaration)
-
moreSpecificMethodInference
public boolean moreSpecificMethodInference(MethodCallExpr methodCall, ResolvedMethodDeclaration m1, ResolvedMethodDeclaration m2)
Return if m2 is more specific than m1- Parameters:
methodCall
-m1
-m2
-
-
-