public static Dictionary <BRAQParser.Function_def_stmtContext, AssignCheckResult> getAssigners(ParserRuleContext context, List <Type> imported_names)
{
var answ = new Dictionary <BRAQParser.Function_def_stmtContext, AssignCheckResult>();
foreach (var fdef in ((BRAQParser.ProgramContext)context).function_def_stmt())
{
var v = new AssignCheckVisitor();
v.imported_types = imported_names;
fdef.Accept(v);
if (v.assigned.ContainsValue(false))
{
string msg = $"variable {v.assigned.First(x => !x.Value).Key} was never assigned, cannot solve type.";
Console.WriteLine(msg);
throw new TypesolvingError();
}
var res = new AssignCheckResult();
res.def_to_assign = v.assigners;
res.token_to_def = v.declaration;
res.token_to_arg = v.token_to_argument;
answ[fdef] = res;
}
return(answ);
}
public static void Main(string[] args)
{
if (args.Length != 1)
{
Console.WriteLine("Expected single argument as a source file");
return;
}
if (!File.Exists(args[0]))
{
Console.WriteLine("No file found");
return;
}
string input = File.ReadAllText(args[0]);
string prefixed_name = args[0].Split(".".ToCharArray())[0] + ".exe";
var lexer = new BRAQLexer(new AntlrInputStream(input));
var tokenStream = new CommonTokenStream(lexer);
//Console.WriteLine(tokenStream);
var parser = new BRAQParser(tokenStream);
var ast = parser.program();
var imported_names = ImportVisitor.GetImports(ast);
var assigningResults = AssignCheckVisitor.getAssigners(ast, imported_names);
var typerResult = TyperVisitor.solveTypes(ast, assigningResults, imported_names);
Console.WriteLine("solved types and functions");
//checks
CheckExecutor.runChecks(ast);
//compiling
AppDomain domain = AppDomain.CurrentDomain;
AssemblyName asname = new AssemblyName();
asname.Name = "BRAQAssembly";
AssemblyBuilder asm = domain.DefineDynamicAssembly(asname, AssemblyBuilderAccess.RunAndSave);
ModuleBuilder module = asm.DefineDynamicModule(
prefixed_name, prefixed_name);
TypeBuilder tpb = module.DefineType(
"Program", TypeAttributes.Class);
Dictionary <BRAQParser.Function_def_stmtContext, MethodBuilder> methods_to_generate = new Dictionary <BRAQParser.Function_def_stmtContext, MethodBuilder>();
//create function handles
foreach (var func in typerResult)
{
MethodBuilder mb = tpb.DefineMethod(func.Value.methodInfo.name, MethodAttributes.Public | MethodAttributes.Static,
CallingConventions.Standard,
func.Value.methodInfo.return_type, func.Value.methodInfo.arguments.Select(x => x.b).ToArray());
methods_to_generate[func.Key] = mb;
func.Value.methodInfo.method_builder = mb;
}
foreach (var m in typerResult.Keys)
{
var mb = typerResult[m].methodInfo.method_builder;
ILGenerator method_il = mb.GetILGenerator();
ILVisitor method_visitor = new ILVisitor(method_il, typerResult[m]);
m.Accept(method_visitor);
}
Console.WriteLine("generated code");
tpb.CreateType();
try
{
var m = typerResult.First(x => x.Key.id_name.Text == "main");
asm.SetEntryPoint(m.Value.methodInfo.method_builder);
}catch (InvalidOperationException ignored) {}
asm.Save(prefixed_name);
}
