/* Generated By:JJTree: Do not edit this line. ASTline.java */

public class ASTline extends SimpleNode {
  public ASTline(int id) {
    super(id);
  }

  public ASTline(S p, int id) {
    super(p, id);
  }

  public void getSVG()
  {
      int linewidth = jjtGetParent().getLineWidth();
      String col = jjtGetParent().getColour();
      int xOff = jjtGetParent().getXOff();
      int yOff = jjtGetParent().getYOff();
      int x1 = xOff + jjtGetChild(0).getParam();
      int y1 = yOff + jjtGetChild(1).getParam();
	int x2 = xOff + jjtGetChild(2).getParam();
      int y2 = yOff + jjtGetChild(3).getParam();

      System.out.println("<line stroke=\"" + col +"\" stroke-width=\"" + linewidth + "\" x1=\"" + x1 + "\" y1=\"" + y1 + "\" x2=\"" 
                             + x2 + "\" y2=\"" + y2 + "\"/>");
   }
}