コード例 #1
0
        private static List <Common.Statistics> GetStatisticList(string statisticFileName, string delimiter)
        {
            List <Common.Statistics> statistic_list = new List <Common.Statistics>();

            try
            {
                StreamReader reader = new StreamReader(statisticFileName + ".csv");
                reader.ReadLine();

                while (reader.Peek() != -1)
                {
                    var line            = reader.ReadLine();
                    var values          = line.Split(delimiter[0]);
                    Common.Statistics s = new Common.Statistics();
                    s.Circuit      = values[0];
                    s.ErrorCount   = Int32.Parse(values[1]);
                    s.WarningCount = Int32.Parse(values[2]);
                    s.State        = values[3];
                    s.Date         = DateTime.Parse(values[4]);
                    s.LogDirectory = values[5];

                    statistic_list.Add(s);
                }
            }
            catch (Exception ex)
            {
                System.Windows.Forms.MessageBox.Show("Could not read file from disk. Original error: " + ex.Message);
            }
            return(statistic_list);
        }
コード例 #2
0
 public void PopulateStats(Statistics stats)
 {
     revenue.Text = Convert.ToString(stats.TotalRevenue);
     expenditure.Text = Convert.ToString(stats.TotalExpenditure);
     events.Text = Convert.ToString(stats.TotalEvents);
     triples.Items.Clear();
     foreach (var triple in stats.Triples)
     {
         triples.Items.Add(triple);
     }
     criticalRoutes.Items.Clear();
     foreach (var criticalRoute in stats.CriticalRoutes)
     {
         criticalRoutes.Items.Add(criticalRoute);
     }
 }
コード例 #3
0
        /// <summary>
        /// Returns the statistics for the given point in time.
        /// </summary>
        /// <param name="time"></param>
        /// <returns></returns>
        public Statistics GetStatisticsFromPoint(DateTime dt)
        {
            var time = new DateTime(dt.Year, dt.Month, dt.Day, 23, 59, 59);
            var routes = routeDataHelper.LoadAll(time);
            var prices = priceDataHelper.LoadAll(time);
            var routeNodes = routeNodeDataHelper.LoadAll(time);
            var countries = countryDataHelper.LoadAll(time);
            var companies = companyDataHelper.LoadAll(time);
            var deliveries = deliveryDataHelper.LoadAll(time);
            var events = eventDataHelper.GetNumberOfEvents(time);

            var stateSnapshot = new StateSnapshot(time, routes, prices, deliveries, routeNodes, companies, countries, events);

            var statistics = new Statistics(stateSnapshot);

            return statistics;
        }
コード例 #4
0
 public void Stats_Recieved(Statistics stats)
 {
     try
     {
         revenue.Dispatcher.VerifyAccess();
         PopulateStats(stats);
     }
     catch (InvalidOperationException e)
     {
         if (statsDelegate == null)
             statsDelegate = new StatsDelegate(PopulateStats);
         revenue.Dispatcher.Invoke(statsDelegate, System.Windows.Threading.DispatcherPriority.Normal, stats);
     }
 }