jmlparser-symbol-solver-core/com.github.javaparser.symbolsolver.resolution.typeinference/TypeInference

TypeInference

open class TypeInference(source)

The API exposed by the TypeInference subsystem.

Author

Federico Tomassetti

Constructors

constructor(typeSolver: TypeSolver)

Functions

functionalInterfaceParameterizationInference

open fun functionalInterfaceParameterizationInference(lambdaExpr: LambdaExpr, interfaceDeclaration: ResolvedInterfaceDeclaration)

instantiationInference

open fun instantiationInference(methodCallExpr: MethodCallExpr, methodDeclaration: ResolvedMethodDeclaration): Optional<InstantiationSet>

Public instance methods

open fun instantiationInference(argumentExpressions: List<Expression>, methodDeclaration: ResolvedMethodDeclaration): Optional<InstantiationSet>

invocationApplicabilityInference

open fun invocationApplicabilityInference(methodCallExpr: MethodCallExpr, methodDeclaration: ResolvedMethodDeclaration): Boolean

Determine whether a potentially applicable generic method m is applicable for a method invocation that provides no explicit type arguments.

invocationTypeInference

open fun invocationTypeInference()

invocationTypeInferenceBoundsSetB3

open fun invocationTypeInferenceBoundsSetB3(): BoundSet

moreSpecificMethodInference

open fun moreSpecificMethodInference(methodCall: MethodCallExpr, m1: ResolvedMethodDeclaration, m2: ResolvedMethodDeclaration): Boolean

Return if m2 is more specific than m1

open fun toMethodUsage(call: MethodCallExpr, methodDeclaration: ResolvedMethodDeclaration, typeSolver: TypeSolver): MethodUsage

Public static methods