public static Tuple <int, Context> SemantickCheck(COOLLenguage.SemanticCheck.AST1.Program ast)
{
var logger = new ErrorLogger(Console.Out);
TypeCollectorVisitor visit1 = new TypeCollectorVisitor()
{
log = logger
};
visit1.Visit(ast);
TypeBuilderVisitor visit2 = new TypeBuilderVisitor()
{
Context = visit1.Context, errorLog = logger
};
visit2.Visit(ast);
TypeChekerVisitor visit3 = new TypeChekerVisitor()
{
Context = visit2.Context, errorLog = logger
};
visit3.Visit(ast);
return(new Tuple <int, Context>(visit3.errorLog.CountErrors, (Context)visit3.Context));
}
static void Main(string[] args)
{
/* Note Comentar estas 2 lineas para ejecutarlo por consola */
args = new string[1];
args[0] = $"{Environment.CurrentDirectory}/examples/cases.cool";
foreach (var arg in args)
{
#region Check file exist + update path
string current = arg;
if (!File.Exists(arg))
{
current = Environment.CurrentDirectory + "/examples/" + arg;
if (!File.Exists(current))
{
Console.WriteLine("No such file or directory. Please enter a valid .cool file");
break;
}
}
#endregion
#region Parser-Lexer
var input = new ANTLRFileStream(current);
var lexer = new CoolGrammarLexer(input);
var tokens = new CommonTokenStream(lexer);
var parser = new CoolGrammarParser(tokens)
{
TreeAdaptor = new TreeAdaptor()
};
var programNode = (ProgramNode)parser.program().Tree;
if (Logger.HasError)
{
Logger.Report();
return;
}
#endregion
#region Semantic
var typeCollectorVisitor = new TypeCollectorVisitor();
typeCollectorVisitor.CheckSemantic(programNode);
if (Logger.HasError)
{
Logger.Report();
return;
}
var typeBuilderVisitor = new TypeBuilderVisitor();
typeBuilderVisitor.CheckSemantic(programNode);
if (Logger.HasError)
{
Logger.Report();
return;
}
var typeCheckerVisitor = new TypeCheckerVisitor();
typeCheckerVisitor.CheckSemantic(programNode);
if (Logger.HasError)
{
Logger.Report();
return;
}
#endregion
#region Code Generation
var codeGeneratorVisitor = new CodeGeneratorVisitor();
codeGeneratorVisitor.GenerateCode(programNode);
var mipsGenerator = new MIPS_GeneratorVisitor();
mipsGenerator.GenerateCode(CIL_Factory.Program);
string mipsCode = $"{Path.GetFileNameWithoutExtension(arg)}.s";
string path = arg.Replace(Path.GetFileName(arg), "");
writeOutput(mipsGenerator.MipsInstructions, path + mipsCode);
#endregion
#region qtSpim
using (Process openQtSpim = new Process())
{
openQtSpim.StartInfo.UseShellExecute = false;
openQtSpim.StartInfo.FileName = "/Applications/QtSpim.app/Contents/MacOS/QtSpim";
openQtSpim.StartInfo.Arguments = mipsCode;
openQtSpim.Start();
}
#endregion
}
}
public static void parser(string code)
{
System.IO.DirectoryInfo d = new DirectoryInfo("E:\\Universidad\\4to\\compilacion 2\\testing");
var files = d.GetFiles("*.cl");
//foreach (var file in files)
//{
var stringStream = new ANTLRFileStream(code);
COOLLexer lexer = new COOLLexer(stringStream);
CommonTokenStream stream = new CommonTokenStream(lexer);
COOLParser parser = new COOLParser(stream);
ITreeAdaptor adaptor = new COOLCommonTreeAdaptor();
parser.TreeAdaptor = adaptor;
parser.TraceDestination = Console.Out;
var tree = parser.program();
var t = (COOLCommonTree)tree.Tree;
var ast1 = t.GetAST1();
TypeCollectorVisitor visit1 = new TypeCollectorVisitor()
{
log = new ErrorLogger(Console.Out)
};
visit1.Visit((Program)ast1);
TypeBuilderVisitor visit2 = new TypeBuilderVisitor()
{
Context = visit1.Context, errorLog = new ErrorLogger(Console.Out)
};
visit2.Visit((Program)ast1);
TypeChekerVisitor tcv = new TypeChekerVisitor()
{
Context = visit2.Context, errorLog = new ErrorLogger(Console.Out)
};
tcv.Visit((Program)ast1);
//build ast to generate
var astGenerator = (CoolCompilator.Program)ast1.GetAstCodeGenerator();
CoolCompilator.AstNodeDisplayer displayer = new CoolCompilator.AstNodeDisplayer(Console.Out, CoolCompilator.AstNodeDisplayer.display_option.DISPLAYNONBASIC);
displayer.visit((CoolCompilator.Program)astGenerator);
var rootType = tcv.Context.GetType("Object");
var IntType = tcv.Context.GetType("Int");
var IOType = tcv.Context.GetType("IO");
var strType = tcv.Context.GetType("String");
var boolType = tcv.Context.GetType("Bool");
var VoidType = tcv.Context.GetType("Void");
Dictionary <CoolCompilator.Class, CoolCompilator.Class> dict = new Dictionary <CoolCompilator.Class, CoolCompilator.Class>();
Dictionary <string, CoolCompilator.Class> codeClass = new Dictionary <string, CoolCompilator.Class>();
var classs = astGenerator.classes.ToList();
classs.AddRange(new CoolCompilator.Class[] { rootType.ToNodeCodeClass(), IntType.ToNodeCodeClass(), strType.ToNodeCodeClass(),
IOType.ToNodeCodeClass(), boolType.ToNodeCodeClass(), VoidType.ToNodeCodeClass() });
astGenerator.classes = classs.ToArray();
for (int i = 0; i < astGenerator.classes.Length; i++)
{
codeClass.Add(astGenerator.classes[i].name.value, astGenerator.classes[i]);
}
foreach (var name in codeClass.Keys)
{
if (name == "Object")
{
dict.Add(codeClass[name], new CoolCompilator.Class(CoolCompilator.Constants.NOCLASS, "", new CoolCompilator.Attribute[0], new CoolCompilator.Method[0]));
}
else
{
dict.Add(codeClass[name], codeClass[codeClass[name].parent.value]);
}
}
StreamWriter sw = new StreamWriter("./out.s");
CoolCompilator.AstNodeCodeGenerator cd = new CoolCompilator.AstNodeCodeGenerator(dict, sw);
cd.visit(astGenerator);
//}
//if (parser.NumberOfSyntaxErrors > 0)
//{
// Console.WriteLine("error");
//}
}
