public static void getAST(ParseTreeNode raiz, String Nombre)
{
String grafoDOT = Graficar.arbolDOT.getDOT2(raiz);
WINGRAPHVIZLib.DOT dot = new WINGRAPHVIZLib.DOT();
WINGRAPHVIZLib.BinaryImage img = dot.ToJPEG(grafoDOT);
img.Save(Nombre);
}
public static void getImage(ParseTreeNode raiz)
{
String grafoDOT = Graficar.arbolDOT.getDOT(raiz);
WINGRAPHVIZLib.DOT dot = new WINGRAPHVIZLib.DOT();
WINGRAPHVIZLib.BinaryImage img = dot.ToJPEG(grafoDOT);
img.Save("ast.jpeg");
}
