1 | /* |
---|---|
2 | * Copyright (C) 2007-2010 Júlio Vilmar Gesser. |
3 | * Copyright (C) 2011, 2013-2020 The JavaParser Team. |
4 | * |
5 | * This file is part of JavaParser. |
6 | * |
7 | * JavaParser can be used either under the terms of |
8 | * a) the GNU Lesser General Public License as published by |
9 | * the Free Software Foundation, either version 3 of the License, or |
10 | * (at your option) any later version. |
11 | * b) the terms of the Apache License |
12 | * |
13 | * You should have received a copy of both licenses in LICENCE.LGPL and |
14 | * LICENCE.APACHE. Please refer to those files for details. |
15 | * |
16 | * JavaParser is distributed in the hope that it will be useful, |
17 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
18 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
19 | * GNU Lesser General Public License for more details. |
20 | */ |
21 | |
22 | package com.github.javaparser.resolution.types; |
23 | |
24 | import com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration; |
25 | |
26 | import java.util.List; |
27 | import java.util.Map; |
28 | |
29 | /** |
30 | * From JLS 4.4: A type variable is introduced by the declaration of a type parameter of a generic class, |
31 | * interface, method, or constructor (§8.1.2, §9.1.2, §8.4.4, §8.8.4). |
32 | * |
33 | * @author Federico Tomassetti |
34 | */ |
35 | public class ResolvedTypeVariable implements ResolvedType { |
36 | |
37 | private ResolvedTypeParameterDeclaration typeParameter; |
38 | |
39 | public ResolvedTypeVariable(ResolvedTypeParameterDeclaration typeParameter) { |
40 | this.typeParameter = typeParameter; |
41 | } |
42 | |
43 | @Override |
44 | public String toString() { |
45 | return "TypeVariable {" + typeParameter.toString() + "}"; |
46 | } |
47 | |
48 | public String qualifiedName() { |
49 | return this.typeParameter.getQualifiedName(); |
50 | } |
51 | |
52 | @Override |
53 | public boolean equals(Object o) { |
54 | if (this == o) return true; |
55 | if (o == null || getClass() != o.getClass()) return false; |
56 | |
57 | ResolvedTypeVariable that = (ResolvedTypeVariable) o; |
58 | |
59 | if (!typeParameter.getName().equals(that.typeParameter.getName())) return false; |
60 | if (typeParameter.declaredOnType() != that.typeParameter.declaredOnType()) return false; |
61 | if (typeParameter.declaredOnMethod() != that.typeParameter.declaredOnMethod()) return false; |
62 | |
63 | return true; |
64 | } |
65 | |
66 | @Override |
67 | public int hashCode() { |
68 | return typeParameter.hashCode(); |
69 | } |
70 | |
71 | @Override |
72 | public boolean isArray() { |
73 | return false; |
74 | } |
75 | |
76 | @Override |
77 | public boolean isPrimitive() { |
78 | return false; |
79 | } |
80 | |
81 | @Override |
82 | public ResolvedType replaceTypeVariables(ResolvedTypeParameterDeclaration tpToBeReplaced, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes) { |
83 | if(tpToBeReplaced.getName().equals(this.typeParameter.getName())){ |
84 | inferredTypes.put(this.asTypeParameter(), replaced); |
85 | return replaced; |
86 | } else { |
87 | return this; |
88 | } |
89 | } |
90 | |
91 | @Override |
92 | public boolean isReferenceType() { |
93 | return false; |
94 | } |
95 | |
96 | @Override |
97 | public String describe() { |
98 | return typeParameter.getName(); |
99 | } |
100 | |
101 | @Override |
102 | public ResolvedTypeParameterDeclaration asTypeParameter() { |
103 | return typeParameter; |
104 | } |
105 | |
106 | @Override |
107 | public ResolvedTypeVariable asTypeVariable() { |
108 | return this; |
109 | } |
110 | |
111 | @Override |
112 | public boolean isTypeVariable() { |
113 | return true; |
114 | } |
115 | |
116 | @Override |
117 | public boolean isAssignableBy(ResolvedType other) { |
118 | if (other.isTypeVariable()) { |
119 | return describe().equals(other.describe()); |
120 | } else { |
121 | return true; |
122 | } |
123 | } |
124 | |
125 | @Override |
126 | public boolean mention(List<ResolvedTypeParameterDeclaration> typeParameters) { |
127 | return typeParameters.contains(typeParameter); |
128 | } |
129 | } |
130 |
Members