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
|
virtual_poly
d = virtual_poly.NDouble(3.5);
i = virtual_poly.NInt(2);
#
# the copy methods return the right polymorphic types
#
dc = d.copy();
ic = i.copy();
if (d.get() != dc.get())
error
endif
if (i.get() != ic.get())
error
endif
virtual_poly.incr(ic);
if ((i.get() + 1) != ic.get())
error
endif
dr = d.ref_this();
if (d.get() != dr.get())
error
endif
#
# 'narrowing' also works
#
ddc = virtual_poly.NDouble_narrow(d.nnumber());
if (d.get() != ddc.get())
error
endif
dic = virtual_poly.NInt_narrow(i.nnumber());
if (i.get() != dic.get())
error
endif
|
