예제 #1
0
 @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;
 }
예제 #2
0
 @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;
 }
예제 #3
0
 @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;
 }