Program: 60090
Project: 60090
Buggy source:
private void svgChildren(Node n){
  if (n instanceof SVGCircleElementImpl) {
    SVGCircleElementImpl svgcircle=(SVGCircleElementImpl)n;
    AbstractCSS2Properties style=svgcircle.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(CIRCLE);
    svgi.setX(svgcircle.getCx().getBaseVal().getValue());
    svgi.setY(svgcircle.getCy().getBaseVal().getValue());
    svgi.setR(svgcircle.getR().getBaseVal().getValue());
    if (svgcircle.getFill() != null) {
      style.setFill(svgcircle.getFill());
    }
    if (svgcircle.getStroke() != null) {
      style.setStroke(svgcircle.getStroke());
    }
    if (svgcircle.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgcircle.getStrokeDashArray());
    }
    if (svgcircle.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgcircle.getStrokeLineCap());
    }
    if (svgcircle.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgcircle.getStrokeMiterLimit());
    }
    if (svgcircle.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgcircle.getStrokeOpacity());
    }
    if (svgcircle.getStrokeWidth() != null) {
      style.setStrokeWidth(svgcircle.getStrokeWidth());
    }
    svgi.setTransformList(svgcircle.getTransform().getBaseVal());
    svgi.setStyle(style);
    svgList.add(svgi);
  }
  if (n instanceof SVGRectElementImpl) {
    SVGRectElementImpl svgrect=(SVGRectElementImpl)n;
    AbstractCSS2Properties style=svgrect.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(RECT);
    svgi.setX(svgrect.getX().getBaseVal().getValue());
    svgi.setY(svgrect.getY().getBaseVal().getValue());
    svgi.setWidth(svgrect.getWidth().getBaseVal().getValue());
    svgi.setHeight(svgrect.getHeight().getBaseVal().getValue());
    svgi.setRx(svgrect.getRx().getBaseVal().getValue());
    svgi.setRy(svgrect.getRy().getBaseVal().getValue());
    if (svgrect.getFill() != null) {
      style.setFill(svgrect.getFill());
    }
    if (svgrect.getStroke() != null) {
      style.setStroke(svgrect.getStroke());
    }
    if (svgrect.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgrect.getStrokeDashArray());
    }
    if (svgrect.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgrect.getStrokeLineCap());
    }
    if (svgrect.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgrect.getStrokeMiterLimit());
    }
    if (svgrect.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgrect.getStrokeOpacity());
    }
    if (svgrect.getStrokeWidth() != null) {
      style.setStrokeWidth(svgrect.getStrokeWidth());
    }
    svgi.setTransformList(svgrect.getTransform().getBaseVal());
    svgi.setStyle(style);
    svgList.add(svgi);
  }
  if (n instanceof SVGEllipseElementImpl) {
    SVGEllipseElementImpl svgellipse=(SVGEllipseElementImpl)n;
    AbstractCSS2Properties style=svgellipse.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(ELLIPSE);
    svgi.setX(svgellipse.getCx().getBaseVal().getValue());
    svgi.setY(svgellipse.getCy().getBaseVal().getValue());
    svgi.setRx(svgellipse.getRx().getBaseVal().getValue());
    svgi.setRy(svgellipse.getRy().getBaseVal().getValue());
    if (svgellipse.getFill() != null) {
      style.setFill(svgellipse.getFill());
    }
    if (svgellipse.getStroke() != null) {
      style.setStroke(svgellipse.getStroke());
    }
    if (svgellipse.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgellipse.getStrokeDashArray());
    }
    if (svgellipse.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgellipse.getStrokeLineCap());
    }
    if (svgellipse.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgellipse.getStrokeMiterLimit());
    }
    if (svgellipse.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgellipse.getStrokeOpacity());
    }
    if (svgellipse.getStrokeWidth() != null) {
      style.setStrokeWidth(svgellipse.getStrokeWidth());
    }
    svgi.setTransformList(svgellipse.getTransform().getBaseVal());
    svgi.setStyle(svgellipse.getStyle());
    svgList.add(svgi);
  }
  if (n instanceof SVGLineElementImpl) {
    SVGLineElementImpl svgline=(SVGLineElementImpl)n;
    AbstractCSS2Properties style=svgline.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(LINE);
    svgi.setX1(svgline.getX1().getBaseVal().getValue());
    svgi.setY1(svgline.getY1().getBaseVal().getValue());
    svgi.setX2(svgline.getX2().getBaseVal().getValue());
    svgi.setY2(svgline.getY2().getBaseVal().getValue());
    if (svgline.getFill() != null) {
      style.setFill(svgline.getFill());
    }
    if (svgline.getStroke() != null) {
      style.setStroke(svgline.getStroke());
    }
    if (svgline.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgline.getStrokeDashArray());
    }
    if (svgline.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgline.getStrokeLineCap());
    }
    if (svgline.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgline.getStrokeMiterLimit());
    }
    if (svgline.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgline.getStrokeOpacity());
    }
    if (svgline.getStrokeWidth() != null) {
      style.setStrokeWidth(svgline.getStrokeWidth());
    }
    svgi.setTransformList(svgline.getTransform().getBaseVal());
    svgi.setStyle(svgline.getStyle());
    svgList.add(svgi);
  }
  if (n instanceof SVGPolylineElementImpl) {
    SVGPolylineElementImpl svgline=(SVGPolylineElementImpl)n;
    AbstractCSS2Properties style=svgline.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(POLYLINE);
    svgi.setPoilist(svgline.getPoints());
    if (svgline.getFill() != null) {
      style.setFill(svgline.getFill());
    }
    if (svgline.getStroke() != null) {
      style.setStroke(svgline.getStroke());
    }
    if (svgline.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgline.getStrokeDashArray());
    }
    if (svgline.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgline.getStrokeLineCap());
    }
    if (svgline.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgline.getStrokeMiterLimit());
    }
    if (svgline.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgline.getStrokeOpacity());
    }
    if (svgline.getStrokeWidth() != null) {
      style.setStrokeWidth(svgline.getStrokeWidth());
    }
    svgi.setTransformList(svgline.getTransform().getBaseVal());
    svgi.setStyle(svgline.getStyle());
    svgList.add(svgi);
  }
  if (n instanceof SVGPolygonElementImpl) {
    SVGPolygonElementImpl svgline=(SVGPolygonElementImpl)n;
    AbstractCSS2Properties style=svgline.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(POLYGON);
    svgi.setPoilist(svgline.getPoints());
    if (svgline.getFill() != null) {
      style.setFill(svgline.getFill());
    }
    if (svgline.getStroke() != null) {
      style.setStroke(svgline.getStroke());
    }
    if (svgline.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgline.getStrokeDashArray());
    }
    if (svgline.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgline.getStrokeLineCap());
    }
    if (svgline.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgline.getStrokeMiterLimit());
    }
    if (svgline.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgline.getStrokeOpacity());
    }
    if (svgline.getStrokeWidth() != null) {
      style.setStrokeWidth(svgline.getStrokeWidth());
    }
    svgi.setTransformList(svgline.getTransform().getBaseVal());
    svgi.setStyle(svgline.getStyle());
    svgList.add(svgi);
  }
  if (n instanceof SVGPathElementImpl) {
    SVGPathElementImpl svgpath=(SVGPathElementImpl)n;
    AbstractCSS2Properties style=svgpath.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(PATH);
    if (svgpath.getFill() != null) {
      style.setFill(svgpath.getFill());
    }
    if (svgpath.getStroke() != null) {
      style.setStroke(svgpath.getStroke());
    }
    if (svgpath.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgpath.getStrokeDashArray());
    }
    if (svgpath.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgpath.getStrokeLineCap());
    }
    if (svgpath.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgpath.getStrokeMiterLimit());
    }
    if (svgpath.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgpath.getStrokeOpacity());
    }
    if (svgpath.getStrokeWidth() != null) {
      style.setStrokeWidth(svgpath.getStrokeWidth());
    }
    svgi.setPathSegList(svgpath.getPathSegList());
    svgi.setStyle(svgpath.getStyle());
    svgList.add(svgi);
  }
}

