/** @apilevel low-level */ @SuppressWarnings({"unchecked", "cast"}) public FloatType fullCopy() { FloatType res = (FloatType) copy(); for (int i = 0; i < getNumChildNoTransform(); i++) { ASTNode node = getChildNoTransform(i); if (node != null) node = node.fullCopy(); res.setChild(node, i); } return res; }
/** @apilevel internal */ @SuppressWarnings({"unchecked", "cast"}) public FloatType copy() { try { FloatType node = (FloatType) 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; }
/** @apilevel internal */ @SuppressWarnings({"unchecked", "cast"}) public FloatType clone() throws CloneNotSupportedException { FloatType node = (FloatType) super.clone(); node.boxed_computed = false; node.boxed_value = null; node.jvmName_computed = false; node.jvmName_value = null; node.getSootType_computed = false; node.getSootType_value = null; node.in$Circle(false); node.is$Final(false); return node; }