From 1bad681a4b9dce90996dfec7811f0f64675a3424 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Mon, 4 Aug 2003 20:52:02 +0000
Subject: [PATCH] * wrap/python/spot.i: Add an ofstream emulation.

---
 ChangeLog          |  2 ++
 wrap/python/spot.i | 14 ++++++++++++++
 2 files changed, 16 insertions(+)

diff --git a/ChangeLog b/ChangeLog
index deaa37468..6e88fb51e 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,5 +1,7 @@
 2003-08-04  Alexandre Duret-Lutz  <aduret@src.lip6.fr>
 
+	* wrap/python/spot.i: Add an ofstream emulation.
+
 	* wrap/python/spot.i: Declare spot::tgba::get_init_state,
 	spot::tgba::succ_iter, and spot::tgba_succ_iterator::current_state
 	as constructors.
diff --git a/wrap/python/spot.i b/wrap/python/spot.i
index 8e221bbfb..6df8709fb 100644
--- a/wrap/python/spot.i
+++ b/wrap/python/spot.i
@@ -6,6 +6,9 @@
 %import "buddy.i"
 
 %{
+#include <iostream>
+#include <fstream>
+
 #include "ltlast/formula.hh"
 #include "ltlast/refformula.hh"
 #include "ltlast/atomic_prop.hh"
@@ -120,6 +123,17 @@ using namespace spot;
 
 }
 
+%nodefault std::ostream;
+namespace std {
+  class ostream {};
+  class ofstream : public ostream
+  {
+  public:
+     ofstream(const char *fn);
+     ~ofstream();
+  };
+}
+
 %inline %{
 
 spot::ltl::parse_error_list