/
LambdaExprContext.java
118 lines (100 loc) · 5.02 KB
/
LambdaExprContext.java
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
package me.tomassetti.symbolsolver.javaparsermodel.contexts;
import com.github.javaparser.ast.body.Parameter;
import com.github.javaparser.ast.expr.Expression;
import com.github.javaparser.ast.expr.LambdaExpr;
import com.github.javaparser.ast.expr.MethodCallExpr;
import javaslang.Tuple2;
import me.tomassetti.symbolsolver.logic.GenericTypeInferenceLogic;
import me.tomassetti.symbolsolver.model.declarations.TypeDeclaration;
import me.tomassetti.symbolsolver.model.declarations.ValueDeclaration;
import me.tomassetti.symbolsolver.model.invokations.MethodUsage;
import me.tomassetti.symbolsolver.model.typesystem.TypeUsage;
import me.tomassetti.symbolsolver.resolution.SymbolDeclarator;
import me.tomassetti.symbolsolver.model.resolution.SymbolReference;
import me.tomassetti.symbolsolver.model.resolution.TypeSolver;
import me.tomassetti.symbolsolver.model.resolution.Value;
import me.tomassetti.symbolsolver.javaparsermodel.JavaParserFacade;
import me.tomassetti.symbolsolver.javaparsermodel.JavaParserFactory;
import java.util.ArrayList;
import java.util.List;
import java.util.Map;
import java.util.Optional;
public class LambdaExprContext extends AbstractJavaParserContext<LambdaExpr> {
public LambdaExprContext(LambdaExpr wrappedNode, TypeSolver typeSolver) {
super(wrappedNode, typeSolver);
}
@Override
public Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) {
for (Parameter parameter : wrappedNode.getParameters()) {
SymbolDeclarator sb = JavaParserFactory.getSymbolDeclarator(parameter, typeSolver);
if (wrappedNode.getParentNode() instanceof MethodCallExpr) {
MethodCallExpr methodCallExpr = (MethodCallExpr) wrappedNode.getParentNode();
MethodUsage methodUsage = JavaParserFacade.get(typeSolver).solveMethodAsUsage(methodCallExpr);
int i = pos(methodCallExpr, wrappedNode);
TypeUsage lambdaType = methodUsage.getParamTypes().get(i);
Value value = new Value(lambdaType.asReferenceTypeUsage().parameters().get(0), name, false);
return Optional.of(value);
} else {
throw new UnsupportedOperationException();
}
}
// if nothing is found we should ask the parent context
return getParent().solveSymbolAsValue(name, typeSolver);
}
@Override
public Optional<TypeUsage> solveGenericType(String name, TypeSolver typeSolver) {
MethodCallExpr parentNode = (MethodCallExpr) wrappedNode.getParentNode();
int pos = pos(parentNode, wrappedNode);
MethodUsage methodUsage = JavaParserFacade.get(typeSolver).solveMethodAsUsage((MethodCallExpr) parentNode);
TypeUsage lambda = methodUsage.getParamTypes().get(pos);
List<Tuple2<TypeUsage, TypeUsage>> formalActualTypePairs = new ArrayList<>();
for (int i=0;i<methodUsage.getDeclaration().getNoParams();i++){
formalActualTypePairs.add(new Tuple2<>(methodUsage.getDeclaration().getParam(i).getType(), methodUsage.getParamType(i, typeSolver)));
}
Map<String, TypeUsage> map = GenericTypeInferenceLogic.inferGenericTypes(formalActualTypePairs);
if (map.containsKey(name)) {
return Optional.of(map.get(name));
} else {
return Optional.empty();
}
//return Optional.of(lambda.asReferenceTypeUsage().parameters().get(0));
}
private int pos(MethodCallExpr callExpr, Expression param) {
int i = 0;
for (Expression p : callExpr.getArgs()) {
if (p == param) {
return i;
}
i++;
}
throw new IllegalArgumentException();
}
protected final Optional<Value> solveWithAsValue(SymbolDeclarator symbolDeclarator, String name, TypeSolver typeSolver) {
for (ValueDeclaration decl : symbolDeclarator.getSymbolDeclarations()) {
if (decl.getName().equals(name)) {
throw new UnsupportedOperationException();
}
}
return Optional.empty();
}
@Override
public SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) {
for (Parameter parameter : wrappedNode.getParameters()) {
SymbolDeclarator sb = JavaParserFactory.getSymbolDeclarator(parameter, typeSolver);
SymbolReference symbolReference = solveWith(sb, name);
if (symbolReference.isSolved()) {
return symbolReference;
}
}
// if nothing is found we should ask the parent context
return getParent().solveSymbol(name, typeSolver);
}
@Override
public SymbolReference<TypeDeclaration> solveType(String name, TypeSolver typeSolver) {
return getParent().solveType(name, typeSolver);
}
@Override
public SymbolReference<me.tomassetti.symbolsolver.model.declarations.MethodDeclaration> solveMethod(String name, List<TypeUsage> parameterTypes, TypeSolver typeSolver) {
return getParent().solveMethod(name, parameterTypes, typeSolver);
}
}