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

Contents of /trunk/eweasel/tests/exec091/tester_0.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: 486 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 create t
19 t.do_nothing
20 create s.make_empty (2)
21 s.do_nothing
22 end
23
24 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23