Package com.github.javaparser.symbolsolver.resolution.typeinference

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(com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver)

Method Summary

Modifier and Type	Method	Description
void	functionalInterfaceParameterizationInference(com.github.javaparser.ast.expr.LambdaExpr lambdaExpr, com.github.javaparser.resolution.declarations.ResolvedInterfaceDeclaration interfaceDeclaration)
Optional<InstantiationSet>	instantiationInference(com.github.javaparser.ast.expr.MethodCallExpr methodCallExpr, com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration methodDeclaration)
Optional<InstantiationSet>	instantiationInference(List<com.github.javaparser.ast.expr.Expression> argumentExpressions, com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration methodDeclaration)
boolean	invocationApplicabilityInference(com.github.javaparser.ast.expr.MethodCallExpr methodCallExpr, com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration methodDeclaration)	Determine whether a potentially applicable generic method m is applicable for a method invocation that provides no explicit type arguments.
void	invocationTypeInference()
BoundSet	invocationTypeInferenceBoundsSetB3()
boolean	moreSpecificMethodInference(com.github.javaparser.ast.expr.MethodCallExpr methodCall, com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration m1, com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration m2)	Return if m2 is more specific than m1
static com.github.javaparser.resolution.MethodUsage	toMethodUsage(com.github.javaparser.ast.expr.MethodCallExpr call, com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration methodDeclaration, com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver)

Methods inherited from class java.lang.Object

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

Constructor Detail

TypeInference

public TypeInference(com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver)

Method Detail

toMethodUsage

public static com.github.javaparser.resolution.MethodUsage toMethodUsage(com.github.javaparser.ast.expr.MethodCallExpr call,
                                                                         com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration methodDeclaration,
                                                                         com.github.javaparser.symbolsolver.model.resolution.TypeSolver typeSolver)

instantiationInference

public Optional<InstantiationSet> instantiationInference(com.github.javaparser.ast.expr.MethodCallExpr methodCallExpr,
                                                         com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration methodDeclaration)

instantiationInference

public Optional<InstantiationSet> instantiationInference(List<com.github.javaparser.ast.expr.Expression> argumentExpressions,
                                                         com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration methodDeclaration)

invocationApplicabilityInference

public boolean invocationApplicabilityInference(com.github.javaparser.ast.expr.MethodCallExpr methodCallExpr,
                                                com.github.javaparser.resolution.declarations.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(com.github.javaparser.ast.expr.LambdaExpr lambdaExpr,
                                                         com.github.javaparser.resolution.declarations.ResolvedInterfaceDeclaration interfaceDeclaration)

moreSpecificMethodInference

public boolean moreSpecificMethodInference(com.github.javaparser.ast.expr.MethodCallExpr methodCall,
                                           com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration m1,
                                           com.github.javaparser.resolution.declarations.ResolvedMethodDeclaration m2)

Return if m2 is more specific than m1

Parameters:

methodCall -

m1 -

m2 -