Class TypeInference
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference
The API exposed by the TypeInference subsystem.
- Author:
- Federico Tomassetti
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionvoid
functionalInterfaceParameterizationInference(LambdaExpr lambdaExpr, ResolvedInterfaceDeclaration interfaceDeclaration)
instantiationInference(MethodCallExpr methodCallExpr, ResolvedMethodDeclaration methodDeclaration)
instantiationInference(List<Expression> argumentExpressions, ResolvedMethodDeclaration methodDeclaration)
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.void
boolean
moreSpecificMethodInference(MethodCallExpr methodCall, ResolvedMethodDeclaration m1, ResolvedMethodDeclaration m2)
Return if m2 is more specific than m1static MethodUsage
toMethodUsage(MethodCallExpr call, ResolvedMethodDeclaration methodDeclaration, TypeSolver typeSolver)
-
Constructor Details
-
TypeInference
-
-
Method Details
-
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
-
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
-
-