public void tofile(PythonFile f) {
f.write(tostring());
}
public static void dump(object value, PythonFile/*!*/ file, int version) {
if (file == null) throw PythonOps.TypeError("expected file, found None");
file.write(dumps(value, version));
}
static void ret_LogEntryAdded(PythonFile file, object sender, Logger.LogEntryAddedEventArgs e)
{
string text = e.LogEntry.Text;
if (e.LogEntry.ExceptionObject != null)
{
text = e.LogEntry.ExceptionObject.ToString();
}
file.write(String.Format("[{0}] {1} {2}: {3}\n", e.LogEntry.EntryType, e.LogEntry.Timestamp, e.LogEntry.SourceName, text));
}
