Class ExpressionCompatibleWithType
java.lang.Object
com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType
An expression is compatible in a loose invocation context with type T
-
Nested Class Summary
Nested classes/interfaces inherited from class com.github.javaparser.symbolsolver.resolution.typeinference.ConstraintFormula
ConstraintFormula.ReductionResult
-
Field Summary
Fields -
Constructor Summary
ConstructorsConstructorDescriptionExpressionCompatibleWithType
(TypeSolver typeSolver, Expression expression, ResolvedType T) -
Method Summary
Modifier and TypeMethodDescriptionboolean
private List
<Expression> getAllReturnExpressions
(BlockStmt blockStmt) private List
<Expression> getResultExpressions
(BlockStmt blockStmt) int
hashCode()
private boolean
isCompatibleInAssignmentContext
(Expression expression, ResolvedType type, TypeSolver typeSolver) private boolean
isValueCompatibleBlock
(Statement statement) A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set.private ResolvedType
replaceTypeVariablesWithInferenceVariables
(ResolvedType originalType, Map<ResolvedTypeVariable, InferenceVariable> correspondences) private MethodType
replaceTypeVariablesWithInferenceVariables
(MethodType methodType) toString()
-
Field Details
-
typeSolver
-
expression
-
T
-
-
Constructor Details
-
ExpressionCompatibleWithType
-
-
Method Details
-
reduce
Description copied from class:ConstraintFormula
A formula is reduced to one or both of: i) A bound or bound set, which is to be incorporated with the "current" bound set. Initially, the current bound set is empty. ii) Further constraint formulas, which are to be reduced recursively.- Specified by:
reduce
in classConstraintFormula
-
getResultExpressions
-
isCompatibleInAssignmentContext
private boolean isCompatibleInAssignmentContext(Expression expression, ResolvedType type, TypeSolver typeSolver) -
getAllReturnExpressions
-
isValueCompatibleBlock
-
equals
-
hashCode
public int hashCode() -
toString
-
replaceTypeVariablesWithInferenceVariables
-
replaceTypeVariablesWithInferenceVariables
private ResolvedType replaceTypeVariablesWithInferenceVariables(ResolvedType originalType, Map<ResolvedTypeVariable, InferenceVariable> correspondences)
-