Fixed version (ground truth):
private void svgChildren(Node n){
  if (n instanceof SVGCircleElementImpl) {
    SVGCircleElementImpl svgcircle=(SVGCircleElementImpl)n;
    AbstractCSS2Properties style=svgcircle.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(CIRCLE);
    svgi.setX(svgcircle.getCx().getBaseVal().getValue());
    svgi.setY(svgcircle.getCy().getBaseVal().getValue());
    svgi.setR(svgcircle.getR().getBaseVal().getValue());
    if (svgcircle.getFill() != null) {
      style.setFill(svgcircle.getFill());
    }
    if (svgcircle.getStroke() != null) {
      style.setStroke(svgcircle.getStroke());
    }
    if (svgcircle.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgcircle.getStrokeDashArray());
    }
    if (svgcircle.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgcircle.getStrokeLineCap());
    }
    if (svgcircle.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgcircle.getStrokeMiterLimit());
    }
    if (svgcircle.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgcircle.getStrokeOpacity());
    }
    if (svgcircle.getStrokeWidth() != null) {
      style.setStrokeWidth(svgcircle.getStrokeWidth());
    }
    svgi.setTransformList(svgcircle.getTransform().getBaseVal());
    svgi.setStyle(style);
    svgList.add(svgi);
  }
  if (n instanceof SVGRectElementImpl) {
    SVGRectElementImpl svgrect=(SVGRectElementImpl)n;
    AbstractCSS2Properties style=svgrect.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(RECT);
    svgi.setX(svgrect.getX().getBaseVal().getValue());
    svgi.setY(svgrect.getY().getBaseVal().getValue());
    svgi.setWidth(svgrect.getWidth().getBaseVal().getValue());
    svgi.setHeight(svgrect.getHeight().getBaseVal().getValue());
    svgi.setRx(svgrect.getRx().getBaseVal().getValue());
    svgi.setRy(svgrect.getRy().getBaseVal().getValue());
    if (svgrect.getFill() != null) {
      style.setFill(svgrect.getFill());
    }
    if (svgrect.getStroke() != null) {
      style.setStroke(svgrect.getStroke());
    }
    if (svgrect.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgrect.getStrokeDashArray());
    }
    if (svgrect.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgrect.getStrokeLineCap());
    }
    if (svgrect.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgrect.getStrokeMiterLimit());
    }
    if (svgrect.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgrect.getStrokeOpacity());
    }
    if (svgrect.getStrokeWidth() != null) {
      style.setStrokeWidth(svgrect.getStrokeWidth());
    }
    svgi.setTransformList(svgrect.getTransform().getBaseVal());
    svgi.setStyle(style);
    svgList.add(svgi);
  }
  if (n instanceof SVGEllipseElementImpl) {
    SVGEllipseElementImpl svgellipse=(SVGEllipseElementImpl)n;
    AbstractCSS2Properties style=svgellipse.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(ELLIPSE);
    svgi.setX(svgellipse.getCx().getBaseVal().getValue());
    svgi.setY(svgellipse.getCy().getBaseVal().getValue());
    svgi.setRx(svgellipse.getRx().getBaseVal().getValue());
    svgi.setRy(svgellipse.getRy().getBaseVal().getValue());
    if (svgellipse.getFill() != null) {
      style.setFill(svgellipse.getFill());
    }
    if (svgellipse.getStroke() != null) {
      style.setStroke(svgellipse.getStroke());
    }
    if (svgellipse.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgellipse.getStrokeDashArray());
    }
    if (svgellipse.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgellipse.getStrokeLineCap());
    }
    if (svgellipse.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgellipse.getStrokeMiterLimit());
    }
    if (svgellipse.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgellipse.getStrokeOpacity());
    }
    if (svgellipse.getStrokeWidth() != null) {
      style.setStrokeWidth(svgellipse.getStrokeWidth());
    }
    svgi.setTransformList(svgellipse.getTransform().getBaseVal());
    svgi.setStyle(svgellipse.getStyle());
    svgList.add(svgi);
  }
  if (n instanceof SVGLineElementImpl) {
    SVGLineElementImpl svgline=(SVGLineElementImpl)n;
    AbstractCSS2Properties style=svgline.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(LINE);
    svgi.setX1(svgline.getX1().getBaseVal().getValue());
    svgi.setY1(svgline.getY1().getBaseVal().getValue());
    svgi.setX2(svgline.getX2().getBaseVal().getValue());
    svgi.setY2(svgline.getY2().getBaseVal().getValue());
    if (svgline.getFill() != null) {
      style.setFill(svgline.getFill());
    }
    if (svgline.getStroke() != null) {
      style.setStroke(svgline.getStroke());
    }
    if (svgline.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgline.getStrokeDashArray());
    }
    if (svgline.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgline.getStrokeLineCap());
    }
    if (svgline.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgline.getStrokeMiterLimit());
    }
    if (svgline.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgline.getStrokeOpacity());
    }
    if (svgline.getStrokeWidth() != null) {
      style.setStrokeWidth(svgline.getStrokeWidth());
    }
    svgi.setTransformList(svgline.getTransform().getBaseVal());
    svgi.setStyle(svgline.getStyle());
    svgList.add(svgi);
  }
  if (n instanceof SVGPolylineElementImpl) {
    SVGPolylineElementImpl svgline=(SVGPolylineElementImpl)n;
    AbstractCSS2Properties style=svgline.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(POLYLINE);
    svgi.setPoilist(svgline.getPoints());
    if (svgline.getFill() != null) {
      style.setFill(svgline.getFill());
    }
    if (svgline.getStroke() != null) {
      style.setStroke(svgline.getStroke());
    }
    if (svgline.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgline.getStrokeDashArray());
    }
    if (svgline.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgline.getStrokeLineCap());
    }
    if (svgline.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgline.getStrokeMiterLimit());
    }
    if (svgline.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgline.getStrokeOpacity());
    }
    if (svgline.getStrokeWidth() != null) {
      style.setStrokeWidth(svgline.getStrokeWidth());
    }
    svgi.setTransformList(svgline.getTransform().getBaseVal());
    svgi.setStyle(svgline.getStyle());
    svgList.add(svgi);
  }
  if (n instanceof SVGPolygonElementImpl) {
    SVGPolygonElementImpl svgline=(SVGPolygonElementImpl)n;
    AbstractCSS2Properties style=svgline.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(POLYGON);
    svgi.setPoilist(svgline.getPoints());
    if (svgline.getFill() != null) {
      style.setFill(svgline.getFill());
    }
    if (svgline.getStroke() != null) {
      style.setStroke(svgline.getStroke());
    }
    if (svgline.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgline.getStrokeDashArray());
    }
    if (svgline.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgline.getStrokeLineCap());
    }
    if (svgline.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgline.getStrokeMiterLimit());
    }
    if (svgline.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgline.getStrokeOpacity());
    }
    if (svgline.getStrokeWidth() != null) {
      style.setStrokeWidth(svgline.getStrokeWidth());
    }
    svgi.setTransformList(svgline.getTransform().getBaseVal());
    svgi.setStyle(svgline.getStyle());
    svgList.add(svgi);
  }
  if (n instanceof SVGPathElementImpl) {
    SVGPathElementImpl svgpath=(SVGPathElementImpl)n;
    AbstractCSS2Properties style=svgpath.getStyle();
    SVGInfo svgi=new SVGInfo();
    svgi.setMethod(PATH);
    if (svgpath.getFill() != null) {
      style.setFill(svgpath.getFill());
    }
    if (svgpath.getStroke() != null) {
      style.setStroke(svgpath.getStroke());
    }
    if (svgpath.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgpath.getStrokeDashArray());
    }
    if (svgpath.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgpath.getStrokeLineCap());
    }
    if (svgpath.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgpath.getStrokeMiterLimit());
    }
    if (svgpath.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgpath.getStrokeOpacity());
    }
    if (svgpath.getStrokeWidth() != null) {
      style.setStrokeWidth(svgpath.getStrokeWidth());
    }
    svgi.setPathSegList(svgpath.getPathSegList());
    svgi.setStyle(svgpath.getStyle());
    svgList.add(svgi);
  }
  if (n instanceof SVGGElementImpl) {
    SVGGElementImpl svgGroup=(SVGGElementImpl)n;
    AbstractCSS2Properties style=svgGroup.getStyle();
    if (svgGroup.getFill() != null) {
      style.setFill(svgGroup.getFill());
    }
    if (svgGroup.getStroke() != null) {
      style.setStroke(svgGroup.getStroke());
    }
    if (svgGroup.getStrokeDashArray() != null) {
      style.setStrokeDashArray(svgGroup.getStrokeDashArray());
    }
    if (svgGroup.getStrokeLineCap() != null) {
      style.setStrokeLineCap(svgGroup.getStrokeLineCap());
    }
    if (svgGroup.getStrokeMiterLimit() != null) {
      style.setStrokeMiterLimit(svgGroup.getStrokeMiterLimit());
    }
    if (svgGroup.getStrokeOpacity() != null) {
      style.setStrokeOpacity(svgGroup.getStrokeOpacity());
    }
    if (svgGroup.getStrokeWidth() != null) {
      style.setStrokeWidth(svgGroup.getStrokeWidth());
    }
    SVGInfo svgiGroup=new SVGInfo();
    svgiGroup.setTransformList(svgGroup.getTransform().getBaseVal());
    svgiGroup.setStyle(svgGroup.getStyle());
    setSvgiGroup(svgiGroup);
    NodeList gChildNodes=svgGroup.getChildNodes();
    logger.error("String_Node_Str" + gChildNodes.getLength());
    for (int g=0; g < gChildNodes.getLength(); g++) {
      Node n1=(Node)gChildNodes.item(g);
      logger.error(n1.getClass().getName());
      svgChildren(n1);
    }
  }
}