/* 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);
  }

  /*----------------------------------------------*/
  /*  Returns the node type                       */
  /*----------------------------------------------*/
  public String getType()
  {
    return "Brush";
  }

  /*----------------------------------------------*/
  /*  Returns the brush size                      */
  /*----------------------------------------------*/
  public int getBrush()
  {
    int brush = 0;
    
    brush = ((ASTInt) jjtGetChild(0)).val;
    
    return brush;
  }

  /*----------------------------------------------*/
  /*  Loops through the Brush's children          */
  /*----------------------------------------------*/
  public String getString()
  {
    String children = "";

    for(int i=1; i < jjtGetNumChildren(); i++) 
    {
      children = children + jjtGetChild(i).getString();
    }

    return children;    
  }
}
