// interpreting 'type' as a required type, compute the required null bits
// we inspect the main type plus bounds of type variables and wildcards
static long requiredNullTagBits(TypeBinding type) {
long tagBits = type.tagBits & TagBits.AnnotationNullMASK;
if (tagBits != 0) return validNullTagBits(tagBits);
if (type.isWildcard()) {
WildcardBinding wildcard = (WildcardBinding) type;
if (wildcard.boundKind == Wildcard.UNBOUND) return 0;
tagBits = wildcard.bound.tagBits & TagBits.AnnotationNullMASK;
if (tagBits == 0) return 0;
switch (wildcard.boundKind) {
case Wildcard.EXTENDS:
if (tagBits == TagBits.AnnotationNonNull) return TagBits.AnnotationNonNull;
return TagBits.AnnotationNullMASK; // wildcard accepts @Nullable or better
case Wildcard.SUPER:
if (tagBits == TagBits.AnnotationNullable) return TagBits.AnnotationNullable;
return TagBits.AnnotationNullMASK; // wildcard accepts @NonNull or worse
}
return 0;
}
if (type.isTypeVariable()) {
// assume we must require @NonNull, unless: (1) lower @Nullable bound, or (2) no nullness
// specified
TypeVariableBinding typeVariable = (TypeVariableBinding) type;
boolean haveNullBits = false;
if (type.isCapture()) {
TypeBinding lowerBound = ((CaptureBinding) type).lowerBound;
if (lowerBound != null) {
tagBits = lowerBound.tagBits & TagBits.AnnotationNullMASK;
if (tagBits == TagBits.AnnotationNullable)
return TagBits.AnnotationNullable; // (1) type cannot require @NonNull
haveNullBits = tagBits != 0;
}
}
if (typeVariable.firstBound != null)
haveNullBits |= (typeVariable.firstBound.tagBits & TagBits.AnnotationNullMASK) != 0;
if (haveNullBits)
return TagBits
.AnnotationNonNull; // could require @NonNull (unless (2) unspecified nullness)
}
return 0;
}
static boolean isEqual(
org.eclipse.jdt.internal.compiler.lookup.TypeBinding typeBinding,
org.eclipse.jdt.internal.compiler.lookup.TypeBinding typeBinding2,
HashSet visitedTypes) {
if (typeBinding == typeBinding2) return true;
if (typeBinding == null || typeBinding2 == null) return false;
switch (typeBinding.kind()) {
case Binding.BASE_TYPE:
if (!typeBinding2.isBaseType()) {
return false;
}
return typeBinding.id == typeBinding2.id;
case Binding.ARRAY_TYPE:
if (!typeBinding2.isArrayType()) {
return false;
}
return typeBinding.dimensions() == typeBinding2.dimensions()
&& isEqual(
typeBinding.leafComponentType(), typeBinding2.leafComponentType(), visitedTypes);
case Binding.PARAMETERIZED_TYPE:
if (!typeBinding2.isParameterizedType()) {
return false;
}
ParameterizedTypeBinding parameterizedTypeBinding = (ParameterizedTypeBinding) typeBinding;
ParameterizedTypeBinding parameterizedTypeBinding2 =
(ParameterizedTypeBinding) typeBinding2;
return CharOperation.equals(
parameterizedTypeBinding.compoundName, parameterizedTypeBinding2.compoundName)
&& (parameterizedTypeBinding.modifiers
& (ExtraCompilerModifiers.AccJustFlag
| ClassFileConstants.AccInterface
| ClassFileConstants.AccEnum
| ClassFileConstants.AccAnnotation))
== (parameterizedTypeBinding2.modifiers
& (ExtraCompilerModifiers.AccJustFlag
| ClassFileConstants.AccInterface
| ClassFileConstants.AccEnum
| ClassFileConstants.AccAnnotation))
&& isEqual(
parameterizedTypeBinding.arguments,
parameterizedTypeBinding2.arguments,
visitedTypes)
&& isEqual(
parameterizedTypeBinding.enclosingType(),
parameterizedTypeBinding2.enclosingType(),
visitedTypes);
case Binding.WILDCARD_TYPE:
if (typeBinding2.kind() != Binding.WILDCARD_TYPE) {
return false;
}
WildcardBinding wildcardBinding = (WildcardBinding) typeBinding;
WildcardBinding wildcardBinding2 = (WildcardBinding) typeBinding2;
return isEqual(wildcardBinding.bound, wildcardBinding2.bound, visitedTypes)
&& wildcardBinding.boundKind == wildcardBinding2.boundKind;
case Binding.INTERSECTION_TYPE:
if (typeBinding2.kind() != Binding.INTERSECTION_TYPE) {
return false;
}
WildcardBinding intersectionBinding = (WildcardBinding) typeBinding;
WildcardBinding intersectionBinding2 = (WildcardBinding) typeBinding2;
return isEqual(intersectionBinding.bound, intersectionBinding2.bound, visitedTypes)
&& isEqual(
intersectionBinding.otherBounds, intersectionBinding2.otherBounds, visitedTypes);
case Binding.TYPE_PARAMETER:
if (!(typeBinding2.isTypeVariable())) {
return false;
}
if (typeBinding.isCapture()) {
if (!(typeBinding2.isCapture())) {
return false;
}
CaptureBinding captureBinding = (CaptureBinding) typeBinding;
CaptureBinding captureBinding2 = (CaptureBinding) typeBinding2;
if (captureBinding.position == captureBinding2.position) {
if (visitedTypes.contains(typeBinding)) return true;
visitedTypes.add(typeBinding);
return isEqual(captureBinding.wildcard, captureBinding2.wildcard, visitedTypes)
&& isEqual(captureBinding.sourceType, captureBinding2.sourceType, visitedTypes);
}
return false;
}
TypeVariableBinding typeVariableBinding = (TypeVariableBinding) typeBinding;
TypeVariableBinding typeVariableBinding2 = (TypeVariableBinding) typeBinding2;
if (CharOperation.equals(typeVariableBinding.sourceName, typeVariableBinding2.sourceName)) {
if (visitedTypes.contains(typeBinding)) return true;
visitedTypes.add(typeBinding);
return isEqual(
typeVariableBinding.declaringElement,
typeVariableBinding2.declaringElement,
visitedTypes)
&& isEqual(
typeVariableBinding.superclass(), typeVariableBinding2.superclass(), visitedTypes)
&& isEqual(
typeVariableBinding.superInterfaces(),
typeVariableBinding2.superInterfaces(),
visitedTypes);
}
return false;
case Binding.GENERIC_TYPE:
if (!typeBinding2.isGenericType()) {
return false;
}
ReferenceBinding referenceBinding = (ReferenceBinding) typeBinding;
ReferenceBinding referenceBinding2 = (ReferenceBinding) typeBinding2;
return CharOperation.equals(referenceBinding.compoundName, referenceBinding2.compoundName)
&& (referenceBinding.modifiers
& (ExtraCompilerModifiers.AccJustFlag
| ClassFileConstants.AccInterface
| ClassFileConstants.AccEnum
| ClassFileConstants.AccAnnotation))
== (referenceBinding2.modifiers
& (ExtraCompilerModifiers.AccJustFlag
| ClassFileConstants.AccInterface
| ClassFileConstants.AccEnum
| ClassFileConstants.AccAnnotation))
&& isEqual(
referenceBinding.typeVariables(), referenceBinding2.typeVariables(), visitedTypes)
&& isEqual(
referenceBinding.enclosingType(), referenceBinding2.enclosingType(), visitedTypes);
case Binding.RAW_TYPE:
default:
if (!(typeBinding2 instanceof ReferenceBinding)) {
return false;
}
referenceBinding = (ReferenceBinding) typeBinding;
referenceBinding2 = (ReferenceBinding) typeBinding2;
char[] constantPoolName = referenceBinding.constantPoolName();
char[] constantPoolName2 = referenceBinding2.constantPoolName();
// see https://bugs.eclipse.org/bugs/show_bug.cgi?id=116833
if (constantPoolName == null) {
if (constantPoolName2 != null) {
return false;
}
if (!CharOperation.equals(
referenceBinding.computeUniqueKey(), referenceBinding2.computeUniqueKey())) {
return false;
}
} else {
if (constantPoolName2 == null) {
return false;
}
if (!CharOperation.equals(constantPoolName, constantPoolName2)) {
return false;
}
}
return CharOperation.equals(referenceBinding.compoundName, referenceBinding2.compoundName)
&& (!referenceBinding2.isGenericType())
&& (referenceBinding.isRawType() == referenceBinding2.isRawType())
&& ((referenceBinding.modifiers & ~ClassFileConstants.AccSuper)
& (ExtraCompilerModifiers.AccJustFlag
| ClassFileConstants.AccInterface
| ClassFileConstants.AccEnum
| ClassFileConstants.AccAnnotation))
== ((referenceBinding2.modifiers & ~ClassFileConstants.AccSuper)
& (ExtraCompilerModifiers.AccJustFlag
| ClassFileConstants.AccInterface
| ClassFileConstants.AccEnum
| ClassFileConstants.AccAnnotation))
&& isEqual(
referenceBinding.enclosingType(), referenceBinding2.enclosingType(), visitedTypes);
}
}
