/[eiffelstudio]/trunk/eweasel/tests/exec091/expanded_basic.e
ViewVC logotype

Contents of /trunk/eweasel/tests/exec091/expanded_basic.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 100465 - (show annotations)
Tue Jun 13 14:43:09 2017 UTC (2 years, 2 months ago) by alexk
File size: 554 byte(s)
Extended test with more cases:
	- expanded objects with references
	- special objects with expanded parameter

1 --| Copyright (c) 1993-2017 University of Southern California, Eiffel Software and contributors.
2 --| All rights reserved.
3 --| Your use of this work is governed under the terms of the GNU General
4 --| Public License version 2.
5
6 expanded class EXPANDED_BASIC
7
8 inherit
9 ANY
10 redefine
11 default_create
12 end
13
14 create
15 default_create
16
17 feature
18
19 default_create
20 do
21 io.put_string ("create ")
22 item := 47
23 end
24
25 item: INTEGER
26
27 show: BOOLEAN
28 do
29 io.put_string ("invariant")
30 io.put_new_line
31 Result := item = 47
32 end
33
34 invariant
35
36 test: show
37
38 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23