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

python: mark prop_deterministic as deprecated

Browse source 
Related to #212.

* python/spot/impl.i: Here.
This commit is contained in:
Alexandre Duret-Lutz 2017-03-29 11:56:37 +02:00
parent 60bf675c10
commit f6e6099d9b
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
python/spot/impl.i
View file

@ -444,6 +444,12 @@ namespace std {
%include <spot/twa/acc.hh>
%template(pair_bool_mark) std::pair<bool, spot::acc_cond::mark_t>;
%pythonprepend spot::twa::prop_deterministic %{
from warnings import warn
warn("use prop_universal() instead of prop_deterministic()",
DeprecationWarning)
%}
%include <spot/twa/twa.hh>
%include <spot/tl/apcollect.hh>
@ -484,6 +490,7 @@ namespace std {
%noexception spot::twa_graph::edges;
%noexception spot::twa_graph::univ_dests;
// Instead of %feature("shadow") we would like to use just
// %pythonprepend spot::twa_graph::out %{ self.report_univ_dest(src) %}
// However Swig 3.0.2 (from Debian stable) names the argument "*args"