@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; }