@Override
public void endVisit(SuperMethodInvocation node) {
maybeCastArguments(node.getArguments(), node.getMethodBinding());
if (returnValueNeedsIntCast(node)) {
addCast(node);
}
}
@Override
public void endVisit(SuperMethodInvocation node) {
Name qualifier = node.getQualifier();
if (qualifier == null) {
return;
}
IMethodBinding method = node.getMethodBinding();
ITypeBinding exprType = node.getTypeBinding();
IVariableBinding var = TreeUtil.getVariableBinding(qualifier);
assert var != null : "Expected qualifier to be a variable";
ITypeBinding qualifierType = var.getType();
SuperMethodBindingPair superMethod = new SuperMethodBindingPair(qualifierType, method);
superMethods.add(superMethod);
FunctionBinding binding =
new FunctionBinding(getSuperFunctionName(superMethod), exprType, qualifierType);
binding.addParameters(qualifierType, typeEnv.getIdType());
binding.addParameters(method.getParameterTypes());
FunctionInvocation invocation = new FunctionInvocation(binding, exprType);
List<Expression> args = invocation.getArguments();
args.add(TreeUtil.remove(qualifier));
String selectorExpr = UnicodeUtils.format("@selector(%s)", nameTable.getMethodSelector(method));
args.add(new NativeExpression(selectorExpr, typeEnv.getIdType()));
TreeUtil.copyList(node.getArguments(), args);
node.replaceWith(invocation);
}
@Override
public void endVisit(SuperMethodInvocation node) {
List<IVariableBinding> path = OuterReferenceResolver.getPath(node);
if (path != null) {
// We substitute the qualifying type name with the outer variable name.
node.setQualifier(Name.newName(fixPath(path)));
} else {
node.setQualifier(null);
}
}
private ITypeBinding getDeclaredType(Expression expr) {
IVariableBinding var = TreeUtil.getVariableBinding(expr);
if (var != null) {
return var.getVariableDeclaration().getType();
}
switch (expr.getKind()) {
case CLASS_INSTANCE_CREATION:
return typeEnv.resolveIOSType("id");
case FUNCTION_INVOCATION:
{
ITypeBinding returnType =
((FunctionInvocation) expr).getFunctionBinding().getReturnType();
if (returnType.isTypeVariable()) {
return typeEnv.resolveIOSType("id");
}
return returnType;
}
case METHOD_INVOCATION:
{
MethodInvocation invocation = (MethodInvocation) expr;
IMethodBinding method = invocation.getMethodBinding();
// Object receiving the message, or null if it's a method in this class.
Expression receiver = invocation.getExpression();
ITypeBinding receiverType =
receiver != null ? receiver.getTypeBinding() : method.getDeclaringClass();
return getDeclaredReturnType(method, receiverType);
}
case PARENTHESIZED_EXPRESSION:
return getDeclaredType(((ParenthesizedExpression) expr).getExpression());
case SUPER_METHOD_INVOCATION:
{
SuperMethodInvocation invocation = (SuperMethodInvocation) expr;
IMethodBinding method = invocation.getMethodBinding();
if (invocation.getQualifier() != null) {
// For a qualified super invocation, the statement generator will look
// up the IMP using instanceMethodForSelector.
if (!method.getReturnType().isPrimitive()) {
return typeEnv.resolveIOSType("id");
} else {
return null;
}
}
return getDeclaredReturnType(
method, TreeUtil.getOwningType(invocation).getTypeBinding().getSuperclass());
}
default:
return null;
}
}