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
|
# $Id$
Things not implemented yet:
---------------------------
==========
= Parser =
==========
* record aggregate assignments
* much more, see FIXME/TODO comments
=================
= Type analysis =
=================
* needs code cleanup!
* individual association
* named association for function calls
* implicit conversions and function calls (eliminates correct possibilities
sometimes, e.g. "if 2 = x then").
=====================
= Semantic analysis =
=====================
* check pure'ness of functions/procedures (impure is not always legal)
* replace concurrent statements with processes
* check select/case statements if all values are present
* check procedure call statements writing to signals that are not passed as
parameters, since this is only legal in subprograms of process statements
(LRM 123). GatherImplicites: also pick up drivers from non-parameters
of subprogram calls.
* check if the actual of a formal of class variable is a variable.
* handle subtype conversions for array constraints on assignment (and others).
===================
= ICode generator =
===================
* slice handling
* mapping/annotating foreign composite types.
|
