DEADSOFTWARE
GIT
/
REPO
/
FRED-BOY
Projects
/
dsw-obn.git
/ blob
3c862c1d5917486426e84aa32439b268bb8baf88
[dsw-obn.git]
/
Test.obn
1
MODULE
Test
;
2
3
TYPE
4
Object
=
RECORD
5
mth
:
PROCEDURE
;
6
END
;
7
8
VAR
9
p
:
PROCEDURE
;
10
o
,
a
:
Object
;
11
12
PROCEDURE
X
;
13
END
X
;
14
15
PROCEDURE
Z
(
VAR
g
:
Object
);
16
BEGIN
17
g
.
mth
;
18
END
Z
;
19
20
BEGIN
21
p
:=
X
;
22
ASSERT
(
p
#
NIL
);
23
o
.
mth
:=
X
;
24
ASSERT
(
o
.
mth
#
NIL
);
25
a
:=
o
;
26
ASSERT
(
a
.
mth
#
NIL
);
27
Z
(
a
);
28
END
Test
.