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
|
Name, Part: ident + optional .-separated idents
MODDEF:
1: export module Name; - defines module 'Name'
(once) LOCAL in d_modVect
d_currentIdx = Name's index
PARTDEF:
4: export module Name:Part - defines the Name:Part partition
(once) LOCAL in d_modVect
declare module Name
Name imports Name:Part
d_currentIdx = Name:Part's index
------------------------------
MODDECL:
2: [export] import Name; - declares Name
d_moduleIdx = add Name to d_modVect
in a module definition,
in a partition definition:
d_currentIdx != ~0UL:
[d_currentIdx].imports(d_moduleIdx)
otherwise: no further action
-------------------------------------------
(Components of 'Name' are available in this
file). When used in the module
definition itself its components automatically
have access to the components of 'Name'.
PARTDECL:
5: [export] import :Part; - in module definition files: export required,
in partition definition or partition source
files: import Name:Part in Name module
(MODDEF: 1)
MODSRC
3: module Name; - a module (or partition) source file of
module (partition) Name.
// PARTSRC:
// 6: import :Part; - in a a Name:Part source file
// (after 'module Name;' (MODSRC: 3))
|
