/// <summary>
/// Read from a given file, and output to std out.
/// </summary>
/// <param name="args"></param>
static void Main(string[] args)
{
if (args.Length != 1)
{
Console.WriteLine("Usage: ParseSingleDFS <input-filename>");
return;
}
var f = new FileInfo(args[0]);
if (!f.Exists)
{
Console.WriteLine("File {0} does not exist!", f.FullName);
}
var text = "";
using (var reader = f.OpenText())
{
text = reader
.AsEnumerable()
.Where(l => !l.StartsWith("#") && !string.IsNullOrWhiteSpace(l))
.ReadAllLines();
}
try
{
var dfs = text.Parse();
OWLEmitter.EmitHeaders(Console.Out);
Console.WriteLine();
dfs.Emit(Console.Out);
} catch (Exception e)
{
Console.WriteLine($"Parse and translation failed: {e.Message}");
}
}
public void Setup()
{
OWLEmitter.Reset();
}
