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

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

Parent Directory Parent Directory | Revision Log Revision Log


Revision 100465 - (show annotations)
Tue Jun 13 14:43:09 2017 UTC (2 years, 5 months ago) by alexk
File size: 734 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 class TESTER [G -> ANY create default_create end]
7
8 feature
9
10 x: detachable G -- 0: creation invariant
11
12 test
13 local
14 t: G
15 -- 1: creation invariant
16 s: SPECIAL [G]
17 do
18 -- 2: creation invariant
19 io.put_string ("2: ")
20 create t
21 -- 3: invariant invariant
22 io.put_string ("3: ")
23 t.do_nothing
24 -- 4: creation invariant
25 io.put_string ("4: ")
26 create x
27 -- 5: creation invariant creation invariant
28 io.put_string ("5: ")
29 create s.make_empty (2)
30 s.do_nothing
31 end
32
33 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23