package org.eclipse.jdt.internal.compiler.ast;
import org.eclipse.jdt.internal.compiler.ASTVisitor;
import org.eclipse.jdt.internal.compiler.impl.Constant;
import org.eclipse.jdt.internal.compiler.lookup.Binding;
import org.eclipse.jdt.internal.compiler.lookup.BlockScope;
import org.eclipse.jdt.internal.compiler.lookup.ClassScope;
import org.eclipse.jdt.internal.compiler.lookup.ElementValuePair;
import org.eclipse.jdt.internal.compiler.lookup.FieldBinding;
import org.eclipse.jdt.internal.compiler.lookup.LocalVariableBinding;
import org.eclipse.jdt.internal.compiler.lookup.MethodBinding;
import org.eclipse.jdt.internal.compiler.lookup.TypeBinding;
public class MemberValuePair extends ASTNode {
public char[] name;
public Expression value;
public MethodBinding binding;
public ElementValuePair compilerElementPair = null;
public MemberValuePair(char[] token, int sourceStart, int sourceEnd, Expression value) {
this.name = token;
this.sourceStart = sourceStart;
this.sourceEnd = sourceEnd;
this.value = value;
if (value instanceof ArrayInitializer) {
value.bits |= IsAnnotationDefaultValue;
}
}
@Override
public StringBuffer print(int indent, StringBuffer output) {
output
.append(this.name)
.append(" = ");
this.value.print(0, output);
return output;
}
public void resolveTypeExpecting(final BlockScope scope, final TypeBinding requiredType) {
if (this.compilerElementPair != null) {
return;
}
if (this.value == null) {
this.compilerElementPair = new ElementValuePair(this.name, this.value, this.binding);
return;
}
if (requiredType == null) {
if (this.value instanceof ArrayInitializer) {
this.value.resolveTypeExpecting(scope, null);
} else {
this.value.resolveType(scope);
}
this.compilerElementPair = new ElementValuePair(this.name, this.value, this.binding);
return;
}
this.value.setExpectedType(requiredType);
final 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;
} else {
valueType = this.value.resolveType(scope);
ASTVisitor visitor = new ASTVisitor() {
@Override
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;
final TypeBinding leafType = requiredType.leafComponentType();
final boolean[] shouldExit = { false };
Runnable check = new Runnable() {
@Override
public void run() {
if (!(MemberValuePair.this.value.isConstantValueOfTypeAssignableToType(valueType, requiredType)
|| valueType.isCompatibleWith(requiredType))) {
if (!(requiredType.isArrayType()
&& requiredType.dimensions() == 1
&& (MemberValuePair.this.value.isConstantValueOfTypeAssignableToType(valueType, leafType)
|| valueType.isCompatibleWith(leafType)))) {
if (leafType.isAnnotationType() && !valueType.isAnnotationType()) {
scope.problemReporter().annotationValueMustBeAnnotation(MemberValuePair.this.binding.declaringClass,
MemberValuePair.this.name, MemberValuePair.this.value, leafType);
} else {
scope.problemReporter().typeMismatchError(valueType, requiredType, MemberValuePair.this.value, null);
}
shouldExit[0] = true;
}
} else {
scope.compilationUnitScope().recordTypeConversion(requiredType.leafComponentType(), valueType.leafComponentType());
MemberValuePair.this.value.computeConversion(scope, requiredType, valueType);
}
}
};
if (!scope.deferCheck(check)) {
check.run();
if (shouldExit[0])
return;
}
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;
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()) {
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;
if (expressions != null) {
for (int i =0, max = expressions.length; i < max; i++) {
Expression currentExpression = expressions[i];
if (currentExpression instanceof NullLiteral || !(currentExpression instanceof Annotation)) {
scope.problemReporter().annotationValueMustBeAnnotation(this.binding.declaringClass, this.name, currentExpression, leafType);
}
}
}
} else if (!(this.value instanceof Annotation)) {
scope.problemReporter().annotationValueMustBeAnnotation(this.binding.declaringClass, this.name, this.value, leafType);
}
break checkAnnotationMethodType;
}
}
}
@Override
public void traverse(ASTVisitor visitor, BlockScope scope) {
if (visitor.visit(this, scope)) {
if (this.value != null) {
this.value.traverse(visitor, scope);
}
}
visitor.endVisit(this, scope);
}
public void traverse(ASTVisitor visitor, ClassScope scope) {
if (visitor.visit(this, scope)) {
if (this.value != null) {
this.value.traverse(visitor, scope);
}
}
visitor.endVisit(this, scope);
}
}