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

Contents of /branches/eth/eve/Src/Eiffel/interface/graphical/tools/code_analysis/es_code_analysis_bench_helper.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 93475 - (show annotations)
Wed Nov 20 16:09:46 2013 UTC (5 years, 10 months ago) by zurfluhs
File size: 2603 byte(s)
Code Analysis: preferences system (initial)
1 note
2 description: "[
3 Helper class to minimize changes of proper EiffelStudio for the integration of AutoProof.
4 ]"
5 date: "$Date$"
6 revision: "$Revision$"
7
8 class
9 ES_CODE_ANALYSIS_BENCH_HELPER
10 inherit {NONE}
11 EB_SHARED_PIXMAPS
12
13 feature -- Basic operations
14
15 build_context_menu_for_class_stone (a_menu: EV_MENU; a_stone: CLASSC_STONE)
16 -- Build context menu for class stone `a_stone' and add it to `a_menu'.
17 --
18 -- Added to {EB_CONTEXT_MENU_FACTORY}.extend_standard_compiler_item_menu
19 require
20 a_menu_not_void: a_menu /= Void
21 a_stone_not_void: a_stone /= Void
22 local
23 l_item: EV_MENU_ITEM
24 do
25 if a_stone.class_i.is_compiled then
26 create l_item.make_with_text_and_action ("Run Code Analysis of Class '" + a_stone.class_name + "'"
27 , agent ca_command.execute_with_stone (a_stone))
28 l_item.set_pixmap (icon_pixmaps.view_flat_icon)
29
30 if code_analyzer.is_running then
31 l_item.disable_sensitive
32 l_item.set_text (l_item.text + " (already running)")
33 end
34 a_menu.extend (l_item)
35 end
36 end
37
38 feature -- Verification
39
40 code_analyzer: CA_CODE_ANALYZER
41 -- Shared Code Analyzer instance.
42 once
43 create Result.make
44 end
45
46 ca_command: ES_CODE_ANALYSIS_COMMAND
47 -- Shared Code Analysis command.
48 once
49 create Result.make
50 end
51
52 note
53 copyright: "Copyright (c) 1984-2013, Eiffel Software"
54 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
55 licensing_options: "http://www.eiffel.com/licensing"
56 copying: "[
57 This file is part of Eiffel Software's Eiffel Development Environment.
58
59 Eiffel Software's Eiffel Development Environment is free
60 software; you can redistribute it and/or modify it under
61 the terms of the GNU General Public License as published
62 by the Free Software Foundation, version 2 of the License
63 (available at the URL listed under "license" above).
64
65 Eiffel Software's Eiffel Development Environment is
66 distributed in the hope that it will be useful, but
67 WITHOUT ANY WARRANTY; without even the implied warranty
68 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
69 See the GNU General Public License for more details.
70
71 You should have received a copy of the GNU General Public
72 License along with Eiffel Software's Eiffel Development
73 Environment; if not, write to the Free Software Foundation,
74 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
75 ]"
76 source: "[
77 Eiffel Software
78 5949 Hollister Ave., Goleta, CA 93117 USA
79 Telephone 805-685-1006, Fax 805-685-6869
80 Website http://www.eiffel.com
81 Customer support http://support.eiffel.com
82 ]"
83 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23