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

public class ASTlineWidth extends SimpleNode {

  public ASTlineWidth(int id) {
    super(id);
  }

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

  
  
  public void getSVG()
  {
    int a = jjtGetChild(0).getParam();
    jjtGetParent().setLineWidth(a);   
  }
}
