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
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
|
a> ^
|
|
//: So far you can have global variables by not setting default-space, and
//: local variables by setting default-space. You can isolate variables
//: between those extremes by creating 'surrounding' spaces.
//:
//: (Surrounding spaces are like lexical scopes in other languages.)
:(scenario surrounding_space)
# location 2 in space 1 (remember that locations 0 and 1 are reserved in all
# spaces) refers to the space surrounding the default space, here 20.
def main [
# prepare default-space address
10:num/alloc-id, 11:num <- copy 0, 1000
# prepare default-space payload
1000:num <- copy 0 # alloc id of payload
1001:num <- copy 5 # length
# prepare address of chained space
20:num/alloc-id, 21:num <- copy 0, 2000
# prepare payload of chained space
2000:num <- copy 0 # alloc id of payload
2001:num <- copy 5 # length
# actual start of this recipe
default-space:space <- copy 10:space
#: later layers will explain the /names: property
0:space/names:dummy <- copy 20:space/raw
2:num <- copy 94
2:num/space:1 <- copy 95
]
def dummy [ # just for the /names: property above
]
# chain space: 1000 + (alloc id) 1 + (length) 1
+mem: storing 0 in location 1002
+mem: storing 2000 in location 1003
# store to default space: 1000 + (alloc id) 1 + (length) 1 + (index) 2
+mem: storing 94 in location 1004
# store to chained space: (contents of location 1003) 2000 + (alloc id) 1 + (length) 1 + (index) 2
+mem: storing 95 in location 2004
//: If you think of a space as a collection of variables with a common
//: lifetime, surrounding allows managing shorter lifetimes inside a longer
//: one.
:(replace{} "int space_base(const reagent& x)")
int space_base(const reagent& x) {
int base = current_call().default_space ? (current_call().default_space+/*skip alloc id*/1) : 0;
return space_base(x, space_index(x), base);
}
int space_base(const reagent& x, int space_index, int base) {
if (space_index == 0)
return base;
double chained_space_address = base+/*skip length*/1+/*skip alloc id of chaining slot*/1;
double chained_space_base = get_or_insert(Memory, chained_space_address) + /*skip alloc id of chained space*/1;
return space_base(x, space_index-1, chained_space_base);
}
int space_index(const reagent& x) {
for (int i = 0; i < SIZE(x.properties); ++i) {
if (x.properties.at(i).first == "space") {
if (!x.properties.at(i).second || x.properties.at(i).second->right)
raise << maybe(current_recipe_name()) << "/space metadata should take exactly one value in '" << x.original_string << "'\n" << end();
return to_integer(x.properties.at(i).second->value);
}
}
return 0;
}
:(scenario permit_space_as_variable_name)
def main [
space:num <- copy 0
]
|