|
3 | 3 | import java.util.HashMap;
|
4 | 4 | import java.util.Map;
|
5 | 5 | import java.util.Optional;
|
6 |
| -import java.util.Set; |
7 | 6 | import javax.annotation.processing.Messager;
|
8 | 7 | import javax.tools.Diagnostic.Kind;
|
9 | 8 |
|
|
12 | 11 | import com.github.javaparser.ast.expr.Expression;
|
13 | 12 | import com.github.javaparser.ast.expr.MethodCallExpr;
|
14 | 13 | import com.github.javaparser.ast.stmt.ForEachStmt;
|
15 |
| -import com.github.javaparser.ast.type.ClassOrInterfaceType; |
16 | 14 | import com.github.javaparser.ast.type.Type;
|
17 | 15 | import com.github.javaparser.ast.visitor.VoidVisitorAdapter;
|
18 | 16 | import com.github.javaparser.resolution.types.ResolvedReferenceType;
|
|
21 | 19 | import io.github.bldl.annotationProcessing.annotations.MyVariance;
|
22 | 20 | import io.github.bldl.astParsing.util.ClassData;
|
23 | 21 | import io.github.bldl.graph.ClassHierarchyGraph;
|
24 |
| -import io.github.bldl.util.Pair; |
25 | 22 |
|
26 | 23 | public class SubtypingCheckVisitor extends VoidVisitorAdapter<Void> {
|
27 | 24 | private final Map<String, Map<Integer, Type>> methodParams;
|
28 | 25 | private final Messager messager;
|
29 | 26 | private final ClassData classData;
|
30 | 27 | private final ClassHierarchyGraph<String> classHierarchy;
|
31 | 28 |
|
32 |
| - public SubtypingCheckVisitor(Map<String, Map<Integer, Type>> methodParams, Map<String, Type> methodTypes, |
| 29 | + public SubtypingCheckVisitor(Map<String, Map<Integer, Type>> methodParams, |
33 | 30 | Messager messager,
|
34 |
| - Set<Pair<String, ClassOrInterfaceType>> varsToWatch, ClassData classData, |
| 31 | + ClassData classData, |
35 | 32 | ClassHierarchyGraph<String> classHierarchy) {
|
36 | 33 | this.methodParams = methodParams;
|
37 | 34 | this.messager = messager;
|
|
0 commit comments