EclipseJDT Source Viewer

Home|eclipse_jdt/src/org/eclipse/jdt/core/dom/BindingComparator.java
1/*******************************************************************************
2 * Copyright (c) 2004, 2017 IBM Corporation and others.
3 *
4 * This program and the accompanying materials
5 * are made available under the terms of the Eclipse Public License 2.0
6 * which accompanies this distribution, and is available at
7 * https://www.eclipse.org/legal/epl-2.0/
8 *
9 * SPDX-License-Identifier: EPL-2.0
10 *
11 * Contributors:
12 *     IBM Corporation - initial API and implementation
13 *******************************************************************************/
14package org.eclipse.jdt.core.dom;
15
16import java.util.HashSet;
17
18import org.eclipse.jdt.core.compiler.CharOperation;
19import org.eclipse.jdt.internal.compiler.classfmt.ClassFileConstants;
20import org.eclipse.jdt.internal.compiler.lookup.Binding;
21import org.eclipse.jdt.internal.compiler.lookup.CaptureBinding;
22import org.eclipse.jdt.internal.compiler.lookup.ExtraCompilerModifiers;
23import org.eclipse.jdt.internal.compiler.lookup.FieldBinding;
24import org.eclipse.jdt.internal.compiler.lookup.ImportBinding;
25import org.eclipse.jdt.internal.compiler.lookup.ParameterizedTypeBinding;
26import org.eclipse.jdt.internal.compiler.lookup.ReferenceBinding;
27import org.eclipse.jdt.internal.compiler.lookup.TypeVariableBinding;
28import org.eclipse.jdt.internal.compiler.lookup.VariableBinding;
29import org.eclipse.jdt.internal.compiler.lookup.WildcardBinding;
30
31/**
32 * Internal helper class for comparing bindings.
33 *
34 * @since 3.1
35 */
36@SuppressWarnings({"rawtypes""unchecked"})
37class BindingComparator {
38    /**
39     * @param bindings
40     * @param otherBindings
41     * @return true if both parameters are equals, false otherwise
42     */
43    static boolean isEqual(TypeVariableBinding[] bindingsTypeVariableBinding[] otherBindings) {
44        if (bindings == null) {
45            return otherBindings == null;
46        }
47        if (otherBindings == null) {
48            return false;
49        }
50        int length = bindings.length;
51        int otherLength = otherBindings.length;
52        if (length != otherLength) {
53            return false;
54        }
55        for (int i = 0i < lengthi++) {
56            TypeVariableBinding typeVariableBinding = bindings[i];
57            TypeVariableBinding typeVariableBinding2 = otherBindings[i];
58            if (!isEqual(typeVariableBindingtypeVariableBinding2)) {
59                return false;
60            }
61        }
62        return true;
63    }
64
65    /**
66     * @param declaringElement
67     * @param declaringElement2
68     * @return true if both parameters are equals, false otherwise
69     */
70    static boolean isEqual(Binding declaringElementBinding declaringElement2HashSet visitedTypes) {
71        if (declaringElement instanceof org.eclipse.jdt.internal.compiler.lookup.TypeBinding) {
72            if (!(declaringElement2 instanceof org.eclipse.jdt.internal.compiler.lookup.TypeBinding)){
73                return false;
74            }
75            return isEqual((org.eclipse.jdt.internal.compiler.lookup.TypeBindingdeclaringElement,
76                    (org.eclipse.jdt.internal.compiler.lookup.TypeBindingdeclaringElement2,
77                    visitedTypes);
78        } else if (declaringElement instanceof org.eclipse.jdt.internal.compiler.lookup.MethodBinding) {
79            if (!(declaringElement2 instanceof org.eclipse.jdt.internal.compiler.lookup.MethodBinding)) {
80                return false;
81            }
82            return isEqual((org.eclipse.jdt.internal.compiler.lookup.MethodBindingdeclaringElement,
83                    (org.eclipse.jdt.internal.compiler.lookup.MethodBindingdeclaringElement2,
84                    visitedTypes);
85        } else if (declaringElement instanceof VariableBinding) {
86            if (!(declaringElement2 instanceof VariableBinding)) {
87                return false;
88            }
89            return isEqual((VariableBindingdeclaringElement,
90                    (VariableBindingdeclaringElement2);
91        } else if (declaringElement instanceof org.eclipse.jdt.internal.compiler.lookup.PackageBinding) {
92            if (!(declaringElement2 instanceof org.eclipse.jdt.internal.compiler.lookup.PackageBinding)) {
93                return false;
94            }
95            org.eclipse.jdt.internal.compiler.lookup.PackageBinding packageBinding = (org.eclipse.jdt.internal.compiler.lookup.PackageBindingdeclaringElement;
96            org.eclipse.jdt.internal.compiler.lookup.PackageBinding packageBinding2 = (org.eclipse.jdt.internal.compiler.lookup.PackageBindingdeclaringElement2;
97            return CharOperation.equals(packageBinding.compoundNamepackageBinding2.compoundName);
98        } else if (declaringElement instanceof ImportBinding) {
99            if (!(declaringElement2 instanceof ImportBinding)) {
100                return false;
101            }
102            ImportBinding importBinding = (ImportBindingdeclaringElement;
103            ImportBinding importBinding2 = (ImportBindingdeclaringElement2;
104            return importBinding.isStatic() == importBinding2.isStatic()
105                && importBinding.onDemand == importBinding2.onDemand
106                && CharOperation.equals(importBinding.compoundNameimportBinding2.compoundName);
107        } else if (declaringElement instanceof org.eclipse.jdt.internal.compiler.lookup.ModuleBinding) {
108            if (!(declaringElement2 instanceof org.eclipse.jdt.internal.compiler.lookup.ModuleBinding)) {
109                return false;
110            }
111            org.eclipse.jdt.internal.compiler.lookup.ModuleBinding moduleBinding = (org.eclipse.jdt.internal.compiler.lookup.ModuleBindingdeclaringElement;
112            org.eclipse.jdt.internal.compiler.lookup.ModuleBinding moduleBinding2 = (org.eclipse.jdt.internal.compiler.lookup.ModuleBindingdeclaringElement2;
113            return isEqual(moduleBindingmoduleBinding2);
114        }
115        return false;
116    }
117
118    static boolean isEqual(org.eclipse.jdt.internal.compiler.lookup.MethodBinding methodBinding,
119            org.eclipse.jdt.internal.compiler.lookup.MethodBinding methodBinding2) {
120        return isEqual(methodBindingmethodBinding2, new HashSet());
121    }
122
123    static boolean isEqual(org.eclipse.jdt.internal.compiler.lookup.MethodBinding methodBinding,
124            org.eclipse.jdt.internal.compiler.lookup.MethodBinding methodBinding2,
125            HashSet visitedTypes) {
126        if (methodBinding == null) {
127            return methodBinding2 == null;
128        }
129        if (methodBinding2 == null) return false;
130        return CharOperation.equals(methodBinding.selectormethodBinding2.selector)
131                && isEqual(methodBinding.returnTypemethodBinding2.returnTypevisitedTypes)
132                && isEqual(methodBinding.thrownExceptionsmethodBinding2.thrownExceptionsvisitedTypes)
133                && isEqual(methodBinding.declaringClassmethodBinding2.declaringClassvisitedTypes)
134                && isEqual(methodBinding.typeVariablesmethodBinding2.typeVariablesvisitedTypes)
135                && isEqual(methodBinding.parametersmethodBinding2.parametersvisitedTypes);
136    }
137
138    /*
139     * Assumption here is that there is only one module with the same name.
140     */
141    static boolean isEqual(org.eclipse.jdt.internal.compiler.lookup.ModuleBinding moduleBinding,
142            org.eclipse.jdt.internal.compiler.lookup.ModuleBinding moduleBinding2) {
143        if (moduleBinding == null)
144            return moduleBinding2 == null;
145        if (moduleBinding2 == null)
146            return false;
147        return CharOperation.equals(moduleBinding.moduleNamemoduleBinding2.moduleName);
148    }
149
150    static boolean isEqual(VariableBinding variableBindingVariableBinding variableBinding2) {
151        return (variableBinding.modifiers & ExtraCompilerModifiers.AccJustFlag) == (variableBinding2.modifiers & ExtraCompilerModifiers.AccJustFlag)
152                && CharOperation.equals(variableBinding.namevariableBinding2.name)
153                && isEqual(variableBinding.typevariableBinding2.type)
154                && (variableBinding.id == variableBinding2.id);
155    }
156
157    static boolean isEqual(FieldBinding fieldBindingFieldBinding fieldBinding2) {
158        HashSet visitedTypes = new HashSet();
159        return (fieldBinding.modifiers & ExtraCompilerModifiers.AccJustFlag) == (fieldBinding2.modifiers & ExtraCompilerModifiers.AccJustFlag)
160                && CharOperation.equals(fieldBinding.namefieldBinding2.name)
161                && isEqual(fieldBinding.typefieldBinding2.typevisitedTypes)
162                && isEqual(fieldBinding.declaringClassfieldBinding2.declaringClassvisitedTypes);
163    }
164
165    /**
166     * @param bindings
167     * @param otherBindings
168     * @return true if both parameters are equals, false otherwise
169     */
170    static boolean isEqual(org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] bindingsorg.eclipse.jdt.internal.compiler.lookup.TypeBinding[] otherBindings) {
171        return isEqual(bindingsotherBindings, new HashSet());
172    }
173    /**
174     * @param bindings
175     * @param otherBindings
176     * @return true if both parameters are equals, false otherwise
177     */
178    static boolean isEqual(org.eclipse.jdt.internal.compiler.lookup.TypeBinding[] bindingsorg.eclipse.jdt.internal.compiler.lookup.TypeBinding[] otherBindingsHashSet visitedTypes) {
179        if (bindings == null) {
180            return otherBindings == null;
181        }
182        if (otherBindings == null) {
183            return false;
184        }
185        int length = bindings.length;
186        int otherLength = otherBindings.length;
187        if (length != otherLength) {
188            return false;
189        }
190        for (int i = 0i < lengthi++) {
191            if (!isEqual(bindings[i], otherBindings[i], visitedTypes)) {
192                return false;
193            }
194        }
195        return true;
196    }
197    static boolean isEqual(org.eclipse.jdt.internal.compiler.lookup.TypeBinding typeBindingorg.eclipse.jdt.internal.compiler.lookup.TypeBinding typeBinding2HashSet visitedTypes) {
198        if (org.eclipse.jdt.internal.compiler.lookup.TypeBinding.equalsEquals(typeBindingtypeBinding2))
199            return true;
200        if (typeBinding == null || typeBinding2 == null)
201            return false;
202
203        switch (typeBinding.kind()) {
204            case Binding.BASE_TYPE :
205                if (!typeBinding2.isBaseType()) {
206                    return false;
207                }
208                return typeBinding.id == typeBinding2.id;
209
210            case Binding.ARRAY_TYPE :
211                if (!typeBinding2.isArrayType()) {
212                    return false;
213                }
214                return typeBinding.dimensions() == typeBinding2.dimensions()
215                        && isEqual(typeBinding.leafComponentType(), typeBinding2.leafComponentType(), visitedTypes);
216
217            case Binding.PARAMETERIZED_TYPE :
218                if (!typeBinding2.isParameterizedType()) {
219                    return false;
220                }
221                ParameterizedTypeBinding parameterizedTypeBinding = (ParameterizedTypeBindingtypeBinding;
222                ParameterizedTypeBinding parameterizedTypeBinding2 = (ParameterizedTypeBindingtypeBinding2;
223                return CharOperation.equals(parameterizedTypeBinding.compoundNameparameterizedTypeBinding2.compoundName)
224                    && (parameterizedTypeBinding.modifiers & (ExtraCompilerModifiers.AccJustFlag | ClassFileConstants.AccInterface | ClassFileConstants.AccEnum | ClassFileConstants.AccAnnotation))
225                            == (parameterizedTypeBinding2.modifiers & (ExtraCompilerModifiers.AccJustFlag | ClassFileConstants.AccInterface | ClassFileConstants.AccEnum | ClassFileConstants.AccAnnotation))
226                    && isEqual(parameterizedTypeBinding.argumentsparameterizedTypeBinding2.argumentsvisitedTypes)
227                    && isEqual(parameterizedTypeBinding.enclosingType(), parameterizedTypeBinding2.enclosingType(), visitedTypes);
228
229            case Binding.WILDCARD_TYPE :
230                if (typeBinding2.kind() != Binding.WILDCARD_TYPE) {
231                    return false;
232                }
233                WildcardBinding wildcardBinding = (WildcardBindingtypeBinding;
234                WildcardBinding wildcardBinding2 = (WildcardBindingtypeBinding2;
235                return isEqual(wildcardBinding.boundwildcardBinding2.boundvisitedTypes)
236                    && wildcardBinding.boundKind == wildcardBinding2.boundKind;
237
238            case Binding.INTERSECTION_TYPE:
239                if (typeBinding2.kind() != Binding.INTERSECTION_TYPE) {
240                    return false;
241                }
242                WildcardBinding intersectionBinding = (WildcardBindingtypeBinding;
243                WildcardBinding intersectionBinding2 = (WildcardBindingtypeBinding2;
244                return isEqual(intersectionBinding.boundintersectionBinding2.boundvisitedTypes)
245                    && isEqual(intersectionBinding.otherBoundsintersectionBinding2.otherBoundsvisitedTypes);
246
247            case Binding.TYPE_PARAMETER :
248                if (!(typeBinding2.isTypeVariable())) {
249                    return false;
250                }
251                if (typeBinding.isCapture()) {
252                    if (!(typeBinding2.isCapture())) {
253                        return false;
254                    }
255                    CaptureBinding captureBinding = (CaptureBindingtypeBinding;
256                    CaptureBinding captureBinding2 = (CaptureBindingtypeBinding2;
257                    if (captureBinding.end == captureBinding2.end) {
258                        if (visitedTypes.contains(typeBinding)) return true;
259                        visitedTypes.add(typeBinding);
260
261                        return isEqual(captureBinding.wildcardcaptureBinding2.wildcardvisitedTypes)
262                            && isEqual(captureBinding.sourceTypecaptureBinding2.sourceTypevisitedTypes);
263                    }
264                    return false;
265                }
266                TypeVariableBinding typeVariableBinding = (TypeVariableBindingtypeBinding;
267                TypeVariableBinding typeVariableBinding2 = (TypeVariableBindingtypeBinding2;
268                if (CharOperation.equals(typeVariableBinding.sourceNametypeVariableBinding2.sourceName)) {
269                    if (visitedTypes.contains(typeBinding)) return true;
270                    visitedTypes.add(typeBinding);
271
272                    return isEqual(typeVariableBinding.declaringElementtypeVariableBinding2.declaringElementvisitedTypes)
273                    && isEqual(typeVariableBinding.superclass(), typeVariableBinding2.superclass(), visitedTypes)
274                    && isEqual(typeVariableBinding.superInterfaces(), typeVariableBinding2.superInterfaces(), visitedTypes);
275                }
276                return false;
277            case Binding.GENERIC_TYPE :
278                if (!typeBinding2.isGenericType()) {
279                    return false;
280                }
281                ReferenceBinding referenceBinding = (ReferenceBindingtypeBinding;
282                ReferenceBinding referenceBinding2 = (ReferenceBindingtypeBinding2;
283                return CharOperation.equals(referenceBinding.compoundNamereferenceBinding2.compoundName)
284                    && (referenceBinding.modifiers & (ExtraCompilerModifiers.AccJustFlag | ClassFileConstants.AccInterface | ClassFileConstants.AccEnum | ClassFileConstants.AccAnnotation))
285                            == (referenceBinding2.modifiers & (ExtraCompilerModifiers.AccJustFlag | ClassFileConstants.AccInterface | ClassFileConstants.AccEnum | ClassFileConstants.AccAnnotation))
286                    && isEqual(referenceBinding.typeVariables(), referenceBinding2.typeVariables(), visitedTypes)
287                    && isEqual(referenceBinding.enclosingType(), referenceBinding2.enclosingType(), visitedTypes);
288
289            case Binding.RAW_TYPE :
290            default :
291                if (!(typeBinding2 instanceof ReferenceBinding)) {
292                    return false;
293                }
294                referenceBinding = (ReferenceBindingtypeBinding;
295                referenceBinding2 = (ReferenceBindingtypeBinding2;
296                char[] constantPoolName = referenceBinding.constantPoolName();
297                char[] constantPoolName2 = referenceBinding2.constantPoolName();
298                // see https://bugs.eclipse.org/bugs/show_bug.cgi?id=116833
299                if (constantPoolName == null) {
300                    if (constantPoolName2 != null) {
301                        return false;
302                    }
303                    if (!CharOperation.equals(referenceBinding.computeUniqueKey(), referenceBinding2.computeUniqueKey())) {
304                        return false;
305                    }
306                } else {
307                    if (constantPoolName2 == null) {
308                        return false;
309                    }
310                    if (!CharOperation.equals(constantPoolNameconstantPoolName2)) {
311                        return false;
312                    }
313                }
314                return CharOperation.equals(referenceBinding.compoundNamereferenceBinding2.compoundName)
315                    && (!referenceBinding2.isGenericType())
316                    && (referenceBinding.isRawType() == referenceBinding2.isRawType())
317                    && ((referenceBinding.modifiers & ~ClassFileConstants.AccSuper) & (ExtraCompilerModifiers.AccJustFlag | ClassFileConstants.AccInterface | ClassFileConstants.AccEnum | ClassFileConstants.AccAnnotation))
318                            == ((referenceBinding2.modifiers & ~ClassFileConstants.AccSuper) & (ExtraCompilerModifiers.AccJustFlag | ClassFileConstants.AccInterface | ClassFileConstants.AccEnum | ClassFileConstants.AccAnnotation))
319                    && isEqual(referenceBinding.enclosingType(), referenceBinding2.enclosingType(), visitedTypes);
320        }
321    }
322    /**
323     * @param typeBinding
324     * @param typeBinding2
325     * @return true if both parameters are equals, false otherwise
326     */
327    static boolean isEqual(org.eclipse.jdt.internal.compiler.lookup.TypeBinding typeBindingorg.eclipse.jdt.internal.compiler.lookup.TypeBinding typeBinding2) {
328        return isEqual(typeBindingtypeBinding2, new HashSet());
329    }
330}
331
MembersX
BindingComparator:isEqual:Block:Block:importBinding2
BindingComparator:isEqual:Block:parameterizedTypeBinding
BindingComparator:isEqual:Block:Block:packageBinding
BindingComparator:isEqual:Block:Block:typeVariableBinding2
BindingComparator:isEqual:Block:Block:captureBinding
BindingComparator:isEqual:Block:length
BindingComparator:isEqual:Block:otherLength
BindingComparator:isEqual:Block:Block:importBinding
BindingComparator:isEqual:Block:constantPoolName
BindingComparator:isEqual:Block:wildcardBinding
BindingComparator:isEqual:Block:parameterizedTypeBinding2
BindingComparator:isEqual:Block:Block:moduleBinding
BindingComparator:isEqual:Block:referenceBinding2
BindingComparator:isEqual:Block:visitedTypes
BindingComparator:isEqual:Block:constantPoolName2
BindingComparator:isEqual:Block:typeVariableBinding2
BindingComparator:isEqual:Block:Block:typeVariableBinding
BindingComparator:isEqual:Block:intersectionBinding2
BindingComparator:isEqual:Block:Block:packageBinding2
BindingComparator:isEqual:Block:typeVariableBinding
BindingComparator:isEqual:Block:referenceBinding
BindingComparator:isEqual:Block:wildcardBinding2
BindingComparator:isEqual
BindingComparator:isEqual:Block:intersectionBinding
BindingComparator:isEqual:Block:Block:captureBinding2
BindingComparator:isEqual:Block:Block:moduleBinding2
Members
X