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

Contents of /trunk/eweasel/tests/exec142/a.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 65296 - (show annotations)
Thu Nov 30 19:56:25 2006 UTC (13 years, 2 months ago) by manus
Original Path: trunk/Src/eweasel/tests/exec142/a.e
File size: 611 byte(s)
Initial revision for the eweasel delivery provided by David Hollenberg
  from the University of Southern California under the GPL v2.0 license.

1
2 --| Copyright (c) 1993-2006 University of Southern California and contributors.
3 --| All rights reserved.
4 --| Your use of this work is governed under the terms of the GNU General
5 --| Public License version 2.
6
7 class A
8
9 create
10 make
11
12 feature
13
14 make is
15 do
16 value := 'B'
17 end
18
19 feature
20
21 value: CHARACTER
22
23 is_value_required: BOOLEAN is
24 do
25 Result := value = 'D'
26 end
27
28 memory_collection: BOOLEAN is
29 local
30 mem: MEMORY
31 do
32 if value = 'C' then
33 create mem
34 mem.collect
35 end
36 Result := True
37 value := (value.code + 1).to_character_8
38 end
39
40 invariant
41 memory: memory_collection
42
43 end

Properties

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

  ViewVC Help
Powered by ViewVC 1.1.23