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

Contents of /branches/eth/eve/Src/Eiffel/interface/graphical/tools/autodebug/es_adb_interface_strings.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: 7459 byte(s)
Fixed a few bugs in AutoFix and AutoDebug.
1
2 deferred class
3 ES_ADB_INTERFACE_STRINGS
4
5 inherit
6 ANY
7 undefine
8 default_create,
9 copy,
10 is_equal
11 end
12
13 feature
14
15 Tool_name: STRING = "AutoDebug"
16
17 Tab_name_setting: STRING = "Settings"
18 Tab_name_faults: STRING = "Faults"
19 Tab_name_fixes: STRING = "Fixes"
20 Tab_name_output: STRING = "Output"
21
22 -- Tab settings
23 Frame_text_classes_to_debug: STRING = "Groups of classes to debug"
24 Button_text_add: STRING = "Add"
25 Button_text_remove: STRING = "Remove"
26 Button_text_remove_all: STRING = "Removel all"
27
28 Frame_text_general: STRING = "General"
29 Label_text_working_directory: STRING = "Working directory"
30 checkbutton_text_test_classes_in_groups: STRING = "Test classes in groups"
31
32 Frame_text_testing: STRING = "Testing"
33 Label_text_each_session_tests: STRING = "Each session tests"
34 combobox_text_test_session_type_one_class: STRING = "one class"
35 combobox_text_test_session_type_one_group: STRING = "one group of classes"
36 combobox_text_test_session_type_all_classes: STRING = "all classes"
37 label_text_maximum_session_length_for_testing: STRING = "Maximum session length for testing (in minute)"
38 Checkbutton_text_testing_use_fixed_seed: STRING = "Use fixed seed"
39
40 Frame_text_fixing: STRING = "Fixing"
41 Label_text_start_fixing: STRING = "Start fixing"
42 Combobox_text_start_fixing_type_after_each_testing_session: STRING = "after each testing session"
43 Combobox_text_start_fixing_type_after_all_testing_sessions: STRING = "after all testing sessions"
44 Combobox_text_start_fixing_type_manually: STRING = "manually"
45 label_text_maximum_session_length_for_fixing: STRING = "Maximum session length for fixing (in minute)"
46 Label_text_fixing_number_of_fixes: STRING = "Maximum fix candidates to propose"
47 Checkbutton_text_fixing_implementation: STRING = "Propose fixes to implementation"
48 Checkbutton_text_fixing_contracts: STRING = "Propose fixes to contracts"
49 Label_text_fixing_number_of_tests: STRING = "Maximum number of tests to use in fixing"
50 Label_text_fixing_passing_tests: STRING = "Passing: "
51 Label_text_fixing_failing_tests: STRING = "Failing: "
52
53 Button_text_load_config: STRING = "Load settings"
54 Button_text_save_config: STRING = "Save settings"
55 Button_text_start: STRING = "Start debugging"
56 Button_text_stop: STRING = "Stop debugging"
57
58 -- Tab faults
59 Button_text_fix_all: STRING = "Start AutoFixing all to-be-attempted"
60 Button_text_fix_all_stop: STRING = "Stop AutoFixing all to-be-attempted"
61 Button_text_fix_selected: STRING = "Start AutoFixing selected"
62 Button_text_fix_selected_stop: STRING = "Stop AutoFixing selected"
63
64 Button_text_go_to_candidate_fixes: STRING = "Go to candidate fixes"
65
66 Button_text_filter_by_approachability: STRING = "filter by fault"
67 Button_text_filter_by_fixes: STRING = "filter by fixes"
68 Menu_text_all: STRING = "All"
69 Menu_text_automatic_implementation_fixable: STRING = "Automatically fixable by changing implementation"
70 Menu_text_automatic_specification_fixable: STRING = "Automatically fixable by changing contracts"
71 Menu_text_not_automatic_fixable: STRING = "Not automatically fixable"
72 Menu_text_not_yet_attempted: STRING = "Not yet attempted"
73 Menu_text_candidate_fix_available: STRING = "Candidate fix available"
74 Menu_text_candidate_fix_unavailable: STRING = "Candidate fix unavailable"
75 Menu_text_candidate_fix_accepted: STRING = "Candidate fix accepted"
76 Menu_text_manually_fixed: STRING = "Manually fixed"
77
78 -- toggle_text_show_to_be_attempted: STRING = "To be attempted"
79 -- Toggle_text_show_candidate_fix_available: STRING = "Candidate fix available"
80 -- Toggle_text_show_candidate_fix_unavailable: STRING = "Candidate fix unavailable"
81 -- Toggle_text_show_candidate_fix_accepted: STRING = "Candidate fix accepted"
82 -- Toggle_text_show_manual_fixed: STRING = "Manually fixed"
83
84 Grid_column_text_class_and_feature_under_test: STRING = "Class and feature under test"
85 Grid_column_text_fault: STRING = "Fault"
86 Grid_column_text_passing_tests: STRING = "Passing tests"
87 Grid_column_text_failing_tests: STRING = "Failing tests"
88 Grid_column_text_status: STRING = "Status"
89 Grid_column_text_info: STRING = "Info"
90
91 Fault_status_out_of_scope: STRING = "Out of scope"
92 Fault_status_to_be_attempted: STRING = "To be attempted"
93 Fault_status_candidate_fix_available: STRING = "Candidate fix available"
94 Fault_status_candidate_fix_unavailable: STRING = "Candidate fix unavailable"
95 Fault_status_candidate_fix_accepted: STRING = "Candidate fix accepted"
96 Fault_status_manually_fixed: STRING = "Manually fixed"
97
98 Grid_no_fault: STRING = "No fault to list"
99
100 -- Tab fixes
101 Grid_column_text_fix_id: STRING = "ID"
102 Grid_column_text_type: STRING = "Type"
103 Grid_column_text_nature: STRING = "Nature of change"
104 Grid_column_text_is_proper: STRING = "Is proper?"
105 -- Grid_column_text_status: STRING = "Status"
106
107 Grid_label_text_yes: STRING = "Yes"
108 Grid_label_text_no: STRING = "No"
109
110 Frame_text_fix: STRING = "Fix"
111 Label_text_before_fix: STRING = "Before fix"
112 Label_text_after_fix: STRING = "After fix"
113 Button_text_apply: STRING = "Apply"
114
115 Fix_type_unconditional_add: STRING = "Unconditional add"
116 Fix_type_conditional_add: STRING = "Conditional add"
117 Fix_type_conditional_execute: STRING = "Conditional execute"
118 Fix_type_conditional_replace: STRING = "Conditional replace"
119
120 Fix_status_applied: STRING = "Applied"
121
122 feature
123
124 Msg_delete_directory_content: STRING = "The selected directory is not empty. Should all contents be deleted?"
125 Msg_remove_existing_debugging_results: STRING = "Starting a new debugging session will REMOVED all existing results in the current working directory. Do you want to continue?"
126 Msg_failed_to_copy_project: STRING = "Failed to copy the project into working directory."
127 Msg_discard_existing_fixing_results: STRING = "The selected fault has been attempted by AutoFix already. Do you want to discard the previous results and fix it again?"
128 Msg_apply_fix: STRING = "Change to your code cannot be rolled back. Do you want to continue?"
129 Msg_set_contract_fix_applied: STRING = "Fixes to contracts need to be applied manually. This operation will only set the fix status to %"applied%" without changing the code. Do you want to continue?"
130
131 ;note
132 copyright: "Copyright (c) 1984-2014, Eiffel Software"
133 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
134 licensing_options: "http://www.eiffel.com/licensing"
135 copying: "[
136 This file is part of Eiffel Software's Eiffel Development Environment.
137
138 Eiffel Software's Eiffel Development Environment is free
139 software; you can redistribute it and/or modify it under
140 the terms of the GNU General Public License as published
141 by the Free Software Foundation, version 2 of the License
142 (available at the URL listed under "license" above).
143
144 Eiffel Software's Eiffel Development Environment is
145 distributed in the hope that it will be useful, but
146 WITHOUT ANY WARRANTY; without even the implied warranty
147 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
148 See the GNU General Public License for more details.
149
150 You should have received a copy of the GNU General Public
151 License along with Eiffel Software's Eiffel Development
152 Environment; if not, write to the Free Software Foundation,
153 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
154 ]"
155 source: "[
156 Eiffel Software
157 5949 Hollister Ave., Goleta, CA 93117 USA
158 Telephone 805-685-1006, Fax 805-685-6869
159 Website http://www.eiffel.com
160 Customer support http://support.eiffel.com
161 ]"
162 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23