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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
|
{$R+}
program test_fail;
uses
erroru;
type
parrayobj = ^tarrayobj;
tarrayobj = object
ar : array [1..4] of real;
constructor init(do_fail : boolean);
procedure test;virtual;
destructor done;virtual;
end;
pbigarrayobj = ^tbigarrayobj;
tbigarrayobj = object(tarrayobj)
ar2 : array [1..10000] of real;
constructor good_init;
constructor wrong_init;
procedure test;virtual;
end;
var
pa1, pa2 : parrayobj;
ta1, ta2 : tarrayobj;
constructor tarrayobj.init(do_fail : boolean);
begin
ar[1]:=1;
if do_fail then
fail;
ar[2]:=2;
end;
destructor tarrayobj.done;
begin
end;
procedure tarrayobj.test;
begin
Writeln('@self = ',ptrint(@self));
Writeln('typeof = ',ptrint(typeof(self)));
if ar[1]=1 then
Writeln('Init called');
if ar[2]=2 then
Writeln('Init successful');
end;
constructor tbigarrayobj.good_init;
begin
inherited init(false);
Writeln('End of tbigarrayobj.good_init');
end;
constructor tbigarrayobj.wrong_init;
begin
inherited init(true);
Writeln('End of tbigarrayobj.wrong_init');
end;
procedure tbigarrayobj.test;
begin
Writeln('tbigarrayobj.test called');
Inherited test;
end;
var
mem : sizeint;
begin
require_error(210);
mem:=0;
DoMem(mem);
new(pa1,init(false));
writeln('After successful new(pa1,init)');
new(pa2,init(true));
writeln('After unsuccessful new(pa2,init)');
writeln('pa1 = ',ptrint(pa1),' pa2 = ',ptrint(pa2));
writeln('Call to pa1^.test after successful init');
pa1^.test;
dispose(pa1,done);
writeln('After release of pa1');
DoMem(mem);
pa1:=new(pbigarrayobj,good_init);
writeln('After successful pa1:=new(pbigarrayobj,good_init)');
pa2:=new(pbigarrayobj,wrong_init);
writeln('After unsuccessful pa2:=new(pbigarrayobj,wrong_init)');
writeln('pa1 = ',ptrint(pa1),' pa2 = ',ptrint(pa2));
writeln('Call to pa1^.test after successful init');
pa1^.test;
ta1.init(false);
writeln('Call to ta1.test after successful init');
ta1.test;
ta2.init(true);
writeln('typeof(ta2) = ',ptrint(typeof(ta2)),' after unsuccessful init');
Writeln('Trying to call ta2.test (should generate a Run Time Error)');
ta2.test;
end.
|
