Mercurial > repos > rhope
annotate parse.rhope @ 4:0c5f24b4f69d
Handle blueprints in new parser
| author | Mike Pavone <pavone@retrodev.com> |
|---|---|
| date | Wed, 29 Apr 2009 23:59:13 -0400 |
| parents | 73e978d590c7 |
| children | a4d2d633a356 |
| rev | line source |
|---|---|
| 2 | 1 |
| 2 Blueprint Error | |
| 3 { | |
| 4 Message | |
| 5 Line | |
| 6 Column | |
| 7 } | |
| 8 | |
| 9 Error[msg,text:out] | |
| 10 { | |
| 11 out <- [[[Build["Error"]]Message <<[msg]]Line << [ [[text]Line >>]+[1] ]]Column << [ [[text]Column >>]+[1] ] | |
| 12 } | |
| 13 | |
| 14 To String@Error[error:out] | |
| 15 { | |
| 16 out <- [[[[[error]Message >>]Append[" on line "]]Append[[error]Line >>]]Append[" at column "]]Append[[error]Column >>] | |
| 17 } | |
| 18 | |
| 19 Blueprint PImport Node | |
| 20 { | |
| 21 File | |
| 22 } | |
| 23 | |
| 24 PImport Node[file:out] | |
| 25 { | |
| 26 out <- [Build["PImport Node"]]File <<[file] | |
| 27 } | |
| 28 | |
| 29 Blueprint Worker Node | |
| 30 { | |
| 31 Name | |
| 32 Blueprint | |
| 33 Inputs | |
| 34 Outputs | |
| 35 Tree | |
| 36 } | |
| 37 | |
| 38 Add Node Input@Worker Node[node,input:out] | |
| 39 { | |
| 40 Print["Add Node Input"] | |
| 41 Print[["Input: "]Append[To String[input]]] | |
| 42 out <- [node]Inputs <<[[[node]Inputs >>]Append[input]] | |
| 43 } | |
| 44 | |
| 45 Add Node Output@Worker Node[node,output:out] | |
| 46 { | |
| 47 out <- [node]Outputs <<[[[node]Outputs >>]Append[output]] | |
| 48 } | |
| 49 | |
| 50 Body[node,tokens,current,depth:out,out index, done] | |
| 51 { | |
| 52 Print[["Body: Depth="]Append[depth]] | |
| 53 If[[depth] > [0]] | |
| 54 { | |
| 55 token <- [tokens]Index[current] | |
| 56 [token]Type Match["Block Begin"] | |
| 57 { | |
| 58 ,end stream <- [tokens]Next[current] | |
| 59 { | |
| 60 out,out index, done <- Body[node,tokens,~,[depth]+[1]] | |
| 61 } | |
| 62 }{ | |
| 63 [token]Type Match["Block End"] | |
| 64 { | |
| 65 [tokens]Next[current] | |
| 66 { | |
| 67 out,out index, done <- Body[node,tokens,~,[depth]-[1]] | |
| 68 }{ | |
| 69 ,end stream <- If[[depth] = [1]] | |
| 70 { | |
| 71 Print["done"] | |
| 72 out <- Val[node] | |
| 73 done <- Yes | |
| 74 } | |
| 75 } | |
| 76 }{ | |
| 77 ,end stream <- [tokens]Next[current] | |
| 78 { | |
| 79 out,out index, done <- Body[node,tokens,~,depth] | |
| 80 } | |
| 81 } | |
| 82 } | |
| 83 }{ | |
| 84 out <- node | |
| 85 out index <- current | |
| 86 } | |
| 87 Val[end stream] | |
| 88 { | |
| 89 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 90 } | |
| 91 } | |
| 92 | |
| 93 Before Body[node,tokens,current:out,out index, done] | |
| 94 { | |
| 95 Print["Before body"] | |
| 96 token <- [tokens]Index[current] | |
| 97 next,end stream <- [tokens]Next[current] | |
| 98 { | |
| 99 [token]Type Match["Block Begin"] | |
| 100 { | |
| 101 out,out index, done <- Body[node,tokens,next,1] | |
| 102 }{ | |
| 103 out,out index, done <- Before Body[node,tokens,next] | |
| 104 } | |
| 105 } | |
| 106 Val[end stream] | |
| 107 { | |
| 108 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 109 } | |
| 110 } | |
| 111 | |
| 112 Outputs[node,tokens,current:out,out index, done] | |
| 113 { | |
| 114 Print["outputs"] | |
| 115 token <- [tokens]Index[current] | |
| 116 next,end stream <- [tokens]Next[current] | |
| 117 { | |
| 118 [token]Type Match["Symbol"] | |
| 119 { | |
| 120 out,out index, done <- Outputs[[node]Add Node Output[[token]Text >>], tokens, next] | |
| 121 }{ | |
| 122 [token]Type Match["Args End"] | |
| 123 { | |
| 124 out,out index, done <- Before Body[node, tokens, next] | |
| 125 }{ | |
| 126 [token]Type Match[("List Separator","Block Comment","Line Comment","Newline")] | |
| 127 { | |
| 128 out,out index, done <- Outputs[node, tokens, next] | |
| 129 }{ | |
| 130 Print[To String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 131 } | |
| 132 } | |
| 133 } | |
| 134 } | |
| 135 Val[end stream] | |
| 136 { | |
| 137 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 138 } | |
| 139 } | |
| 140 | |
| 141 Inputs[node,tokens,current:out,out index, done] | |
| 142 { | |
| 143 Print["Inputs"] | |
| 144 token <- [tokens]Index[current] | |
| 145 next,end stream <- [tokens]Next[current] | |
| 146 { | |
| 147 [token]Type Match["Symbol"] | |
| 148 { | |
| 149 | |
| 150 out,out index, done <- Inputs[[node]Add Node Input[[token]Text >>], tokens, next] | |
| 151 }{ | |
| 152 [token]Type Match["Name Separator"] | |
| 153 { | |
| 154 Print["in out sep"] | |
| 155 out,out index, done <- Outputs[node, tokens, next] | |
| 156 }{ | |
| 157 [token]Type Match["Args End"] | |
| 158 { | |
| 159 out,out index, done <- Before Body[node, tokens, next] | |
| 160 }{ | |
| 161 [token]Type Match[("List Separator","Block Comment","Line Comment","Newline")] | |
| 162 { | |
| 163 out,out index,done <- Inputs[node, tokens, next] | |
| 164 }{ | |
| 165 Print[To String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 166 } | |
| 167 } | |
| 168 } | |
| 169 } | |
| 170 } | |
| 171 Val[end stream] | |
| 172 { | |
| 173 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 174 } | |
| 175 } | |
| 176 | |
| 177 Method[node,tokens,current:out,out index,done] | |
| 178 { | |
| 179 token <- [tokens]Index[current] | |
| 180 next <- [tokens]Next[current] | |
| 181 { | |
| 182 [token]Type Match["Symbol"] | |
| 183 { | |
| 184 out,out index,done <- Before Inputs[[node]Blueprint <<[[token]Text >>], tokens, next] | |
| 185 }{ | |
| 186 [token]Type Match[("List Separator","Block Comment","Line Comment","Newline")] | |
| 187 { | |
| 188 out,out index,done <- Method[node, tokens, next] | |
| 189 }{ | |
| 190 Print[To String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 191 } | |
| 192 } | |
| 193 }{ | |
| 194 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 195 } | |
| 196 } | |
| 197 | |
| 198 //TODO: support method declarations | |
| 199 Before Inputs[node, tokens, current:out, out index, done] | |
| 200 { | |
| 201 Print["Before Inputs"] | |
| 202 token <- [tokens]Index[current] | |
| 203 [token]Type Match["Args Begin"] | |
| 204 { | |
| 205 [tokens]Next[current] | |
| 206 { | |
| 207 out,out index, done <- Inputs[node, tokens, ~] | |
| 208 }{ | |
| 209 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 210 } | |
| 211 }{ | |
| 212 [token]Type Match["Method Separator"] | |
| 213 { | |
| 214 [tokens]Next[current] | |
| 215 { | |
| 216 out,out index,done <- Method[node, tokens, ~] | |
| 217 }{ | |
| 218 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 219 } | |
| 220 }{ | |
| 221 [token]Type Match[("Line Comment","Block Comment","Newline")] | |
| 222 { | |
| 223 continue <- Yes | |
| 224 }{ | |
| 225 Print[To String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 226 } | |
| 227 Val[continue] | |
| 228 { | |
| 229 [tokens]Next[current] | |
| 230 { | |
| 231 out,out index, done <- Before Inputs[node, tokens, ~] | |
| 232 }{ | |
| 233 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 234 } | |
| 235 } | |
| 236 } | |
| 237 } | |
| 238 } | |
| 239 | |
| 240 Worker Node[name, tokens, current:out,out index, done] | |
| 241 { | |
| 242 Print[["Worker: "]Append[To String[name]]] | |
| 243 out,out index, done <- Before Inputs[[[[[Build["Worker Node"]]Name <<[name]]Inputs <<[()]]Outputs <<[()]]Tree <<[()], tokens, current] | |
| 244 } | |
| 245 | |
|
4
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
246 Skip Nodes[toskip, stop, tokens, current:out] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
247 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
248 token <- [tokens]Index[current] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
249 next <- [tokens]Next[current] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
250 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
251 [token]Type Match[stop] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
252 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
253 out <- Val[next] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
254 }{ |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
255 [token]Type Match[toskip] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
256 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
257 out <- Skip Nodes[toskip, stop, tokens, next] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
258 }{ |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
259 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
260 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
261 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
262 }{ |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
263 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
264 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
265 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
266 |
| 2 | 267 Blueprint PBlueprint Node |
| 268 { | |
| 269 Name | |
| 270 Fields | |
| 271 } | |
| 272 | |
|
4
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
273 Fields[node,tokens,current:out,out index,done] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
274 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
275 token <- [tokens]Index[current] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
276 next <- [tokens]Next[current] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
277 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
278 [token]Type Match["Symbol"] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
279 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
280 out,out index,done <- Fields[[node]Add BField[[token]Text >>], tokens, next] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
281 }{ |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
282 [token]Type Match["Block End"] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
283 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
284 out <- Val[node] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
285 out index <- Val[next] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
286 }{ |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
287 [token]Type Match[("Newline","Line Comment","Block Comment")] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
288 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
289 out,out index,done <- Fields[node, tokens, next] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
290 }{ |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
291 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
292 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
293 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
294 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
295 }{ |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
296 [token]Type Match["Block End"] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
297 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
298 out <- Val[node] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
299 done <- Yes |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
300 }{ |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
301 Print[To String[Error[["Unexpected end of stream after token of type "]Append[[token]Type >>], [token]Raw Text >>]]] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
302 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
303 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
304 } |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
305 |
| 2 | 306 PBlueprint Node[name, tokens, current:out,out index,done] |
| 307 { | |
|
4
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
308 node <- [[Build["PBlueprint Node"]]Name <<[name]]Fields <<[()] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
309 next <- Skip Nodes[("Newline","Block Comment","Comment"), "Block Begin", tokens, current] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
310 out,out index,done <- Fields[node, tokens, next] |
| 2 | 311 } |
| 312 | |
|
4
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
313 Add BField@PBlueprint Node[node,field:out] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
314 { |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
315 out <- [node]Fields <<[[[node]Fields >>]Append[field]] |
|
0c5f24b4f69d
Handle blueprints in new parser
Mike Pavone <pavone@retrodev.com>
parents:
2
diff
changeset
|
316 } |
| 2 | 317 |
| 318 Top Level[tokens, current, nodes:out] | |
| 319 { | |
| 320 token <- [tokens]Index[current] | |
| 321 Print[[token]Type >>] | |
| 322 [token]Type Match["Symbol"] | |
| 323 { | |
| 324 [[token]Text >>]After["Import "] | |
| 325 { | |
| 326 next nodes <- [nodes]Append[PImport Node[~]] | |
| 327 next index <- Val[current] | |
| 328 }{ | |
| 329 blueprint name,worker name <- [~]After["Blueprint "] | |
| 330 { | |
| 331 [tokens]Next[current] | |
| 332 { | |
| 333 , next index <- PBlueprint Node[blueprint name, tokens, ~] | |
| 334 { | |
| 335 next nodes <- [nodes]Append[~] | |
| 336 } {} { | |
| 337 Print["done!"] | |
| 338 out <- Val[next nodes] | |
| 339 } | |
| 340 }{ | |
| 341 Print[To String[Error[["Unexpected end of stream after symbol "]Append[[token]Text >>], [token]Raw Text >>]]] | |
| 342 } | |
| 343 }{ | |
| 344 [tokens]Next[current] | |
| 345 { | |
| 346 , next index <- Worker Node[worker name, tokens, ~] | |
| 347 { | |
| 348 next nodes <- [nodes]Append[~] | |
| 349 } {} { | |
| 350 Print["done!"] | |
| 351 out <- Val[next nodes] | |
| 352 } | |
| 353 }{ | |
| 354 Print[To String[Error[["Unexpected end of stream after symbol "]Append[[token]Text >>], [token]Raw Text >>]]] | |
| 355 } | |
| 356 } | |
| 357 } | |
| 358 | |
| 359 }{ | |
| 360 [token]Type Match[("Newline","Block Comment","Line Comment")] | |
| 361 { | |
| 362 next nodes <- Val[nodes] | |
| 363 next index <- Val[current] | |
| 364 }{ | |
| 365 Print[To String[Error[["Unexpected token of type "]Append[[token]Type >>], [token]Raw Text >>]]] | |
| 366 } | |
| 367 } | |
| 368 [tokens]Next[next index] | |
| 369 { | |
| 370 out <- Top Level[tokens, ~, next nodes] | |
| 371 }{ | |
| 372 out <- Val[next nodes] | |
| 373 } | |
| 374 } | |
| 375 | |
| 376 Parse[tokens:out] | |
| 377 { | |
| 378 [tokens]First | |
| 379 { | |
| 380 out <- Top Level[tokens, ~, ()] | |
| 381 }{ | |
| 382 out <- () | |
| 383 } | |
| 384 } |