@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; }
@SuppressWarnings({"unchecked", "cast"}) public DivExpr copy() { try { DivExpr node = (DivExpr) clone(); if (children != null) node.children = (ASTNode[]) children.clone(); return node; } catch (CloneNotSupportedException e) { } System.err.println("Error: Could not clone node of type " + getClass().getName() + "!"); return null; }
@SuppressWarnings({"unchecked", "cast"}) public DivExpr clone() throws CloneNotSupportedException { DivExpr node = (DivExpr) super.clone(); node.isConstant_visited = 0; node.isConstant_computed = false; node.isConstant_initialized = false; node.in$Circle(false); node.is$Final(false); return node; }