Skip to content

GitLab

Commit 35a7ac64 authored by Erwan Jahier's avatar Erwan Jahier
Browse files

lurette 0.89 Fri, 20 Sep 2002 10:27:47 +0200 by jahier 

Parent-Version:      0.88
Version-Log:

Chech that automata run concurenty do not share any variables.

Project-Description: Lurette
parent 28055e17
Hide whitespace changes
Inline Side-by-side
.lurette.prcs_aux
View file @ 35a7ac64
......@@ -3,20 +3,20 @@
(Created-By-Prcs-Version 1 3 3)
(source/command_line_ima_exe.mli 1082 1021651153 b/34_command_li 1.3)
(doc/ocamldoc.sty 1380 1008328137 b/12_ocamldoc.s 1.1)
(source/env_state.ml 20317 1032355637 51_env_state. 1.27)
(source/env_state.ml 20581 1032510467 51_env_state. 1.28)
(source/graph.ml 2563 1027066799 14_graph.ml 1.7)
(bin/Makefile.ima_exe 2013 1027066799 b/41_Makefile.i 1.3)
(test/giro/onlyroll.lus 18298 1031732392 c/7_onlyroll.l 1.1)
(source/util.ml 14262 1030614411 35_util.ml 1.24)
(source/util.ml 15446 1032510467 35_util.ml 1.26)
(test/time.exp 5577 1030614411 b/48_time.exp 1.3)
(source/solver.ml 24432 1031053030 39_solver.ml 1.26)
(myrules 10363 1032355637 c/14_myrules 1.2)
(myrules 10432 1032510467 c/14_myrules 1.3)
(test/test_gen_stubs.h 1818 1020068208 b/45_test_gen_s 1.1)
(source/command_line.ml 4625 1031053030 b/20_command_li 1.8)
(source/lurette.ml 12476 1032355637 12_lurette.ml 1.51)
(source/lurette.ml 13388 1032510467 12_lurette.ml 1.52)
(source/solver.mli 1003 1027092697 38_solver.mli 1.13)
(source/env.mli 2028 1027349504 15_env.mli 1.15)
(test/heater_float.rif.exp 1456 1031732392 b/30_heater_flo 1.6)
(test/heater_float.rif.exp 1459 1032362091 b/30_heater_flo 1.7)
(lurette.depfull.dot 49 1007651448 b/5_lurette.de 1.2)
(source/env.ml 8013 1027349504 16_env.ml 1.29)
(make_lurette 1358 1027943375 27_make_luret 1.15)
......@@ -28,20 +28,20 @@
(ID_EN_VRAC 2184 1002196285 0_ID_EN_VRAC 1.1)
(source/parse_env.mli 1025 1027066799 40_parse_env. 1.9)
(source/sim2chro.mli 1455 1027943375 b/23_sim2chro.m 1.5)
(ihm/xlurette/xlurette_glade_interface.ml 27644 1032355637 c/15_xlurette_g 1.1)
(ihm/xlurette/xlurette_glade_interface.ml 28276 1032510467 c/15_xlurette_g 1.2)
(test/passerelle.ima 972 1027066799 b/17_passerelle 1.7)
(source/ima_exe.ml 12101 1032355637 b/32_ima_exe.ml 1.18)
(doc/automata_format 0 1007379917 b/3_automata_f 1.1)
(source/control.ml 4416 1030975996 c/4_control.ml 1.3)
(source/eval.ml 7755 1027066799 49_eval.ml 1.13)
(source/gen_stubs.ml 34392 1032355637 24_generate_l 1.34)
(source/parse_env.ml 22510 1031732392 41_parse_env. 1.23)
(source/parse_env.ml 22518 1032362091 41_parse_env. 1.24)
(doc/ocamldoc.hva 313 1008328137 b/13_ocamldoc.h 1.1)
(source/automata.mli 3397 1027349504 b/46_automata.m 1.2)
(source/sim2chro.ml 2716 1032355637 b/24_sim2chro.m 1.12)
(doc/Interface_draft 5232 1003928781 19_Interface_ 1.1)
(source/formula.mli 3638 1027066799 44_formula.ml 1.14)
(demo/chaudiere/chaudiere.ima 442 1031732392 c/11_chaudiere. 1.1)
(source/formula.mli 3665 1032510467 44_formula.ml 1.15)
(demo/chaudiere/chaudiere.ima 447 1032510467 c/11_chaudiere. 1.2)
(demo/chaudiere/buggy_chaudiere_ctrl.lus 219 1031732392 c/10_buggy_chau 1.1)
(demo/chaudiere/chaudiere_oracle.lus 107 1031732392 c/8_chaudiere_ 1.1)
(test/time.res 5577 1030614411 b/49_time.res 1.6)
......@@ -56,14 +56,14 @@
(README 74 1011881677 10_README 1.2)
(demo/chaudiere/chaudiere_ctrl.lus 177 1031732392 c/9_chaudiere_ 1.1)
(test/ControleurPorte.c 9407 1012914629 b/19_Controleur 1.1)
(OcamlMakefile 21240 1031732392 17_OcamlMakef 1.38)
(OcamlMakefile 22378 1032510467 17_OcamlMakef 1.39)
(source/command_line_ima_exe.ml 2792 1031732392 b/33_command_li 1.5)
(test/ControleurPorte.rif.exp 4756 1028297733 b/29_Controleur 1.8)
(Makefile.lurette 678 1031736584 b/38_Makefile.l 1.10)
(source/show_env.ml 3603 1030532285 43_show_env.m 1.12)
(source/gne.mli 1079 1027066799 b/36_gne.mli 1.2)
(source/automata.ml 15818 1032355637 b/47_automata.m 1.4)
(ihm/xlurette/xlurette_glade_main.ml 16104 1032355637 c/12_xlurette_g 1.3)
(ihm/xlurette/xlurette_glade_main.ml 16335 1032510467 c/12_xlurette_g 1.4)
(doc/synthese 2556 1007379917 b/2_synthese 1.1)
(bin/Makefile.lurette_lib 1768 1031732392 c/2_Makefile.l 1.2)
(bin/Makefile.gen_stubs 472 1030532285 b/42_Makefile.g 1.2)
......@@ -80,12 +80,12 @@
(test/heater_float.lus 175 1020068208 b/44_heater_flo 1.1)
(test/vrai_tram.c 3060 1027066799 b/8_vrai_tram. 1.3)
(source/print.mli 773 1027066799 46_print.mli 1.10)
(source/lurettetop.ml 24866 1032360633 c/1_lurettetop 1.9)
(ihm/xlurette/xlurette.glade 43069 1032355637 c/13_xlurette.g 1.2)
(source/lurettetop.ml 24867 1032510467 c/1_lurettetop 1.10)
(ihm/xlurette/xlurette.glade 44810 1032510467 c/13_xlurette.g 1.3)
(test/heater_int.lus 170 1020068208 b/43_heater_int 1.1)
(source/graph.mli 2218 1027066799 13_graph.mli 1.9)
(test/heater_int.rif.exp 860 1028297733 b/28_heater_int 1.6)
(source/formula.ml 7281 1031732392 45_formula.ml 1.17)
(source/formula.ml 7305 1032362091 45_formula.ml 1.18)
(source/lurette.mli 448 1016027474 11_lurette.ml 1.12)
(source/print.ml 5883 1030532285 47_print.ml 1.18)
(test/vrai_tram.h 2468 1027066799 b/7_vrai_tram. 1.3)
......
OcamlMakefile
View file @ 35a7ac64
......@@ -5,14 +5,36 @@
# For updates see:
# http://www.oefai.at/~markus/ocaml_sources
#
# $Id: OcamlMakefile 1.38 Wed, 11 Sep 2002 10:19:52 +0200 jahier $
# $Id: OcamlMakefile 1.39 Fri, 20 Sep 2002 10:27:47 +0200 jahier $
#
###########################################################################
# Set these variables to the names of the sources to be processed and
# the result variable. Order matters during linkage!
ifndef SOURCES
SOURCES_LURETTE_LIB = \
$(LURETTE_PATH)/source/util.ml \
$(LURETTE_PATH)/source/graph.mli $(LURETTE_PATH)/source/graph.ml \
$(LURETTE_PATH)/source/command_line.mli $(LURETTE_PATH)/source/command_line.ml \
$(LURETTE_PATH)/source/formula.mli $(LURETTE_PATH)/source/formula.ml \
$(LURETTE_PATH)/source/gne.mli $(LURETTE_PATH)/source/gne.ml \
$(LURETTE_PATH)/source/control.mli $(LURETTE_PATH)/source/control.ml \
$(LURETTE_PATH)/source/parse_env.mli $(LURETTE_PATH)/source/parse_env.ml \
$(LURETTE_PATH)/source/env_state.mli $(LURETTE_PATH)/source/env_state.ml \
$(LURETTE_PATH)/source/rnumsolver.mli $(LURETTE_PATH)/source/rnumsolver.ml \
$(LURETTE_PATH)/source/solver.mli $(LURETTE_PATH)/source/solver.ml \
$(LURETTE_PATH)/source/show_env.mli $(LURETTE_PATH)/source/show_env.ml \
$(LURETTE_PATH)/source/automata.mli $(LURETTE_PATH)/source/automata.ml \
$(LURETTE_PATH)/source/print.mli $(LURETTE_PATH)/source/print.ml \
$(LURETTE_PATH)/source/sim2chro.mli $(LURETTE_PATH)/source/sim2chro.ml \
$(LURETTE_PATH)/source/env.mli $(LURETTE_PATH)/source/env.ml
ALL_SOURCES = $(SOURCES_LURETTE_LIB) $(SOURCES_OCAML)
ifndef SOURCES
SOURCES := foo.ml
endif
export SOURCES
......@@ -28,7 +50,7 @@ endif
export RESULT
ifndef DOC_FILES
DOC_FILES := $(filter %.mli, $(SOURCES))
DOC_FILES := $(filter %.mli, $(ALL_SOURCES))
endif
export DOC_FILES
......@@ -213,6 +235,7 @@ endif
export OCAMLDOC
ifndef LATEX
LATEX := latex
endif
......@@ -796,7 +819,7 @@ $(BCDIDIR)/%.di $(NCDIDIR)/%.di: %.mli
-pp "$$pp" $(INCFLAGS) $< > $@; \
fi
doc/html: $(DOC_FILES)
doc/html2: $(DOC_FILES)
rm -rf $@
mkdir -p $@
$(OCAMLDOC) -html -d $@ $(OCAMLDOCFLAGS) $(DOC_FILES)
......
demo/chaudiere/chaudiere.ima
View file @ 35a7ac64
......@@ -12,7 +12,7 @@ arcs =
1:
((U = pre(1,U) + pre(1, Dudt))
&&
( Dudt > (IfThenElseNum Heat_on 0. -5.))
( Dudt + 1. > (IfThenElseNum Heat_on 0. -5.))
&&
( Dudt < (IfThenElseNum Heat_on 2. 0.))) .
......
ihm/xlurette/xlurette.glade
View file @ 35a7ac64
......@@ -43,14 +43,12 @@
<border_width>3</border_width>
<handle_size>18</handle_size>
<gutter_size>6</gutter_size>
<position>1</position>
<widget>
<class>GtkVPaned</class>
<name>vpaned2</name>
<handle_size>10</handle_size>
<gutter_size>6</gutter_size>
<position>1</position>
<child>
<shrink>True</shrink>
<resize>False</resize>
......@@ -69,7 +67,7 @@
<widget>
<class>GtkTable</class>
<name>table2</name>
<rows>6</rows>
<rows>5</rows>
<columns>3</columns>
<homogeneous>False</homogeneous>
<row_spacing>0</row_spacing>
......@@ -103,7 +101,7 @@
<widget>
<class>GtkEntry</class>
<name>env_name</name>
<tooltip>Enter the name of the enviroment file name</tooltip>
<tooltip>Enterthe enviroment file names (eventually separated by `x' in you want to perform the automata product) e.g., tram.ima x door.ima user.ima</tooltip>
<can_focus>True</can_focus>
<editable>True</editable>
<text_visible>True</text_visible>
......@@ -370,46 +368,25 @@
</widget>
<widget>
<class>GtkLabel</class>
<name>label19</name>
<label></label>
<justify>GTK_JUSTIFY_CENTER</justify>
<wrap>False</wrap>
<xalign>0</xalign>
<yalign>0.5</yalign>
<xpad>0</xpad>
<ypad>0</ypad>
<class>GtkProgressBar</class>
<name>progressbar</name>
<can_focus>True</can_focus>
<has_focus>True</has_focus>
<value>0</value>
<lower>0</lower>
<upper>100</upper>
<bar_style>GTK_PROGRESS_CONTINUOUS</bar_style>
<orientation>GTK_PROGRESS_LEFT_TO_RIGHT</orientation>
<activity_mode>False</activity_mode>
<show_text>False</show_text>
<format>%P %%</format>
<text_xalign>0.5</text_xalign>
<text_yalign>0.5</text_yalign>
<child>
<left_attach>1</left_attach>
<right_attach>2</right_attach>
<top_attach>3</top_attach>
<bottom_attach>4</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>False</yfill>
</child>
</widget>
<widget>
<class>GtkLabel</class>
<name>label20</name>
<label></label>
<justify>GTK_JUSTIFY_CENTER</justify>
<wrap>False</wrap>
<xalign>0</xalign>
<yalign>0.5</yalign>
<xpad>0</xpad>
<ypad>0</ypad>
<child>
<left_attach>2</left_attach>
<right_attach>3</right_attach>
<top_attach>3</top_attach>
<bottom_attach>4</bottom_attach>
<top_attach>4</top_attach>
<bottom_attach>5</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
......@@ -417,7 +394,7 @@
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>False</yfill>
<yfill>True</yfill>
</child>
</widget>
......@@ -446,45 +423,14 @@
<yfill>False</yfill>
</child>
</widget>
<widget>
<class>GtkProgressBar</class>
<name>progressbar</name>
<can_focus>True</can_focus>
<has_focus>True</has_focus>
<value>0</value>
<lower>0</lower>
<upper>100</upper>
<bar_style>GTK_PROGRESS_CONTINUOUS</bar_style>
<orientation>GTK_PROGRESS_LEFT_TO_RIGHT</orientation>
<activity_mode>False</activity_mode>
<show_text>False</show_text>
<format>%P %%</format>
<text_xalign>0.5</text_xalign>
<text_yalign>0.5</text_yalign>
<child>
<left_attach>1</left_attach>
<right_attach>2</right_attach>
<top_attach>4</top_attach>
<bottom_attach>5</bottom_attach>
<xpad>0</xpad>
<ypad>0</ypad>
<xexpand>False</xexpand>
<yexpand>False</yexpand>
<xshrink>False</xshrink>
<yshrink>False</yshrink>
<xfill>True</xfill>
<yfill>True</yfill>
</child>
</widget>
</widget>
</widget>
<widget>
<class>GtkScrolledWindow</class>
<name>scrolledwindow2</name>
<hscrollbar_policy>GTK_POLICY_ALWAYS</hscrollbar_policy>
<vscrollbar_policy>GTK_POLICY_ALWAYS</vscrollbar_policy>
<hscrollbar_policy>GTK_POLICY_AUTOMATIC</hscrollbar_policy>
<vscrollbar_policy>GTK_POLICY_AUTOMATIC</vscrollbar_policy>
<hupdate_policy>GTK_UPDATE_CONTINUOUS</hupdate_policy>
<vupdate_policy>GTK_UPDATE_CONTINUOUS</vupdate_policy>
<child>
......@@ -495,7 +441,7 @@
<widget>
<class>GtkText</class>
<name>output_window</name>
<width>400</width>
<width>166</width>
<height>500</height>
<can_focus>True</can_focus>
<editable>False</editable>
......@@ -508,8 +454,7 @@
<class>GtkHBox</class>
<name>hbox1</name>
<border_width>2</border_width>
<height>75</height>
<homogeneous>True</homogeneous>
<homogeneous>False</homogeneous>
<spacing>4</spacing>
<child>
<shrink>True</shrink>
......@@ -517,91 +462,90 @@
</child>
<widget>
<class>GtkButton</class>
<name>Run_button</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Start the testing process</tooltip>
<class>GtkToolbar</class>
<name>toolbar4</name>
<border_width>1</border_width>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>run_lurette</handler>
<last_modification_time>Wed, 04 Sep 2002 08:20:48 GMT</last_modification_time>
</signal>
<label> Run </label>
<has_focus>True</has_focus>
<orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
<type>GTK_TOOLBAR_TEXT</type>
<space_size>3</space_size>
<space_style>GTK_TOOLBAR_SPACE_LINE</space_style>
<relief>GTK_RELIEF_HALF</relief>
<tooltips>True</tooltips>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
<expand>False</expand>
<fill>False</fill>
</child>
</widget>
<widget>
<class>GtkButton</class>
<name>Sim2chro_button</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Call sim2chro with the last data that were generated</tooltip>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>call_sim2chro_clicked</handler>
<last_modification_time>Wed, 11 Sep 2002 13:42:24 GMT</last_modification_time>
</signal>
<label> Sim2chro </label>
<relief>GTK_RELIEF_HALF</relief>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
</child>
</widget>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button17</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Start the testing process</tooltip>
<signal>
<name>clicked</name>
<handler>run_lurette</handler>
<last_modification_time>Thu, 19 Sep 2002 08:54:11 GMT</last_modification_time>
</signal>
<label>Run</label>
<stock_pixmap>GNOME_STOCK_PIXMAP_EXEC</stock_pixmap>
</widget>
<widget>
<class>GtkButton</class>
<name>pack_button</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Save the current session</tooltip>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>save_session</handler>
<last_modification_time>Tue, 03 Sep 2002 14:10:44 GMT</last_modification_time>
</signal>
<label> Save session </label>
<relief>GTK_RELIEF_NORMAL</relief>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
</child>
</widget>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button18</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Call sim2chro with the lastly generated data</tooltip>
<signal>
<name>clicked</name>
<handler>call_sim2chro_clicked</handler>
<last_modification_time>Thu, 19 Sep 2002 08:50:07 GMT</last_modification_time>
</signal>
<label>Sim2chro</label>
<icon>chrono.xpm</icon>
</widget>
<widget>
<class>GtkButton</class>
<name>Quit_button</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Quit Xlurette</tooltip>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>quit</handler>
<last_modification_time>Tue, 03 Sep 2002 14:06:57 GMT</last_modification_time>
</signal>
<label> Quit </label>
<relief>GTK_RELIEF_NORMAL</relief>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
</child>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button19</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Save session</tooltip>
<signal>
<name>clicked</name>
<handler>save_session</handler>
<last_modification_time>Thu, 19 Sep 2002 08:53:36 GMT</last_modification_time>
</signal>
<label>Save session</label>
<stock_pixmap>GNOME_STOCK_PIXMAP_SAVE</stock_pixmap>
</widget>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button20</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Quit xlurette</tooltip>
<signal>
<name>clicked</name>
<handler>quit</handler>
<last_modification_time>Thu, 19 Sep 2002 08:53:53 GMT</last_modification_time>
</signal>
<label>Quit</label>
<stock_pixmap>GNOME_STOCK_PIXMAP_CLOSE</stock_pixmap>
</widget>
</widget>
</widget>
</widget>
......@@ -1408,7 +1352,90 @@
</widget>
<widget>
<class>Placeholder</class>
<class>GtkToolbar</class>
<name>toolbar3</name>
<border_width>1</border_width>
<can_focus>True</can_focus>
<has_focus>True</has_focus>
<orientation>GTK_ORIENTATION_HORIZONTAL</orientation>
<type>GTK_TOOLBAR_TEXT</type>
<space_size>3</space_size>
<space_style>GTK_TOOLBAR_SPACE_LINE</space_style>
<relief>GTK_RELIEF_HALF</relief>
<tooltips>True</tooltips>
<child>
<padding>0</padding>
<expand>False</expand>
<fill>False</fill>
</child>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button13</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Start the testing process</tooltip>
<signal>
<name>clicked</name>
<handler>run_lurette</handler>
<last_modification_time>Thu, 19 Sep 2002 08:54:11 GMT</last_modification_time>
</signal>
<label>Run</label>
<stock_pixmap>GNOME_STOCK_PIXMAP_EXEC</stock_pixmap>
</widget>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button14</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Call sim2chro with the lastly generated data</tooltip>
<signal>
<name>clicked</name>
<handler>call_sim2chro_clicked</handler>
<last_modification_time>Thu, 19 Sep 2002 08:50:07 GMT</last_modification_time>
</signal>
<label>Sim2chro</label>
<icon>chrono.xpm</icon>
</widget>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button15</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Save session</tooltip>
<signal>
<name>clicked</name>
<handler>save_session</handler>
<last_modification_time>Thu, 19 Sep 2002 08:53:36 GMT</last_modification_time>
</signal>
<label>Save session</label>
<stock_pixmap>GNOME_STOCK_PIXMAP_SAVE</stock_pixmap>
</widget>
<widget>
<class>GtkButton</class>
<child_name>Toolbar:button</child_name>
<name>button16</name>
<border_width>4</border_width>
<width>150</width>
<height>100</height>
<tooltip>Quit xlurette</tooltip>
<signal>
<name>clicked</name>
<handler>quit</handler>
<last_modification_time>Thu, 19 Sep 2002 08:53:53 GMT</last_modification_time>
</signal>
<label>Quit</label>
<stock_pixmap>GNOME_STOCK_PIXMAP_CLOSE</stock_pixmap>
</widget>
</widget>
</widget>
</widget>
......@@ -1581,67 +1608,68 @@
<spacing>0</spacing>
<widget>
<class>GtkButton</class>
<name>step_button</name>
<border_width>4</border_width>
<width>200</width>
<height>100</height>
<tooltip>Step once (in step by step mode)</tooltip>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>step</handler>
<last_modification_time>Fri, 13 Sep 2002 09:23:24 GMT</last_modification_time>
</signal>
<label>Step</label>
<relief>GTK_RELIEF_NORMAL</relief>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
</child>
</widget>
<widget>
<class>GtkButton</class>
<name>stop_button</name>
<border_width>4</border_width>
<width>200</width>
<height>100</height>
<tooltip>Stop the step by step current execution</tooltip>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>stop</handler>
<last_modification_time>Fri, 13 Sep 2002 11:51:36 GMT</last_modification_time>
</signal>
<label> Stop </label>
<relief>GTK_RELIEF_NORMAL</relief>
<child>
<padding>0</padding>
<expand>True</expand>
<fill>True</fill>
</child>
</widget>
<widget>
<class>GtkButton</class>
<name>close_step_button</name>
<width>200</width>
<height>50</height>
<can_focus>True</can_focus>
<signal>
<name>clicked</name>
<handler>close_step_button_clicked</handler>