@SuppressWarnings({"unchecked", "cast"})
public IdUse fullCopy() {
IdUse res = (IdUse) 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 IdUse copy() {
try {
IdUse node = (IdUse) 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;
}