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

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

  public ASTBrush(drawphase2 p, int id) {
    super(p, id);
  }

  public void generate()
  {
    System.out.println
	  ("<brush thickness=\"" + ((ASTInt) jjtGetChild(0)).val +
        "\" />");
  }

}
