public void setup() { _state = null; _projection = null; Given(); _logged = new List <string>(); _stateHandlerFactory = new ProjectionStateHandlerFactory(); _stateHandler = _stateHandlerFactory.Create( "JS", _projection, s => { if (!s.StartsWith("P:")) { _logged.Add(s); } else { Console.WriteLine(s); } }); // skip prelude debug output _source = new SourceRecorder(); _stateHandler.ConfigureSourceProcessingStrategy(_source); if (_state != null) { _stateHandler.Load(_state); } else { _stateHandler.Initialize(); } }
public void setup() { _state = null; _projection = null; Given(); _logged = new List<string>(); _stateHandlerFactory = new ProjectionStateHandlerFactory(); _stateHandler = _stateHandlerFactory.Create( "JS", _projection, s => { if (!s.StartsWith("P:")) _logged.Add(s); else Console.WriteLine(s); }); // skip prelude debug output _source = new SourceRecorder(); _stateHandler.ConfigureSourceProcessingStrategy(_source); if (_state != null) _stateHandler.Load(_state); else _stateHandler.Initialize(); }