/[eiffelstudio]/trunk/eweasel/tests/dotnet048/i_property.e
ViewVC logotype

Contents of /trunk/eweasel/tests/dotnet048/i_property.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 66018 - (show annotations)
Fri Jan 19 00:47:50 2007 UTC (13 years ago) by paulb
File size: 1965 byte(s)
Added test that crashes complier when renaming deferred .NET properties and not replicating a deferred function's assigner declaration.

1 indexing
2 description: "[
3 Property interface
4 ]"
5 legal: "See notice at end of class."
6 status: "See notice at end of class.";
7 date: "$date$";
8 revision: "$revision$"
9
10 deferred class
11 I_PROPERTY
12
13 feature -- Properties
14
15 my_property: SYSTEM_STRING assign set_my_property is
16 -- Property stirng
17 indexing
18 property: auto
19 deferred
20 ensure
21 not_result_is_empty: not {SYSTEM_STRING}.is_null_or_empty (Result)
22 end
23
24 feature -- Properties setting
25
26 set_my_property (a_value: SYSTEM_STRING) is
27 -- Set `my_property' with `a_value'
28 deferred
29 ensure
30 my_property_set: {SYSTEM_STRING}.equals (my_property, a_value)
31 end
32
33 ;indexing
34 copyright: "Copyright (c) 1984-2007, Eiffel Software"
35 license: "GPL version 2 (see http://www.eiffel.com/licensing/gpl.txt)"
36 licensing_options: "http://www.eiffel.com/licensing"
37 copying: "[
38 This file is part of Eiffel Software's Eiffel Development Environment.
39
40 Eiffel Software's Eiffel Development Environment is free
41 software; you can redistribute it and/or modify it under
42 the terms of the GNU General Public License as published
43 by the Free Software Foundation, version 2 of the License
44 (available at the URL listed under "license" above).
45
46 Eiffel Software's Eiffel Development Environment is
47 distributed in the hope that it will be useful, but
48 WITHOUT ANY WARRANTY; without even the implied warranty
49 of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
50 See the GNU General Public License for more details.
51
52 You should have received a copy of the GNU General Public
53 License along with Eiffel Software's Eiffel Development
54 Environment; if not, write to the Free Software Foundation,
55 Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
56 ]"
57 source: "[
58 Eiffel Software
59 356 Storke Road, Goleta, CA 93117 USA
60 Telephone 805-685-1006, Fax 805-685-6869
61 Website http://www.eiffel.com
62 Customer support http://support.eiffel.com
63 ]"
64
65 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23