parameter_idx = Integer.parseInt(parameter);
} catch (NumberFormatException nfe) {}
assert(parameter_idx >= 0); // better be valid by now.
assert(parameter_idx < args.size()); // must refer to a provided argument
expr.setParameterArg(parameter_idx);
expr.negotiateInitialValueTypes();
}
return expr;
}
/**