public TimeSpan Compute_Total_Time() { System.TimeSpan ts = new System.TimeSpan(0); System.DateTime last_open = ((event_record)this.events[0]).Time; for (int i = 0; i < this.events.Count; i++) { event_record e = (event_record)this.events[i]; if (e.Kind == event_kind.Opened) { last_open = e.Time; } else { // this is based on the principle that // only a save or autosave could be the last thing // in a file before an open if ((i < this.events.Count - 1) && ((event_record)this.events[i + 1]).Kind == event_kind.Opened) { ts = ts + e.Time.Subtract(last_open); } } } ts = ts + System.DateTime.Now.Subtract(last_open); return(ts); }
public int Count_Saves() { int result = 0; for (int i = 0; i < this.events.Count; i++) { event_record e = (event_record)this.events[i]; if (e.Kind == event_kind.Saved || e.Kind == event_kind.Autosaved) { result++; } } return(result); }
public void Record_Paste(logging_info log, int count_symbols, System.Guid guid) { this.events.Add(new event_record( count_symbols.ToString(), guid.ToString(), event_kind.Pasted_From, System.DateTime.Now)); // loop through the log, changing everything to paste_XXX for (int i = 0; i < log.events.Count; i++) { event_record e = (event_record)log.events[i]; switch (e.Kind) { case event_kind.Opened: e.Kind = event_kind.Paste_Opened; break; case event_kind.Saved: e.Kind = event_kind.Paste_Saved; break; case event_kind.Autosaved: e.Kind = event_kind.Paste_Autosaved; break; } } for (int i = 0; i < log.events.Count; i++) { event_record e = (event_record)log.events[i]; if ((e.Username != System.Environment.UserName || e.Machine_Name != System.Environment.MachineName) && e.Kind == event_kind.Paste_Saved && (New_Pair(e.Username, e.Machine_Name, log, i) || Last_Pair(e.Username, e.Machine_Name, log, i))) { this.events.Add(e); } } }
public void Display(Visual_Flow_Form form, bool show_full_log) { System.TimeSpan ts; int autosave_count = 0; int total_autosaves = 0; string log_data; //Runtime.consoleWriteln("LOG for: " + form.Text + "(" + // form.file_guid + ")"); log_data = "LOG for: " + form.Text + "(" + form.file_guid + ")" + "\n"; for (int i = 0; i < this.events.Count; i++) { event_record e = (event_record)this.events[i]; if (e.Kind == event_kind.Autosaved) { autosave_count++; total_autosaves++; if (show_full_log) { log_data = log_data + e.Kind + " by: " + e.Username + " on: " + e.Machine_Name + " at: " + e.Time + '\n'; } } else if (e.Kind == event_kind.Paste_Autosaved) { } else { if (autosave_count != 0) { //Runtime.consoleWriteln( // autosave_count + " autosaves."); log_data = log_data + autosave_count + " autosaves.\n"; autosave_count = 0; } if (e.Kind != event_kind.Pasted_From) { //Runtime.consoleWriteln(e.Kind + " by: " + e.Username + " on: " + // e.Machine_Name + " at: " + e.Time); log_data = log_data + e.Kind + " by: " + e.Username + " on: " + e.Machine_Name + " at: " + e.Time + '\n'; } else { //Runtime.consoleWriteln(e.Kind + " " + // e.Machine_Name + " " + // e.Username + " symbols."); log_data = log_data + e.Kind + " " + e.Machine_Name + " " + e.Username + " symbols at: " + e.Time + '\n'; } } } if (autosave_count != 0) { //Runtime.consoleWriteln( // autosave_count + " autosaves."); log_data = log_data + autosave_count + " autosaves.\n"; } ts = this.Compute_Total_Time(); //Runtime.consoleWriteln("Total time (minutes): " + String.Format("{0:F2}",ts.TotalMinutes)); log_data = log_data + "Total time (minutes): " + String.Format("{0:F2}", ts.TotalMinutes) + "\n"; //Runtime.consoleWriteln("Total autosaves: " + total_autosaves); log_data = log_data + "Total autosaves: " + total_autosaves + "\n"; Runtime.consoleWriteln(log_data); }