blob: 6babd0cc86513ad679f97b292d15fec3d936b89e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
indexing
description : "nachbedingung application root class"
date : "$Date: 2008-12-29 15:41:59 -0800 (Mon, 29 Dec 2008) $"
revision : "$Revision: 76432 $"
class
APPLICATION
inherit
ARGUMENTS
create
make
feature {NONE} -- Implementation
ct: COUNTER
ch: CHILD
feature {NONE} -- Initialization
make
-- Run application.
do
print ("nachbedingung%N")
create ct
ct.set(3)
print ("ct " + ct.get().out + "%N")
create ch
ch.set(-2)
print ("ch " + ch.get().out + "%N")
print ("done%N")
end
end
|
