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