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
|
/*
* Copyright (C) 2007-2010 Júlio Vilmar Gesser.
* Copyright (C) 2011, 2013-2016 The JavaParser Team.
*
* This file is part of JavaParser.
*
* JavaParser can be used either under the terms of
* a) the GNU Lesser General Public License as published by
* the Free Software Foundation, either version 3 of the License, or
* (at your option) any later version.
* b) the terms of the Apache License
*
* You should have received a copy of both licenses in LICENCE.LGPL and
* LICENCE.APACHE. Please refer to those files for details.
*
* JavaParser is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU Lesser General Public License for more details.
*/
package com.github.javaparser.resolution.types;
import com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration;
import java.util.List;
import java.util.Map;
/**
* From JLS 4.4: A type variable is introduced by the declaration of a type parameter of a generic class,
* interface, method, or constructor (§8.1.2, §9.1.2, §8.4.4, §8.8.4).
*
* @author Federico Tomassetti
*/
public class ResolvedTypeVariable implements ResolvedType {
private ResolvedTypeParameterDeclaration typeParameter;
public ResolvedTypeVariable(ResolvedTypeParameterDeclaration typeParameter) {
this.typeParameter = typeParameter;
}
@Override
public String toString() {
return "TypeVariable {" + typeParameter.getQualifiedName() + "}";
}
public String qualifiedName() {
return this.typeParameter.getQualifiedName();
}
@Override
public boolean equals(Object o) {
if (this == o) return true;
if (o == null || getClass() != o.getClass()) return false;
ResolvedTypeVariable that = (ResolvedTypeVariable) o;
if (!typeParameter.getName().equals(that.typeParameter.getName())) return false;
if (typeParameter.declaredOnType() != that.typeParameter.declaredOnType()) return false;
if (typeParameter.declaredOnMethod() != that.typeParameter.declaredOnMethod()) return false;
return true;
}
@Override
public int hashCode() {
return typeParameter.hashCode();
}
@Override
public boolean isArray() {
return false;
}
@Override
public boolean isPrimitive() {
return false;
}
@Override
public ResolvedType replaceTypeVariables(ResolvedTypeParameterDeclaration tpToBeReplaced, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes) {
if(tpToBeReplaced.getName().equals(this.typeParameter.getName())){
inferredTypes.put(this.asTypeParameter(), replaced);
return replaced;
} else {
return this;
}
}
@Override
public boolean isReferenceType() {
return false;
}
@Override
public String describe() {
return typeParameter.getName();
}
@Override
public ResolvedTypeParameterDeclaration asTypeParameter() {
return typeParameter;
}
@Override
public ResolvedTypeVariable asTypeVariable() {
return this;
}
@Override
public boolean isTypeVariable() {
return true;
}
@Override
public boolean isAssignableBy(ResolvedType other) {
if (other.isTypeVariable()) {
return describe().equals(other.describe());
} else {
return true;
}
}
@Override
public boolean mention(List<ResolvedTypeParameterDeclaration> typeParameters) {
return typeParameters.contains(typeParameter);
}
}
|
