/** @apilevel internal */
 @SuppressWarnings({"unchecked", "cast"})
 public WildcardSuperType copy() {
   try {
     WildcardSuperType node = (WildcardSuperType) 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());
   }
 }
 /**
  * Create a deep copy of the AST subtree at this node. The copy is dangling, i.e. has no parent.
  *
  * @return dangling copy of the subtree at this node
  * @apilevel low-level
  */
 @SuppressWarnings({"unchecked", "cast"})
 public WildcardSuperType fullCopy() {
   WildcardSuperType tree = (WildcardSuperType) copy();
   if (children != null) {
     for (int i = 0; i < children.length; ++i) {
       ASTNode child = (ASTNode) children[i];
       if (child != null) {
         child = child.fullCopy();
         tree.setChild(child, i);
       }
     }
   }
   return tree;
 }
 /**
  * @attribute syn
  * @aspect GenericsSubtype
  * @declaredat
  *     /Users/eric/Documents/workspaces/clara-soot/JastAddJ/Java1.5Frontend/GenericsSubtype.jrag:66
  */
 public boolean supertypeWildcardSuper(WildcardSuperType type) {
   ASTNode$State state = state();
   try {
     return type.superType().subtype(superType());
   } finally {
   }
 }
 /** @apilevel internal */
 @SuppressWarnings({"unchecked", "cast"})
 public WildcardSuperType clone() throws CloneNotSupportedException {
   WildcardSuperType node = (WildcardSuperType) super.clone();
   node.involvesTypeParameters_visited = -1;
   node.involvesTypeParameters_computed = false;
   node.involvesTypeParameters_initialized = false;
   node.usesTypeVariable_visited = -1;
   node.usesTypeVariable_computed = false;
   node.usesTypeVariable_initialized = false;
   node.subtype_TypeDecl_values = null;
   node.containedIn_TypeDecl_values = null;
   node.sameStructure_TypeDecl_values = null;
   node.instanceOf_TypeDecl_values = null;
   node.in$Circle(false);
   node.is$Final(false);
   return node;
 }