public void CreatePDBFromARGS(string[] commandLineArgs, MainWindow window) { m_pDBData = JsonConvert.DeserializeObject <JsonPDB>(File.ReadAllText(commandLineArgs[1])); m_lastFunction = null; m_srcString = String.Empty; m_allLabelsToAddr = new Dictionary <string, int>(m_pDBData.VariableLabels.Count + m_pDBData.CodeLabels.Count); foreach (int addr in m_pDBData.VariableLabels.Keys) { string label = m_pDBData.VariableLabels[addr]; m_allLabelsToAddr[label] = addr; } foreach (int addr in m_pDBData.CodeLabels.Keys) { string label = m_pDBData.CodeLabels[addr]; m_allLabelsToAddr[label] = addr; } int num = 1; foreach (AssertData AD in m_pDBData.AssertInfo) { AssertDataSource ADS = new AssertDataSource(); ADS.Enable = true; ADS.Address = AD.Address; ADS.Label = AD.Label; ADS.Condition = AD.Condition; ADS.Msg = AD.Msg; ADS.Number = num++; window.AddAssert(ADS); } }
private void OnAssertUnchecked(object sender, RoutedEventArgs e) { DataGridCell dgc = sender as DataGridCell; AssertDataSource ADS = dgc.DataContext as AssertDataSource; int breakNum = ADS.Number; dispatchCommand("disable " + breakNum); }
public void AddAssert(AssertDataSource ads) { mAssertList.Add(ads); }