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
|
List of known bugs and unimplemented features
* When you repeatedly inherit from a class that contains a routine
that assigns to an attribute, and specify for the routine and
attribute to be replicated twice, the routine fails to follow the
replicated feature. That is, you have two routines assigning to
the one attribute, instead of having two routines assigning to
different attributes. This contravenes the discussion in ETL p.
174-177. The following code illustrates the issue (it fails at
run-time).
class BOARD
feature
set_max_board_members (b: INTEGER) is
do
max := b;
end
max: INTEGER
end
class BOARD2
inherit
BOARD
rename
set_max_board_members as set_min_board_members,
max as min
end
BOARD
select set_max_board_members
end
end
class BOARD_ORGANISER
creation make
feature
make is
do
!!board2;
board2.set_max_board_members (3)
board2.set_min_board_members (1)
check
board2.max = 3
end
end;
board2: BOARD2;
end
This bug is not easy to fix at all and also seems to be present in
all commercial Eiffel compilers (if your commercial compiler can
correctly execute this code, please drop us a note to advise us
otherwise).
* Some features of class BIT are not yet implemented when using long
BIT sequences (i.e. more than 32 bits). All unimplemented features
are reported at compile-time (please do not report these, except
where you cannot work around them).
* Command line arguments cannot be given as argument of the root
procedure (not yet implemented). For the time being, you can use
features argument_count and argument of class GENERAL.
* Features deep_clone and deep_equal of class GENERAL are not yet
implemented for compile_to_jvm.
* compile_to_jvm is broken.
* compile_to_jvm doesn't allow you to make applets.
* inline agents is not implemented yet.
* dispose is not implemented yet for expanded objects.
[Line]
Copyright Dominique COLNET and Suzanne COLLIN -
[1]<SmartEiffel@loria.fr>
Last modified: Tue Feb 11 12:23:05 CET 2003
References
1. mailto:SmartEiffel@loria.fr
|
