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 69 t polemy.ast;..i
00f0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 mport polemy.lay
0100: 65 72 3b 0d 0a 0d 0a 2f 2f 2f 20 52 75 6e 74 69 er;..../// Runti
0110: 6d 65 20 76 61 6c 75 65 73 20 6f 66 20 50 6f 6c me values of Pol
0120: 65 6d 79 0d 0a 0d 0a 61 62 73 74 72 61 63 74 20 emy....abstract
0130: 63 6c 61 73 73 20 56 61 6c 75 65 0d 0a 7b 0d 0a class Value..{..
0140: 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 }....///..class
0150: 49 6e 74 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 IntValue : Value
0160: 0d 0a 7b 0d 0a 09 42 69 67 49 6e 74 20 64 61 74 ..{...BigInt dat
0170: 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d a;.....mixin Sim
0180: 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 72 pleClass;...over
0190: 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 ride string toSt
01a0: 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 72 ring() const { r
01b0: 65 74 75 72 6e 20 73 74 64 2e 62 69 67 69 6e 74 eturn std.bigint
01c0: 2e 74 6f 44 65 63 69 6d 61 6c 53 74 72 69 6e 67 .toDecimalString
01d0: 28 63 61 73 74 28 42 69 67 49 6e 74 29 64 61 74 (cast(BigInt)dat
01e0: 61 29 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d a); }..}....///.
01f0: 0a 63 6c 61 73 73 20 53 74 72 56 61 6c 75 65 20 .class StrValue
0200: 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 73 74 72 : Value..{...str
0210: 69 6e 67 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69 ing data;.....mi
0220: 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b xin SimpleClass;
0230: 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 ...override stri
0240: 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f ng toString() co
0250: 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 64 61 74 nst { return dat
0260: 61 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a a; }..}....///..
0270: 63 6c 61 73 73 20 55 6e 64 56 61 6c 75 65 20 3a class UndValue :
0280: 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 6d 69 78 69 Value..{...mixi
0290: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
02a0: 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 .override string
02b0: 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 toString() cons
02c0: 74 20 7b 20 72 65 74 75 72 6e 20 22 3c 75 6e 64 t { return "<und
02d0: 65 66 69 6e 65 64 3e 22 3b 20 7d 0d 0a 7d 0d 0a efined>"; }..}..
02e0: 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 72 61 63 ....///..abstrac
02f0: 74 20 63 6c 61 73 73 20 46 75 6e 56 61 6c 75 65 t class FunValue
0300: 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 63 6f : Value..{...co
0310: 6e 73 74 28 50 61 72 61 6d 65 74 65 72 5b 5d 29 nst(Parameter[])
0320: 20 70 61 72 61 6d 73 28 29 3b 0d 0a 09 54 61 62 params();...Tab
0330: 6c 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e le definitionCon
0340: 74 65 78 74 28 29 3b 0d 0a 09 56 61 6c 75 65 20 text();...Value
0350: 69 6e 76 6f 6b 65 28 69 6e 20 4c 65 78 50 6f 73 invoke(in LexPos
0360: 69 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 ition pos, Layer
0370: 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 29 lay, Table ctx)
0380: 3b 0d 0a 7d 0d 0a 0d 0a 69 6d 70 6f 72 74 20 70 ;..}....import p
0390: 6f 6c 65 6d 79 2e 65 76 61 6c 3b 20 2f 2f 20 63 olemy.eval; // c
03a0: 69 72 63 75 6c 61 72 2e 2e 2e 0d 0a 0d 0a 2f 2f ircular.......//
03b0: 2f 0d 0a 63 6c 61 73 73 20 55 73 65 72 44 65 66 /..class UserDef
03c0: 69 6e 65 64 46 75 6e 56 61 6c 75 65 20 3a 20 46 inedFunValue : F
03d0: 75 6e 56 61 6c 75 65 0d 0a 7b 0d 0a 09 46 75 6e unValue..{...Fun
03e0: 4c 69 74 65 72 61 6c 20 61 73 74 3b 0d 0a 09 54 Literal ast;...T
03f0: 61 62 6c 65 20 20 20 20 20 20 64 65 66 43 74 78 able defCtx
0400: 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 63 6f 6e ;...override con
0410: 73 74 28 50 61 72 61 6d 65 74 65 72 5b 5d 29 20 st(Parameter[])
0420: 70 61 72 61 6d 73 28 29 20 7b 20 72 65 74 75 72 params() { retur
0430: 6e 20 61 73 74 2e 70 61 72 61 6d 73 3b 20 7d 0d n ast.params; }.
0440: 0a 09 6f 76 65 72 72 69 64 65 20 54 61 62 6c 65 ..override Table
0450: 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 definitionConte
0460: 78 74 28 29 20 7b 20 72 65 74 75 72 6e 20 64 65 xt() { return de
0470: 66 43 74 78 3b 20 7d 0d 0a 09 6f 76 65 72 72 69 fCtx; }...overri
0480: 64 65 20 56 61 6c 75 65 20 69 6e 76 6f 6b 65 28 de Value invoke(
0490: 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 in LexPosition p
04a0: 6f 73 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 54 os, Layer lay, T
04b0: 61 62 6c 65 20 63 74 78 29 0d 0a 09 7b 0d 0a 09 able ctx)...{...
04c0: 09 2f 2f 20 54 4f 44 4f 3a 20 6f 6e 6c 79 20 61 .// TODO: only a
04d0: 75 74 6f 20 72 61 69 73 65 64 20 6f 6e 65 73 20 uto raised ones
04e0: 6e 65 65 64 20 6d 65 6d 6f 3f 20 6e 6f 3f 0d 0a need memo? no?..
04f0: 09 09 2f 2f 20 61 75 74 6f 20 6d 65 6d 6f 69 7a ..// auto memoiz
0500: 61 74 69 6f 6e 0d 0a 2f 2a 0d 0a 09 09 69 66 28 ation../*....if(
0510: 20 6c 61 79 20 21 3d 20 56 61 6c 75 65 4c 61 79 lay != ValueLay
0520: 65 72 20 26 26 20 6c 61 79 20 21 3d 20 4d 61 63 er && lay != Mac
0530: 72 6f 4c 61 79 65 72 20 29 0d 0a 09 09 7b 0d 0a roLayer )....{..
0540: 09 09 09 69 66 28 20 61 75 74 6f 20 6d 65 6d 6f ...if( auto memo
0550: 6c 61 79 20 3d 20 6c 61 79 20 69 6e 20 6d 65 6d lay = lay in mem
0560: 6f 20 29 0d 0a 09 09 09 09 69 66 28 20 61 75 74 o )......if( aut
0570: 6f 20 70 76 20 3d 20 61 72 67 73 20 69 6e 20 2a o pv = args in *
0580: 6d 65 6d 6f 6c 61 79 20 29 0d 0a 09 09 09 09 09 memolay ).......
0590: 72 65 74 75 72 6e 20 2a 70 76 3b 0d 0a 09 09 09 return *pv;.....
05a0: 6d 65 6d 6f 5b 6c 61 79 5d 5b 61 72 67 73 5d 20 memo[lay][args]
05b0: 3d 20 6c 69 66 74 28 65 2e 70 6f 73 2c 6e 65 77 = lift(e.pos,new
05c0: 20 55 6e 64 56 61 6c 75 65 2c 6c 61 79 2c 63 74 UndValue,lay,ct
05d0: 78 29 3b 0d 0a 09 09 7d 0d 0a 09 09 09 09 0d 0a x);....}........
05e0: 2a 2f 0d 0a 09 09 2f 2f 20 40 6d 61 63 72 6f 20 */....// @macro
05f0: 72 75 6e 21 21 21 0d 0a 09 09 69 66 28 20 6c 61 run!!!....if( la
0600: 79 20 3d 3d 20 4d 61 63 72 6f 4c 61 79 65 72 20 y == MacroLayer
0610: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6d 61 63 ).....return mac
0620: 72 6f 45 76 61 6c 28 61 73 74 2e 66 75 6e 62 6f roEval(ast.funbo
0630: 64 79 2c 20 63 74 78 2c 20 66 61 6c 73 65 29 3b dy, ctx, false);
0640: 0d 0a 2f 2a 54 4f 44 4f 20 6d 65 6d 6f 2a 2f 20 ../*TODO memo*/
0650: 41 53 54 20 6d 61 63 72 6f 4d 65 6d 6f 3b 0d 0a AST macroMemo;..
0660: 09 09 69 66 28 20 6d 61 63 72 6f 4d 65 6d 6f 20 ..if( macroMemo
0670: 69 73 20 6e 75 6c 6c 20 29 20 7b 0d 0a 09 09 09 is null ) {.....
0680: 2f 2f 20 2e 70 72 6f 74 6f 74 79 70 65 21 2c 20 // .prototype!,
0690: 66 6f 72 63 65 64 20 6d 61 63 72 6f 20 63 61 6e forced macro can
06a0: 6e 6f 74 20 61 63 63 65 73 73 20 70 61 72 61 6d not access param
06b0: 65 74 65 72 73 0d 0a 09 09 09 63 74 78 2e 6b 69 eters.....ctx.ki
06c0: 6c 6c 20 3d 20 74 72 75 65 3b 20 73 63 6f 70 65 ll = true; scope
06d0: 28 65 78 69 74 29 63 74 78 2e 6b 69 6c 6c 3d 66 (exit)ctx.kill=f
06e0: 61 6c 73 65 3b 0d 0a 09 09 09 6d 61 63 72 6f 4d alse;.....macroM
06f0: 65 6d 6f 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 emo = tableToAST
0700: 28 56 61 6c 75 65 4c 61 79 65 72 2c 6d 61 63 72 (ValueLayer,macr
0710: 6f 45 76 61 6c 28 61 73 74 2e 66 75 6e 62 6f 64 oEval(ast.funbod
0720: 79 2c 20 63 74 78 2c 20 74 72 75 65 29 29 3b 0d y, ctx, true));.
0730: 0a 09 09 7d 0d 0a 09 09 61 75 74 6f 20 76 20 3d ...}....auto v =
0740: 20 65 76 61 6c 28 6d 61 63 72 6f 4d 65 6d 6f 2c eval(macroMemo,
0750: 20 63 74 78 2c 20 74 72 75 65 2c 20 6c 61 79 29 ctx, true, lay)
0760: 3b 0d 0a 0d 0a 09 09 2f 2f 61 75 74 6f 20 76 20 ;......//auto v
0770: 3d 20 65 76 61 6c 28 65 2e 66 75 6e 62 6f 64 79 = eval(e.funbody
0780: 2c 20 63 74 78 4e 65 6f 2c 20 74 72 75 65 2c 20 , ctxNeo, true,
0790: 6c 61 79 29 3b 0d 0a 09 09 2f 2f 20 61 75 74 6f lay);....// auto
07a0: 20 6d 65 6d 6f 69 7a 61 74 69 6f 6e 0d 0a 2f 2f memoization..//
07b0: 09 09 69 66 28 20 6c 61 79 20 21 3d 20 56 61 6c ..if( lay != Val
07c0: 75 65 4c 61 79 65 72 20 26 26 20 6c 61 79 20 21 ueLayer && lay !
07d0: 3d 20 4d 61 63 72 6f 4c 61 79 65 72 20 29 0d 0a = MacroLayer )..
07e0: 2f 2f 09 09 09 6d 65 6d 6f 5b 6c 61 79 5d 5b 61 //...memo[lay][a
07f0: 72 67 73 5d 20 3d 20 76 3b 0d 0a 09 09 72 65 74 rgs] = v;....ret
0800: 75 72 6e 20 76 3b 0d 0a 09 7d 0d 0a 0d 0a 09 6d urn v;...}.....m
0810: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 ixin SimpleClass
0820: 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 ;...override str
0830: 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 ing toString() c
0840: 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 73 70 onst { return sp
0850: 72 69 6e 74 66 21 22 28 66 75 6e 63 74 69 6f 6e rintf!"(function
0860: 3a 25 78 3a 25 78 29 22 28 63 61 73 74 28 76 6f :%x:%x)"(cast(vo
0870: 69 64 2a 29 61 73 74 2c 20 63 61 73 74 28 76 6f id*)ast, cast(vo
0880: 69 64 2a 29 64 65 66 43 74 78 29 3b 20 7d 0d 0a id*)defCtx); }..
0890: 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 72 61 }....///..abstra
08a0: 63 74 20 63 6c 61 73 73 20 4e 61 74 69 76 65 46 ct class NativeF
08b0: 75 6e 56 61 6c 75 65 20 3a 20 46 75 6e 56 61 6c unValue : FunVal
08c0: 75 65 0d 0a 7b 0d 0a 09 50 61 72 61 6d 65 74 65 ue..{...Paramete
08d0: 72 5b 5d 20 70 61 72 61 6d 73 5f 64 61 74 61 3b r[] params_data;
08e0: 0d 0a 09 6f 76 65 72 72 69 64 65 20 63 6f 6e 73 ...override cons
08f0: 74 28 50 61 72 61 6d 65 74 65 72 5b 5d 29 20 70 t(Parameter[]) p
0900: 61 72 61 6d 73 28 29 20 7b 20 72 65 74 75 72 6e arams() { return
0910: 20 70 61 72 61 6d 73 5f 64 61 74 61 3b 20 7d 0d params_data; }.
0920: 0a 09 6f 76 65 72 72 69 64 65 20 54 61 62 6c 65 ..override Table
0930: 20 64 65 66 69 6e 69 74 69 6f 6e 43 6f 6e 74 65 definitionConte
0940: 78 74 28 29 20 7b 20 72 65 74 75 72 6e 20 6e 65 xt() { return ne
0950: 77 20 54 61 62 6c 65 3b 20 7d 20 2f 2f 20 74 6f w Table; } // to
0960: 64 6f 3a 20 63 61 63 68 65 09 6f 76 65 72 72 69 do: cache.overri
0970: 65 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 e..}..../// Name
0980: 64 20 43 6f 6e 73 74 72 75 63 74 6f 72 20 66 6f d Constructor fo
0990: 72 20 46 75 6e 56 61 6c 75 65 0d 0a 0d 0a 46 75 r FunValue....Fu
09a0: 6e 56 61 6c 75 65 20 6e 61 74 69 76 65 28 52 2c nValue native(R,
09b0: 54 2e 2e 2e 29 28 52 20 64 65 6c 65 67 61 74 65 T...)(R delegate
09c0: 20 28 54 29 20 64 67 29 0d 0a 7b 0d 0a 09 72 65 (T) dg)..{...re
09d0: 74 75 72 6e 20 6e 65 77 20 63 6c 61 73 73 20 4e turn new class N
09e0: 61 74 69 76 65 46 75 6e 56 61 6c 75 65 20 7b 0d ativeFunValue {.
09f0: 0a 09 09 74 68 69 73 28 29 0d 0a 09 09 7b 0d 0a ...this()....{..
0a00: 09 09 09 66 6f 72 65 61 63 68 28 69 2c 20 54 69 ...foreach(i, Ti
0a10: 3b 20 54 29 0d 0a 09 09 09 09 70 61 72 61 6d 73 ; T)......params
0a20: 5f 64 61 74 61 20 7e 3d 20 6e 65 77 20 50 61 72 _data ~= new Par
0a30: 61 6d 65 74 65 72 28 74 65 78 74 28 69 29 2c 20 ameter(text(i),
0a40: 5b 5d 29 3b 0d 0a 09 09 7d 0d 0a 09 09 6f 76 65 []);....}....ove
0a50: 72 72 69 64 65 20 56 61 6c 75 65 20 69 6e 76 6f rride Value invo
0a60: 6b 65 28 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f ke(in LexPositio
0a70: 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 6c 61 79 n pos, Layer lay
0a80: 2c 20 54 61 62 6c 65 20 63 74 78 29 0d 0a 09 09 , Table ctx)....
0a90: 7b 0d 0a 09 09 09 69 66 28 20 6c 61 79 20 21 3d {.....if( lay !=
0aa0: 20 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a 09 ValueLayer )...
0ab0: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
0ac0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0ad0: 70 6f 73 2c 20 22 6f 6e 6c 79 20 22 7e 56 61 6c pos, "only "~Val
0ae0: 75 65 4c 61 79 65 72 7e 22 20 6c 61 79 65 72 20 ueLayer~" layer
0af0: 63 61 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 20 can call native
0b00: 66 75 6e 63 74 69 6f 6e 22 29 3b 0d 0a 09 09 09 function");.....
0b10: 54 20 74 79 70 65 64 5f 61 72 67 73 3b 0d 0a 09 T typed_args;...
0b20: 09 09 66 6f 72 65 61 63 68 28 69 2c 20 54 69 3b ..foreach(i, Ti;
0b30: 20 54 29 20 7b 0d 0a 09 09 09 09 74 79 70 65 64 T) {......typed
0b40: 5f 61 72 67 73 5b 69 5d 20 3d 20 63 61 73 74 28 _args[i] = cast(
0b50: 54 69 29 20 63 74 78 2e 67 65 74 28 74 65 78 74 Ti) ctx.get(text
0b60: 28 69 29 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 (i), ValueLayer)
0b70: 3b 0d 0a 09 09 09 09 69 66 28 20 74 79 70 65 64 ;......if( typed
0b80: 5f 61 72 67 73 5b 69 5d 20 69 73 20 6e 75 6c 6c _args[i] is null
0b90: 20 29 0d 0a 09 09 09 09 09 74 68 72 6f 77 20 67 ).......throw g
0ba0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
0bb0: 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e ption(pos, sprin
0bc0: 74 66 21 22 74 79 70 65 20 6d 69 73 6d 61 74 63 tf!"type mismatc
0bd0: 68 20 6f 6e 20 74 68 65 20 61 72 67 75 6d 65 6e h on the argumen
0be0: 74 20 25 64 22 28 69 2b 31 29 29 3b 0d 0a 09 09 t %d"(i+1));....
0bf0: 09 7d 0d 0a 09 09 09 74 72 79 20 7b 0d 0a 09 09 .}.....try {....
0c00: 09 09 72 65 74 75 72 6e 20 64 67 28 74 79 70 65 ..return dg(type
0c10: 64 5f 61 72 67 73 29 3b 0d 0a 09 09 09 7d 20 63 d_args);.....} c
0c20: 61 74 63 68 28 20 52 75 6e 74 69 6d 65 45 78 63 atch( RuntimeExc
0c30: 65 70 74 69 6f 6e 20 65 20 29 20 7b 0d 0a 09 09 eption e ) {....
0c40: 09 09 74 68 72 6f 77 20 65 2e 70 6f 73 20 69 73 ..throw e.pos is
0c50: 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 52 75 6e 74 null ? new Runt
0c60: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 imeException(pos
0c70: 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 69 6c 65 2c , e.msg, e.file,
0c80: 20 65 2e 6c 69 6e 65 29 20 3a 20 65 3b 0d 0a 09 e.line) : e;...
0c90: 09 09 7d 0d 0a 09 09 7d 0d 0a 09 7d 3b 0d 0a 7d ..}....}...};..}
0ca0: 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 74 65 78 74 20 ..../// Context
0cb0: 28 76 61 72 69 61 62 6c 65 20 65 6e 76 69 72 6f (variable enviro
0cc0: 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f 20 53 69 6d 6c nment)../// Siml
0cd0: 61 72 20 74 6f 20 70 72 6f 74 6f 74 79 70 65 20 ar to prototype
0ce0: 63 68 61 69 6e 20 6f 66 20 45 43 4d 41 53 63 72 chain of ECMAScr
0cf0: 69 70 74 20 65 74 63 2e 0d 0a 2f 2f 2f 20 42 75 ipt etc.../// Bu
0d00: 74 20 65 78 74 65 6e 64 65 64 20 77 69 74 68 20 t extended with
0d10: 74 68 65 20 6e 6f 74 69 6f 6e 20 6f 66 20 22 4c the notion of "L
0d20: 61 79 65 72 22 0d 0a 0d 0a 63 6c 61 73 73 20 54 ayer"....class T
0d30: 61 62 6c 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d able : Value..{.
0d40: 0a 09 65 6e 75 6d 20 4b 69 6e 64 20 7b 50 72 6f ..enum Kind {Pro
0d50: 70 61 67 61 74 65 53 65 74 2c 20 4e 6f 74 50 72 pagateSet, NotPr
0d60: 6f 70 61 67 61 74 65 53 65 74 7d 3b 0d 0a 09 62 opagateSet};...b
0d70: 6f 6f 6c 20 6b 69 6c 6c 20 3d 20 66 61 6c 73 65 ool kill = false
0d80: 3b 20 2f 2f 20 74 6f 20 72 65 66 61 63 74 6f 72 ; // to refactor
0d90: 0d 0a 0d 0a 09 74 68 69 73 28 20 54 61 62 6c 65 .....this( Table
0da0: 20 70 72 6f 74 6f 3d 6e 75 6c 6c 2c 20 4b 69 6e proto=null, Kin
0db0: 64 20 6b 20 3d 20 4b 69 6e 64 2e 50 72 6f 70 61 d k = Kind.Propa
0dc0: 67 61 74 65 53 65 74 20 29 0d 0a 09 09 7b 20 74 gateSet )....{ t
0dd0: 68 69 73 2e 70 72 6f 74 6f 74 79 70 65 20 3d 20 his.prototype =
0de0: 70 72 6f 74 6f 3b 20 74 68 69 73 2e 6b 69 6e 64 proto; this.kind
0df0: 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 76 6f 69 64 = k; }.....void
0e00: 20 73 65 74 28 73 74 72 69 6e 67 20 69 2c 20 4c set(string i, L
0e10: 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 20 ayer lay, Value
0e20: 76 2c 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 6f v, in LexPositio
0e30: 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d n pos=null)...{.
0e40: 0a 09 09 69 66 28 20 73 65 74 49 66 45 78 69 73 ...if( setIfExis
0e50: 74 28 69 2c 20 6c 61 79 2c 20 76 29 20 29 0d 0a t(i, lay, v) )..
0e60: 09 09 09 72 65 74 75 72 6e 3b 0d 0a 09 09 64 61 ...return;....da
0e70: 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d ta[i][lay] = v;.
0e80: 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 68 61 73 ..}.....bool has
0e90: 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 (string i, Layer
0ea0: 20 6c 61 79 2c 20 69 6e 20 4c 65 78 50 6f 73 69 lay, in LexPosi
0eb0: 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a tion pos=null)..
0ec0: 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 .{....if( i in d
0ed0: 61 74 61 20 29 20 7b 0d 0a 09 09 09 69 66 28 20 ata ) {.....if(
0ee0: 6c 61 79 20 21 69 6e 20 64 61 74 61 5b 69 5d 20 lay !in data[i]
0ef0: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 61 )......return fa
0f00: 6c 73 65 3b 0d 0a 09 09 09 69 66 28 6b 69 6c 6c lse;.....if(kill
0f10: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 61 )......return fa
0f20: 6c 73 65 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 lse;.....return
0f30: 74 72 75 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 true;....}....if
0f40: 28 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 6e ( prototype is n
0f50: 75 6c 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 6e ull ).....return
0f60: 20 66 61 6c 73 65 3b 0d 0a 09 09 72 65 74 75 72 false;....retur
0f70: 6e 20 70 72 6f 74 6f 74 79 70 65 2e 68 61 73 28 n prototype.has(
0f80: 69 2c 20 6c 61 79 2c 20 70 6f 73 29 3b 0d 0a 09 i, lay, pos);...
0f90: 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 67 65 74 }......Value get
0fa0: 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 (string i, Layer
0fb0: 20 6c 61 79 2c 20 69 6e 20 4c 65 78 50 6f 73 69 lay, in LexPosi
0fc0: 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a tion pos=null)..
0fd0: 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 .{....if( i in d
0fe0: 61 74 61 20 29 20 7b 0d 0a 09 09 09 2f 2f 20 5b ata ) {.....// [
0ff0: 54 4f 44 4f 5d 20 63 6f 6e 73 69 64 65 72 20 66 TODO] consider f
1000: 6f 72 77 61 72 64 69 6e 67 20 74 6f 20 70 72 6f orwarding to pro
1010: 74 6f 20 61 6c 73 6f 20 69 6e 20 74 68 69 73 20 to also in this
1020: 63 61 73 65 0d 0a 09 09 09 69 66 28 20 6c 61 79 case.....if( lay
1030: 20 21 69 6e 20 64 61 74 61 5b 69 5d 20 29 0d 0a !in data[i] )..
1040: 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
1050: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
1060: 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 76 (pos, sprintf!"v
1070: 61 72 69 61 62 6c 65 20 25 73 20 69 73 20 6e 6f ariable %s is no
1080: 74 20 73 65 74 20 69 6e 20 6c 61 79 65 72 20 25 t set in layer %
1090: 73 22 28 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 09 s"(i,lay));.....
10a0: 69 66 28 6b 69 6c 6c 29 0d 0a 09 09 09 09 74 68 if(kill)......th
10b0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
10c0: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 eException(pos,
10d0: 73 70 72 69 6e 74 66 21 22 76 61 72 69 61 62 6c sprintf!"variabl
10e0: 65 20 25 73 20 69 73 20 6b 69 6c 6c 65 64 20 69 e %s is killed i
10f0: 6e 20 6d 61 63 72 6f 22 28 69 29 29 3b 0d 0a 09 n macro"(i));...
1100: 09 09 72 65 74 75 72 6e 20 64 61 74 61 5b 69 5d ..return data[i]
1110: 5b 6c 61 79 5d 3b 0d 0a 09 09 7d 0d 0a 09 09 69 [lay];....}....i
1120: 66 28 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 f( prototype is
1130: 6e 75 6c 6c 20 29 0d 0a 09 09 09 74 68 72 6f 77 null ).....throw
1140: 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 new RuntimeExce
1150: 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e ption(pos, sprin
1160: 74 66 21 22 76 61 72 69 61 62 6c 65 20 25 73 20 tf!"variable %s
1170: 6e 6f 74 20 66 6f 75 6e 64 22 28 69 29 29 3b 0d not found"(i));.
1180: 0a 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 ...return protot
1190: 79 70 65 2e 67 65 74 28 69 2c 20 6c 61 79 2c 20 ype.get(i, lay,
11a0: 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 54 20 pos);...}.....T
11b0: 61 63 63 65 73 73 28 54 2c 53 2e 2e 2e 29 28 20 access(T,S...)(
11c0: 4c 61 79 65 72 20 6c 61 79 2c 20 73 74 72 69 6e Layer lay, strin
11d0: 67 20 70 61 74 68 2c 20 53 20 72 65 73 74 20 29 g path, S rest )
11e0: 0d 0a 09 7b 0d 0a 09 09 73 74 61 74 69 63 20 69 ...{....static i
11f0: 66 28 20 72 65 73 74 2e 6c 65 6e 67 74 68 20 3d f( rest.length =
1200: 3d 20 30 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 = 0 )....{.....i
1210: 66 28 20 74 68 69 73 2e 68 61 73 28 70 61 74 68 f( this.has(path
1220: 2c 20 6c 61 79 29 20 29 0d 0a 09 09 09 09 72 65 , lay) )......re
1230: 74 75 72 6e 20 63 61 73 74 28 54 29 20 74 68 69 turn cast(T) thi
1240: 73 2e 67 65 74 28 70 61 74 68 2c 20 6c 61 79 29 s.get(path, lay)
1250: 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a ;....}....else..
1260: 09 09 7b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 ..{.....if(auto
1270: 6e 65 78 74 20 3d 20 74 68 69 73 2e 61 63 63 65 next = this.acce
1280: 73 73 21 54 61 62 6c 65 28 6c 61 79 2c 70 61 74 ss!Table(lay,pat
1290: 68 29 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 h))......return
12a0: 6e 65 78 74 2e 61 63 63 65 73 73 21 54 28 6c 61 next.access!T(la
12b0: 79 2c 72 65 73 74 29 3b 0d 0a 09 09 7d 0d 0a 09 y,rest);....}...
12c0: 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 09 .return null;...
12d0: 7d 0d 0a 0d 0a 09 73 74 72 69 6e 67 20 74 6f 53 }.....string toS
12e0: 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 65 tringWithoutPare
12f0: 6e 28 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a 09 n() const...{...
1300: 09 73 74 72 69 6e 67 20 72 65 73 75 6c 74 3b 0d .string result;.
1310: 0a 09 09 62 6f 6f 6c 20 66 69 72 73 74 20 3d 20 ...bool first =
1320: 74 72 75 65 3b 0d 0a 09 09 66 6f 72 65 61 63 68 true;....foreach
1330: 28 6b 2c 20 6c 32 64 3b 20 64 61 74 61 29 0d 0a (k, l2d; data)..
1340: 09 09 09 66 6f 72 65 61 63 68 28 6c 2c 64 3b 20 ...foreach(l,d;
1350: 6c 32 64 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 l2d).....{......
1360: 69 66 28 66 69 72 73 74 29 20 66 69 72 73 74 3d if(first) first=
1370: 66 61 6c 73 65 3b 20 65 6c 73 65 20 72 65 73 75 false; else resu
1380: 6c 74 7e 3d 22 2c 20 22 3b 0d 0a 09 09 09 09 72 lt~=", ";......r
1390: 65 73 75 6c 74 20 7e 3d 20 6b 3b 0d 0a 09 09 09 esult ~= k;.....
13a0: 09 72 65 73 75 6c 74 20 7e 3d 20 6c 3b 0d 0a 09 .result ~= l;...
13b0: 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 3a 22 ...result ~= ":"
13c0: 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d ;......result ~=
13d0: 20 74 65 78 74 28 63 61 73 74 28 56 61 6c 75 65 text(cast(Value
13e0: 29 64 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 69 66 )d);.....}....if
13f0: 28 20 70 72 6f 74 6f 74 79 70 65 20 21 69 73 20 ( prototype !is
1400: 6e 75 6c 6c 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 null )....{.....
1410: 72 65 73 75 6c 74 20 7e 3d 20 22 20 2f 20 22 3b result ~= " / ";
1420: 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 70 .....result ~= p
1430: 72 6f 74 6f 74 79 70 65 2e 74 6f 53 74 72 69 6e rototype.toStrin
1440: 67 57 69 74 68 6f 75 74 50 61 72 65 6e 28 29 3b gWithoutParen();
1450: 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 ....}....return
1460: 72 65 73 75 6c 74 3b 0d 0a 09 7d 0d 0a 09 0d 0a result;...}.....
1470: 09 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 .string toString
1480: 28 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a 09 09 () const...{....
1490: 72 65 74 75 72 6e 20 22 7b 22 20 7e 20 74 6f 53 return "{" ~ toS
14a0: 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 65 tringWithoutPare
14b0: 6e 28 29 20 7e 20 22 7d 22 3b 0d 0a 09 7d 0d 0a n() ~ "}";...}..
14c0: 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 54 61 62 ..private:...Tab
14d0: 6c 65 20 20 20 20 20 20 20 20 20 20 20 20 20 20 le
14e0: 20 20 70 72 6f 74 6f 74 79 70 65 3b 0d 0a 09 4b prototype;...K
14f0: 69 6e 64 20 20 20 20 20 20 20 20 20 20 20 20 20 ind
1500: 20 20 20 20 6b 69 6e 64 3b 0d 0a 09 56 61 6c 75 kind;...Valu
1510: 65 5b 4c 61 79 65 72 5d 5b 73 74 72 69 6e 67 5d e[Layer][string]
1520: 20 64 61 74 61 3b 0d 0a 0d 0a 09 62 6f 6f 6c 20 data;.....bool
1530: 73 65 74 49 66 45 78 69 73 74 28 73 74 72 69 6e setIfExist(strin
1540: 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 g i, Layer lay,
1550: 56 61 6c 75 65 20 76 29 0d 0a 09 7b 0d 0a 09 09 Value v)...{....
1560: 69 66 28 20 69 20 69 6e 20 64 61 74 61 20 29 0d if( i in data ).
1570: 0a 09 09 7b 0d 0a 09 09 09 64 61 74 61 5b 69 5d ...{.....data[i]
1580: 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a 09 09 09 72 [lay] = v;.....r
1590: 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 09 7d eturn true;....}
15a0: 0d 0a 09 09 69 66 28 20 6b 69 6e 64 3d 3d 4b 69 ....if( kind==Ki
15b0: 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 20 nd.PropagateSet
15c0: 26 26 20 70 72 6f 74 6f 74 79 70 65 20 21 69 73 && prototype !is
15d0: 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 72 65 74 75 null ).....retu
15e0: 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e 73 65 74 rn prototype.set
15f0: 49 66 45 78 69 73 74 28 69 2c 20 6c 61 79 2c 20 IfExist(i, lay,
1600: 76 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 66 61 v);....return fa
1610: 6c 73 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 75 lse;...}..}....u
1620: 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 54 61 62 nittest..{...Tab
1630: 6c 65 20 63 30 20 3d 20 6e 65 77 20 54 61 62 6c le c0 = new Tabl
1640: 65 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 20 3d e;...Table c01 =
1650: 20 6e 65 77 20 54 61 62 6c 65 28 63 30 2c 20 54 new Table(c0, T
1660: 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 72 6f able.Kind.NotPro
1670: 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 pagateSet);...Ta
1680: 62 6c 65 20 63 30 31 32 20 3d 20 6e 65 77 20 54 ble c012 = new T
1690: 61 62 6c 65 28 63 30 31 2c 20 54 61 62 6c 65 2e able(c01, Table.
16a0: 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 Kind.PropagateSe
16b0: 74 29 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 33 t);...Table c013
16c0: 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 30 31 = new Table(c01
16d0: 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f , Table.Kind.Pro
16e0: 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 0d 0a 09 pagateSet);.....
16f0: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 assert_nothrow(
1700: 63 30 31 32 2e 73 65 74 28 22 78 22 2c 20 56 61 c012.set("x", Va
1710: 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e lueLayer, new In
1720: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 32 tValue(BigInt(12
1730: 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f ))) );...assert_
1740: 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 throw!RuntimeExc
1750: 65 70 74 69 6f 6e 28 20 63 30 31 33 2e 67 65 74 eption( c013.get
1760: 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("x", ValueLayer
1770: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 6f ) );...assert_no
1780: 74 68 72 6f 77 28 20 63 30 31 33 2e 73 65 74 28 throw( c013.set(
1790: 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c "x", ValueLayer,
17a0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
17b0: 67 49 6e 74 28 31 33 29 29 29 20 29 3b 0d 0a 09 gInt(13))) );...
17c0: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e assert_eq( c013.
17d0: 67 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 get("x", ValueLa
17e0: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
17f0: 75 65 28 42 69 67 49 6e 74 28 31 33 29 29 20 29 ue(BigInt(13)) )
1800: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
1810: 30 31 32 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 012.get("x", Val
1820: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
1830: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 32 tValue(BigInt(12
1840: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 )) );...assert_t
1850: 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 hrow!RuntimeExce
1860: 70 74 69 6f 6e 28 20 63 30 31 2e 67 65 74 28 22 ption( c01.get("
1870: 78 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 20 x", ValueLayer)
1880: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f );.....assert_no
1890: 74 68 72 6f 77 28 20 63 30 31 2e 73 65 74 28 22 throw( c01.set("
18a0: 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 y", ValueLayer,
18b0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
18c0: 49 6e 74 28 31 29 29 29 20 29 3b 0d 0a 09 61 73 Int(1))) );...as
18d0: 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 sert_eq( c013.ge
18e0: 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("y", ValueLaye
18f0: 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 r), new IntValue
1900: 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a (BigInt(1)) );..
1910: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 .assert_eq( c012
1920: 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c .get("y", ValueL
1930: 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 ayer), new IntVa
1940: 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 29 lue(BigInt(1)) )
1950: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
1960: 30 31 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 01.get("y", Valu
1970: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
1980: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 Value(BigInt(1))
1990: 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e );.....assert_n
19a0: 6f 74 68 72 6f 77 28 20 63 30 2e 73 65 74 28 22 othrow( c0.set("
19b0: 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 z", ValueLayer,
19c0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
19d0: 49 6e 74 28 30 29 29 29 20 29 3b 0d 0a 09 61 73 Int(0))) );...as
19e0: 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 sert_eq( c013.ge
19f0: 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("z", ValueLaye
1a00: 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 r), new IntValue
1a10: 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a (BigInt(0)) );..
1a20: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 .assert_eq( c012
1a30: 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c .get("z", ValueL
1a40: 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 ayer), new IntVa
1a50: 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 lue(BigInt(0)) )
1a60: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
1a70: 30 31 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 01.get("z", Valu
1a80: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
1a90: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 Value(BigInt(0))
1aa0: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1ab0: 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c c0.get("z", Val
1ac0: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
1ad0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
1ae0: 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f ) );.....assert_
1af0: 6e 6f 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 nothrow( c012.se
1b00: 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 t("y", ValueLaye
1b10: 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 r, new IntValue(
1b20: 42 69 67 49 6e 74 28 34 34 34 29 29 29 20 29 3b BigInt(444))) );
1b30: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1b40: 31 33 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 13.get("y", Valu
1b50: 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 eLayer), new Int
1b60: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 Value(BigInt(444
1b70: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
1b80: 71 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c q( c012.get("y",
1b90: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1ba0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1bb0: 74 28 34 34 34 29 29 20 29 3b 0d 0a 09 61 73 73 t(444)) );...ass
1bc0: 65 72 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 ert_eq( c01.get(
1bd0: 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 "y", ValueLayer)
1be0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
1bf0: 69 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a igInt(444)) );..
1c00: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
1c10: 77 28 20 63 30 31 32 2e 73 65 74 28 22 7a 22 2c w( c012.set("z",
1c20: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 ValueLayer, new
1c30: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
1c40: 28 35 35 35 29 29 29 20 29 3b 0d 0a 09 61 73 73 (555))) );...ass
1c50: 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 74 ert_eq( c013.get
1c60: 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 ("z", ValueLayer
1c70: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
1c80: 42 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 09 BigInt(0)) );...
1c90: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e assert_eq( c012.
1ca0: 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 get("z", ValueLa
1cb0: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1cc0: 75 65 28 42 69 67 49 6e 74 28 35 35 35 29 29 20 ue(BigInt(555))
1cd0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1ce0: 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c c01.get("z", Val
1cf0: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
1d00: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
1d10: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1d20: 28 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 56 61 ( c0.get("z", Va
1d30: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1d40: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 ntValue(BigInt(0
1d50: 29 29 20 29 3b 0d 0a 0d 0a 09 2f 2f 20 5b 54 4f )) );.....// [TO
1d60: 44 4f 5d 20 64 65 66 69 6e 65 20 74 68 65 20 73 DO] define the s
1d70: 65 6d 61 6e 74 69 63 73 20 61 6e 64 20 74 65 73 emantics and tes
1d80: 74 20 40 6c 61 79 65 72 73 0d 0a 7d 0d 0a 0d 0a t @layers..}....
1d90: 69 6d 6d 75 74 61 62 6c 65 28 4c 65 78 50 6f 73 immutable(LexPos
1da0: 69 74 69 6f 6e 29 20 65 78 74 72 61 63 74 50 6f ition) extractPo
1db0: 73 28 20 54 61 62 6c 65 20 74 20 29 0d 0a 7b 0d s( Table t )..{.
1dc0: 0a 09 4c 61 79 65 72 20 74 68 65 4c 61 79 65 72 ..Layer theLayer
1dd0: 20 3d 20 56 61 6c 75 65 4c 61 79 65 72 3b 0d 0a = ValueLayer;..
1de0: 09 69 66 28 61 75 74 6f 20 74 74 20 3d 20 74 2e .if(auto tt = t.
1df0: 61 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 access!Table(the
1e00: 4c 61 79 65 72 2c 20 22 70 6f 73 22 29 29 0d 0a Layer, "pos"))..
1e10: 09 7b 0d 0a 09 09 61 75 74 6f 20 66 6e 20 3d 20 .{....auto fn =
1e20: 74 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c tt.access!StrVal
1e30: 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 66 69 ue(theLayer, "fi
1e40: 6c 65 6e 61 6d 65 22 29 3b 0d 0a 09 09 61 75 74 lename");....aut
1e50: 6f 20 6c 6e 20 3d 20 74 74 2e 61 63 63 65 73 73 o ln = tt.access
1e60: 21 49 6e 74 56 61 6c 75 65 28 74 68 65 4c 61 79 !IntValue(theLay
1e70: 65 72 2c 20 22 6c 69 6e 65 6e 6f 22 29 3b 0d 0a er, "lineno");..
1e80: 09 09 61 75 74 6f 20 63 6c 20 3d 20 74 74 2e 61 ..auto cl = tt.a
1e90: 63 63 65 73 73 21 49 6e 74 56 61 6c 75 65 28 74 ccess!IntValue(t
1ea0: 68 65 4c 61 79 65 72 2c 20 22 63 6f 6c 75 6d 6e heLayer, "column
1eb0: 22 29 3b 0d 0a 09 09 69 66 28 66 6e 20 21 69 73 ");....if(fn !is
1ec0: 20 6e 75 6c 6c 20 26 26 20 6c 6e 20 21 69 73 20 null && ln !is
1ed0: 6e 75 6c 6c 20 26 26 20 63 6c 20 21 69 73 20 6e null && cl !is n
1ee0: 75 6c 6c 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 ull).....return
1ef0: 6e 65 77 20 69 6d 6d 75 74 61 62 6c 65 28 4c 65 new immutable(Le
1f00: 78 50 6f 73 69 74 69 6f 6e 29 28 66 6e 2e 64 61 xPosition)(fn.da
1f10: 74 61 2c 63 61 73 74 28 69 6e 74 29 6c 6e 2e 64 ta,cast(int)ln.d
1f20: 61 74 61 2e 74 6f 49 6e 74 2c 63 61 73 74 28 69 ata.toInt,cast(i
1f30: 6e 74 29 63 6c 2e 64 61 74 61 2e 74 6f 49 6e 74 nt)cl.data.toInt
1f40: 29 3b 0d 0a 09 7d 0d 0a 09 72 65 74 75 72 6e 20 );...}...return
1f50: 6e 75 6c 6c 3b 0d 0a 7d 0d 0a 0d 0a 56 61 6c 75 null;..}....Valu
1f60: 65 5b 5d 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c e[] tableAsConsL
1f70: 69 73 74 28 20 4c 61 79 65 72 20 74 68 65 4c 61 ist( Layer theLa
1f80: 79 65 72 2c 20 54 61 62 6c 65 20 74 20 29 0d 0a yer, Table t )..
1f90: 7b 0d 0a 09 56 61 6c 75 65 5b 5d 20 72 65 73 75 {...Value[] resu
1fa0: 6c 74 3b 0d 0a 09 77 68 69 6c 65 28 74 29 0d 0a lt;...while(t)..
1fb0: 09 09 69 66 28 61 75 74 6f 20 76 20 20 3d 20 74 ..if(auto v = t
1fc0: 2e 61 63 63 65 73 73 21 56 61 6c 75 65 28 74 68 .access!Value(th
1fd0: 65 4c 61 79 65 72 2c 20 22 63 61 72 22 29 29 0d eLayer, "car")).
1fe0: 0a 09 09 7b 0d 0a 09 09 09 72 65 73 75 6c 74 20 ...{.....result
1ff0: 7e 3d 20 76 3b 0d 0a 09 09 09 74 20 3d 20 74 2e ~= v;.....t = t.
2000: 61 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 access!Table(the
2010: 4c 61 79 65 72 2c 20 22 63 64 72 22 29 3b 0d 0a Layer, "cdr");..
2020: 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 ..}....else.....
2030: 62 72 65 61 6b 3b 0d 0a 09 72 65 74 75 72 6e 20 break;...return
2040: 72 65 73 75 6c 74 3b 0d 0a 7d 0d 0a 0d 0a 41 53 result;..}....AS
2050: 54 5b 5d 20 74 61 62 6c 65 54 6f 41 53 54 4c 69 T[] tableToASTLi
2060: 73 74 28 20 4c 61 79 65 72 20 74 68 65 4c 61 79 st( Layer theLay
2070: 65 72 2c 20 54 61 62 6c 65 20 74 20 29 0d 0a 7b er, Table t )..{
2080: 0d 0a 09 41 53 54 5b 5d 20 72 65 73 75 6c 74 3b ...AST[] result;
2090: 0d 0a 09 66 6f 72 65 61 63 68 28 76 3b 20 74 61 ...foreach(v; ta
20a0: 62 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 74 68 bleAsConsList(th
20b0: 65 4c 61 79 65 72 2c 20 74 29 29 0d 0a 09 09 69 eLayer, t))....i
20c0: 66 28 61 75 74 6f 20 74 20 3d 20 63 61 73 74 28 f(auto t = cast(
20d0: 54 61 62 6c 65 29 76 29 0d 0a 09 09 09 72 65 73 Table)v).....res
20e0: 75 6c 74 20 7e 3d 20 74 61 62 6c 65 54 6f 41 53 ult ~= tableToAS
20f0: 54 28 74 68 65 4c 61 79 65 72 2c 74 29 3b 0d 0a T(theLayer,t);..
2100: 09 09 65 6c 73 65 0d 0a 09 09 09 74 68 72 6f 77 ..else.....throw
2110: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
2120: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 ception(cast(Lex
2130: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 22 Position)null, "
2140: 49 6e 76 61 6c 69 64 20 41 53 54 20 28 6e 6f 6e Invalid AST (non
2150: 2d 74 61 62 6c 65 20 69 6e 20 63 6f 6e 73 2d 6c -table in cons-l
2160: 69 73 74 29 22 29 3b 0d 0a 09 72 65 74 75 72 6e ist)");...return
2170: 20 72 65 73 75 6c 74 3b 0d 0a 7d 0d 0a 0d 0a 41 result;..}....A
2180: 53 54 20 74 61 62 6c 65 54 6f 41 53 54 28 20 4c ST tableToAST( L
2190: 61 79 65 72 20 74 68 65 4c 61 79 65 72 2c 20 56 ayer theLayer, V
21a0: 61 6c 75 65 20 76 76 76 76 20 29 0d 0a 7b 0d 0a alue vvvv )..{..
21b0: 09 54 61 62 6c 65 20 74 20 3d 20 63 61 73 74 28 .Table t = cast(
21c0: 54 61 62 6c 65 29 76 76 76 76 3b 0d 0a 09 69 66 Table)vvvv;...if
21d0: 28 20 74 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 ( t is null )...
21e0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
21f0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 timeException(ca
2200: 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e st(LexPosition)n
2210: 75 6c 6c 2c 20 22 49 6e 76 61 6c 69 64 20 41 53 ull, "Invalid AS
2220: 54 20 28 6e 6f 74 20 61 20 74 61 62 6c 65 29 22 T (not a table)"
2230: 29 3b 0d 0a 0d 0a 09 61 75 74 6f 20 6e 6f 64 65 );.....auto node
2240: 54 79 70 65 20 3d 20 74 2e 61 63 63 65 73 73 21 Type = t.access!
2250: 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65 StrValue(theLaye
2260: 72 2c 20 22 69 73 22 29 3b 0d 0a 09 69 66 28 20 r, "is");...if(
2270: 6e 6f 64 65 54 79 70 65 20 69 73 20 6e 75 6c 6c nodeType is null
2280: 20 29 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 )....throw gene
2290: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
22a0: 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 on(cast(LexPosit
22b0: 69 6f 6e 29 6e 75 6c 6c 2c 20 22 49 6e 76 61 6c ion)null, "Inval
22c0: 69 64 20 41 53 54 20 7b 69 73 3a 28 6e 6f 74 20 id AST {is:(not
22d0: 73 74 72 69 6e 67 29 7d 22 29 3b 0d 0a 09 61 75 string)}");...au
22e0: 74 6f 20 70 6f 73 20 3d 20 65 78 74 72 61 63 74 to pos = extract
22f0: 50 6f 73 28 74 29 3b 0d 0a 09 73 77 69 74 63 68 Pos(t);...switch
2300: 28 6e 6f 64 65 54 79 70 65 2e 64 61 74 61 29 0d (nodeType.data).
2310: 0a 09 7b 0d 0a 09 63 61 73 65 20 22 69 6e 74 22 ..{...case "int"
2320: 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d :....if(auto v =
2330: 20 74 2e 61 63 63 65 73 73 21 49 6e 74 56 61 6c t.access!IntVal
2340: 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 64 61 ue(theLayer, "da
2350: 74 61 22 29 29 0d 0a 09 09 09 72 65 74 75 72 6e ta")).....return
2360: 20 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 6c 28 new IntLiteral(
2370: 70 6f 73 2c 20 76 2e 64 61 74 61 29 3b 0d 0a 09 pos, v.data);...
2380: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
2390: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 timeException(ca
23a0: 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e st(LexPosition)n
23b0: 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 ull, `Invalid AS
23c0: 54 20 7b 69 73 3a 22 69 6e 74 22 2c 20 64 61 74 T {is:"int", dat
23d0: 61 3a 28 6e 6f 74 20 69 6e 74 29 7d 60 29 3b 0d a:(not int)}`);.
23e0: 0a 09 63 61 73 65 20 22 73 74 72 22 3a 0d 0a 09 ..case "str":...
23f0: 09 69 66 28 61 75 74 6f 20 76 20 3d 20 74 2e 61 .if(auto v = t.a
2400: 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 ccess!StrValue(t
2410: 68 65 4c 61 79 65 72 2c 20 22 64 61 74 61 22 29 heLayer, "data")
2420: 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 ).....return new
2430: 20 53 74 72 4c 69 74 65 72 61 6c 28 70 6f 73 2c StrLiteral(pos,
2440: 20 76 2e 64 61 74 61 29 3b 0d 0a 09 09 74 68 72 v.data);....thr
2450: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
2460: 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c Exception(cast(L
2470: 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c exPosition)null,
2480: 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 `Invalid AST {i
2490: 73 3a 22 73 74 72 22 2c 20 64 61 74 61 3a 28 6e s:"str", data:(n
24a0: 6f 74 20 73 74 72 69 6e 67 29 7d 60 29 3b 0d 0a ot string)}`);..
24b0: 09 63 61 73 65 20 22 76 61 72 22 3a 0d 0a 09 09 .case "var":....
24c0: 69 66 28 61 75 74 6f 20 76 20 3d 20 74 2e 61 63 if(auto v = t.ac
24d0: 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 cess!StrValue(th
24e0: 65 4c 61 79 65 72 2c 20 22 6e 61 6d 65 22 29 29 eLayer, "name"))
24f0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
2500: 56 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f VarExpression(po
2510: 73 2c 20 76 2e 64 61 74 61 29 3b 0d 0a 09 09 74 s, v.data);....t
2520: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
2530: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
2540: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
2550: 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 l, `Invalid AST
2560: 7b 69 73 3a 22 76 61 72 22 2c 20 6e 61 6d 65 3a {is:"var", name:
2570: 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d 60 29 3b (not string)}`);
2580: 0d 0a 09 63 61 73 65 20 22 6c 61 79 22 3a 0d 0a ...case "lay":..
2590: 09 09 69 66 28 61 75 74 6f 20 76 20 3d 20 74 2e ..if(auto v = t.
25a0: 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 access!StrValue(
25b0: 74 68 65 4c 61 79 65 72 2c 20 22 6c 61 79 65 72 theLayer, "layer
25c0: 22 29 29 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 ")).....if(auto
25d0: 65 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 e = t.access!Tab
25e0: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 65 78 le(theLayer, "ex
25f0: 70 72 22 29 29 0d 0a 09 09 09 09 72 65 74 75 72 pr"))......retur
2600: 6e 20 6e 65 77 20 4c 61 79 65 72 65 64 45 78 70 n new LayeredExp
2610: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 2e 64 ression(pos, v.d
2620: 61 74 61 2c 20 74 61 62 6c 65 54 6f 41 53 54 28 ata, tableToAST(
2630: 74 68 65 4c 61 79 65 72 2c 65 29 29 3b 0d 0a 09 theLayer,e));...
2640: 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f ..else......thro
2650: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2660: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 xception(cast(Le
2670: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 xPosition)null,
2680: 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 `Invalid AST {is
2690: 3a 22 6c 61 79 22 2c 20 65 78 70 72 3a 28 6e 6f :"lay", expr:(no
26a0: 74 20 74 61 62 6c 65 29 7d 60 29 3b 0d 0a 09 09 t table)}`);....
26b0: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
26c0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 imeException(cas
26d0: 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 t(LexPosition)nu
26e0: 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 ll, `Invalid AST
26f0: 20 7b 69 73 3a 22 6c 61 79 22 2c 20 6c 61 79 65 {is:"lay", laye
2700: 72 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d 60 r:(not string)}`
2710: 29 3b 0d 0a 09 63 61 73 65 20 22 6c 65 74 22 3a );...case "let":
2720: 0d 0a 09 09 69 66 28 61 75 74 6f 20 6e 20 3d 20 ....if(auto n =
2730: 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 t.access!StrValu
2740: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6e 61 6d e(theLayer, "nam
2750: 65 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 e"))....if(auto
2760: 65 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 e = t.access!Tab
2770: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 69 6e le(theLayer, "in
2780: 69 74 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f it"))....if(auto
2790: 20 62 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 b = t.access!Ta
27a0: 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 65 ble(theLayer, "e
27b0: 78 70 72 22 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 xpr"))....{.....
27c0: 73 74 72 69 6e 67 20 6e 6e 20 3d 20 6e 2e 64 61 string nn = n.da
27d0: 74 61 3b 0d 0a 09 09 09 61 75 74 6f 20 65 65 20 ta;.....auto ee
27e0: 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 = tableToAST(the
27f0: 4c 61 79 65 72 2c 20 65 29 3b 0d 0a 09 09 09 61 Layer, e);.....a
2800: 75 74 6f 20 62 62 20 3d 20 74 61 62 6c 65 54 6f uto bb = tableTo
2810: 41 53 54 28 74 68 65 4c 61 79 65 72 2c 20 62 29 AST(theLayer, b)
2820: 3b 0d 0a 09 09 09 4c 61 79 65 72 20 6c 61 79 3d ;.....Layer lay=
2830: 22 22 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 "";.....if(auto
2840: 6c 20 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 l = t.access!Str
2850: 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 Value(theLayer,
2860: 22 6c 61 79 65 72 22 29 29 0d 0a 09 09 09 09 6c "layer"))......l
2870: 61 79 20 3d 20 6c 2e 64 61 74 61 3b 0d 0a 09 09 ay = l.data;....
2880: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 .return new LetE
2890: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6e xpression(pos, n
28a0: 6e 2c 20 6c 61 79 2c 20 65 65 2c 20 62 62 29 3b n, lay, ee, bb);
28b0: 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 ....}....throw g
28c0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
28d0: 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f ption(cast(LexPo
28e0: 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e sition)null, `In
28f0: 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 6c valid AST {is:"l
2900: 65 74 22 2c 20 6e 61 6d 65 3a 22 3f 3f 3f 22 2c et", name:"???",
2910: 20 69 6e 69 74 3a 22 3f 3f 3f 22 2c 20 65 78 70 init:"???", exp
2920: 72 3a 22 3f 3f 3f 22 7d 60 29 3b 0d 0a 09 63 61 r:"???"}`);...ca
2930: 73 65 20 22 61 70 70 22 3a 0d 0a 09 09 69 66 28 se "app":....if(
2940: 61 75 74 6f 20 66 20 3d 20 74 2e 61 63 63 65 73 auto f = t.acces
2950: 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 s!Table(theLayer
2960: 2c 20 22 66 75 6e 22 29 29 0d 0a 09 09 69 66 28 , "fun"))....if(
2970: 61 75 74 6f 20 61 20 3d 20 74 2e 61 63 63 65 73 auto a = t.acces
2980: 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 s!Table(theLayer
2990: 2c 20 22 61 72 67 22 29 29 0d 0a 09 09 09 72 65 , "arg")).....re
29a0: 74 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c 6c turn new Funcall
29b0: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
29c0: 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 tableToAST(theLa
29d0: 79 65 72 2c 66 29 2c 20 74 61 62 6c 65 54 6f 41 yer,f), tableToA
29e0: 53 54 4c 69 73 74 28 74 68 65 4c 61 79 65 72 2c STList(theLayer,
29f0: 61 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 a));....throw ge
2a00: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
2a10: 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 tion(cast(LexPos
2a20: 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 ition)null, `Inv
2a30: 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 61 70 alid AST {is:"ap
2a40: 70 22 2c 20 66 75 6e 3a 3f 3f 3f 2c 20 61 72 67 p", fun:???, arg
2a50: 3a 3f 3f 3f 7d 60 29 3b 0d 0a 09 63 61 73 65 20 :???}`);...case
2a60: 22 66 75 6e 22 3a 0d 0a 09 09 69 66 28 61 75 74 "fun":....if(aut
2a70: 6f 20 70 20 3d 20 74 2e 61 63 63 65 73 73 21 54 o p = t.access!T
2a80: 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 able(theLayer, "
2a90: 70 61 72 61 6d 22 29 29 0d 0a 09 09 69 66 28 61 param"))....if(a
2aa0: 75 74 6f 20 62 20 3d 20 74 2e 61 63 63 65 73 73 uto b = t.access
2ab0: 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c !Table(theLayer,
2ac0: 20 22 62 6f 64 79 22 29 29 0d 0a 09 09 7b 0d 0a "body"))....{..
2ad0: 09 09 09 50 61 72 61 6d 65 74 65 72 5b 5d 20 70 ...Parameter[] p
2ae0: 73 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 76 s;.....foreach(v
2af0: 3b 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c 69 73 ; tableAsConsLis
2b00: 74 28 74 68 65 4c 61 79 65 72 2c 20 70 29 29 0d t(theLayer, p)).
2b10: 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 61 75 ....{......if(au
2b20: 74 6f 20 74 74 20 3d 20 63 61 73 74 28 54 61 62 to tt = cast(Tab
2b30: 6c 65 29 76 29 0d 0a 09 09 09 09 69 66 28 61 75 le)v)......if(au
2b40: 74 6f 20 73 73 20 3d 20 74 74 2e 61 63 63 65 73 to ss = tt.acces
2b50: 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 s!StrValue(theLa
2b60: 79 65 72 2c 20 22 6e 61 6d 65 22 29 29 0d 0a 09 yer, "name"))...
2b70: 09 09 09 69 66 28 61 75 74 6f 20 6c 6c 20 3d 20 ...if(auto ll =
2b80: 74 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 tt.access!Table(
2b90: 74 68 65 4c 61 79 65 72 2c 20 22 6c 61 79 65 72 theLayer, "layer
2ba0: 22 29 29 0d 0a 09 09 09 09 7b 0d 0a 09 09 09 09 "))......{......
2bb0: 09 4c 61 79 65 72 5b 5d 20 6c 73 3b 0d 0a 09 09 .Layer[] ls;....
2bc0: 09 09 09 66 6f 72 65 61 63 68 28 6c 6c 6c 3b 20 ...foreach(lll;
2bd0: 74 61 62 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 tableAsConsList(
2be0: 74 68 65 4c 61 79 65 72 2c 20 6c 6c 29 29 0d 0a theLayer, ll))..
2bf0: 09 09 09 09 09 09 69 66 28 61 75 74 6f 20 6c 20 ......if(auto l
2c00: 3d 20 63 61 73 74 28 53 74 72 56 61 6c 75 65 29 = cast(StrValue)
2c10: 6c 6c 6c 29 0d 0a 09 09 09 09 09 09 09 6c 73 20 lll).........ls
2c20: 7e 3d 20 6c 2e 64 61 74 61 3b 0d 0a 09 09 09 09 ~= l.data;......
2c30: 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 09 09 74 ..else.........t
2c40: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
2c50: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
2c60: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
2c70: 6c 2c 20 73 70 72 69 6e 74 66 21 60 49 6e 76 61 l, sprintf!`Inva
2c80: 6c 69 64 20 41 53 54 20 7b 62 61 64 20 66 75 6e lid AST {bad fun
2c90: 20 70 61 72 61 6d 73 20 25 73 7d 60 28 6c 6c 6c params %s}`(lll
2ca0: 29 29 3b 0d 0a 09 09 09 09 09 70 73 20 7e 3d 20 ));.......ps ~=
2cb0: 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 73 73 new Parameter(ss
2cc0: 2e 64 61 74 61 2c 20 6c 73 29 3b 0d 0a 09 09 09 .data, ls);.....
2cd0: 09 09 63 6f 6e 74 69 6e 75 65 3b 0d 0a 09 09 09 ..continue;.....
2ce0: 09 7d 0d 0a 09 09 09 09 65 6c 73 65 0d 0a 09 09 .}......else....
2cf0: 09 09 7b 0d 0a 09 09 09 09 09 4c 61 79 65 72 5b ..{.......Layer[
2d00: 5d 20 65 6d 70 3b 0d 0a 09 09 09 09 09 70 73 20 ] emp;.......ps
2d10: 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 ~= new Parameter
2d20: 28 73 73 2e 64 61 74 61 2c 20 65 6d 70 29 3b 0d (ss.data, emp);.
2d30: 0a 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 0d ......continue;.
2d40: 0a 09 09 09 09 7d 0d 0a 09 09 09 09 74 68 72 6f .....}......thro
2d50: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2d60: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 xception(cast(Le
2d70: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 xPosition)null,
2d80: 73 70 72 69 6e 74 66 21 60 49 6e 76 61 6c 69 64 sprintf!`Invalid
2d90: 20 41 53 54 20 7b 62 61 64 20 66 75 6e 20 70 61 AST {bad fun pa
2da0: 72 61 6d 73 20 25 73 7d 60 28 76 29 29 3b 0d 0a rams %s}`(v));..
2db0: 09 09 09 7d 0d 0a 09 09 09 61 75 74 6f 20 62 62 ...}.....auto bb
2dc0: 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 = tableToAST(th
2dd0: 65 4c 61 79 65 72 2c 20 62 29 3b 0d 0a 09 09 09 eLayer, b);.....
2de0: 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 return new FunLi
2df0: 74 65 72 61 6c 28 70 6f 73 2c 70 73 2c 62 62 29 teral(pos,ps,bb)
2e00: 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 ;....}....throw
2e10: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
2e20: 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 eption(cast(LexP
2e30: 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 osition)null, `I
2e40: 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 nvalid AST {is:"
2e50: 66 75 6e 22 2c 20 70 61 72 61 6d 3a 3f 3f 3f 2c fun", param:???,
2e60: 20 62 6f 64 79 3a 3f 3f 3f 7d 60 29 3b 0d 0a 09 body:???}`);...
2e70: 64 65 66 61 75 6c 74 3a 0d 0a 09 09 74 68 72 6f default:....thro
2e80: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2e90: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 xception(cast(Le
2ea0: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 xPosition)null,
2eb0: 73 70 72 69 6e 74 66 21 60 49 6e 76 61 6c 69 64 sprintf!`Invalid
2ec0: 20 41 53 54 20 7b 69 73 3a 20 22 25 73 22 7d 20 AST {is: "%s"}
2ed0: 75 6e 6b 6e 6f 77 6e 60 28 6e 6f 64 65 54 79 70 unknown`(nodeTyp
2ee0: 65 2e 64 61 74 61 29 29 3b 0d 0a 09 7d 0d 0a 7d e.data));...}..}
2ef0: 0d 0a ..