|
Change Parameter Type type : Type to type : ResolvedType in method public usedInferenceVariables(type ResolvedType) : Set<InferenceVariable> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type s : Type to s : ResolvedType in method public TypeSameAsType(s ResolvedType, t ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSameAsType |
From |
To |
|
Change Parameter Type t : Type to t : ResolvedType in method public TypeCompatibleWithType(typeSolver TypeSolver, s ResolvedType, t ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeCompatibleWithType |
From |
To |
|
Change Parameter Type s : Type to s : ResolvedType in method private areCompatibleThroughWideningPrimitiveConversion(s ResolvedType, t ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type originalType : Type to originalType : ResolvedType in method public apply(originalType ResolvedType) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.Substitution |
From |
To |
|
Change Parameter Type m2 : MethodDeclaration to m2 : ResolvedMethodDeclaration in method public moreSpecificMethodInference(methodCall MethodCallExpr, m1 ResolvedMethodDeclaration, m2 ResolvedMethodDeclaration) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type s : Type to s : ResolvedType in method public isCompatibleInALooseInvocationContext(s ResolvedType, t ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type Fs : List<Type> to Fs : List<ResolvedType> in method private testForApplicabilityByLooseInvocation(Fs List<ResolvedType>, es List<Expression>, theta Substitution) : Optional<ConstraintFormulaSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type a : Type to a : ResolvedType in method private areSameTypeInference(a ResolvedType, b ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Parameter Type Fs : List<Type> to Fs : List<ResolvedType> in method private constraintSetFromArgumentsSubstitution(Fs List<ResolvedType>, es List<Expression>, theta Substitution, k int) : ConstraintFormulaSet in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type originalType : Type to originalType : ResolvedType in method private replaceTypeVariablesWithInferenceVariables(originalType ResolvedType, correspondences Map<ResolvedTypeVariable,InferenceVariable>) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Parameter Type methodDeclaration : MethodDeclaration to methodDeclaration : ResolvedMethodDeclaration in method public toMethodUsage(call MethodCallExpr, methodDeclaration ResolvedMethodDeclaration, typeSolver TypeSolver) : MethodUsage in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type t : Type to t : ResolvedType in method public SubtypeOfBound(s ResolvedType, t ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SubtypeOfBound |
From |
To |
|
Change Parameter Type referenceType : ReferenceType to referenceType : ResolvedReferenceType in method private toUnboxedType(referenceType ResolvedReferenceType) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type originalType : ReferenceType to originalType : ResolvedReferenceType in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type t : Type to t : ResolvedType in method private areCompatibleThroughWideningReferenceConversion(s ResolvedType, t ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type methodDeclaration : MethodDeclaration to methodDeclaration : ResolvedMethodDeclaration in method public instantiationInference(methodCallExpr MethodCallExpr, methodDeclaration ResolvedMethodDeclaration) : Optional<InstantiationSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type type : Type to type : ResolvedType in method public apply(type ResolvedType) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.InstantiationSet |
From |
To |
|
Change Parameter Type properType : Type to properType : ResolvedType in method public ProperUpperBound(inferenceVariable InferenceVariable, properType ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.ProperUpperBound |
From |
To |
|
Change Parameter Type s : Type to s : ResolvedType in method public SameAsBound(s ResolvedType, t ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SameAsBound |
From |
To |
|
Change Parameter Type type : Type to type : ResolvedType in method public record(typeSolver TypeSolver, lambdaExpr LambdaExpr, paramName String, type ResolvedType) : void in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInferenceCache |
From |
To |
|
Change Parameter Type r2 : ReferenceType to r2 : ResolvedReferenceType in method private findPairsOfCommonAncestors(r1 ResolvedReferenceType, r2 ResolvedReferenceType) : List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Parameter Type methodDeclaration : MethodDeclaration to methodDeclaration : ResolvedMethodDeclaration in method public instantiationInference(argumentExpressions List<Expression>, methodDeclaration ResolvedMethodDeclaration) : Optional<InstantiationSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type methodDeclaration : MethodDeclaration to methodDeclaration : ResolvedMethodDeclaration in method public invocationApplicabilityInference(methodCallExpr MethodCallExpr, methodDeclaration ResolvedMethodDeclaration) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type properType : Type to properType : ResolvedType in method public ProperLowerBound(inferenceVariable InferenceVariable, properType ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.ProperLowerBound |
From |
To |
|
Change Parameter Type correspondences : Map<TypeVariable,InferenceVariable> to correspondences : Map<ResolvedTypeVariable,InferenceVariable> in method private replaceTypeVariablesWithInferenceVariables(originalType ResolvedType, correspondences Map<ResolvedTypeVariable,InferenceVariable>) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Parameter Type b : Type to b : ResolvedType in method private areSameTypeInference(a ResolvedType, b ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Parameter Type r1 : ReferenceType to r1 : ResolvedReferenceType in method private findPairsOfCommonAncestors(r1 ResolvedReferenceType, r2 ResolvedReferenceType) : List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Parameter Type type : Type to type : ResolvedType in method public isInferenceVariable(type ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type types : Set<Type> to types : Set<ResolvedType> in method public leastUpperBound(types Set<ResolvedType>) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type type : Type to type : ResolvedType in method public isCompatibleInAssignmentContext(expression Expression, type ResolvedType, typeSolver TypeSolver) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.ExpressionHelper |
From |
To |
|
Change Parameter Type s : Type to s : ResolvedType in method public TypeCompatibleWithType(typeSolver TypeSolver, s ResolvedType, t ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeCompatibleWithType |
From |
To |
|
Change Parameter Type T : Type to T : ResolvedType in method public ExpressionCompatibleWithType(typeSolver TypeSolver, expression Expression, T ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Parameter Type referenceType : Type to referenceType : ResolvedType in method private isUnboxable(referenceType ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type m1 : MethodDeclaration to m1 : ResolvedMethodDeclaration in method public moreSpecificMethodInference(methodCall MethodCallExpr, m1 ResolvedMethodDeclaration, m2 ResolvedMethodDeclaration) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type t : Type to t : ResolvedType in method private areCompatibleThroughWideningPrimitiveConversion(s ResolvedType, t ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type T : Type to T : ResolvedType in method public groundTargetTypeOfLambda(lambdaExpr LambdaExpr, T ResolvedType, typeSolver TypeSolver) : Pair<ResolvedType,Boolean> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type typeParameterDeclaration : TypeParameterDeclaration to typeParameterDeclaration : ResolvedTypeParameterDeclaration in method public withPair(typeParameterDeclaration ResolvedTypeParameterDeclaration, type ResolvedType) : Substitution in class com.github.javaparser.symbolsolver.resolution.typeinference.Substitution |
From |
To |
|
Change Parameter Type typeParameterDeclarations : List<TypeParameterDeclaration> to typeParameterDeclarations : List<ResolvedTypeParameterDeclaration> in method private boundSetup(typeParameterDeclarations List<ResolvedTypeParameterDeclaration>, inferenceVariables List<InferenceVariable>) : BoundSet in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type type : Type to type : ResolvedType in method public withPair(typeParameterDeclaration ResolvedTypeParameterDeclaration, type ResolvedType) : Substitution in class com.github.javaparser.symbolsolver.resolution.typeinference.Substitution |
From |
To |
|
Change Parameter Type methodDeclaration : MethodDeclaration to methodDeclaration : ResolvedMethodDeclaration in method private instantiationSetToMethodUsage(methodDeclaration ResolvedMethodDeclaration, instantiationSet InstantiationSet) : MethodUsage in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type type : Type to type : ResolvedType in method public withPair(inferenceVariable InferenceVariable, type ResolvedType) : InferenceVariableSubstitution in class com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariableSubstitution |
From |
To |
|
Change Parameter Type methodDeclaration : MethodDeclaration to methodDeclaration : ResolvedMethodDeclaration in method private appearInThrowsClause(p ResolvedTypeParameterDeclaration, methodDeclaration ResolvedMethodDeclaration) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type type : Type to type : ResolvedType in method public getFunctionType(type ResolvedType) : MethodType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type t : Type to t : ResolvedType in method public SameAsBound(s ResolvedType, t ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SameAsBound |
From |
To |
|
Change Parameter Type s : Type to s : ResolvedType in method private areCompatibleThroughWideningReferenceConversion(s ResolvedType, t ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type Fs : List<Type> to Fs : List<ResolvedType> in method private testForApplicabilityByStrictInvocation(Fs List<ResolvedType>, es List<Expression>, theta Substitution) : Optional<ConstraintFormulaSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type s : Type to s : ResolvedType in method public SubtypeOfBound(s ResolvedType, t ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SubtypeOfBound |
From |
To |
|
Change Parameter Type t : Type to t : ResolvedType in method public TypeSameAsType(s ResolvedType, t ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSameAsType |
From |
To |
|
Change Parameter Type t : Type to t : ResolvedType in method public isCompatibleInALooseInvocationContext(s ResolvedType, t ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type S : Type to S : ResolvedType in method public TypeSubtypeOfType(typeSolver TypeSolver, S ResolvedType, T ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSubtypeOfType |
From |
To |
|
Change Parameter Type t : Type to t : ResolvedType in method public isCompatibleInALooseInvocationContext(typeSolver TypeSolver, expression Expression, t ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type t : Type to t : ResolvedType in method public isCompatibleInAStrictInvocationContext(expression Expression, t ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type Fs : List<Type> to Fs : List<ResolvedType> in method private testForApplicabilityByVariableArityInvocation(Fs List<ResolvedType>, es List<Expression>, theta Substitution) : Optional<ConstraintFormulaSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type types : Set<Type> to types : Set<ResolvedType> in method public glb(types Set<ResolvedType>) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type T : Type to T : ResolvedType in method public TypeSubtypeOfType(typeSolver TypeSolver, S ResolvedType, T ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSubtypeOfType |
From |
To |
|
Change Parameter Type p : TypeParameterDeclaration to p : ResolvedTypeParameterDeclaration in method private appearInThrowsClause(p ResolvedTypeParameterDeclaration, methodDeclaration ResolvedMethodDeclaration) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type typesOrWildcards : List<Type> to typesOrWildcards : List<ResolvedType> in method public CapturesBound(inferenceVariables List<InferenceVariable>, typesOrWildcards List<ResolvedType>) in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.CapturesBound |
From |
To |
|
Change Parameter Type methodDeclaration : MethodDeclaration to methodDeclaration : ResolvedMethodDeclaration in method private formalParameterTypes(methodDeclaration ResolvedMethodDeclaration) : List<ResolvedType> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type primitiveType : PrimitiveType to primitiveType : ResolvedPrimitiveType in method private toBoxedType(primitiveType ResolvedPrimitiveType) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Parameter Type properType : Type to properType : ResolvedType in method public Instantiation(inferenceVariable InferenceVariable, properType ResolvedType) in class com.github.javaparser.symbolsolver.resolution.typeinference.Instantiation |
From |
To |
|
Change Parameter Type originalType : Type to originalType : ResolvedType in method private typeWithSubstitution(originalType ResolvedType, substitution Substitution) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type interfaceDeclaration : InterfaceDeclaration to interfaceDeclaration : ResolvedInterfaceDeclaration in method public functionalInterfaceParameterizationInference(lambdaExpr LambdaExpr, interfaceDeclaration ResolvedInterfaceDeclaration) : void in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Parameter Type type : Type to type : ResolvedType in method public isProperType(type ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Return Type List<Type> to List<ResolvedType> in method private formalParameterTypes(methodDeclaration ResolvedMethodDeclaration) : List<ResolvedType> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Return Type Optional<Type> to Optional<ResolvedType> in method public retrieve(typeSolver TypeSolver, lambdaExpr LambdaExpr, paramName String) : Optional<ResolvedType> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInferenceCache |
From |
To |
|
Change Return Type Type to ResolvedType in method private replaceTypeVariablesWithInferenceVariables(originalType ResolvedType, correspondences Map<ResolvedTypeVariable,InferenceVariable>) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Return Type Type to ResolvedType in method public getT() : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SubtypeOfBound |
From |
To |
|
Change Return Type Type to ResolvedType in method private toUnboxedType(referenceType ResolvedReferenceType) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Return Type Type to ResolvedType in method public getProperType() : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.ProperLowerBound |
From |
To |
|
Change Return Type Type to ResolvedType in method public apply(originalType ResolvedType) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.Substitution |
From |
To |
|
Change Return Type ReferenceType to ResolvedReferenceType in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Return Type Type to ResolvedType in method public getProperType() : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.Instantiation |
From |
To |
|
Change Return Type Type to ResolvedType in method private typeWithSubstitution(originalType ResolvedType, substitution Substitution) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Return Type Type to ResolvedType in method private toBoxedType(primitiveType ResolvedPrimitiveType) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Return Type List<Pair<ReferenceType,ReferenceType>> to List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in method private findPairsOfCommonAncestors(r1 ResolvedReferenceType, r2 ResolvedReferenceType) : List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Return Type Type to ResolvedType in method public getS() : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SubtypeOfBound |
From |
To |
|
Change Return Type Type to ResolvedType in method public getS() : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SameAsBound |
From |
To |
|
Change Return Type Pair<Type,Boolean> to Pair<ResolvedType,Boolean> in method public groundTargetTypeOfLambda(lambdaExpr LambdaExpr, T ResolvedType, typeSolver TypeSolver) : Pair<ResolvedType,Boolean> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Return Type Type to ResolvedType in method public getProperType() : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.ProperUpperBound |
From |
To |
|
Change Return Type Type to ResolvedType in method public apply(type ResolvedType) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.InstantiationSet |
From |
To |
|
Change Return Type Type to ResolvedType in method public getT() : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SameAsBound |
From |
To |
|
Change Return Type Type to ResolvedType in method public leastUpperBound(types Set<ResolvedType>) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Return Type Type to ResolvedType in method public glb(types Set<ResolvedType>) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Return Type List<Type> to List<ResolvedType> in method public getTypesOrWildcards() : List<ResolvedType> in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.CapturesBound |
From |
To |
|
Change Variable Type bound : TypeParameterDeclaration.Bound to bound : ResolvedTypeParameterDeclaration.Bound in method private boundSetup(typeParameterDeclarations List<ResolvedTypeParameterDeclaration>, inferenceVariables List<InferenceVariable>) : BoundSet in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type Ai : Type to Ai : ResolvedType in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type tp : Type to tp : ResolvedType in method public usedInferenceVariables(type ResolvedType) : Set<InferenceVariable> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type Bs : List<Type> to Bs : List<ResolvedType> in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSameAsType |
From |
To |
|
Change Variable Type rtFrom1 : ReferenceType to rtFrom1 : ResolvedReferenceType in method private findPairsOfCommonAncestors(r1 ResolvedReferenceType, r2 ResolvedReferenceType) : List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Variable Type Ps : List<TypeParameterDeclaration> to Ps : List<ResolvedTypeParameterDeclaration> in method public instantiationInference(argumentExpressions List<Expression>, methodDeclaration ResolvedMethodDeclaration) : Optional<InstantiationSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type fi : Type to fi : ResolvedType in method private testForApplicabilityByStrictInvocation(Fs List<ResolvedType>, es List<Expression>, theta Substitution) : Optional<ConstraintFormulaSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type set1 : List<ReferenceType> to set1 : List<ResolvedReferenceType> in method private findPairsOfCommonAncestors(r1 ResolvedReferenceType, r2 ResolvedReferenceType) : List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Variable Type paramTypes : List<Type> to paramTypes : List<ResolvedType> in method private instantiationSetToMethodUsage(methodDeclaration ResolvedMethodDeclaration, instantiationSet InstantiationSet) : MethodUsage in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type Pl : TypeParameterDeclaration to Pl : ResolvedTypeParameterDeclaration in method private boundSetup(typeParameterDeclarations List<ResolvedTypeParameterDeclaration>, inferenceVariables List<InferenceVariable>) : BoundSet in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type result : Pair<Type,Boolean> to result : Pair<ResolvedType,Boolean> in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Variable Type tFirst : Type to tFirst : ResolvedType in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeCompatibleWithType |
From |
To |
|
Change Variable Type Ti : Type to Ti : ResolvedType in method public performResolution(variablesToResolve List<InferenceVariable>, typeSolver TypeSolver) : Optional<InstantiationSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Variable Type properUpperBounds : Set<Type> to properUpperBounds : Set<ResolvedType> in method public performResolution(variablesToResolve List<InferenceVariable>, typeSolver TypeSolver) : Optional<InstantiationSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Variable Type R : Type to R : ResolvedType in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Variable Type Ti : Type to Ti : ResolvedType in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type rtFrom2 : ReferenceType to rtFrom2 : ResolvedReferenceType in method private findPairsOfCommonAncestors(r1 ResolvedReferenceType, r2 ResolvedReferenceType) : List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Variable Type FFirstI : Type to FFirstI : ResolvedType in method private testForApplicabilityByVariableArityInvocation(Fs List<ResolvedType>, es List<Expression>, theta Substitution) : Optional<ConstraintFormulaSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type newReturnType : Type to newReturnType : ResolvedType in method private replaceTypeVariablesWithInferenceVariables(methodType MethodType) : MethodType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Variable Type FsFirst : List<Type> to FsFirst : List<ResolvedType> in method private testForApplicabilityByVariableArityInvocation(Fs List<ResolvedType>, es List<Expression>, theta Substitution) : Optional<ConstraintFormulaSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type correspondences : Map<TypeVariable,InferenceVariable> to correspondences : Map<ResolvedTypeVariable,InferenceVariable> in method private replaceTypeVariablesWithInferenceVariables(methodType MethodType) : MethodType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Variable Type AIs : List<Type> to AIs : List<ResolvedType> in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type Fs : List<Type> to Fs : List<ResolvedType> in method public instantiationInference(argumentExpressions List<Expression>, methodDeclaration ResolvedMethodDeclaration) : Optional<InstantiationSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type newFormalArgumentTypes : List<Type> to newFormalArgumentTypes : List<ResolvedType> in method private replaceTypeVariablesWithInferenceVariables(methodType MethodType) : MethodType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Variable Type TIs : List<Type> to TIs : List<ResolvedType> in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type fiTheta : Type to fiTheta : ResolvedType in method private constraintSetFromArgumentsSubstitution(Fs List<ResolvedType>, es List<Expression>, theta Substitution, k int) : ConstraintFormulaSet in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type paramType : Type to paramType : ResolvedType in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Variable Type result : Type to result : ResolvedType in method public apply(originalType ResolvedType) : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.Substitution |
From |
To |
|
Change Variable Type object : ReferenceType to object : ResolvedReferenceType in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type Bi : Type to Bi : ResolvedType in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type TFirst : Type to TFirst : ResolvedType in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Variable Type TPs : List<TypeParameterDeclaration> to TPs : List<ResolvedTypeParameterDeclaration> in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type thrownType : Type to thrownType : ResolvedType in method private appearInThrowsClause(p ResolvedTypeParameterDeclaration, methodDeclaration ResolvedMethodDeclaration) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type referenceType : ReferenceType to referenceType : ResolvedReferenceType in method public isProperType(type ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type sFirst : Type to sFirst : ResolvedType in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeCompatibleWithType |
From |
To |
|
Change Variable Type fi : Type to fi : ResolvedType in method private constraintSetFromArgumentsSubstitution(Fs List<ResolvedType>, es List<Expression>, theta Substitution, k int) : ConstraintFormulaSet in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type wildcard : Wildcard to wildcard : ResolvedWildcard in method public isProperType(type ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type returnType : Type to returnType : ResolvedType in method private instantiationSetToMethodUsage(methodDeclaration ResolvedMethodDeclaration, instantiationSet InstantiationSet) : MethodUsage in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type TWithSubstitutions : Type to TWithSubstitutions : ResolvedType in method private boundSetup(typeParameterDeclarations List<ResolvedTypeParameterDeclaration>, inferenceVariables List<InferenceVariable>) : BoundSet in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type As : List<Type> to As : List<ResolvedType> in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSameAsType |
From |
To |
|
Change Variable Type T : Type to T : ResolvedType in method private boundSetup(typeParameterDeclarations List<ResolvedTypeParameterDeclaration>, inferenceVariables List<InferenceVariable>) : BoundSet in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type types : List<Type> to types : List<ResolvedType> in method private formalParameterTypes(methodDeclaration ResolvedMethodDeclaration) : List<ResolvedType> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type properLowerBounds : Set<Type> to properLowerBounds : Set<ResolvedType> in method public performResolution(variablesToResolve List<InferenceVariable>, typeSolver TypeSolver) : Optional<InstantiationSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Variable Type G : Type to G : ResolvedType in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeCompatibleWithType |
From |
To |
|
Change Variable Type Ui : Type to Ui : ResolvedType in method private nonWildcardParameterizationOf(originalType ResolvedReferenceType, typeSolver TypeSolver) : ResolvedReferenceType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type correspondingPrimitiveTypeForS : Optional<PrimitiveType> to correspondingPrimitiveTypeForS : Optional<ResolvedPrimitiveType> in method private areCompatibleThroughWideningReferenceConversion(s ResolvedType, t ResolvedType) : boolean in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeHelper |
From |
To |
|
Change Variable Type Pi : TypeParameterDeclaration to Pi : ResolvedTypeParameterDeclaration in method public instantiationInference(argumentExpressions List<Expression>, methodDeclaration ResolvedMethodDeclaration) : Optional<InstantiationSet> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Variable Type formalArg : Type to formalArg : ResolvedType in method private replaceTypeVariablesWithInferenceVariables(methodType MethodType) : MethodType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Variable Type pairs : List<Pair<ReferenceType,ReferenceType>> to pairs : List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in method private findPairsOfCommonAncestors(r1 ResolvedReferenceType, r2 ResolvedReferenceType) : List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Variable Type s : Type to s : ResolvedType in method public reduce(currentBoundSet BoundSet) : ReductionResult in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Variable Type set2 : List<ReferenceType> to set2 : List<ResolvedReferenceType> in method private findPairsOfCommonAncestors(r1 ResolvedReferenceType, r2 ResolvedReferenceType) : List<Pair<ResolvedReferenceType,ResolvedReferenceType>> in class com.github.javaparser.symbolsolver.resolution.typeinference.BoundSet |
From |
To |
|
Change Attribute Type t : Type to t : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeCompatibleWithType |
From |
To |
|
Change Attribute Type object : Type to object : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInference |
From |
To |
|
Change Attribute Type properType : Type to properType : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.Instantiation |
From |
To |
|
Change Attribute Type types : List<Type> to types : List<ResolvedType> in class com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariableSubstitution |
From |
To |
|
Change Attribute Type properType : Type to properType : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.ProperLowerBound |
From |
To |
|
Change Attribute Type T : Type to T : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSameAsType |
From |
To |
|
Change Attribute Type T : Type to T : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.LambdaThrowsCompatibleWithType |
From |
To |
|
Change Attribute Type S : Type to S : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSubtypeOfType |
From |
To |
|
Change Attribute Type t : Type to t : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SameAsBound |
From |
To |
|
Change Attribute Type S : Type to S : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeContainedByType |
From |
To |
|
Change Attribute Type s : Type to s : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SubtypeOfBound |
From |
To |
|
Change Attribute Type t : Type to t : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SubtypeOfBound |
From |
To |
|
Change Attribute Type T : Type to T : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeContainedByType |
From |
To |
|
Change Attribute Type s : Type to s : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeCompatibleWithType |
From |
To |
|
Change Attribute Type typeForLambdaParameters : Map<TypeSolver,IdentityHashMap<LambdaExpr,Map<String,Type>>> to typeForLambdaParameters : Map<TypeSolver,IdentityHashMap<LambdaExpr,Map<String,ResolvedType>>> in class com.github.javaparser.symbolsolver.resolution.typeinference.TypeInferenceCache |
From |
To |
|
Change Attribute Type s : Type to s : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.SameAsBound |
From |
To |
|
Change Attribute Type T : Type to T : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSubtypeOfType |
From |
To |
|
Change Attribute Type typesOrWildcards : List<Type> to typesOrWildcards : List<ResolvedType> in class com.github.javaparser.symbolsolver.resolution.typeinference.bounds.CapturesBound |
From |
To |
|
Change Attribute Type S : Type to S : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.TypeSameAsType |
From |
To |
|
Change Attribute Type T : Type to T : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.MethodReferenceThrowsCompatibleWithType |
From |
To |
|
Change Attribute Type types : List<Type> to types : List<ResolvedType> in class com.github.javaparser.symbolsolver.resolution.typeinference.Substitution |
From |
To |
|
Change Attribute Type T : Type to T : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas.ExpressionCompatibleWithType |
From |
To |
|
Change Attribute Type typeParameterDeclarations : List<TypeParameterDeclaration> to typeParameterDeclarations : List<ResolvedTypeParameterDeclaration> in class com.github.javaparser.symbolsolver.resolution.typeinference.Substitution |
From |
To |
|
Change Attribute Type properType : Type to properType : ResolvedType in class com.github.javaparser.symbolsolver.resolution.typeinference.ProperUpperBound |
From |
To |