public Storage(Queue <Object> parcedData)
{
TraceState currentState = null;
while (parcedData.Any())
{
//TODO: analyze multiple counterexamples
Object curData = parcedData.Dequeue();
if (curData.GetType() == typeof(TraceState))
{
currentState = (TraceState)curData;
States.Add(new NuTraceState(currentState));
}
else if (curData.GetType() == typeof(TraceVariable))
{
TraceVariable v = (TraceVariable)curData;
Variables.Add(new NuTraceVariable(v.Variable, v.Value, currentState.Label));
}
}
}
public NuTraceState(TraceState state)
{
Label = state.Label;
Loop = state.Loop;
}