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

import java.io.*;

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

	public ASTOffset(DrawPhase2 p, int id) 
	{
		super(p, id);
	}

    public void generate(FileWriter SVGFile, int X, 
						int Y, String colour, int brush)
    {

        jjtGetChild(2).generate
			(SVGFile,
			X + ((ASTInt)jjtGetChild(0)).val, 
			Y + ((ASTInt)jjtGetChild(1)).val, 
			colour, brush);
    }
}
