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

Contents of /trunk/eweasel/tests/scoop060/a.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: 391 byte(s)
Added an example to demonstrate that SCOOP validity rules for arguments are not checked for assigner commands.
1 class A
2
3 create
4 make
5
6 feature {NONE} -- Creation
7
8 make
9 -- Run test.
10 do
11 modify (Current)
12 end
13
14 feature -- Access
15
16 value: E assign set
17
18 value_at alias "[]" (index: INTEGER): E assign set_at
19 do
20 end
21
22 feature -- Modification
23
24 modify (a: separate A)
25 local
26 e: E
27 do
28 a.value := e
29 a [5] := e
30 end
31
32 set (e: E)
33 do
34 end
35
36 set_at (e: E; index: INTEGER)
37 do
38 end
39
40 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23