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();
}
