/* Generated By:JJTree: Do not edit this line. ASTTriangle.java */
import java.io.*;

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

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

	public void generate(FileWriter SVGFile, int X, 
						int Y, String colour, int brush)
	{
        DrawLine
			(SVGFile, X, Y, colour, brush,
			((ASTInt)jjtGetChild(0)).val, 
			((ASTInt)jjtGetChild(1)).val, 
			((ASTInt)jjtGetChild(2)).val, 
			((ASTInt)jjtGetChild(3)).val
		);

        DrawLine
			(SVGFile, X, Y, colour, brush,
			((ASTInt)jjtGetChild(2)).val, 
			((ASTInt)jjtGetChild(3)).val, 
			((ASTInt)jjtGetChild(4)).val, 
			((ASTInt)jjtGetChild(5)).val
		);

        DrawLine
			(SVGFile, X, Y, colour, brush,
			((ASTInt)jjtGetChild(4)).val, 
			((ASTInt)jjtGetChild(5)).val, 
			((ASTInt)jjtGetChild(0)).val, 
			((ASTInt)jjtGetChild(1)).val
		);
    }
}
