Class TypeInference

java.lang.Object

com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference

public class TypeInference
extends Object

The API exposed by the TypeInference subsystem.

Field Summary

Fields

Modifier and Type	Field	Description
private final ResolvedType	object
private TypeSolver	typeSolver

Constructor Summary

Constructors

Constructor	Description
TypeInference(TypeSolver typeSolver)

Method Summary

Modifier and Type	Method	Description
private boolean	appearInThrowsClause(ResolvedTypeParameterDeclaration p, ResolvedMethodDeclaration methodDeclaration)
private BoundSet	boundSetup(List<ResolvedTypeParameterDeclaration> typeParameterDeclarations, List<InferenceVariable> inferenceVariables)	When inference begins, a bound set is typically generated from a list of type parameter declarations P1, ..., Pp and associated inference variables α1, ..., αp
private ConstraintFormulaSet	constraintSetFromArgumentsSubstitution(List<ResolvedType> Fs, List<Expression> es, Substitution theta, int k)
private List<ResolvedType>	formalParameterTypes(ResolvedMethodDeclaration methodDeclaration)
void	functionalInterfaceParameterizationInference(LambdaExpr lambdaExpr, ResolvedInterfaceDeclaration interfaceDeclaration)
Optional<InstantiationSet>	instantiationInference(MethodCallExpr methodCallExpr, ResolvedMethodDeclaration methodDeclaration)	Public instance methods
Optional<InstantiationSet>	instantiationInference(List<Expression> argumentExpressions, ResolvedMethodDeclaration methodDeclaration)
private static MethodUsage	instantiationSetToMethodUsage(ResolvedMethodDeclaration methodDeclaration, InstantiationSet instantiationSet)	Private static methods
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	invocationTypeInference()
BoundSet	invocationTypeInferenceBoundsSetB3()
private boolean	isImplicitlyTyped(LambdaExpr lambdaExpr)
private boolean	isInexact(MethodReferenceExpr methodReferenceExpr)
private boolean	isPertinentToApplicability(Expression argument)
boolean	moreSpecificMethodInference(MethodCallExpr methodCall, ResolvedMethodDeclaration m1, ResolvedMethodDeclaration m2)	Return if m2 is more specific than m1
private Optional<ConstraintFormulaSet>	testForApplicabilityByLooseInvocation(List<ResolvedType> Fs, List<Expression> es, Substitution theta)
private Optional<ConstraintFormulaSet>	testForApplicabilityByStrictInvocation(List<ResolvedType> Fs, List<Expression> es, Substitution theta)
private Optional<ConstraintFormulaSet>	testForApplicabilityByVariableArityInvocation(List<ResolvedType> Fs, List<Expression> es, Substitution theta)
static MethodUsage	toMethodUsage(MethodCallExpr call, ResolvedMethodDeclaration methodDeclaration, TypeSolver typeSolver)	Public static methods
private ResolvedType	typeWithSubstitution(ResolvedType originalType, Substitution substitution)

Methods inherited from class Object

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

Field Details

object

private final ResolvedType object

typeSolver

private TypeSolver typeSolver

Constructor Details

TypeInference

public TypeInference(TypeSolver typeSolver)

Method Details

toMethodUsage

public static MethodUsage toMethodUsage(MethodCallExpr call,
 ResolvedMethodDeclaration methodDeclaration,
 TypeSolver typeSolver)

Public static methods

instantiationInference

public Optional<InstantiationSet> instantiationInference(MethodCallExpr methodCallExpr,
 ResolvedMethodDeclaration methodDeclaration)

Public instance methods

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 -

instantiationSetToMethodUsage

private static MethodUsage instantiationSetToMethodUsage(ResolvedMethodDeclaration methodDeclaration,
 InstantiationSet instantiationSet)

Private static methods

boundSetup

private BoundSet boundSetup(List<ResolvedTypeParameterDeclaration> typeParameterDeclarations,
 List<InferenceVariable> inferenceVariables)

When inference begins, a bound set is typically generated from a list of type parameter declarations P1, ..., Pp and associated inference variables α1, ..., αp

Parameters:

typeParameterDeclarations -

inferenceVariables -

Returns:

appearInThrowsClause

private boolean appearInThrowsClause(ResolvedTypeParameterDeclaration p,
 ResolvedMethodDeclaration methodDeclaration)

formalParameterTypes

private List<ResolvedType> formalParameterTypes(ResolvedMethodDeclaration methodDeclaration)

isImplicitlyTyped

private boolean isImplicitlyTyped(LambdaExpr lambdaExpr)

isInexact

private boolean isInexact(MethodReferenceExpr methodReferenceExpr)

isPertinentToApplicability

private boolean isPertinentToApplicability(Expression argument)

testForApplicabilityByStrictInvocation

private Optional<ConstraintFormulaSet> testForApplicabilityByStrictInvocation(List<ResolvedType> Fs,
 List<Expression> es,
 Substitution theta)

typeWithSubstitution

private ResolvedType typeWithSubstitution(ResolvedType originalType,
 Substitution substitution)

testForApplicabilityByLooseInvocation

private Optional<ConstraintFormulaSet> testForApplicabilityByLooseInvocation(List<ResolvedType> Fs,
 List<Expression> es,
 Substitution theta)

constraintSetFromArgumentsSubstitution

private ConstraintFormulaSet constraintSetFromArgumentsSubstitution(List<ResolvedType> Fs,
 List<Expression> es,
 Substitution theta,
 int k)

testForApplicabilityByVariableArityInvocation

private Optional<ConstraintFormulaSet> testForApplicabilityByVariableArityInvocation(List<ResolvedType> Fs,
 List<Expression> es,
 Substitution theta)