@SuppressWarnings({"unchecked", "cast"})
public DivExpr fullCopy() {
DivExpr res = (DivExpr) copy();
for (int i = 0; i < getNumChildNoTransform(); i++) {
ASTNode node = getChildNoTransform(i);
if (node != null) node = node.fullCopy();
res.setChild(node, i);
}
return res;
}
