this.compilerElementPair = new ElementValuePair(this.name, this.value, this.binding);
return;
}
this.value.setExpectedType(requiredType); // needed in case of generic method invocation
TypeBinding valueType;
if (this.value instanceof ArrayInitializer) {
ArrayInitializer initializer = (ArrayInitializer) this.value;
valueType = initializer.resolveTypeExpecting(scope, this.binding.returnType);
} else if (this.value instanceof ArrayAllocationExpression) {
scope.problemReporter().annotationValueMustBeArrayInitializer(this.binding.declaringClass, this.name, this.value);
this.value.resolveType(scope);
valueType = null; // no need to pursue
} else {
valueType = this.value.resolveType(scope);
// https://bugs.eclipse.org/bugs/show_bug.cgi?id=248897
ASTVisitor visitor = new ASTVisitor() {
public boolean visit(SingleNameReference reference, BlockScope scop) {
if (reference.binding instanceof LocalVariableBinding) {
((LocalVariableBinding) reference.binding).useFlag = LocalVariableBinding.USED;
}
return true;
}
};
this.value.traverse(visitor, scope);
}
this.compilerElementPair = new ElementValuePair(this.name, this.value, this.binding);
if (valueType == null)
return;
TypeBinding leafType = requiredType.leafComponentType();
if (!(this.value.isConstantValueOfTypeAssignableToType(valueType, requiredType)
|| valueType.isCompatibleWith(requiredType))) {
if (!(requiredType.isArrayType()
&& requiredType.dimensions() == 1
&& (this.value.isConstantValueOfTypeAssignableToType(valueType, leafType)
|| valueType.isCompatibleWith(leafType)))) {
if (leafType.isAnnotationType() && !valueType.isAnnotationType()) {
scope.problemReporter().annotationValueMustBeAnnotation(this.binding.declaringClass, this.name, this.value, leafType);
} else {
scope.problemReporter().typeMismatchError(valueType, requiredType, this.value, null);
}
return; // may allow to proceed to find more errors at once
}
} else {
scope.compilationUnitScope().recordTypeConversion(requiredType.leafComponentType(), valueType.leafComponentType());
this.value.computeConversion(scope, requiredType, valueType);
}
// annotation methods can only return base types, String, Class, enum type, annotation types and arrays of these
checkAnnotationMethodType: {
switch (leafType.erasure().id) {
case T_byte :
case T_short :
case T_char :
case T_int :
case T_long :
case T_float :
case T_double :
case T_boolean :
case T_JavaLangString :
if (this.value instanceof ArrayInitializer) {
ArrayInitializer initializer = (ArrayInitializer) this.value;
final Expression[] expressions = initializer.expressions;
if (expressions != null) {
for (int i =0, max = expressions.length; i < max; i++) {
Expression expression = expressions[i];
if (expression.resolvedType == null) continue; // fault-tolerance
if (expression.constant == Constant.NotAConstant) {
scope.problemReporter().annotationValueMustBeConstant(this.binding.declaringClass, this.name, expressions[i], false);
}
}
}
} else if (this.value.constant == Constant.NotAConstant) {
if (valueType.isArrayType()) {
scope.problemReporter().annotationValueMustBeArrayInitializer(this.binding.declaringClass, this.name, this.value);
} else {
scope.problemReporter().annotationValueMustBeConstant(this.binding.declaringClass, this.name, this.value, false);
}
}
break checkAnnotationMethodType;
case T_JavaLangClass :
if (this.value instanceof ArrayInitializer) {
ArrayInitializer initializer = (ArrayInitializer) this.value;
final Expression[] expressions = initializer.expressions;
if (expressions != null) {
for (int i =0, max = expressions.length; i < max; i++) {
Expression currentExpression = expressions[i];
if (!(currentExpression instanceof ClassLiteralAccess)) {
scope.problemReporter().annotationValueMustBeClassLiteral(this.binding.declaringClass, this.name, currentExpression);
}
}
}
} else if (!(this.value instanceof ClassLiteralAccess)) {
scope.problemReporter().annotationValueMustBeClassLiteral(this.binding.declaringClass, this.name, this.value);
}
break checkAnnotationMethodType;
}
if (leafType.isEnum()) {
if (this.value instanceof NullLiteral) {
scope.problemReporter().annotationValueMustBeConstant(this.binding.declaringClass, this.name, this.value, true);
} else if (this.value instanceof ArrayInitializer) {
ArrayInitializer initializer = (ArrayInitializer) this.value;
final Expression[] expressions = initializer.expressions;
if (expressions != null) {
for (int i =0, max = expressions.length; i < max; i++) {
Expression currentExpression = expressions[i];
if (currentExpression instanceof NullLiteral) {
scope.problemReporter().annotationValueMustBeConstant(this.binding.declaringClass, this.name, currentExpression, true);
} else if (currentExpression instanceof NameReference) {
NameReference nameReference = (NameReference) currentExpression;
final Binding nameReferenceBinding = nameReference.binding;
if (nameReferenceBinding.kind() == Binding.FIELD) {
FieldBinding fieldBinding = (FieldBinding) nameReferenceBinding;
if (!fieldBinding.declaringClass.isEnum()) {
scope.problemReporter().annotationValueMustBeConstant(this.binding.declaringClass, this.name, currentExpression, true);
}
}
}
}
}
} else if (this.value instanceof NameReference) {
NameReference nameReference = (NameReference) this.value;
final Binding nameReferenceBinding = nameReference.binding;
if (nameReferenceBinding.kind() == Binding.FIELD) {
FieldBinding fieldBinding = (FieldBinding) nameReferenceBinding;
if (!fieldBinding.declaringClass.isEnum()) {
if (!fieldBinding.type.isArrayType()) {
scope.problemReporter().annotationValueMustBeConstant(this.binding.declaringClass, this.name, this.value, true);
} else {
scope.problemReporter().annotationValueMustBeArrayInitializer(this.binding.declaringClass, this.name, this.value);
}
}
}
} else {
scope.problemReporter().annotationValueMustBeConstant(this.binding.declaringClass, this.name, this.value, true);
}
break checkAnnotationMethodType;
}
if (leafType.isAnnotationType()) {
if (!valueType.leafComponentType().isAnnotationType()) { // check annotation type and also reject null literal
scope.problemReporter().annotationValueMustBeAnnotation(this.binding.declaringClass, this.name, this.value, leafType);
} else if (this.value instanceof ArrayInitializer) {
ArrayInitializer initializer = (ArrayInitializer) this.value;
final Expression[] expressions = initializer.expressions;