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

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

  public ASTText(drawphase1 p, int id) {
    super(p, id);
  }
  
  /*-----------------------------------------------*/
  /* Returns text in svg format                    */
  /*-----------------------------------------------*/
  public String getString()
  {
    String message = "";
    String inputMsg = ((ASTString) jjtGetChild(3)).val;
    
    /* removes " " from the surrounding string */
    message = inputMsg.substring(1,inputMsg.length()-1); 

    return "<text x=\"" + ((ASTInt) jjtGetChild(0)).val +
              "\" y=\"" + ((ASTInt) jjtGetChild(1)).val +
              "\" font-size=\"" + ((ASTInt) jjtGetChild(2)).val +
              "\">" + message +
           "</text>";
  }
}
