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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 86987 - (hide annotations)
Thu Aug 11 21:49:58 2011 UTC (8 years, 5 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 manus 86987 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