-
Notifications
You must be signed in to change notification settings - Fork 1.1k
/
ClassOrInterfaceDeclarationContext.java
187 lines (166 loc) · 8.77 KB
/
ClassOrInterfaceDeclarationContext.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
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
package me.tomassetti.symbolsolver.javaparsermodel.contexts;
import com.github.javaparser.ast.body.BodyDeclaration;
import com.github.javaparser.ast.body.ClassOrInterfaceDeclaration;
import com.github.javaparser.ast.body.FieldDeclaration;
import com.github.javaparser.ast.type.ClassOrInterfaceType;
import me.tomassetti.symbolsolver.javaparsermodel.JavaParserFactory;
import me.tomassetti.symbolsolver.javaparsermodel.UnsolvedSymbolException;
import me.tomassetti.symbolsolver.javaparsermodel.declarations.JavaParserClassDeclaration;
import me.tomassetti.symbolsolver.javaparsermodel.declarations.JavaParserInterfaceDeclaration;
import me.tomassetti.symbolsolver.javaparsermodel.declarations.JavaParserMethodDeclaration;
import me.tomassetti.symbolsolver.javaparsermodel.declarations.JavaParserTypeParameter;
import me.tomassetti.symbolsolver.model.declarations.AccessLevel;
import me.tomassetti.symbolsolver.model.declarations.MethodDeclaration;
import me.tomassetti.symbolsolver.model.declarations.TypeDeclaration;
import me.tomassetti.symbolsolver.model.declarations.ValueDeclaration;
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.model.usages.typesystem.ReferenceType;
import me.tomassetti.symbolsolver.model.usages.typesystem.Type;
import me.tomassetti.symbolsolver.model.usages.typesystem.TypeVariable;
import me.tomassetti.symbolsolver.resolution.MethodResolutionLogic;
import me.tomassetti.symbolsolver.resolution.SymbolDeclarator;
import me.tomassetti.symbolsolver.resolution.SymbolSolver;
import java.util.ArrayList;
import java.util.List;
import java.util.Optional;
/**
* @author Federico Tomassetti
*/
public class ClassOrInterfaceDeclarationContext extends AbstractJavaParserContext<ClassOrInterfaceDeclaration> {
public ClassOrInterfaceDeclarationContext(ClassOrInterfaceDeclaration wrappedNode, TypeSolver typeSolver) {
super(wrappedNode, typeSolver);
}
@Override
public SymbolReference<? extends ValueDeclaration> solveSymbol(String name, TypeSolver typeSolver) {
if (typeSolver == null) throw new IllegalArgumentException();
// first among declared fields
for (BodyDeclaration member : wrappedNode.getMembers()) {
if (member instanceof FieldDeclaration) {
SymbolDeclarator symbolDeclarator = JavaParserFactory.getSymbolDeclarator(member, typeSolver);
SymbolReference ref = solveWith(symbolDeclarator, name);
if (ref.isSolved()) {
return ref;
}
}
}
// then among inherited fields
for (ReferenceType ancestor : getDeclaration().getAncestors()) {
SymbolReference ref = new SymbolSolver(typeSolver).solveSymbolInType(ancestor.getTypeDeclaration(), name);
if (ref.isSolved() && ref.getCorrespondingDeclaration().asField().accessLevel() != AccessLevel.PRIVATE) {
return ref;
}
}
// then to parent
return getParent().solveSymbol(name, typeSolver);
}
@Override
public Optional<Value> solveSymbolAsValue(String name, TypeSolver typeSolver) {
if (typeSolver == null) throw new IllegalArgumentException();
// first among declared fields
for (BodyDeclaration member : wrappedNode.getMembers()) {
if (member instanceof FieldDeclaration) {
SymbolDeclarator symbolDeclarator = JavaParserFactory.getSymbolDeclarator(member, typeSolver);
Optional<Value> ref = solveWithAsValue(symbolDeclarator, name, typeSolver);
if (ref.isPresent()) {
return ref;
}
}
}
// then among inherited fields
for (ReferenceType ancestor : getDeclaration().getAncestors()) {
Optional<Value> ref = ContextHelper.getContext(ancestor.getTypeDeclaration()).solveSymbolAsValue(name, typeSolver);
if (ref.isPresent()) {
return ref;
}
}
// then to parent
return getParent().solveSymbolAsValue(name, typeSolver);
}
@Override
public Optional<Type> solveGenericType(String name, TypeSolver typeSolver) {
for (com.github.javaparser.ast.TypeParameter tp : wrappedNode.getTypeParameters()) {
if (tp.getName().equals(name)) {
return Optional.of(new TypeVariable(new JavaParserTypeParameter(tp, typeSolver)));
}
}
return getParent().solveGenericType(name, typeSolver);
}
@Override
public SymbolReference<TypeDeclaration> solveType(String name, TypeSolver typeSolver) {
SymbolReference<TypeDeclaration> ref = new SymbolSolver(typeSolver).solveTypeInType(getDeclaration(), name);
if (ref.isSolved()) {
return ref;
}
return getParent().solveType(name, typeSolver);
}
private TypeDeclaration getDeclaration() {
if (this.wrappedNode.isInterface()) {
return new JavaParserInterfaceDeclaration(this.wrappedNode, typeSolver);
} else {
return new JavaParserClassDeclaration(this.wrappedNode, typeSolver);
}
}
public List<MethodDeclaration> methodsByName(String name) {
List<MethodDeclaration> candidateMethods = new ArrayList<>();
for (BodyDeclaration member : this.wrappedNode.getMembers()) {
if (member instanceof com.github.javaparser.ast.body.MethodDeclaration) {
com.github.javaparser.ast.body.MethodDeclaration method = (com.github.javaparser.ast.body.MethodDeclaration) member;
if (method.getName().equals(name)) {
candidateMethods.add(new JavaParserMethodDeclaration(method, typeSolver));
}
}
}
return candidateMethods;
}
@Override
public SymbolReference<MethodDeclaration> solveMethod(String name, List<Type> argumentsTypes, TypeSolver typeSolver) {
List<MethodDeclaration> candidateMethods = methodsByName(name);
if (this.wrappedNode.getExtends() != null && !this.wrappedNode.getExtends().isEmpty()) {
if (this.wrappedNode.getExtends().size() > 1) {
throw new UnsupportedOperationException();
}
String superclassName = this.wrappedNode.getExtends().get(0).getName();
SymbolReference<TypeDeclaration> superclass = solveType(superclassName, typeSolver);
if (!superclass.isSolved()) {
throw new UnsolvedSymbolException(this, superclassName);
}
SymbolReference<MethodDeclaration> res = MethodResolutionLogic.solveMethodInType(superclass.getCorrespondingDeclaration(), name, argumentsTypes, typeSolver);
if (res.isSolved()) {
candidateMethods.add(res.getCorrespondingDeclaration());
}
} else {
String superclassName = "java.lang.Object";
SymbolReference<TypeDeclaration> superclass = solveType(superclassName, typeSolver);
if (!superclass.isSolved()) {
throw new UnsolvedSymbolException(this, superclassName);
}
SymbolReference<MethodDeclaration> res = MethodResolutionLogic.solveMethodInType(superclass.getCorrespondingDeclaration(), name, argumentsTypes, typeSolver);
if (res.isSolved()) {
candidateMethods.add(res.getCorrespondingDeclaration());
}
}
// Consider only default methods from interfaces
for (ClassOrInterfaceType implemented : this.wrappedNode.getImplements()) {
String interfaceClassName = implemented.getName();
SymbolReference<TypeDeclaration> superclass = solveType(interfaceClassName, typeSolver);
if (!superclass.isSolved()) {
throw new UnsolvedSymbolException(this, interfaceClassName);
}
SymbolReference<MethodDeclaration> res = MethodResolutionLogic.solveMethodInType(superclass.getCorrespondingDeclaration(), name, argumentsTypes, typeSolver);
if (res.isSolved() && res.getCorrespondingDeclaration().isDefaultMethod()) {
candidateMethods.add(res.getCorrespondingDeclaration());
}
}
// We want to avoid infinite recursion when a class is using its own method
// see issue #75
if (candidateMethods.isEmpty()) {
SymbolReference<MethodDeclaration> parentSolution = getParent().solveMethod(name, argumentsTypes, typeSolver);
if (parentSolution.isSolved()) {
candidateMethods.add(parentSolution.getCorrespondingDeclaration());
}
}
return MethodResolutionLogic.findMostApplicable(candidateMethods, name, argumentsTypes, typeSolver);
}
}