List <ICommand> IStrategy.MakeTrace(TModel src, TModel dst)
{
var traceFile = $"{tracesDir}/{dst.Name}.nbt";
return(File.Exists(traceFile)
? TraceReader.Read(traceFile)
: new List <ICommand>());
}
private void LoadTrace(string traceFile)
{
var trace = TraceReader.Read(File.ReadAllBytes(traceFile));
var state = new TState(new TModel("FA055_tgt.mdl"), true);
var reader = new TCommandsReader(trace);
while (!reader.AtEnd())
{
state.Step(reader);
}
}
public void TestRoundtrip()
{
var inBytes = File.ReadAllBytes("FR112.nbt");
var commands = TraceReader.Read(inBytes);
var outBytes = TraceSerializer.Serialize(commands);
Assert.AreEqual(inBytes.Length, outBytes.Length);
for (var i = 0; i < inBytes.Length; i++)
{
Assert.AreEqual(inBytes[i], outBytes[i], string.Format("byte #{0}", i));
}
}
static void Main(string[] args)
{
if (args.Length != 1)
{
Console.Error.WriteLine("Usage: TRACE_FILE");
Environment.Exit(1);
}
var bytes = File.ReadAllBytes(args[0]);
var commands = TraceReader.Read(bytes);
foreach (var cmd in commands)
{
Console.WriteLine(cmd);
}
}
