/** @apilevel internal */
@SuppressWarnings({"unchecked", "cast"})
public Wildcard copy() {
try {
Wildcard node = (Wildcard) clone();
node.parent = null;
if (children != null) node.children = (ASTNode[]) children.clone();
return node;
} catch (CloneNotSupportedException e) {
throw new Error("Error: clone not supported for " + getClass().getName());
}
}
