alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

* wrap/python/spot.i: Add an ofstream emulation.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2003-08-04 20:52:02 +00:00
parent 01cc802c2d
commit 1bad681a4b
2 changed files with 16 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
ChangeLog
View file

@ -1,5 +1,7 @@
2003-08-04 Alexandre Duret-Lutz <aduret@src.lip6.fr> 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, * wrap/python/spot.i: Declare spot::tgba::get_init_state,
spot::tgba::succ_iter, and spot::tgba_succ_iterator::current_state spot::tgba::succ_iter, and spot::tgba_succ_iterator::current_state
as constructors. as constructors.

14
wrap/python/spot.i
View file

@ -6,6 +6,9 @@
%import "buddy.i" %import "buddy.i"
%{ %{
#include <iostream>
#include <fstream>
#include "ltlast/formula.hh" #include "ltlast/formula.hh"
#include "ltlast/refformula.hh" #include "ltlast/refformula.hh"
#include "ltlast/atomic_prop.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 %{ %inline %{
spot::ltl::parse_error_list spot::ltl::parse_error_list