/[eiffelstudio]/branches/eth/eve/Src/Eiffel/interface/graphical/tools/autodebug/panels/es_adb_panel_settings_imp.e
ViewVC logotype

Contents of /branches/eth/eve/Src/Eiffel/interface/graphical/tools/autodebug/panels/es_adb_panel_settings_imp.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 95332 - (show annotations)
Fri Jun 27 12:57:49 2014 UTC (5 years, 3 months ago) by maxpei
File size: 15070 byte(s)
Fixed a few bugs in AutoFix and AutoDebug.
1 note
2 description: "Summary description for {ES_ADB_SETTINGS_PANEL_IMP}."
3 author: ""
4 date: "$Date$"
5 revision: "$Revision$"
6
7 deferred class
8 ES_ADB_PANEL_SETTINGS_IMP
9
10 inherit
11 EV_HORIZONTAL_BOX
12 redefine
13 initialize
14 end
15
16 ES_ADB_PANEL_ABSTRACT
17
18 ES_ADB_INTERFACE_STRINGS
19
20 feature {NONE} -- Initialization
21
22 initialize
23 -- <Precursor>
24 local
25 l_frame: EV_FRAME
26 l_v_box, l_internal_v_box, l_v_space: EV_VERTICAL_BOX
27 l_h_box, l_internal_h_box, l_h_space: EV_HORIZONTAL_BOX
28 l_label: EV_LABEL
29 l_font, l_font_larger: EV_FONT
30 do
31 Precursor {EV_HORIZONTAL_BOX}
32 set_padding({ES_UI_CONSTANTS}.horizontal_padding)
33
34 -- Left
35 create l_v_box
36 l_v_box.set_minimum_size (300, 300)
37 l_v_box.set_padding ({ES_UI_CONSTANTS}.vertical_padding)
38
39 create l_internal_h_box
40 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
41 create evtext_group_to_add
42 l_internal_h_box.extend (evtext_group_to_add)
43 create evbutton_add.make_with_text (Button_text_add)
44 evbutton_add.set_minimum_width (40)
45 l_internal_h_box.extend (evbutton_add)
46 l_internal_h_box.disable_item_expand (evbutton_add)
47 l_v_box.extend (l_internal_h_box)
48 l_v_box.disable_item_expand (l_internal_h_box)
49
50 create evlist_groups_to_debug
51 l_v_box.extend (evlist_groups_to_debug)
52
53 create evlist_classes_in_group
54 evlist_classes_in_group.set_minimum_height (100)
55 l_v_box.extend (evlist_classes_in_group)
56 l_v_box.disable_item_expand (evlist_classes_in_group)
57
58 create l_internal_h_box
59 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
60 create l_label.make_with_text ("")
61 l_internal_h_box.extend (l_label)
62 create evbutton_remove.make_with_text (Button_text_remove)
63 evbutton_remove.set_minimum_width (80)
64 l_internal_h_box.extend (evbutton_remove)
65 l_internal_h_box.disable_item_expand (evbutton_remove)
66 create evbutton_remove_all.make_with_text (Button_text_remove_all)
67 evbutton_remove_all.set_minimum_width (80)
68 l_internal_h_box.extend (evbutton_remove_all)
69 l_internal_h_box.disable_item_expand (evbutton_remove_all)
70 l_v_box.extend (l_internal_h_box)
71 l_v_box.disable_item_expand (l_internal_h_box)
72
73 create l_frame
74 l_frame.set_border_width ({ES_UI_CONSTANTS}.frame_border)
75 l_frame.set_text (Frame_text_classes_to_debug)
76 l_frame.extend (l_v_box)
77 extend (l_frame)
78
79 -- Middle
80 create l_v_box
81 l_v_box.set_minimum_size (300, 300)
82 l_v_box.set_padding ({ES_UI_CONSTANTS}.vertical_padding)
83
84 -- General
85 create l_internal_v_box
86 l_internal_v_box.set_padding ({ES_UI_CONSTANTS}.vertical_padding)
87 create l_label.make_with_text (Label_text_working_directory)
88 l_label.align_text_left
89 l_internal_v_box.extend (l_label)
90 l_internal_v_box.disable_item_expand (l_label)
91 create l_internal_h_box
92 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
93 create evtext_working_directory
94 l_internal_h_box.extend (evtext_working_directory)
95 create evbutton_browse.make_with_text ("...")
96 evbutton_browse.set_minimum_width (40)
97 l_internal_h_box.extend (evbutton_browse)
98 l_internal_h_box.disable_item_expand (evbutton_browse)
99 l_internal_v_box.extend (l_internal_h_box)
100 l_internal_v_box.disable_item_expand (l_internal_h_box)
101
102 create l_frame.make_with_text (Frame_text_general)
103 l_frame.set_border_width ({ES_UI_CONSTANTS}.frame_border)
104 l_frame.extend (l_internal_v_box)
105 l_v_box.extend (l_frame)
106 l_v_box.disable_item_expand (l_frame)
107 create l_v_space
108 l_v_box.extend (l_v_space)
109
110 -- Testing
111 create l_internal_v_box
112 l_internal_v_box.set_padding ({ES_UI_CONSTANTS}.vertical_padding)
113 create l_internal_h_box
114 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
115 create l_label.make_with_text (label_text_maximum_session_length_for_testing)
116 l_label.align_text_left
117 l_internal_h_box.extend (l_label)
118 create evtext_testing_cutoff_time
119 evtext_testing_cutoff_time.set_minimum_width (40)
120 l_internal_h_box.extend (evtext_testing_cutoff_time)
121 l_internal_h_box.disable_item_expand (evtext_testing_cutoff_time)
122
123 l_internal_v_box.extend (l_internal_h_box)
124 l_internal_v_box.disable_item_expand (l_internal_h_box)
125
126 create l_internal_h_box
127 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
128 create l_label.make_with_text (Label_text_each_session_tests)
129 l_label.align_text_left
130 l_internal_h_box.extend (l_label)
131 create evcombo_testing_session_type.make_with_strings (<<combobox_text_test_session_type_one_class, combobox_text_test_session_type_one_group, combobox_text_test_session_type_all_classes>>)
132 evcombo_testing_session_type.disable_edit
133 evcombo_testing_session_type.set_minimum_width (200)
134 l_internal_h_box.extend (evcombo_testing_session_type)
135 l_internal_h_box.disable_item_expand (evcombo_testing_session_type)
136 l_internal_v_box.extend (l_internal_h_box)
137 l_internal_v_box.disable_item_expand (l_internal_h_box)
138
139 create l_internal_h_box
140 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
141 create evcheckbutton_testing_use_fixed_seed.make_with_text (Checkbutton_text_testing_use_fixed_seed)
142 l_internal_h_box.extend (evcheckbutton_testing_use_fixed_seed)
143 create evtext_testing_seed
144 evtext_testing_seed.set_minimum_width (40)
145 l_internal_h_box.extend (evtext_testing_seed)
146 l_internal_h_box.disable_item_expand (evtext_testing_seed)
147 l_internal_v_box.extend (l_internal_h_box)
148 l_internal_v_box.disable_item_expand (l_internal_h_box)
149 create l_frame.make_with_text (Frame_text_testing)
150 l_frame.set_border_width ({ES_UI_CONSTANTS}.frame_border)
151 l_frame.extend (l_internal_v_box)
152 l_v_box.extend (l_frame)
153 l_v_box.disable_item_expand (l_frame)
154 create l_v_space
155 l_v_box.extend (l_v_space)
156
157 -- Fixing
158 create l_internal_v_box
159 l_internal_v_box.set_padding ({ES_UI_CONSTANTS}.vertical_padding)
160
161 create l_internal_h_box
162 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
163 create l_label.make_with_text (Label_text_start_fixing)
164 l_label.align_text_left
165 l_internal_h_box.extend (l_label)
166 create evcombo_start_fixing_type.make_with_strings (<<Combobox_text_start_fixing_type_after_each_testing_session, Combobox_text_start_fixing_type_after_all_testing_sessions, Combobox_text_start_fixing_type_manually>>)
167 evcombo_start_fixing_type.disable_edit
168 evcombo_start_fixing_type.set_minimum_width (200)
169 l_internal_h_box.extend (evcombo_start_fixing_type)
170 l_internal_h_box.disable_item_expand (evcombo_start_fixing_type)
171 l_internal_v_box.extend (l_internal_h_box)
172 l_internal_v_box.disable_item_expand (l_internal_h_box)
173
174 create l_internal_h_box
175 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
176 create l_label.make_with_text (label_text_maximum_session_length_for_fixing)
177 l_label.align_text_left
178 l_internal_h_box.extend (l_label)
179 create evtext_fixing_cutoff_time
180 evtext_fixing_cutoff_time.set_minimum_width (40)
181 l_internal_h_box.extend (evtext_fixing_cutoff_time)
182 l_internal_h_box.disable_item_expand (evtext_fixing_cutoff_time)
183 l_internal_v_box.extend (l_internal_h_box)
184 l_internal_v_box.disable_item_expand (l_internal_h_box)
185
186 create l_internal_h_box
187 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
188 create l_label.make_with_text (Label_text_fixing_number_of_fixes)
189 l_label.align_text_left
190 l_internal_h_box.extend (l_label)
191 create evtext_fixing_number_of_fixes
192 evtext_fixing_number_of_fixes.set_minimum_width (40)
193 l_internal_h_box.extend (evtext_fixing_number_of_fixes)
194 l_internal_h_box.disable_item_expand (evtext_fixing_number_of_fixes)
195 l_internal_v_box.extend (l_internal_h_box)
196 l_internal_v_box.disable_item_expand (l_internal_h_box)
197
198 create l_internal_h_box
199 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
200 create l_label
201 l_label.set_minimum_width ({ES_UI_CONSTANTS}.sub_widget_indent_width)
202 l_internal_h_box.extend (l_label)
203 l_internal_h_box.disable_item_expand (l_label)
204 create evcheckbutton_fixing_implementation.make_with_text (Checkbutton_text_fixing_implementation)
205 l_internal_h_box.extend (evcheckbutton_fixing_implementation)
206 l_internal_v_box.extend (l_internal_h_box)
207 l_internal_v_box.disable_item_expand (l_internal_h_box)
208
209 create l_internal_h_box
210 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
211 create l_label
212 l_label.set_minimum_width ({ES_UI_CONSTANTS}.sub_widget_indent_width)
213 l_internal_h_box.extend (l_label)
214 l_internal_h_box.disable_item_expand (l_label)
215 create evcheckbutton_fixing_contracts.make_with_text (checkbutton_text_fixing_contracts)
216 l_internal_h_box.extend (evcheckbutton_fixing_contracts)
217 l_internal_v_box.extend (l_internal_h_box)
218 l_internal_v_box.disable_item_expand (l_internal_h_box)
219
220 create l_label.make_with_text (Label_text_fixing_number_of_tests)
221 l_label.align_text_left
222 l_internal_v_box.extend (l_label)
223 l_internal_v_box.disable_item_expand (l_label)
224
225 create l_internal_h_box
226 l_internal_h_box.set_padding ({ES_UI_CONSTANTS}.horizontal_padding)
227 create l_label
228 l_label.set_minimum_width ({ES_UI_CONSTANTS}.sub_widget_indent_width)
229 l_internal_h_box.extend (l_label)
230 l_internal_h_box.disable_item_expand (l_label)
231
232 create l_h_box
233 create l_label.make_with_text (Label_text_fixing_passing_tests)
234 l_label.align_text_left
235 l_h_box.extend (l_label)
236 l_h_box.disable_item_expand (l_label)
237 create evtext_fixing_passing_tests
238 evtext_fixing_passing_tests.set_minimum_width (40)
239 l_h_box.extend (evtext_fixing_passing_tests)
240 l_h_box.disable_item_expand (evtext_fixing_passing_tests)
241 l_internal_h_box.extend (l_h_box)
242
243 create l_h_box
244 create l_label.make_with_text (Label_text_fixing_failing_tests)
245 l_label.align_text_left
246 l_h_box.extend (l_label)
247 l_h_box.disable_item_expand (l_label)
248 create evtext_fixing_failing_tests
249 evtext_fixing_failing_tests.set_minimum_width (40)
250 l_h_box.extend (evtext_fixing_failing_tests)
251 l_h_box.disable_item_expand (evtext_fixing_failing_tests)
252 l_internal_h_box.extend (l_h_box)
253 l_internal_v_box.extend (l_internal_h_box)
254 l_internal_v_box.disable_item_expand (l_internal_h_box)
255
256 create l_frame.make_with_text (Frame_text_fixing)
257 l_frame.set_border_width ({ES_UI_CONSTANTS}.frame_border)
258 l_frame.extend (l_internal_v_box)
259 l_v_box.extend (l_frame)
260 l_v_box.disable_item_expand (l_frame)
261 extend (l_v_box)
262
263 -- Right
264 create l_v_box
265 l_v_box.set_minimum_width (150)
266 l_v_box.set_padding ({ES_UI_CONSTANTS}.vertical_padding)
267 l_v_box.set_border_width ({ES_UI_CONSTANTS}.frame_border)
268
269 create l_h_box
270 create l_label.make_with_text ("")
271 l_label.set_minimum_width (10)
272 l_h_box.extend (l_label)
273 l_h_box.disable_item_expand (l_label)
274 create evbutton_load_config.make_with_text (Button_text_load_config)
275 evbutton_load_config.set_minimum_width (130)
276 l_h_box.extend (evbutton_load_config)
277 l_h_box.disable_item_expand (evbutton_load_config)
278 create l_label.make_with_text ("")
279 l_label.set_minimum_width (10)
280 l_h_box.extend (l_label)
281 l_h_box.disable_item_expand (l_label)
282 l_v_box.extend (l_h_box)
283 l_v_box.disable_item_expand (l_h_box)
284
285 create l_h_box
286 create l_label.make_with_text ("")
287 l_label.set_minimum_width (10)
288 l_h_box.extend (l_label)
289 l_h_box.disable_item_expand (l_label)
290 create evbutton_save_config.make_with_text (Button_text_save_config)
291 evbutton_save_config.set_minimum_width (130)
292 l_h_box.extend (evbutton_save_config)
293 l_h_box.disable_item_expand (evbutton_save_config)
294 create l_label.make_with_text ("")
295 l_label.set_minimum_width (10)
296 l_h_box.extend (l_label)
297 l_h_box.disable_item_expand (l_label)
298 l_v_box.extend (l_h_box)
299 l_v_box.disable_item_expand (l_h_box)
300
301 create l_v_space
302 l_v_box.extend (l_v_space)
303
304 create l_h_box
305 create l_label.make_with_text ("")
306 l_label.set_minimum_width (10)
307 l_h_box.extend (l_label)
308 l_h_box.disable_item_expand (l_label)
309 create evbutton_start.make_with_text (Button_text_start)
310 evbutton_start.set_minimum_width (130)
311 l_font := evbutton_start.font
312 create l_font_larger.make_with_values (l_font.family, l_font.weight, l_font.shape, l_font.height)
313 l_font_larger.set_weight ({EV_FONT_CONSTANTS}.Weight_bold)
314 l_font_larger.set_height (l_font.height + 2)
315 evbutton_start.set_font (l_font_larger)
316 l_h_box.extend (evbutton_start)
317 l_h_box.disable_item_expand (evbutton_start)
318 create l_label.make_with_text ("")
319 l_label.set_minimum_width (10)
320 l_h_box.extend (l_label)
321 l_h_box.disable_item_expand (l_label)
322 l_v_box.extend (l_h_box)
323 l_v_box.disable_item_expand (l_h_box)
324
325 extend (l_v_box)
326 disable_item_expand (l_v_box)
327 end
328
329 feature -- GUI elements
330
331 evtext_group_to_add: EV_TEXT_FIELD
332
333 evlist_groups_to_debug: EV_LIST
334
335 evlist_classes_in_group: EV_LIST
336
337 evbutton_add: EV_BUTTON
338
339 evbutton_remove: EV_BUTTON
340
341 evbutton_remove_all: EV_BUTTON
342
343 evtext_working_directory: EV_TEXT_FIELD
344
345 evbutton_browse: EV_BUTTON
346
347 evtext_testing_cutoff_time: EV_TEXT_FIELD
348
349 evcombo_testing_session_type: EV_COMBO_BOX
350
351 evcheckbutton_testing_use_fixed_seed: EV_CHECK_BUTTON
352
353 evtext_testing_seed: EV_TEXT_FIELD
354
355 evcombo_start_fixing_type: EV_COMBO_BOX
356
357 evtext_fixing_cutoff_time: EV_TEXT_FIELD
358
359 evtext_fixing_number_of_fixes: EV_TEXT_FIELD
360
361 evcheckbutton_fixing_implementation: EV_CHECK_BUTTON
362
363 evcheckbutton_fixing_contracts: EV_CHECK_BUTTON
364
365 evtext_fixing_passing_tests: EV_TEXT_FIELD
366
367 evtext_fixing_failing_tests: EV_TEXT_FIELD
368
369 evbutton_load_config: EV_BUTTON
370
371 evbutton_save_config: EV_BUTTON
372
373 evbutton_start: EV_BUTTON
374
375 ;note
376 copyright: "Copyright (c) 1984-2014, Eiffel Software"
377 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
378 licensing_options: "http://www.eiffel.com/licensing"
379 copying: "[
380 This file is part of Eiffel Software's Eiffel Development Environment.
381
382 Eiffel Software's Eiffel Development Environment is free
383 software; you can redistribute it and/or modify it under
384 the terms of the GNU General Public License as published
385 by the Free Software Foundation, version 2 of the License
386 (available at the URL listed under "license" above).
387
388 Eiffel Software's Eiffel Development Environment is
389 distributed in the hope that it will be useful, but
390 WITHOUT ANY WARRANTY; without even the implied warranty
391 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
392 See the GNU General Public License for more details.
393
394 You should have received a copy of the GNU General Public
395 License along with Eiffel Software's Eiffel Development
396 Environment; if not, write to the Free Software Foundation,
397 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
398 ]"
399 source: "[
400 Eiffel Software
401 5949 Hollister Ave., Goleta, CA 93117 USA
402 Telephone 805-685-1006, Fax 805-685-6869
403 Website http://www.eiffel.com
404 Customer support http://support.eiffel.com
405 ]"
406 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23