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

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

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

  
  public void getSVG()
  {
     int stampX = jjtGetChild(0).getParam();
     int stampY = jjtGetChild(1).getParam();
     int stampNumber = jjtGetChild(2).getParam();
     jjtGetParent().setStampX(stampX);
     jjtGetParent().setStampY(stampY);
     jjtGetParent().setStampNumber(stampNumber);
     
  }

}
