/[eiffelstudio]/trunk/eweasel/tests/rdtp003/es_testing_tool.e
ViewVC logotype

Contents of /trunk/eweasel/tests/rdtp003/es_testing_tool.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 86987 - (show annotations)
Thu Aug 11 21:49:58 2011 UTC (8 years, 4 months ago) by manus
File size: 2342 byte(s)
New test similar to rdtp001 except that it ensures that the implementation of `is_equivalent' from AST_EIFFEL is correct by comparing the result of two parsings of the same class and verifying they are indeed equivalent.

1 note
2 description: "[
3 Shim class for EiffelStudio's testing tool.
4 ]"
5 date: "$Date$"
6 revision: "$Revision$"
7
8 frozen class
9 ES_TESTING_TOOL
10
11 inherit
12 ES_STONABLE_TOOL [ES_TESTING_TOOL_PANEL]
13
14 inherit {NONE}
15 ES_TOOL_ICONS_PROVIDER_I [ES_TESTING_TOOL_ICONS]
16 export
17 {NONE} all
18 end
19
20 create {NONE}
21 default_create
22
23 feature -- Access
24
25 title: STRING_32
26 -- <Precursor>
27 do
28 Result := locale_formatter.translation (t_title)
29 end
30
31 icon: EV_PIXEL_BUFFER
32 -- <Precursor>
33 do
34 Result := stock_pixmaps.tool_external_output_icon_buffer
35 end
36
37 icon_pixmap: EV_PIXMAP
38 -- <Precursor>
39 do
40 Result := stock_pixmaps.tool_external_output_icon
41 end
42
43 feature {NONE} -- Status report
44
45 internal_is_stone_usable (a_stone: !like stone): BOOLEAN
46 -- <Precursor>
47 do
48 Result := True
49 end
50
51 feature {NONE} -- Factory
52
53 create_tool: ES_TESTING_TOOL_PANEL
54 -- <Precursor>
55 do
56 create Result.make (window, Current)
57 end
58
59 feature {NONE} -- Internationalization
60
61 t_title: STRING = "Testing Tool"
62
63 ;note
64 copyright: "Copyright (c) 1984-2008, Eiffel Software"
65 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
66 licensing_options: "http://www.eiffel.com/licensing"
67 copying: "[
68 This file is part of Eiffel Software's Eiffel Development Environment.
69
70 Eiffel Software's Eiffel Development Environment is free
71 software; you can redistribute it and/or modify it under
72 the terms of the GNU General Public License as published
73 by the Free Software Foundation, version 2 of the License
74 (available at the URL listed under "license" above).
75
76 Eiffel Software's Eiffel Development Environment is
77 distributed in the hope that it will be useful, but
78 WITHOUT ANY WARRANTY; without even the implied warranty
79 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
80 See the GNU General Public License for more details.
81
82 You should have received a copy of the GNU General Public
83 License along with Eiffel Software's Eiffel Development
84 Environment; if not, write to the Free Software Foundation,
85 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
86 ]"
87 source: "[
88 Eiffel Software
89 5949 Hollister Ave., Goleta, CA 93117 USA
90 Telephone 805-685-1006, Fax 805-685-6869
91 Website http://www.eiffel.com
92 Customer support http://support.eiffel.com
93 ]"
94 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23