private void openTraceToolStripMenuItem_Click(object sender, EventArgs e)
{
if (openFileDialog1.ShowDialog() == DialogResult.OK)
{
string filename = openFileDialog1.FileName;
TextReader inputFile = new StreamReader(filename);
Queue <Object> parcedData = new Queue <object>();
ParcerFSM parcer = new ParcerFSM(inputFile, parcedData);
parcer.EnterState(new FindCounterexampleBegin(parcer));
parcer.Run();
inputFile.Close();
storage = new Storage(parcedData);
storage.Expand();
NuTraceState firstState = storage.States.First();
unassignedVars = storage.Variables.Where(v => v.StateLabel == firstState.Label).ToList();
inputVars = new List <NuTraceVariable>();
outputVars = new List <NuTraceVariable>();
bindLisboxesData();
fillFbInstanceTreeView(firstState.Label);
int statesCount = storage.States.Count;
statesTotalTextBox.Text = statesCount.ToString();
curStateTextBox.Text = firstState.Label;
trackBar1.Maximum = statesCount - 1;
trackBar1.Enabled = true; //TODO: modify
}
}
private void refreshState()
{
int stateNum = trackBar1.Value;
NuTraceState curState = storage.States[stateNum];
foreach (NuTraceVariable inputVar in inputVars)
{
NuTraceVariable curStateVar = storage.Variables.FirstOrDefault(v => v.StateLabel == curState.Label && v.Variable == inputVar.Variable);
string varString = String.Format("{0}.{1}={2};", "Inputs", curStateVar.Variable, curStateVar.Value);
if (s != null && s.Connected)
{
try
{
s.Send(Encoding.ASCII.GetBytes(varString));
}
catch (SocketException e)
{
TraceMessage(e.Message);
}
}
else
{
//trackBar1.Enabled = false;
TraceMessage("Connection lost!");
tabPage1.Show();
}
}
curStateTextBox.Text = curState.Label;
refreshFbShownData();
}
