static HomeController()
{
Console.WriteLine ("Init");
if (!System.IO.File.Exists(Path.Combine("Examples", file))) {
throw new FileNotFoundException ();
}
code = System.IO.File.ReadAllText (Path.Combine("Examples", file));
parser = new ModelBuilder ();
model = parser.Parse (code, Path.Combine("Examples", file));
model.IntegrateResolutions ();
Console.WriteLine ("End of init");
}
protected static void Init(string[] args)
{
bool show_help = false;
options.Add ("h|help", "Show this message and exit", v => show_help = true);
try {
reminderArgs = options.Parse (args);
} catch (OptionException e) {
PrintError (e.Message);
return;
}
if (show_help) {
ShowHelp (options);
return;
}
if (reminderArgs.Count == 0) {
filename = ".";
input = Console.In.ReadToEnd ();
} else {
if (!File.Exists (reminderArgs[0])) {
PrintError ("File `" + reminderArgs[0] + "` does not exists");
return;
} else {
filename = reminderArgs[0];
input = File.ReadAllText (filename);
}
}
model = BuildModel ();
if (model != null) {
var h = new AlternativeHelpers();
h.ComputeInAlternatives (model);
model.IntegrateResolutions ();
}
}