public void WriteLine(string format, params object[] args)
{
var line = TextTools.Format(format, args);
//Logger.Trace("PUSH {0}", line);
input.Push(line);
//Logger.Trace("PUSHED {0}", line);
}
public void Execute(string line)
{
output.Push(line);
}