0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63 k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20 nos.net/nysl/..
0050: 2a 0d 0a 20 2a 20 52 75 6e 74 69 6d 65 20 64 61 *.. * Runtime da
0060: 74 61 20 73 74 72 75 63 74 75 72 65 73 20 66 6f ta structures fo
0070: 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d r Polemy program
0080: 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0d 0a ming language...
0090: 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 */..module pole
00a0: 6d 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 my.value;..impor
00b0: 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e t polemy._common
00c0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 ;..import polemy
00d0: 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 .failure;..impor
00e0: 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 0d t polemy.ast;...
00f0: 0a 2f 2f 2f 20 52 75 6e 74 69 6d 65 20 76 61 6c ./// Runtime val
0100: 75 65 73 20 6f 66 20 50 6f 6c 65 6d 79 0d 0a 0d ues of Polemy...
0110: 0a 61 62 73 74 72 61 63 74 20 63 6c 61 73 73 20 .abstract class
0120: 56 61 6c 75 65 0d 0a 7b 0d 0a 7d 0d 0a 0d 0a 2f Value..{..}..../
0130: 2f 2f 0d 0a 63 6c 61 73 73 20 49 6e 74 56 61 6c //..class IntVal
0140: 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 ue : Value..{...
0150: 42 69 67 49 6e 74 20 64 61 74 61 3b 0d 0a 0d 0a BigInt data;....
0160: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
0170: 73 73 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 ss;...override s
0180: 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 tring toString()
0190: 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 const { return
01a0: 73 74 64 2e 62 69 67 69 6e 74 2e 74 6f 44 65 63 std.bigint.toDec
01b0: 69 6d 61 6c 53 74 72 69 6e 67 28 63 61 73 74 28 imalString(cast(
01c0: 42 69 67 49 6e 74 29 64 61 74 61 29 3b 20 7d 0d BigInt)data); }.
01d0: 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 .}....///..class
01e0: 20 53 74 72 56 61 6c 75 65 20 3a 20 56 61 6c 75 StrValue : Valu
01f0: 65 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 64 61 e..{...string da
0200: 74 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 ta;.....mixin Si
0210: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 mpleClass;...ove
0220: 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 rride string toS
0230: 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 tring() const {
0240: 72 65 74 75 72 6e 20 64 61 74 61 3b 20 7d 0d 0a return data; }..
0250: 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 }....///..class
0260: 55 6e 64 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 UndValue : Value
0270: 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 ..{...mixin Simp
0280: 6c 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 72 72 leClass;...overr
0290: 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 ide string toStr
02a0: 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 ing() const { re
02b0: 74 75 72 6e 20 22 3c 75 6e 64 65 66 69 6e 65 64 turn "<undefined
02c0: 3e 22 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 0d 0a 2f 2f >"; }..}......//
02d0: 2f 0d 0a 61 62 73 74 72 61 63 74 20 63 6c 61 73 /..abstract clas
02e0: 73 20 46 75 6e 56 61 6c 75 65 20 3a 20 56 61 6c s FunValue : Val
02f0: 75 65 0d 0a 7b 0d 0a 09 63 6f 6e 73 74 28 50 61 ue..{...const(Pa
0300: 72 61 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 6d rameter[]) param
0310: 73 28 29 3b 0d 0a 09 54 61 62 6c 65 20 64 65 66 s();...Table def
0320: 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 initionContext()
0330: 3b 0d 0a 09 56 61 6c 75 65 20 69 6e 76 6f 6b 65 ;...Value invoke
0340: 28 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 (in LexPosition
0350: 70 6f 73 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 pos, Layer lay,
0360: 54 61 62 6c 65 20 63 74 78 29 3b 0d 0a 7d 0d 0a Table ctx);..}..
0370: 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e ..import polemy.
0380: 65 76 61 6c 3b 20 2f 2f 20 63 69 72 63 75 6c 61 eval; // circula
0390: 72 2e 2e 2e 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 r.......///..cla
03a0: 73 73 20 55 73 65 72 44 65 66 69 6e 65 64 46 75 ss UserDefinedFu
03b0: 6e 56 61 6c 75 65 20 3a 20 46 75 6e 56 61 6c 75 nValue : FunValu
03c0: 65 0d 0a 7b 0d 0a 09 46 75 6e 4c 69 74 65 72 61 e..{...FunLitera
03d0: 6c 20 61 73 74 3b 0d 0a 09 54 61 62 6c 65 20 20 l ast;...Table
03e0: 20 20 20 20 64 65 66 43 74 78 3b 0d 0a 09 6f 76 defCtx;...ov
03f0: 65 72 72 69 64 65 20 63 6f 6e 73 74 28 50 61 72 erride const(Par
0400: 61 6d 65 74 65 72 5b 5d 29 20 70 61 72 61 6d 73 ameter[]) params
0410: 28 29 20 7b 20 72 65 74 75 72 6e 20 61 73 74 2e () { return ast.
0420: 70 61 72 61 6d 73 3b 20 7d 0d 0a 09 6f 76 65 72 params; }...over
0430: 72 69 64 65 20 54 61 62 6c 65 20 64 65 66 69 6e ride Table defin
0440: 69 74 69 6f 6e 43 6f 6e 74 65 78 74 28 29 20 7b itionContext() {
0450: 20 72 65 74 75 72 6e 20 64 65 66 43 74 78 3b 20 return defCtx;
0460: 7d 0d 0a 09 6f 76 65 72 72 69 64 65 20 56 61 6c }...override Val
0470: 75 65 20 69 6e 76 6f 6b 65 28 69 6e 20 4c 65 78 ue invoke(in Lex
0480: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 Position pos, La
0490: 79 65 72 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 yer lay, Table c
04a0: 74 78 29 0d 0a 09 7b 0d 0a 09 09 2f 2f 20 54 4f tx)...{....// TO
04b0: 44 4f 3a 20 6f 6e 6c 79 20 61 75 74 6f 20 72 61 DO: only auto ra
04c0: 69 73 65 64 20 6f 6e 65 73 20 6e 65 65 64 20 6d ised ones need m
04d0: 65 6d 6f 3f 20 6e 6f 3f 0d 0a 09 09 2f 2f 20 61 emo? no?....// a
04e0: 75 74 6f 20 6d 65 6d 6f 69 7a 61 74 69 6f 6e 0d uto memoization.
04f0: 0a 2f 2a 0d 0a 09 09 69 66 28 20 6c 61 79 20 21 ./*....if( lay !
0500: 3d 20 22 40 76 22 20 26 26 20 6c 61 79 20 21 3d = "@v" && lay !=
0510: 20 22 40 6d 61 63 72 6f 22 20 29 0d 0a 09 09 7b "@macro" )....{
0520: 0d 0a 09 09 09 69 66 28 20 61 75 74 6f 20 6d 65 .....if( auto me
0530: 6d 6f 6c 61 79 20 3d 20 6c 61 79 20 69 6e 20 6d molay = lay in m
0540: 65 6d 6f 20 29 0d 0a 09 09 09 09 69 66 28 20 61 emo )......if( a
0550: 75 74 6f 20 70 76 20 3d 20 61 72 67 73 20 69 6e uto pv = args in
0560: 20 2a 6d 65 6d 6f 6c 61 79 20 29 0d 0a 09 09 09 *memolay ).....
0570: 09 09 72 65 74 75 72 6e 20 2a 70 76 3b 0d 0a 09 ..return *pv;...
0580: 09 09 6d 65 6d 6f 5b 6c 61 79 5d 5b 61 72 67 73 ..memo[lay][args
0590: 5d 20 3d 20 6c 69 66 74 28 65 2e 70 6f 73 2c 6e ] = lift(e.pos,n
05a0: 65 77 20 55 6e 64 56 61 6c 75 65 2c 6c 61 79 2c ew UndValue,lay,
05b0: 63 74 78 29 3b 0d 0a 09 09 7d 0d 0a 09 09 09 09 ctx);....}......
05c0: 0d 0a 2a 2f 0d 0a 09 09 2f 2f 20 40 6d 61 63 72 ..*/....// @macr
05d0: 6f 20 72 75 6e 21 21 21 0d 0a 09 09 69 66 28 20 o run!!!....if(
05e0: 6c 61 79 20 3d 3d 20 22 40 6d 61 63 72 6f 22 20 lay == "@macro"
05f0: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6d 61 63 ).....return mac
0600: 72 6f 45 76 61 6c 28 61 73 74 2e 66 75 6e 62 6f roEval(ast.funbo
0610: 64 79 2c 20 63 74 78 2c 20 66 61 6c 73 65 29 3b dy, ctx, false);
0620: 0d 0a 2f 2a 54 4f 44 4f 20 6d 65 6d 6f 2a 2f 20 ../*TODO memo*/
0630: 41 53 54 20 6d 61 63 72 6f 4d 65 6d 6f 3b 0d 0a AST macroMemo;..
0640: 09 09 69 66 28 20 6d 61 63 72 6f 4d 65 6d 6f 20 ..if( macroMemo
0650: 69 73 20 6e 75 6c 6c 20 29 20 7b 0d 0a 09 09 09 is null ) {.....
0660: 2f 2f 20 2e 70 72 6f 74 6f 74 79 70 65 21 2c 20 // .prototype!,
0670: 66 6f 72 63 65 64 20 6d 61 63 72 6f 20 63 61 6e forced macro can
0680: 6e 6f 74 20 61 63 63 65 73 73 20 70 61 72 61 6d not access param
0690: 65 74 65 72 73 0d 0a 09 09 09 63 74 78 2e 6b 69 eters.....ctx.ki
06a0: 6c 6c 20 3d 20 74 72 75 65 3b 20 73 63 6f 70 65 ll = true; scope
06b0: 28 65 78 69 74 29 63 74 78 2e 6b 69 6c 6c 3d 66 (exit)ctx.kill=f
06c0: 61 6c 73 65 3b 0d 0a 09 09 09 6d 61 63 72 6f 4d alse;.....macroM
06d0: 65 6d 6f 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 emo = tableToAST
06e0: 28 22 40 76 22 2c 6d 61 63 72 6f 45 76 61 6c 28 ("@v",macroEval(
06f0: 61 73 74 2e 66 75 6e 62 6f 64 79 2c 20 63 74 78 ast.funbody, ctx
0700: 2c 20 74 72 75 65 29 29 3b 0d 0a 09 09 7d 0d 0a , true));....}..
0710: 09 09 61 75 74 6f 20 76 20 3d 20 65 76 61 6c 28 ..auto v = eval(
0720: 6d 61 63 72 6f 4d 65 6d 6f 2c 20 63 74 78 2c 20 macroMemo, ctx,
0730: 74 72 75 65 2c 20 6c 61 79 29 3b 0d 0a 0d 0a 09 true, lay);.....
0740: 09 2f 2f 61 75 74 6f 20 76 20 3d 20 65 76 61 6c .//auto v = eval
0750: 28 65 2e 66 75 6e 62 6f 64 79 2c 20 63 74 78 4e (e.funbody, ctxN
0760: 65 6f 2c 20 74 72 75 65 2c 20 6c 61 79 29 3b 0d eo, true, lay);.
0770: 0a 09 09 2f 2f 20 61 75 74 6f 20 6d 65 6d 6f 69 ...// auto memoi
0780: 7a 61 74 69 6f 6e 0d 0a 2f 2f 09 09 69 66 28 20 zation..//..if(
0790: 6c 61 79 20 21 3d 20 22 40 76 22 20 26 26 20 6c lay != "@v" && l
07a0: 61 79 20 21 3d 20 22 40 6d 61 63 72 6f 22 20 29 ay != "@macro" )
07b0: 0d 0a 2f 2f 09 09 09 6d 65 6d 6f 5b 6c 61 79 5d ..//...memo[lay]
07c0: 5b 61 72 67 73 5d 20 3d 20 76 3b 0d 0a 09 09 72 [args] = v;....r
07d0: 65 74 75 72 6e 20 76 3b 0d 0a 09 7d 0d 0a 0d 0a eturn v;...}....
07e0: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
07f0: 73 73 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 ss;...override s
0800: 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 tring toString()
0810: 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 const { return
0820: 73 70 72 69 6e 74 66 21 22 28 66 75 6e 63 74 69 sprintf!"(functi
0830: 6f 6e 3a 25 78 3a 25 78 29 22 28 63 61 73 74 28 on:%x:%x)"(cast(
0840: 76 6f 69 64 2a 29 61 73 74 2c 20 63 61 73 74 28 void*)ast, cast(
0850: 76 6f 69 64 2a 29 64 65 66 43 74 78 29 3b 20 7d void*)defCtx); }
0860: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 ..}....///..abst
0870: 72 61 63 74 20 63 6c 61 73 73 20 4e 61 74 69 76 ract class Nativ
0880: 65 46 75 6e 56 61 6c 75 65 20 3a 20 46 75 6e 56 eFunValue : FunV
0890: 61 6c 75 65 0d 0a 7b 0d 0a 09 50 61 72 61 6d 65 alue..{...Parame
08a0: 74 65 72 5b 5d 20 70 61 72 61 6d 73 5f 64 61 74 ter[] params_dat
08b0: 61 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 63 6f a;...override co
08c0: 6e 73 74 28 50 61 72 61 6d 65 74 65 72 5b 5d 29 nst(Parameter[])
08d0: 20 70 61 72 61 6d 73 28 29 20 7b 20 72 65 74 75 params() { retu
08e0: 72 6e 20 70 61 72 61 6d 73 5f 64 61 74 61 3b 20 rn params_data;
08f0: 7d 0d 0a 09 6f 76 65 72 72 69 64 65 20 54 61 62 }...override Tab
0900: 6c 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e le definitionCon
0910: 74 65 78 74 28 29 20 7b 20 72 65 74 75 72 6e 20 text() { return
0920: 6e 65 77 20 54 61 62 6c 65 3b 20 7d 20 2f 2f 20 new Table; } //
0930: 74 6f 64 6f 3a 20 63 61 63 68 65 09 6f 76 65 72 todo: cache.over
0940: 72 69 65 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 rie..}..../// Na
0950: 6d 65 64 20 43 6f 6e 73 74 72 75 63 74 6f 72 20 med Constructor
0960: 66 6f 72 20 46 75 6e 56 61 6c 75 65 0d 0a 0d 0a for FunValue....
0970: 46 75 6e 56 61 6c 75 65 20 6e 61 74 69 76 65 28 FunValue native(
0980: 52 2c 54 2e 2e 2e 29 28 52 20 64 65 6c 65 67 61 R,T...)(R delega
0990: 74 65 20 28 54 29 20 64 67 29 0d 0a 7b 0d 0a 09 te (T) dg)..{...
09a0: 72 65 74 75 72 6e 20 6e 65 77 20 63 6c 61 73 73 return new class
09b0: 20 4e 61 74 69 76 65 46 75 6e 56 61 6c 75 65 20 NativeFunValue
09c0: 7b 0d 0a 09 09 74 68 69 73 28 29 0d 0a 09 09 7b {....this()....{
09d0: 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 69 2c 20 .....foreach(i,
09e0: 54 69 3b 20 54 29 0d 0a 09 09 09 09 70 61 72 61 Ti; T)......para
09f0: 6d 73 5f 64 61 74 61 20 7e 3d 20 6e 65 77 20 50 ms_data ~= new P
0a00: 61 72 61 6d 65 74 65 72 28 74 65 78 74 28 69 29 arameter(text(i)
0a10: 2c 20 5b 5d 29 3b 0d 0a 09 09 7d 0d 0a 09 09 6f , []);....}....o
0a20: 76 65 72 72 69 64 65 20 56 61 6c 75 65 20 69 6e verride Value in
0a30: 76 6f 6b 65 28 69 6e 20 4c 65 78 50 6f 73 69 74 voke(in LexPosit
0a40: 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 6c ion pos, Layer l
0a50: 61 79 2c 20 54 61 62 6c 65 20 63 74 78 29 0d 0a ay, Table ctx)..
0a60: 09 09 7b 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 ..{.....if( lay
0a70: 21 3d 20 22 40 76 22 20 29 0d 0a 09 09 09 09 74 != "@v" )......t
0a80: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
0a90: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
0aa0: 20 22 6f 6e 6c 79 20 40 76 20 6c 61 79 65 72 20 "only @v layer
0ab0: 63 61 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 20 can call native
0ac0: 66 75 6e 63 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 function");.....
0ad0: 54 20 74 79 70 65 64 5f 61 72 67 73 3b 0d 0a 09 T typed_args;...
0ae0: 09 09 66 6f 72 65 61 63 68 28 69 2c 20 54 69 3b ..foreach(i, Ti;
0af0: 20 54 29 20 7b 0d 0a 09 09 09 09 74 79 70 65 64 T) {......typed
0b00: 5f 61 72 67 73 5b 69 5d 20 3d 20 63 61 73 74 28 _args[i] = cast(
0b10: 54 69 29 20 63 74 78 2e 67 65 74 28 74 65 78 74 Ti) ctx.get(text
0b20: 28 69 29 2c 20 22 40 76 22 29 3b 0d 0a 09 09 09 (i), "@v");.....
0b30: 09 69 66 28 20 74 79 70 65 64 5f 61 72 67 73 5b .if( typed_args[
0b40: 69 5d 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 i] is null )....
0b50: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
0b60: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0b70: 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 74 79 pos, sprintf!"ty
0b80: 70 65 20 6d 69 73 6d 61 74 63 68 20 6f 6e 20 74 pe mismatch on t
0b90: 68 65 20 61 72 67 75 6d 65 6e 74 20 25 64 22 28 he argument %d"(
0ba0: 69 2b 31 29 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 i+1));.....}....
0bb0: 09 74 72 79 20 7b 0d 0a 09 09 09 09 72 65 74 75 .try {......retu
0bc0: 72 6e 20 64 67 28 74 79 70 65 64 5f 61 72 67 73 rn dg(typed_args
0bd0: 29 3b 0d 0a 09 09 09 7d 20 63 61 74 63 68 28 20 );.....} catch(
0be0: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0bf0: 20 65 20 29 20 7b 0d 0a 09 09 09 09 74 68 72 6f e ) {......thro
0c00: 77 20 65 2e 70 6f 73 20 69 73 20 6e 75 6c 6c 20 w e.pos is null
0c10: 3f 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 ? new RuntimeExc
0c20: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 65 2e 6d 73 eption(pos, e.ms
0c30: 67 2c 20 65 2e 66 69 6c 65 2c 20 65 2e 6c 69 6e g, e.file, e.lin
0c40: 65 29 20 3a 20 65 3b 0d 0a 09 09 09 7d 0d 0a 09 e) : e;.....}...
0c50: 09 7d 0d 0a 09 7d 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f .}...};..}....//
0c60: 2f 20 4c 61 79 65 72 20 49 44 0d 0a 0d 0a 61 6c / Layer ID....al
0c70: 69 61 73 20 73 74 72 69 6e 67 20 4c 61 79 65 72 ias string Layer
0c80: 3b 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 74 65 78 74 ;..../// Context
0c90: 20 28 76 61 72 69 61 62 6c 65 20 65 6e 76 69 72 (variable envir
0ca0: 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f 20 53 69 6d onment)../// Sim
0cb0: 6c 61 72 20 74 6f 20 70 72 6f 74 6f 74 79 70 65 lar to prototype
0cc0: 20 63 68 61 69 6e 20 6f 66 20 45 43 4d 41 53 63 chain of ECMASc
0cd0: 72 69 70 74 20 65 74 63 2e 0d 0a 2f 2f 2f 20 42 ript etc.../// B
0ce0: 75 74 20 65 78 74 65 6e 64 65 64 20 77 69 74 68 ut extended with
0cf0: 20 74 68 65 20 6e 6f 74 69 6f 6e 20 6f 66 20 22 the notion of "
0d00: 4c 61 79 65 72 22 0d 0a 0d 0a 63 6c 61 73 73 20 Layer"....class
0d10: 54 61 62 6c 65 20 3a 20 56 61 6c 75 65 0d 0a 7b Table : Value..{
0d20: 0d 0a 09 65 6e 75 6d 20 4b 69 6e 64 20 7b 50 72 ...enum Kind {Pr
0d30: 6f 70 61 67 61 74 65 53 65 74 2c 20 4e 6f 74 50 opagateSet, NotP
0d40: 72 6f 70 61 67 61 74 65 53 65 74 7d 3b 0d 0a 09 ropagateSet};...
0d50: 62 6f 6f 6c 20 6b 69 6c 6c 20 3d 20 66 61 6c 73 bool kill = fals
0d60: 65 3b 20 2f 2f 20 74 6f 20 72 65 66 61 63 74 6f e; // to refacto
0d70: 72 0d 0a 0d 0a 09 74 68 69 73 28 20 54 61 62 6c r.....this( Tabl
0d80: 65 20 70 72 6f 74 6f 3d 6e 75 6c 6c 2c 20 4b 69 e proto=null, Ki
0d90: 6e 64 20 6b 20 3d 20 4b 69 6e 64 2e 50 72 6f 70 nd k = Kind.Prop
0da0: 61 67 61 74 65 53 65 74 20 29 0d 0a 09 09 7b 20 agateSet )....{
0db0: 74 68 69 73 2e 70 72 6f 74 6f 74 79 70 65 20 3d this.prototype =
0dc0: 20 70 72 6f 74 6f 3b 20 74 68 69 73 2e 6b 69 6e proto; this.kin
0dd0: 64 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 76 6f 69 d = k; }.....voi
0de0: 64 20 73 65 74 28 73 74 72 69 6e 67 20 69 2c 20 d set(string i,
0df0: 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 Layer lay, Value
0e00: 20 76 2c 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 v, in LexPositi
0e10: 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b on pos=null)...{
0e20: 0d 0a 09 09 69 66 28 20 73 65 74 49 66 45 78 69 ....if( setIfExi
0e30: 73 74 28 69 2c 20 6c 61 79 2c 20 76 29 20 29 0d st(i, lay, v) ).
0e40: 0a 09 09 09 72 65 74 75 72 6e 3b 0d 0a 09 09 64 ....return;....d
0e50: 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b ata[i][lay] = v;
0e60: 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 68 61 ...}.....bool ha
0e70: 73 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 s(string i, Laye
0e80: 72 20 6c 61 79 2c 20 69 6e 20 4c 65 78 50 6f 73 r lay, in LexPos
0e90: 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d ition pos=null).
0ea0: 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 ..{....if( i in
0eb0: 64 61 74 61 20 29 20 7b 0d 0a 09 09 09 69 66 28 data ) {.....if(
0ec0: 20 6c 61 79 20 21 69 6e 20 64 61 74 61 5b 69 5d lay !in data[i]
0ed0: 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 )......return f
0ee0: 61 6c 73 65 3b 0d 0a 09 09 09 69 66 28 6b 69 6c alse;.....if(kil
0ef0: 6c 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 l)......return f
0f00: 61 6c 73 65 3b 0d 0a 09 09 09 72 65 74 75 72 6e alse;.....return
0f10: 20 74 72 75 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 true;....}....i
0f20: 66 28 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 f( prototype is
0f30: 6e 75 6c 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 null ).....retur
0f40: 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 72 65 74 75 n false;....retu
0f50: 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e 68 61 73 rn prototype.has
0f60: 28 69 2c 20 6c 61 79 2c 20 70 6f 73 29 3b 0d 0a (i, lay, pos);..
0f70: 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 67 65 .}......Value ge
0f80: 74 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 t(string i, Laye
0f90: 72 20 6c 61 79 2c 20 69 6e 20 4c 65 78 50 6f 73 r lay, in LexPos
0fa0: 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d ition pos=null).
0fb0: 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 ..{....if( i in
0fc0: 64 61 74 61 20 29 20 7b 0d 0a 09 09 09 2f 2f 20 data ) {.....//
0fd0: 5b 54 4f 44 4f 5d 20 63 6f 6e 73 69 64 65 72 20 [TODO] consider
0fe0: 66 6f 72 77 61 72 64 69 6e 67 20 74 6f 20 70 72 forwarding to pr
0ff0: 6f 74 6f 20 61 6c 73 6f 20 69 6e 20 74 68 69 73 oto also in this
1000: 20 63 61 73 65 0d 0a 09 09 09 69 66 28 20 6c 61 case.....if( la
1010: 79 20 21 69 6e 20 64 61 74 61 5b 69 5d 20 29 0d y !in data[i] ).
1020: 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
1030: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
1040: 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 n(pos, sprintf!"
1050: 76 61 72 69 61 62 6c 65 20 25 73 20 69 73 20 6e variable %s is n
1060: 6f 74 20 73 65 74 20 69 6e 20 6c 61 79 65 72 20 ot set in layer
1070: 25 73 22 28 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 %s"(i,lay));....
1080: 09 69 66 28 6b 69 6c 6c 29 0d 0a 09 09 09 09 74 .if(kill)......t
1090: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
10a0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
10b0: 20 73 70 72 69 6e 74 66 21 22 76 61 72 69 61 62 sprintf!"variab
10c0: 6c 65 20 25 73 20 69 73 20 6b 69 6c 6c 65 64 20 le %s is killed
10d0: 69 6e 20 6d 61 63 72 6f 22 28 69 29 29 3b 0d 0a in macro"(i));..
10e0: 09 09 09 72 65 74 75 72 6e 20 64 61 74 61 5b 69 ...return data[i
10f0: 5d 5b 6c 61 79 5d 3b 0d 0a 09 09 7d 0d 0a 09 09 ][lay];....}....
1100: 69 66 28 20 70 72 6f 74 6f 74 79 70 65 20 69 73 if( prototype is
1110: 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 74 68 72 6f null ).....thro
1120: 77 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 w new RuntimeExc
1130: 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 eption(pos, spri
1140: 6e 74 66 21 22 76 61 72 69 61 62 6c 65 20 25 73 ntf!"variable %s
1150: 20 6e 6f 74 20 66 6f 75 6e 64 22 28 69 29 29 3b not found"(i));
1160: 0d 0a 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f ....return proto
1170: 74 79 70 65 2e 67 65 74 28 69 2c 20 6c 61 79 2c type.get(i, lay,
1180: 20 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 54 pos);...}.....T
1190: 20 61 63 63 65 73 73 28 54 2c 53 2e 2e 2e 29 28 access(T,S...)(
11a0: 20 4c 61 79 65 72 20 6c 61 79 2c 20 73 74 72 69 Layer lay, stri
11b0: 6e 67 20 70 61 74 68 2c 20 53 20 72 65 73 74 20 ng path, S rest
11c0: 29 0d 0a 09 7b 0d 0a 09 09 73 74 61 74 69 63 20 )...{....static
11d0: 69 66 28 20 72 65 73 74 2e 6c 65 6e 67 74 68 20 if( rest.length
11e0: 3d 3d 20 30 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 == 0 )....{.....
11f0: 69 66 28 20 74 68 69 73 2e 68 61 73 28 70 61 74 if( this.has(pat
1200: 68 2c 20 6c 61 79 29 20 29 0d 0a 09 09 09 09 72 h, lay) )......r
1210: 65 74 75 72 6e 20 63 61 73 74 28 54 29 20 74 68 eturn cast(T) th
1220: 69 73 2e 67 65 74 28 70 61 74 68 2c 20 6c 61 79 is.get(path, lay
1230: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d );....}....else.
1240: 0a 09 09 7b 0d 0a 09 09 09 69 66 28 61 75 74 6f ...{.....if(auto
1250: 20 6e 65 78 74 20 3d 20 74 68 69 73 2e 61 63 63 next = this.acc
1260: 65 73 73 21 54 61 62 6c 65 28 6c 61 79 2c 70 61 ess!Table(lay,pa
1270: 74 68 29 29 0d 0a 09 09 09 09 72 65 74 75 72 6e th))......return
1280: 20 6e 65 78 74 2e 61 63 63 65 73 73 21 54 28 6c next.access!T(l
1290: 61 79 2c 72 65 73 74 29 3b 0d 0a 09 09 7d 0d 0a ay,rest);....}..
12a0: 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 0d 0a ..return null;..
12b0: 09 7d 0d 0a 0d 0a 09 73 74 72 69 6e 67 20 74 6f .}.....string to
12c0: 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 StringWithoutPar
12d0: 65 6e 28 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a en() const...{..
12e0: 09 09 73 74 72 69 6e 67 20 72 65 73 75 6c 74 3b ..string result;
12f0: 0d 0a 09 09 62 6f 6f 6c 20 66 69 72 73 74 20 3d ....bool first =
1300: 20 74 72 75 65 3b 0d 0a 09 09 66 6f 72 65 61 63 true;....foreac
1310: 68 28 6b 2c 20 6c 32 64 3b 20 64 61 74 61 29 0d h(k, l2d; data).
1320: 0a 09 09 09 66 6f 72 65 61 63 68 28 6c 2c 64 3b ....foreach(l,d;
1330: 20 6c 32 64 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 l2d).....{.....
1340: 09 69 66 28 66 69 72 73 74 29 20 66 69 72 73 74 .if(first) first
1350: 3d 66 61 6c 73 65 3b 20 65 6c 73 65 20 72 65 73 =false; else res
1360: 75 6c 74 7e 3d 22 2c 20 22 3b 0d 0a 09 09 09 09 ult~=", ";......
1370: 72 65 73 75 6c 74 20 7e 3d 20 6b 3b 0d 0a 09 09 result ~= k;....
1380: 09 09 72 65 73 75 6c 74 20 7e 3d 20 6c 3b 0d 0a ..result ~= l;..
1390: 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 3a ....result ~= ":
13a0: 22 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e ";......result ~
13b0: 3d 20 74 65 78 74 28 63 61 73 74 28 56 61 6c 75 = text(cast(Valu
13c0: 65 29 64 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 69 e)d);.....}....i
13d0: 66 28 20 70 72 6f 74 6f 74 79 70 65 20 21 69 73 f( prototype !is
13e0: 20 6e 75 6c 6c 20 29 0d 0a 09 09 7b 0d 0a 09 09 null )....{....
13f0: 09 72 65 73 75 6c 74 20 7e 3d 20 22 20 2f 20 22 .result ~= " / "
1400: 3b 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 ;.....result ~=
1410: 70 72 6f 74 6f 74 79 70 65 2e 74 6f 53 74 72 69 prototype.toStri
1420: 6e 67 57 69 74 68 6f 75 74 50 61 72 65 6e 28 29 ngWithoutParen()
1430: 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e ;....}....return
1440: 20 72 65 73 75 6c 74 3b 0d 0a 09 7d 0d 0a 09 0d result;...}....
1450: 0a 09 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e ..string toStrin
1460: 67 28 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a 09 g() const...{...
1470: 09 72 65 74 75 72 6e 20 22 7b 22 20 7e 20 74 6f .return "{" ~ to
1480: 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 StringWithoutPar
1490: 65 6e 28 29 20 7e 20 22 7d 22 3b 0d 0a 09 7d 0d en() ~ "}";...}.
14a0: 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 54 61 ...private:...Ta
14b0: 62 6c 65 20 20 20 20 20 20 20 20 20 20 20 20 20 ble
14c0: 20 20 20 70 72 6f 74 6f 74 79 70 65 3b 0d 0a 09 prototype;...
14d0: 4b 69 6e 64 20 20 20 20 20 20 20 20 20 20 20 20 Kind
14e0: 20 20 20 20 20 6b 69 6e 64 3b 0d 0a 09 56 61 6c kind;...Val
14f0: 75 65 5b 4c 61 79 65 72 5d 5b 73 74 72 69 6e 67 ue[Layer][string
1500: 5d 20 64 61 74 61 3b 0d 0a 0d 0a 09 62 6f 6f 6c ] data;.....bool
1510: 20 73 65 74 49 66 45 78 69 73 74 28 73 74 72 69 setIfExist(stri
1520: 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c ng i, Layer lay,
1530: 20 56 61 6c 75 65 20 76 29 0d 0a 09 7b 0d 0a 09 Value v)...{...
1540: 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 20 29 .if( i in data )
1550: 0d 0a 09 09 7b 0d 0a 09 09 09 64 61 74 61 5b 69 ....{.....data[i
1560: 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a 09 09 09 ][lay] = v;.....
1570: 72 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 09 return true;....
1580: 7d 0d 0a 09 09 69 66 28 20 6b 69 6e 64 3d 3d 4b }....if( kind==K
1590: 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 ind.PropagateSet
15a0: 20 26 26 20 70 72 6f 74 6f 74 79 70 65 20 21 69 && prototype !i
15b0: 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 72 65 74 s null ).....ret
15c0: 75 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e 73 65 urn prototype.se
15d0: 74 49 66 45 78 69 73 74 28 69 2c 20 6c 61 79 2c tIfExist(i, lay,
15e0: 20 76 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 66 v);....return f
15f0: 61 6c 73 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a alse;...}..}....
1600: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 54 61 unittest..{...Ta
1610: 62 6c 65 20 63 30 20 3d 20 6e 65 77 20 54 61 62 ble c0 = new Tab
1620: 6c 65 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 20 le;...Table c01
1630: 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 30 2c 20 = new Table(c0,
1640: 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 Table.Kind.NotPr
1650: 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 54 opagateSet);...T
1660: 61 62 6c 65 20 63 30 31 32 20 3d 20 6e 65 77 20 able c012 = new
1670: 54 61 62 6c 65 28 63 30 31 2c 20 54 61 62 6c 65 Table(c01, Table
1680: 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 .Kind.PropagateS
1690: 65 74 29 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 et);...Table c01
16a0: 33 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 30 3 = new Table(c0
16b0: 31 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 1, Table.Kind.Pr
16c0: 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 0d 0a opagateSet);....
16d0: 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 .assert_nothrow(
16e0: 20 63 30 31 32 2e 73 65 74 28 22 78 22 2c 20 22 c012.set("x", "
16f0: 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 @v", new IntValu
1700: 65 28 42 69 67 49 6e 74 28 31 32 29 29 29 20 29 e(BigInt(12))) )
1710: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
1720: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
1730: 6e 28 20 63 30 31 33 2e 67 65 74 28 22 78 22 2c n( c013.get("x",
1740: 20 22 40 76 22 29 20 29 3b 0d 0a 09 61 73 73 65 "@v") );...asse
1750: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 33 rt_nothrow( c013
1760: 2e 73 65 74 28 22 78 22 2c 20 22 40 76 22 2c 20 .set("x", "@v",
1770: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1780: 49 6e 74 28 31 33 29 29 29 20 29 3b 0d 0a 09 61 Int(13))) );...a
1790: 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 ssert_eq( c013.g
17a0: 65 74 28 22 78 22 2c 20 22 40 76 22 29 2c 20 6e et("x", "@v"), n
17b0: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
17c0: 6e 74 28 31 33 29 29 20 29 3b 0d 0a 09 61 73 73 nt(13)) );...ass
17d0: 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 ert_eq( c012.get
17e0: 28 22 78 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 ("x", "@v"), new
17f0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
1800: 28 31 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 (12)) );...asser
1810: 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 t_throw!RuntimeE
1820: 78 63 65 70 74 69 6f 6e 28 20 63 30 31 2e 67 65 xception( c01.ge
1830: 74 28 22 78 22 2c 20 22 40 76 22 29 20 29 3b 0d t("x", "@v") );.
1840: 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ....assert_nothr
1850: 6f 77 28 20 63 30 31 2e 73 65 74 28 22 79 22 2c ow( c01.set("y",
1860: 20 22 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 "@v", new IntVa
1870: 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 29 20 lue(BigInt(1)))
1880: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1890: 63 30 31 33 2e 67 65 74 28 22 79 22 2c 20 22 40 c013.get("y", "@
18a0: 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 v"), new IntValu
18b0: 65 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d e(BigInt(1)) );.
18c0: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
18d0: 32 2e 67 65 74 28 22 79 22 2c 20 22 40 76 22 29 2.get("y", "@v")
18e0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
18f0: 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09 61 igInt(1)) );...a
1900: 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e 67 65 ssert_eq( c01.ge
1910: 74 28 22 79 22 2c 20 22 40 76 22 29 2c 20 6e 65 t("y", "@v"), ne
1920: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1930: 74 28 31 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 t(1)) );.....ass
1940: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 2e ert_nothrow( c0.
1950: 73 65 74 28 22 7a 22 2c 20 22 40 76 22 2c 20 6e set("z", "@v", n
1960: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
1970: 6e 74 28 30 29 29 29 20 29 3b 0d 0a 09 61 73 73 nt(0))) );...ass
1980: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
1990: 28 22 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 ("z", "@v"), new
19a0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
19b0: 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (0)) );...assert
19c0: 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 7a _eq( c012.get("z
19d0: 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e ", "@v"), new In
19e0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
19f0: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1a00: 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 22 ( c01.get("z", "
1a10: 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c @v"), new IntVal
1a20: 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b ue(BigInt(0)) );
1a30: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1a40: 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 2c .get("z", "@v"),
1a50: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1a60: 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 gInt(0)) );.....
1a70: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 assert_nothrow(
1a80: 63 30 31 32 2e 73 65 74 28 22 79 22 2c 20 22 40 c012.set("y", "@
1a90: 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 v", new IntValue
1aa0: 28 42 69 67 49 6e 74 28 34 34 34 29 29 29 20 29 (BigInt(444))) )
1ab0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
1ac0: 30 31 33 2e 67 65 74 28 22 79 22 2c 20 22 40 76 013.get("y", "@v
1ad0: 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 "), new IntValue
1ae0: 28 42 69 67 49 6e 74 28 34 34 34 29 29 20 29 3b (BigInt(444)) );
1af0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1b00: 31 32 2e 67 65 74 28 22 79 22 2c 20 22 40 76 22 12.get("y", "@v"
1b10: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
1b20: 42 69 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d BigInt(444)) );.
1b30: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
1b40: 2e 67 65 74 28 22 79 22 2c 20 22 40 76 22 29 2c .get("y", "@v"),
1b50: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1b60: 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a 0d gInt(444)) );...
1b70: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
1b80: 28 20 63 30 31 32 2e 73 65 74 28 22 7a 22 2c 20 ( c012.set("z",
1b90: 22 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c "@v", new IntVal
1ba0: 75 65 28 42 69 67 49 6e 74 28 35 35 35 29 29 29 ue(BigInt(555)))
1bb0: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1bc0: 20 63 30 31 33 2e 67 65 74 28 22 7a 22 2c 20 22 c013.get("z", "
1bd0: 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c @v"), new IntVal
1be0: 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b ue(BigInt(0)) );
1bf0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1c00: 31 32 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 12.get("z", "@v"
1c10: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
1c20: 42 69 67 49 6e 74 28 35 35 35 29 29 20 29 3b 0d BigInt(555)) );.
1c30: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
1c40: 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 2c .get("z", "@v"),
1c50: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1c60: 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 gInt(0)) );...as
1c70: 73 65 72 74 5f 65 71 28 20 63 30 2e 67 65 74 28 sert_eq( c0.get(
1c80: 22 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 "z", "@v"), new
1c90: 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 IntValue(BigInt(
1ca0: 30 29 29 20 29 3b 0d 0a 0d 0a 09 2f 2f 20 5b 54 0)) );.....// [T
1cb0: 4f 44 4f 5d 20 64 65 66 69 6e 65 20 74 68 65 20 ODO] define the
1cc0: 73 65 6d 61 6e 74 69 63 73 20 61 6e 64 20 74 65 semantics and te
1cd0: 73 74 20 40 6c 61 79 65 72 73 0d 0a 7d 0d 0a 0d st @layers..}...
1ce0: 0a 69 6d 6d 75 74 61 62 6c 65 28 4c 65 78 50 6f .immutable(LexPo
1cf0: 73 69 74 69 6f 6e 29 20 65 78 74 72 61 63 74 50 sition) extractP
1d00: 6f 73 28 20 54 61 62 6c 65 20 74 20 29 0d 0a 7b os( Table t )..{
1d10: 0d 0a 09 4c 61 79 65 72 20 74 68 65 4c 61 79 65 ...Layer theLaye
1d20: 72 20 3d 20 22 40 76 22 3b 0d 0a 09 69 66 28 61 r = "@v";...if(a
1d30: 75 74 6f 20 74 74 20 3d 20 74 2e 61 63 63 65 73 uto tt = t.acces
1d40: 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 s!Table(theLayer
1d50: 2c 20 22 70 6f 73 22 29 29 0d 0a 09 7b 0d 0a 09 , "pos"))...{...
1d60: 09 61 75 74 6f 20 66 6e 20 3d 20 74 74 2e 61 63 .auto fn = tt.ac
1d70: 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 cess!StrValue(th
1d80: 65 4c 61 79 65 72 2c 20 22 66 69 6c 65 6e 61 6d eLayer, "filenam
1d90: 65 22 29 3b 0d 0a 09 09 61 75 74 6f 20 6c 6e 20 e");....auto ln
1da0: 3d 20 74 74 2e 61 63 63 65 73 73 21 49 6e 74 56 = tt.access!IntV
1db0: 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 alue(theLayer, "
1dc0: 6c 69 6e 65 6e 6f 22 29 3b 0d 0a 09 09 61 75 74 lineno");....aut
1dd0: 6f 20 63 6c 20 3d 20 74 74 2e 61 63 63 65 73 73 o cl = tt.access
1de0: 21 49 6e 74 56 61 6c 75 65 28 74 68 65 4c 61 79 !IntValue(theLay
1df0: 65 72 2c 20 22 63 6f 6c 75 6d 6e 22 29 3b 0d 0a er, "column");..
1e00: 09 09 69 66 28 66 6e 20 21 69 73 20 6e 75 6c 6c ..if(fn !is null
1e10: 20 26 26 20 6c 6e 20 21 69 73 20 6e 75 6c 6c 20 && ln !is null
1e20: 26 26 20 63 6c 20 21 69 73 20 6e 75 6c 6c 29 0d && cl !is null).
1e30: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 69 ....return new i
1e40: 6d 6d 75 74 61 62 6c 65 28 4c 65 78 50 6f 73 69 mmutable(LexPosi
1e50: 74 69 6f 6e 29 28 66 6e 2e 64 61 74 61 2c 63 61 tion)(fn.data,ca
1e60: 73 74 28 69 6e 74 29 6c 6e 2e 64 61 74 61 2e 74 st(int)ln.data.t
1e70: 6f 49 6e 74 2c 63 61 73 74 28 69 6e 74 29 63 6c oInt,cast(int)cl
1e80: 2e 64 61 74 61 2e 74 6f 49 6e 74 29 3b 0d 0a 09 .data.toInt);...
1e90: 7d 0d 0a 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b }...return null;
1ea0: 0d 0a 7d 0d 0a 0d 0a 56 61 6c 75 65 5b 5d 20 74 ..}....Value[] t
1eb0: 61 62 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 20 ableAsConsList(
1ec0: 4c 61 79 65 72 20 74 68 65 4c 61 79 65 72 2c 20 Layer theLayer,
1ed0: 54 61 62 6c 65 20 74 20 29 0d 0a 7b 0d 0a 09 56 Table t )..{...V
1ee0: 61 6c 75 65 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a alue[] result;..
1ef0: 09 77 68 69 6c 65 28 74 29 0d 0a 09 09 69 66 28 .while(t)....if(
1f00: 61 75 74 6f 20 76 20 20 3d 20 74 2e 61 63 63 65 auto v = t.acce
1f10: 73 73 21 56 61 6c 75 65 28 74 68 65 4c 61 79 65 ss!Value(theLaye
1f20: 72 2c 20 22 63 61 72 22 29 29 0d 0a 09 09 7b 0d r, "car"))....{.
1f30: 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 76 3b ....result ~= v;
1f40: 0d 0a 09 09 09 74 20 3d 20 74 2e 61 63 63 65 73 .....t = t.acces
1f50: 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 s!Table(theLayer
1f60: 2c 20 22 63 64 72 22 29 3b 0d 0a 09 09 7d 0d 0a , "cdr");....}..
1f70: 09 09 65 6c 73 65 0d 0a 09 09 09 62 72 65 61 6b ..else.....break
1f80: 3b 0d 0a 09 72 65 74 75 72 6e 20 72 65 73 75 6c ;...return resul
1f90: 74 3b 0d 0a 7d 0d 0a 0d 0a 41 53 54 5b 5d 20 74 t;..}....AST[] t
1fa0: 61 62 6c 65 54 6f 41 53 54 4c 69 73 74 28 20 4c ableToASTList( L
1fb0: 61 79 65 72 20 74 68 65 4c 61 79 65 72 2c 20 54 ayer theLayer, T
1fc0: 61 62 6c 65 20 74 20 29 0d 0a 7b 0d 0a 09 41 53 able t )..{...AS
1fd0: 54 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 66 6f T[] result;...fo
1fe0: 72 65 61 63 68 28 76 3b 20 74 61 62 6c 65 41 73 reach(v; tableAs
1ff0: 43 6f 6e 73 4c 69 73 74 28 74 68 65 4c 61 79 65 ConsList(theLaye
2000: 72 2c 20 74 29 29 0d 0a 09 09 69 66 28 61 75 74 r, t))....if(aut
2010: 6f 20 74 20 3d 20 63 61 73 74 28 54 61 62 6c 65 o t = cast(Table
2020: 29 76 29 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e )v).....result ~
2030: 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 = tableToAST(the
2040: 4c 61 79 65 72 2c 74 29 3b 0d 0a 09 09 65 6c 73 Layer,t);....els
2050: 65 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 e.....throw gene
2060: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
2070: 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 on(cast(LexPosit
2080: 69 6f 6e 29 6e 75 6c 6c 2c 20 22 49 6e 76 61 6c ion)null, "Inval
2090: 69 64 20 41 53 54 20 28 6e 6f 6e 2d 74 61 62 6c id AST (non-tabl
20a0: 65 20 69 6e 20 63 6f 6e 73 2d 6c 69 73 74 29 22 e in cons-list)"
20b0: 29 3b 0d 0a 09 72 65 74 75 72 6e 20 72 65 73 75 );...return resu
20c0: 6c 74 3b 0d 0a 7d 0d 0a 0d 0a 41 53 54 20 74 61 lt;..}....AST ta
20d0: 62 6c 65 54 6f 41 53 54 28 20 4c 61 79 65 72 20 bleToAST( Layer
20e0: 74 68 65 4c 61 79 65 72 2c 20 56 61 6c 75 65 20 theLayer, Value
20f0: 76 76 76 76 20 29 0d 0a 7b 0d 0a 09 54 61 62 6c vvvv )..{...Tabl
2100: 65 20 74 20 3d 20 63 61 73 74 28 54 61 62 6c 65 e t = cast(Table
2110: 29 76 76 76 76 3b 0d 0a 09 69 66 28 20 74 20 69 )vvvv;...if( t i
2120: 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 74 68 72 6f s null )....thro
2130: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2140: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 xception(cast(Le
2150: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 xPosition)null,
2160: 22 49 6e 76 61 6c 69 64 20 41 53 54 20 28 6e 6f "Invalid AST (no
2170: 74 20 61 20 74 61 62 6c 65 29 22 29 3b 0d 0a 0d t a table)");...
2180: 0a 09 61 75 74 6f 20 6e 6f 64 65 54 79 70 65 20 ..auto nodeType
2190: 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 = t.access!StrVa
21a0: 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 69 lue(theLayer, "i
21b0: 73 22 29 3b 0d 0a 09 69 66 28 20 6e 6f 64 65 54 s");...if( nodeT
21c0: 79 70 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 ype is null )...
21d0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
21e0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 timeException(ca
21f0: 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e st(LexPosition)n
2200: 75 6c 6c 2c 20 22 49 6e 76 61 6c 69 64 20 41 53 ull, "Invalid AS
2210: 54 20 7b 69 73 3a 28 6e 6f 74 20 73 74 72 69 6e T {is:(not strin
2220: 67 29 7d 22 29 3b 0d 0a 09 61 75 74 6f 20 70 6f g)}");...auto po
2230: 73 20 3d 20 65 78 74 72 61 63 74 50 6f 73 28 74 s = extractPos(t
2240: 29 3b 0d 0a 09 73 77 69 74 63 68 28 6e 6f 64 65 );...switch(node
2250: 54 79 70 65 2e 64 61 74 61 29 0d 0a 09 7b 0d 0a Type.data)...{..
2260: 09 63 61 73 65 20 22 69 6e 74 22 3a 0d 0a 09 09 .case "int":....
2270: 69 66 28 61 75 74 6f 20 76 20 3d 20 74 2e 61 63 if(auto v = t.ac
2280: 63 65 73 73 21 49 6e 74 56 61 6c 75 65 28 74 68 cess!IntValue(th
2290: 65 4c 61 79 65 72 2c 20 22 64 61 74 61 22 29 29 eLayer, "data"))
22a0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
22b0: 49 6e 74 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 IntLiteral(pos,
22c0: 76 2e 64 61 74 61 29 3b 0d 0a 09 09 74 68 72 6f v.data);....thro
22d0: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
22e0: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 xception(cast(Le
22f0: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 xPosition)null,
2300: 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 `Invalid AST {is
2310: 3a 22 69 6e 74 22 2c 20 64 61 74 61 3a 28 6e 6f :"int", data:(no
2320: 74 20 69 6e 74 29 7d 60 29 3b 0d 0a 09 63 61 73 t int)}`);...cas
2330: 65 20 22 73 74 72 22 3a 0d 0a 09 09 69 66 28 61 e "str":....if(a
2340: 75 74 6f 20 76 20 3d 20 74 2e 61 63 63 65 73 73 uto v = t.access
2350: 21 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 !StrValue(theLay
2360: 65 72 2c 20 22 64 61 74 61 22 29 29 0d 0a 09 09 er, "data"))....
2370: 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 4c .return new StrL
2380: 69 74 65 72 61 6c 28 70 6f 73 2c 20 76 2e 64 61 iteral(pos, v.da
2390: 74 61 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 ta);....throw ge
23a0: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
23b0: 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 tion(cast(LexPos
23c0: 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 ition)null, `Inv
23d0: 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 73 74 alid AST {is:"st
23e0: 72 22 2c 20 64 61 74 61 3a 28 6e 6f 74 20 73 74 r", data:(not st
23f0: 72 69 6e 67 29 7d 60 29 3b 0d 0a 09 63 61 73 65 ring)}`);...case
2400: 20 22 76 61 72 22 3a 0d 0a 09 09 69 66 28 61 75 "var":....if(au
2410: 74 6f 20 76 20 3d 20 74 2e 61 63 63 65 73 73 21 to v = t.access!
2420: 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65 StrValue(theLaye
2430: 72 2c 20 22 6e 61 6d 65 22 29 29 0d 0a 09 09 09 r, "name")).....
2440: 72 65 74 75 72 6e 20 6e 65 77 20 56 61 72 45 78 return new VarEx
2450: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 2e pression(pos, v.
2460: 64 61 74 61 29 3b 0d 0a 09 09 74 68 72 6f 77 20 data);....throw
2470: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
2480: 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 eption(cast(LexP
2490: 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 osition)null, `I
24a0: 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 nvalid AST {is:"
24b0: 76 61 72 22 2c 20 6e 61 6d 65 3a 28 6e 6f 74 20 var", name:(not
24c0: 73 74 72 69 6e 67 29 7d 60 29 3b 0d 0a 09 63 61 string)}`);...ca
24d0: 73 65 20 22 6c 61 79 22 3a 0d 0a 09 09 69 66 28 se "lay":....if(
24e0: 61 75 74 6f 20 76 20 3d 20 74 2e 61 63 63 65 73 auto v = t.acces
24f0: 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 s!StrValue(theLa
2500: 79 65 72 2c 20 22 6c 61 79 65 72 22 29 29 0d 0a yer, "layer"))..
2510: 09 09 09 69 66 28 61 75 74 6f 20 65 20 3d 20 74 ...if(auto e = t
2520: 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 .access!Table(th
2530: 65 4c 61 79 65 72 2c 20 22 65 78 70 72 22 29 29 eLayer, "expr"))
2540: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ......return new
2550: 20 4c 61 79 65 72 65 64 45 78 70 72 65 73 73 69 LayeredExpressi
2560: 6f 6e 28 70 6f 73 2c 20 76 2e 64 61 74 61 2c 20 on(pos, v.data,
2570: 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 tableToAST(theLa
2580: 79 65 72 2c 65 29 29 3b 0d 0a 09 09 09 65 6c 73 yer,e));.....els
2590: 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e e......throw gen
25a0: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
25b0: 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 ion(cast(LexPosi
25c0: 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 tion)null, `Inva
25d0: 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 6c 61 79 lid AST {is:"lay
25e0: 22 2c 20 65 78 70 72 3a 28 6e 6f 74 20 74 61 62 ", expr:(not tab
25f0: 6c 65 29 7d 60 29 3b 0d 0a 09 09 74 68 72 6f 77 le)}`);....throw
2600: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
2610: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 ception(cast(Lex
2620: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 Position)null, `
2630: 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a Invalid AST {is:
2640: 22 6c 61 79 22 2c 20 6c 61 79 65 72 3a 28 6e 6f "lay", layer:(no
2650: 74 20 73 74 72 69 6e 67 29 7d 60 29 3b 0d 0a 09 t string)}`);...
2660: 63 61 73 65 20 22 6c 65 74 22 3a 0d 0a 09 09 69 case "let":....i
2670: 66 28 61 75 74 6f 20 6e 20 3d 20 74 2e 61 63 63 f(auto n = t.acc
2680: 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 ess!StrValue(the
2690: 4c 61 79 65 72 2c 20 22 6e 61 6d 65 22 29 29 0d Layer, "name")).
26a0: 0a 09 09 69 66 28 61 75 74 6f 20 65 20 3d 20 74 ...if(auto e = t
26b0: 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 .access!Table(th
26c0: 65 4c 61 79 65 72 2c 20 22 69 6e 69 74 22 29 29 eLayer, "init"))
26d0: 0d 0a 09 09 69 66 28 61 75 74 6f 20 62 20 3d 20 ....if(auto b =
26e0: 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 74 t.access!Table(t
26f0: 68 65 4c 61 79 65 72 2c 20 22 65 78 70 72 22 29 heLayer, "expr")
2700: 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 74 72 69 6e )....{.....strin
2710: 67 20 6e 6e 20 3d 20 6e 2e 64 61 74 61 3b 0d 0a g nn = n.data;..
2720: 09 09 09 61 75 74 6f 20 65 65 20 3d 20 74 61 62 ...auto ee = tab
2730: 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72 leToAST(theLayer
2740: 2c 20 65 29 3b 0d 0a 09 09 09 61 75 74 6f 20 62 , e);.....auto b
2750: 62 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 74 b = tableToAST(t
2760: 68 65 4c 61 79 65 72 2c 20 62 29 3b 0d 0a 09 09 heLayer, b);....
2770: 09 4c 61 79 65 72 20 6c 61 79 3d 22 22 3b 0d 0a .Layer lay="";..
2780: 09 09 09 69 66 28 61 75 74 6f 20 6c 20 3d 20 74 ...if(auto l = t
2790: 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 .access!StrValue
27a0: 28 74 68 65 4c 61 79 65 72 2c 20 22 6c 61 79 65 (theLayer, "laye
27b0: 72 22 29 29 0d 0a 09 09 09 09 6c 61 79 20 3d 20 r"))......lay =
27c0: 6c 2e 64 61 74 61 3b 0d 0a 09 09 09 72 65 74 75 l.data;.....retu
27d0: 72 6e 20 6e 65 77 20 4c 65 74 45 78 70 72 65 73 rn new LetExpres
27e0: 73 69 6f 6e 28 70 6f 73 2c 20 6e 6e 2c 20 6c 61 sion(pos, nn, la
27f0: 79 2c 20 65 65 2c 20 62 62 29 3b 0d 0a 09 09 7d y, ee, bb);....}
2800: 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
2810: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
2820: 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f (cast(LexPositio
2830: 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 n)null, `Invalid
2840: 20 41 53 54 20 7b 69 73 3a 22 6c 65 74 22 2c 20 AST {is:"let",
2850: 6e 61 6d 65 3a 22 3f 3f 3f 22 2c 20 69 6e 69 74 name:"???", init
2860: 3a 22 3f 3f 3f 22 2c 20 65 78 70 72 3a 22 3f 3f :"???", expr:"??
2870: 3f 22 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 61 ?"}`);...case "a
2880: 70 70 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 pp":....if(auto
2890: 66 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 f = t.access!Tab
28a0: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 66 75 le(theLayer, "fu
28b0: 6e 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 n"))....if(auto
28c0: 61 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 a = t.access!Tab
28d0: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 61 72 le(theLayer, "ar
28e0: 67 22 29 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 g")).....return
28f0: 6e 65 77 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 new FuncallExpre
2900: 73 73 69 6f 6e 28 70 6f 73 2c 20 74 61 62 6c 65 ssion(pos, table
2910: 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72 2c 66 ToAST(theLayer,f
2920: 29 2c 20 74 61 62 6c 65 54 6f 41 53 54 4c 69 73 ), tableToASTLis
2930: 74 28 74 68 65 4c 61 79 65 72 2c 61 29 29 3b 0d t(theLayer,a));.
2940: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
2950: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
2960: 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e cast(LexPosition
2970: 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 )null, `Invalid
2980: 41 53 54 20 7b 69 73 3a 22 61 70 70 22 2c 20 66 AST {is:"app", f
2990: 75 6e 3a 3f 3f 3f 2c 20 61 72 67 3a 3f 3f 3f 7d un:???, arg:???}
29a0: 60 29 3b 0d 0a 09 63 61 73 65 20 22 66 75 6e 22 `);...case "fun"
29b0: 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 70 20 3d :....if(auto p =
29c0: 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 t.access!Table(
29d0: 74 68 65 4c 61 79 65 72 2c 20 22 70 61 72 61 6d theLayer, "param
29e0: 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 62 "))....if(auto b
29f0: 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c = t.access!Tabl
2a00: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 62 6f 64 e(theLayer, "bod
2a10: 79 22 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 50 61 y"))....{.....Pa
2a20: 72 61 6d 65 74 65 72 5b 5d 20 70 73 3b 0d 0a 09 rameter[] ps;...
2a30: 09 09 66 6f 72 65 61 63 68 28 76 3b 20 74 61 62 ..foreach(v; tab
2a40: 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 74 68 65 leAsConsList(the
2a50: 4c 61 79 65 72 2c 20 70 29 29 0d 0a 09 09 09 7b Layer, p)).....{
2a60: 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 74 74 ......if(auto tt
2a70: 20 3d 20 63 61 73 74 28 54 61 62 6c 65 29 76 29 = cast(Table)v)
2a80: 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 73 73 ......if(auto ss
2a90: 20 3d 20 74 74 2e 61 63 63 65 73 73 21 53 74 72 = tt.access!Str
2aa0: 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 Value(theLayer,
2ab0: 22 6e 61 6d 65 22 29 29 0d 0a 09 09 09 09 69 66 "name"))......if
2ac0: 28 61 75 74 6f 20 6c 6c 20 3d 20 74 74 2e 61 63 (auto ll = tt.ac
2ad0: 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 cess!Table(theLa
2ae0: 79 65 72 2c 20 22 6c 61 79 65 72 22 29 29 0d 0a yer, "layer"))..
2af0: 09 09 09 09 7b 0d 0a 09 09 09 09 09 4c 61 79 65 ....{.......Laye
2b00: 72 5b 5d 20 6c 73 3b 0d 0a 09 09 09 09 09 66 6f r[] ls;.......fo
2b10: 72 65 61 63 68 28 6c 6c 6c 3b 20 74 61 62 6c 65 reach(lll; table
2b20: 41 73 43 6f 6e 73 4c 69 73 74 28 74 68 65 4c 61 AsConsList(theLa
2b30: 79 65 72 2c 20 6c 6c 29 29 0d 0a 09 09 09 09 09 yer, ll)).......
2b40: 09 69 66 28 61 75 74 6f 20 6c 20 3d 20 63 61 73 .if(auto l = cas
2b50: 74 28 53 74 72 56 61 6c 75 65 29 6c 6c 6c 29 0d t(StrValue)lll).
2b60: 0a 09 09 09 09 09 09 09 6c 73 20 7e 3d 20 6c 2e ........ls ~= l.
2b70: 64 61 74 61 3b 0d 0a 09 09 09 09 09 09 65 6c 73 data;........els
2b80: 65 0d 0a 09 09 09 09 09 09 09 74 68 72 6f 77 20 e.........throw
2b90: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
2ba0: 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 eption(cast(LexP
2bb0: 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 73 70 osition)null, sp
2bc0: 72 69 6e 74 66 21 60 49 6e 76 61 6c 69 64 20 41 rintf!`Invalid A
2bd0: 53 54 20 7b 62 61 64 20 66 75 6e 20 70 61 72 61 ST {bad fun para
2be0: 6d 73 20 25 73 7d 60 28 6c 6c 6c 29 29 3b 0d 0a ms %s}`(lll));..
2bf0: 09 09 09 09 09 70 73 20 7e 3d 20 6e 65 77 20 50 .....ps ~= new P
2c00: 61 72 61 6d 65 74 65 72 28 73 73 2e 64 61 74 61 arameter(ss.data
2c10: 2c 20 6c 73 29 3b 0d 0a 09 09 09 09 09 63 6f 6e , ls);.......con
2c20: 74 69 6e 75 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 tinue;......}...
2c30: 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 7b 0d 0a ...else......{..
2c40: 09 09 09 09 09 4c 61 79 65 72 5b 5d 20 65 6d 70 .....Layer[] emp
2c50: 3b 0d 0a 09 09 09 09 09 70 73 20 7e 3d 20 6e 65 ;.......ps ~= ne
2c60: 77 20 50 61 72 61 6d 65 74 65 72 28 73 73 2e 64 w Parameter(ss.d
2c70: 61 74 61 2c 20 65 6d 70 29 3b 0d 0a 09 09 09 09 ata, emp);......
2c80: 09 63 6f 6e 74 69 6e 75 65 3b 0d 0a 09 09 09 09 .continue;......
2c90: 7d 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e }......throw gen
2ca0: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
2cb0: 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 ion(cast(LexPosi
2cc0: 74 69 6f 6e 29 6e 75 6c 6c 2c 20 73 70 72 69 6e tion)null, sprin
2cd0: 74 66 21 60 49 6e 76 61 6c 69 64 20 41 53 54 20 tf!`Invalid AST
2ce0: 7b 62 61 64 20 66 75 6e 20 70 61 72 61 6d 73 20 {bad fun params
2cf0: 25 73 7d 60 28 76 29 29 3b 0d 0a 09 09 09 7d 0d %s}`(v));.....}.
2d00: 0a 09 09 09 61 75 74 6f 20 62 62 20 3d 20 74 61 ....auto bb = ta
2d10: 62 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 79 65 bleToAST(theLaye
2d20: 72 2c 20 62 29 3b 0d 0a 09 09 09 72 65 74 75 72 r, b);.....retur
2d30: 6e 20 6e 65 77 20 46 75 6e 4c 69 74 65 72 61 6c n new FunLiteral
2d40: 28 70 6f 73 2c 70 73 2c 62 62 29 3b 0d 0a 09 09 (pos,ps,bb);....
2d50: 7d 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 }....throw genex
2d60: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
2d70: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 n(cast(LexPositi
2d80: 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 on)null, `Invali
2d90: 64 20 41 53 54 20 7b 69 73 3a 22 66 75 6e 22 2c d AST {is:"fun",
2da0: 20 70 61 72 61 6d 3a 3f 3f 3f 2c 20 62 6f 64 79 param:???, body
2db0: 3a 3f 3f 3f 7d 60 29 3b 0d 0a 09 64 65 66 61 75 :???}`);...defau
2dc0: 6c 74 3a 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e lt:....throw gen
2dd0: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
2de0: 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 ion(cast(LexPosi
2df0: 74 69 6f 6e 29 6e 75 6c 6c 2c 20 73 70 72 69 6e tion)null, sprin
2e00: 74 66 21 60 49 6e 76 61 6c 69 64 20 41 53 54 20 tf!`Invalid AST
2e10: 7b 69 73 3a 20 22 25 73 22 7d 20 75 6e 6b 6e 6f {is: "%s"} unkno
2e20: 77 6e 60 28 6e 6f 64 65 54 79 70 65 2e 64 61 74 wn`(nodeType.dat
2e30: 61 29 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a a));...}..}..