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