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

public class ASTtext extends SimpleNode {
  protected String str;
  
  public ASTtext(int id) {
    super(id);
  }

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

  public void getSVG()
  { 
    String col = jjtGetParent().getColour();
    int xOff = jjtGetParent().getXOff();
    int yOff = jjtGetParent().getYOff();
    int a = xOff + jjtGetChild(0).getParam();
    int b = yOff + jjtGetChild(1).getParam();
    int c = jjtGetChild(2).getParam();

    System.out.println("<text stroke=\"none\" fill=\"" + col +"\" x=\"" + a + "\" y=\"" + b + "\" font-size=\"" + c 
                        + "\">" + str + "</text>");
  }

}
