/[eiffelstudio]/trunk/eweasel/tests/scoop060/test.e
ViewVC logotype

Contents of /trunk/eweasel/tests/scoop060/test.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 97275 - (show annotations)
Mon May 11 13:19:11 2015 UTC (4 years, 8 months ago) by alexk
File size: 495 byte(s)
Added an example to demonstrate that SCOOP validity rules for arguments are not checked for assigner commands.
1 class TEST
2
3 create
4 make
5
6 feature {NONE} -- Creation
7
8 make
9 -- Run test.
10 local
11 a: A
12 do
13 create a.make
14 modify (Current)
15 end
16
17 feature -- Access
18
19 item: TEST assign put
20 do
21 Result := Current
22 end
23
24 at alias "[]" (index: INTEGER): TEST assign put_at
25 do
26 Result := Current
27 end
28
29 feature -- Modification
30
31 modify (t: separate TEST)
32 local
33 e: E
34 do
35 t.item := Current
36 t [5] := Current
37 end
38
39 put (t: TEST)
40 do
41 end
42
43 put_at (t: TEST; i: INTEGER)
44 do
45 end
46
47 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23