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

Contents of /trunk/eweasel/tests/exec091/expanded_reference.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: 411 byte(s)
Extended test with more cases:
	- expanded objects with references
	- special objects with expanded parameter

1 expanded class EXPANDED_REFERENCE
2
3 inherit
4 ANY
5 redefine
6 default_create
7 end
8
9 create
10 default_create
11
12 feature
13
14 default_create
15 do
16 io.put_string ("create ")
17 item := "foo"
18 end
19
20 item: detachable separate STRING
21
22 show: BOOLEAN
23 do
24 io.put_string ("invariant")
25 io.put_new_line
26 Result := attached {STRING} item as value and then value.same_string ("foo")
27 end
28
29 invariant
30
31 test: show
32
33 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23