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