funcComment = new JavaDocComment(calDocCommentToJavaComment(cdc, dc, false, argNames));
funcComment = fixupJavaDoc(funcComment, origArgNames, argNames);
} else {
funcComment = new JavaDocComment("Binding for DataConstructor: " + dc.getName().getQualifiedName() + ".");
for (int iName = 0; iName < argNames.length; ++iName) {
funcComment.addLine("@param " + argNames[iName]);
}
funcComment.addLine("@return the SourceModule.Expr representing an application of " + dc.getName().getQualifiedName());
}
bindingFunction.setJavaDocComment(funcComment);