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

python: add get_name & set_name for automata

Browse source 
* wrap/python/spot_impl.i (get_name, set_name): New methods for twa.
* wrap/python/tests/remfin.py: Test them.
* wrap/python/ajax/spotcgi.in: Use set_name().
* NEWS: Mention it.
This commit is contained in:
Alexandre Duret-Lutz 2015-10-18 15:43:19 +02:00
parent 176c9e2e17
commit 43a5187ab4
4 changed files with 26 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
wrap/python/ajax/spotcgi.in
View file

@ -658,6 +658,7 @@ if output_type == 'm':
unbufprint('<div class="automata-stats">')
dont_run_dot = print_stats(automaton)
unbufprint('</div>')
automaton.set_name(str(f))
render_automaton(automaton, dont_run_dot)
automaton = 0
finish()
@ -752,6 +753,7 @@ if output_type == 'a':
del s
else: # 't' or 's'
dont_run_dot = print_stats(degen, True)
automaton.set_name(str(f))
render_automaton(degen, dont_run_dot)
degen = 0
automaton = 0