forked from ceu-lang/ceu
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathtrails.lua
More file actions
143 lines (117 loc) · 3.34 KB
/
Copy pathtrails.lua
File metadata and controls
143 lines (117 loc) · 3.34 KB
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
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
function MAX_all (me, t)
t = t or me
for _, sub in ipairs(t) do
if _AST.isNode(sub) then
me.trails_n = MAX(me.trails_n, sub.trails_n)
end
end
end
F = {
Node_pre = function (me)
me.trails_n = 1
end,
Node_pos = function (me)
if not F[me.tag] then
MAX_all(me)
end
end,
If = function (me)
local c, t, f = unpack(me)
MAX_all(me, {t,f})
end,
Dcl_cls = function (me)
MAX_all(me)
-- pointer to next org or parent/trail
-- [ IN__ORG_UP/DOWN ]
if me ~= _MAIN then
me.trails_n = me.trails_n + 1
end
ASR(me.trails_n < 256, me, 'too many trails')
end,
Dcl_var = function (me)
if me.var.cls then
me.var.blk.trl_orgs = true
end
end,
New = function (me)
me.blk.trl_orgs = true
end,
Spawn = 'New',
Block = function (me)
MAX_all(me)
if me.fins then
-- implicit await in parallel
me.trails_n = me.trails_n + 1
end
-- pointer to my first org
-- clear trail
-- [ CLR | IN__ORG | STMTS | FIN ]
if me.trl_orgs then
me.trails_n = me.trails_n + 1 + 1
end
end,
ParAnd = 'ParOr',
ParEver = 'ParOr',
ParOr = function (me)
me.trails_n = 0
for _, sub in ipairs(me) do
me.trails_n = me.trails_n + sub.trails_n
end
end,
}
_AST.visit(F)
-------------------------------------------------------------------------------
function pred (n)
return n.trails
end
G = {
Root_pre = 'Dcl_cls_pre',
Dcl_cls_pre = function (me)
me.trails = { 0, me.trails_n -1 } -- [0, N]
end,
Node = function (me)
if me.trails then
return
end
me.trails = _AST.iter(pred)().trails
end,
Block_pre = function (me)
local stmts = unpack(me)
-- [ 1, 1, S, 1 ] (clr, org0, stmts, fin)
me.trails = me.trails or _AST.iter(pred)().trails
local t0 = me.trails[1]
-- ORGS (pointer to the first org here)
-- (this is not the linked list from my parent)
-- [ IN__ORGS_DOWN | fst | lst ]
if me.trl_orgs then
t0 = t0 + 1 -- clr
me.trl_orgs = { t0, t0 }
t0 = t0 + 1 -- org0
end
-- BLOCK
stmts.trails = { t0, t0+stmts.trails_n-1 }
t0 = t0 + stmts.trails_n -- stmts
-- FINS (must be the last to proper nest fins)
if me.fins then
me.trl_fins = { t0, t0 }
t0 = t0 + 1 -- fin
end
end,
_Par_pre = function (me)
me.trails = _AST.iter(pred)().trails
for i, sub in ipairs(me) do
sub.trails = {}
if i == 1 then
sub.trails[1] = me.trails[1]
else
local pre = me[i-1]
sub.trails[1] = pre.trails[1] + pre.trails_n
end
sub.trails[2] = sub.trails[1] + sub.trails_n - 1
end
end,
ParOr_pre = '_Par_pre',
ParAnd_pre = '_Par_pre',
ParEver_pre = '_Par_pre',
}
_AST.visit(G)