Esempio n. 1
0
        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);
            }
        }
Esempio n. 2
0
        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);
        }
Esempio n. 3
0
 public void AddAssert(AssertDataSource ads)
 {
     mAssertList.Add(ads);
 }