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 61 75 74 6f 20 74 alse;.....auto t
06f0: 62 6c 20 3d 20 6d 61 63 72 6f 45 76 61 6c 28 61 bl = macroEval(a
0700: 73 74 2e 66 75 6e 62 6f 64 79 2c 20 63 74 78 2c st.funbody, ctx,
0710: 20 74 72 75 65 29 3b 0d 0a 09 09 09 6d 61 63 72 true);.....macr
0720: 6f 4d 65 6d 6f 20 3d 20 74 61 62 6c 65 54 6f 41 oMemo = tableToA
0730: 53 54 28 56 61 6c 75 65 4c 61 79 65 72 2c 74 62 ST(ValueLayer,tb
0740: 6c 29 3b 0d 0a 09 09 7d 0d 0a 09 09 61 75 74 6f l);....}....auto
0750: 20 76 20 3d 20 65 76 61 6c 28 6d 61 63 72 6f 4d v = eval(macroM
0760: 65 6d 6f 2c 20 63 74 78 2c 20 74 72 75 65 2c 20 emo, ctx, true,
0770: 6c 61 79 29 3b 0d 0a 0d 0a 09 09 2f 2f 61 75 74 lay);......//aut
0780: 6f 20 76 20 3d 20 65 76 61 6c 28 65 2e 66 75 6e o v = eval(e.fun
0790: 62 6f 64 79 2c 20 63 74 78 4e 65 6f 2c 20 74 72 body, ctxNeo, tr
07a0: 75 65 2c 20 6c 61 79 29 3b 0d 0a 09 09 2f 2f 20 ue, lay);....//
07b0: 61 75 74 6f 20 6d 65 6d 6f 69 7a 61 74 69 6f 6e auto memoization
07c0: 0d 0a 2f 2f 09 09 69 66 28 20 6c 61 79 20 21 3d ..//..if( lay !=
07d0: 20 56 61 6c 75 65 4c 61 79 65 72 20 26 26 20 6c ValueLayer && l
07e0: 61 79 20 21 3d 20 4d 61 63 72 6f 4c 61 79 65 72 ay != MacroLayer
07f0: 20 29 0d 0a 2f 2f 09 09 09 6d 65 6d 6f 5b 6c 61 )..//...memo[la
0800: 79 5d 5b 61 72 67 73 5d 20 3d 20 76 3b 0d 0a 09 y][args] = v;...
0810: 09 72 65 74 75 72 6e 20 76 3b 0d 0a 09 7d 0d 0a .return v;...}..
0820: 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 ...mixin SimpleC
0830: 6c 61 73 73 3b 0d 0a 09 6f 76 65 72 72 69 64 65 lass;...override
0840: 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 string toString
0850: 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 () const { retur
0860: 6e 20 73 70 72 69 6e 74 66 21 22 28 66 75 6e 63 n sprintf!"(func
0870: 74 69 6f 6e 3a 25 78 3a 25 78 29 22 28 63 61 73 tion:%x:%x)"(cas
0880: 74 28 76 6f 69 64 2a 29 61 73 74 2c 20 63 61 73 t(void*)ast, cas
0890: 74 28 76 6f 69 64 2a 29 64 65 66 43 74 78 29 3b t(void*)defCtx);
08a0: 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 }..}....///..ab
08b0: 73 74 72 61 63 74 20 63 6c 61 73 73 20 4e 61 74 stract class Nat
08c0: 69 76 65 46 75 6e 56 61 6c 75 65 20 3a 20 46 75 iveFunValue : Fu
08d0: 6e 56 61 6c 75 65 0d 0a 7b 0d 0a 09 50 61 72 61 nValue..{...Para
08e0: 6d 65 74 65 72 5b 5d 20 70 61 72 61 6d 73 5f 64 meter[] params_d
08f0: 61 74 61 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 ata;...override
0900: 63 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 72 5b const(Parameter[
0910: 5d 29 20 70 61 72 61 6d 73 28 29 20 7b 20 72 65 ]) params() { re
0920: 74 75 72 6e 20 70 61 72 61 6d 73 5f 64 61 74 61 turn params_data
0930: 3b 20 7d 0d 0a 09 6f 76 65 72 72 69 64 65 20 54 ; }...override T
0940: 61 62 6c 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 able definitionC
0950: 6f 6e 74 65 78 74 28 29 20 7b 20 72 65 74 75 72 ontext() { retur
0960: 6e 20 6e 65 77 20 54 61 62 6c 65 3b 20 7d 20 2f n new Table; } /
0970: 2f 20 74 6f 64 6f 3a 20 63 61 63 68 65 09 6f 76 / todo: cache.ov
0980: 65 72 72 69 65 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 errie..}....///
0990: 4e 61 6d 65 64 20 43 6f 6e 73 74 72 75 63 74 6f Named Constructo
09a0: 72 20 66 6f 72 20 46 75 6e 56 61 6c 75 65 0d 0a r for FunValue..
09b0: 0d 0a 46 75 6e 56 61 6c 75 65 20 6e 61 74 69 76 ..FunValue nativ
09c0: 65 28 52 2c 54 2e 2e 2e 29 28 52 20 64 65 6c 65 e(R,T...)(R dele
09d0: 67 61 74 65 20 28 54 29 20 64 67 29 0d 0a 7b 0d gate (T) dg)..{.
09e0: 0a 09 72 65 74 75 72 6e 20 6e 65 77 20 63 6c 61 ..return new cla
09f0: 73 73 20 4e 61 74 69 76 65 46 75 6e 56 61 6c 75 ss NativeFunValu
0a00: 65 20 7b 0d 0a 09 09 74 68 69 73 28 29 0d 0a 09 e {....this()...
0a10: 09 7b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 69 .{.....foreach(i
0a20: 2c 20 54 69 3b 20 54 29 0d 0a 09 09 09 09 70 61 , Ti; T)......pa
0a30: 72 61 6d 73 5f 64 61 74 61 20 7e 3d 20 6e 65 77 rams_data ~= new
0a40: 20 50 61 72 61 6d 65 74 65 72 28 74 65 78 74 28 Parameter(text(
0a50: 69 29 2c 20 5b 5d 29 3b 0d 0a 09 09 7d 0d 0a 09 i), []);....}...
0a60: 09 6f 76 65 72 72 69 64 65 20 56 61 6c 75 65 20 .override Value
0a70: 69 6e 76 6f 6b 65 28 69 6e 20 4c 65 78 50 6f 73 invoke(in LexPos
0a80: 69 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 ition pos, Layer
0a90: 20 6c 61 79 2c 20 54 61 62 6c 65 20 63 74 78 29 lay, Table ctx)
0aa0: 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 20 6c 61 ....{.....if( la
0ab0: 79 20 21 3d 20 56 61 6c 75 65 4c 61 79 65 72 20 y != ValueLayer
0ac0: 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e )......throw gen
0ad0: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
0ae0: 69 6f 6e 28 70 6f 73 2c 20 22 6f 6e 6c 79 20 22 ion(pos, "only "
0af0: 7e 56 61 6c 75 65 4c 61 79 65 72 7e 22 20 6c 61 ~ValueLayer~" la
0b00: 79 65 72 20 63 61 6e 20 63 61 6c 6c 20 6e 61 74 yer can call nat
0b10: 69 76 65 20 66 75 6e 63 74 69 6f 6e 22 29 3b 0d ive function");.
0b20: 0a 09 09 09 54 20 74 79 70 65 64 5f 61 72 67 73 ....T typed_args
0b30: 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 69 2c ;.....foreach(i,
0b40: 20 54 69 3b 20 54 29 20 7b 0d 0a 09 09 09 09 74 Ti; T) {......t
0b50: 79 70 65 64 5f 61 72 67 73 5b 69 5d 20 3d 20 63 yped_args[i] = c
0b60: 61 73 74 28 54 69 29 20 63 74 78 2e 67 65 74 28 ast(Ti) ctx.get(
0b70: 74 65 78 74 28 69 29 2c 20 56 61 6c 75 65 4c 61 text(i), ValueLa
0b80: 79 65 72 29 3b 0d 0a 09 09 09 09 69 66 28 20 74 yer);......if( t
0b90: 79 70 65 64 5f 61 72 67 73 5b 69 5d 20 69 73 20 yped_args[i] is
0ba0: 6e 75 6c 6c 20 29 0d 0a 09 09 09 09 09 74 68 72 null ).......thr
0bb0: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
0bc0: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 Exception(pos, s
0bd0: 70 72 69 6e 74 66 21 22 74 79 70 65 20 6d 69 73 printf!"type mis
0be0: 6d 61 74 63 68 20 6f 6e 20 74 68 65 20 61 72 67 match on the arg
0bf0: 75 6d 65 6e 74 20 25 64 22 28 69 2b 31 29 29 3b ument %d"(i+1));
0c00: 0d 0a 09 09 09 7d 0d 0a 09 09 09 74 72 79 20 7b .....}.....try {
0c10: 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 64 67 28 ......return dg(
0c20: 74 79 70 65 64 5f 61 72 67 73 29 3b 0d 0a 09 09 typed_args);....
0c30: 09 7d 20 63 61 74 63 68 28 20 52 75 6e 74 69 6d .} catch( Runtim
0c40: 65 45 78 63 65 70 74 69 6f 6e 20 65 20 29 20 7b eException e ) {
0c50: 0d 0a 09 09 09 09 74 68 72 6f 77 20 65 2e 70 6f ......throw e.po
0c60: 73 20 69 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 s is null ? new
0c70: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0c80: 28 70 6f 73 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 (pos, e.msg, e.f
0c90: 69 6c 65 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 65 ile, e.line) : e
0ca0: 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a 09 7d ;.....}....}...}
0cb0: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 74 ;..}..../// Cont
0cc0: 65 78 74 20 28 76 61 72 69 61 62 6c 65 20 65 6e ext (variable en
0cd0: 76 69 72 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f 20 vironment)..///
0ce0: 53 69 6d 6c 61 72 20 74 6f 20 70 72 6f 74 6f 74 Simlar to protot
0cf0: 79 70 65 20 63 68 61 69 6e 20 6f 66 20 45 43 4d ype chain of ECM
0d00: 41 53 63 72 69 70 74 20 65 74 63 2e 0d 0a 2f 2f AScript etc...//
0d10: 2f 20 42 75 74 20 65 78 74 65 6e 64 65 64 20 77 / But extended w
0d20: 69 74 68 20 74 68 65 20 6e 6f 74 69 6f 6e 20 6f ith the notion o
0d30: 66 20 22 4c 61 79 65 72 22 0d 0a 0d 0a 63 6c 61 f "Layer"....cla
0d40: 73 73 20 54 61 62 6c 65 20 3a 20 56 61 6c 75 65 ss Table : Value
0d50: 0d 0a 7b 0d 0a 09 65 6e 75 6d 20 4b 69 6e 64 20 ..{...enum Kind
0d60: 7b 50 72 6f 70 61 67 61 74 65 53 65 74 2c 20 4e {PropagateSet, N
0d70: 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 7d 3b otPropagateSet};
0d80: 0d 0a 09 62 6f 6f 6c 20 6b 69 6c 6c 20 3d 20 66 ...bool kill = f
0d90: 61 6c 73 65 3b 20 2f 2f 20 74 6f 20 72 65 66 61 alse; // to refa
0da0: 63 74 6f 72 0d 0a 0d 0a 09 74 68 69 73 28 20 54 ctor.....this( T
0db0: 61 62 6c 65 20 70 72 6f 74 6f 3d 6e 75 6c 6c 2c able proto=null,
0dc0: 20 4b 69 6e 64 20 6b 20 3d 20 4b 69 6e 64 2e 50 Kind k = Kind.P
0dd0: 72 6f 70 61 67 61 74 65 53 65 74 20 29 0d 0a 09 ropagateSet )...
0de0: 09 7b 20 74 68 69 73 2e 70 72 6f 74 6f 74 79 70 .{ this.prototyp
0df0: 65 20 3d 20 70 72 6f 74 6f 3b 20 74 68 69 73 2e e = proto; this.
0e00: 6b 69 6e 64 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 kind = k; }.....
0e10: 76 6f 69 64 20 73 65 74 28 73 74 72 69 6e 67 20 void set(string
0e20: 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 i, Layer lay, Va
0e30: 6c 75 65 20 76 2c 20 69 6e 20 4c 65 78 50 6f 73 lue v, in LexPos
0e40: 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d ition pos=null).
0e50: 0a 09 7b 0d 0a 09 09 69 66 28 20 73 65 74 49 66 ..{....if( setIf
0e60: 45 78 69 73 74 28 69 2c 20 6c 61 79 2c 20 76 29 Exist(i, lay, v)
0e70: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 3b 0d 0a ).....return;..
0e80: 09 09 64 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d ..data[i][lay] =
0e90: 20 76 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c v;...}.....bool
0ea0: 20 68 61 73 28 73 74 72 69 6e 67 20 69 2c 20 4c has(string i, L
0eb0: 61 79 65 72 20 6c 61 79 2c 20 69 6e 20 4c 65 78 ayer lay, in Lex
0ec0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c Position pos=nul
0ed0: 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 l)...{....if( i
0ee0: 69 6e 20 64 61 74 61 20 29 20 7b 0d 0a 09 09 09 in data ) {.....
0ef0: 69 66 28 20 6c 61 79 20 21 69 6e 20 64 61 74 61 if( lay !in data
0f00: 5b 69 5d 20 29 0d 0a 09 09 09 09 72 65 74 75 72 [i] )......retur
0f10: 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 09 69 66 28 n false;.....if(
0f20: 6b 69 6c 6c 29 0d 0a 09 09 09 09 72 65 74 75 72 kill)......retur
0f30: 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 09 72 65 74 n false;.....ret
0f40: 75 72 6e 20 74 72 75 65 3b 0d 0a 09 09 7d 0d 0a urn true;....}..
0f50: 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 65 20 ..if( prototype
0f60: 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 72 65 is null ).....re
0f70: 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 72 turn false;....r
0f80: 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e eturn prototype.
0f90: 68 61 73 28 69 2c 20 6c 61 79 2c 20 70 6f 73 29 has(i, lay, pos)
0fa0: 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 ;...}......Value
0fb0: 20 67 65 74 28 73 74 72 69 6e 67 20 69 2c 20 4c get(string i, L
0fc0: 61 79 65 72 20 6c 61 79 2c 20 69 6e 20 4c 65 78 ayer lay, in Lex
0fd0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c Position pos=nul
0fe0: 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 l)...{....if( i
0ff0: 69 6e 20 64 61 74 61 20 29 20 7b 0d 0a 09 09 09 in data ) {.....
1000: 2f 2f 20 5b 54 4f 44 4f 5d 20 63 6f 6e 73 69 64 // [TODO] consid
1010: 65 72 20 66 6f 72 77 61 72 64 69 6e 67 20 74 6f er forwarding to
1020: 20 70 72 6f 74 6f 20 61 6c 73 6f 20 69 6e 20 74 proto also in t
1030: 68 69 73 20 63 61 73 65 0d 0a 09 09 09 69 66 28 his case.....if(
1040: 20 6c 61 79 20 21 69 6e 20 64 61 74 61 5b 69 5d lay !in data[i]
1050: 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 )......throw ge
1060: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
1070: 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 tion(pos, sprint
1080: 66 21 22 76 61 72 69 61 62 6c 65 20 25 73 20 69 f!"variable %s i
1090: 73 20 6e 6f 74 20 73 65 74 20 69 6e 20 6c 61 79 s not set in lay
10a0: 65 72 20 25 73 22 28 69 2c 6c 61 79 29 29 3b 0d er %s"(i,lay));.
10b0: 0a 09 09 09 69 66 28 6b 69 6c 6c 29 0d 0a 09 09 ....if(kill)....
10c0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
10d0: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 ntimeException(p
10e0: 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 76 61 72 os, sprintf!"var
10f0: 69 61 62 6c 65 20 25 73 20 69 73 20 6b 69 6c 6c iable %s is kill
1100: 65 64 20 69 6e 20 6d 61 63 72 6f 22 28 69 29 29 ed in macro"(i))
1110: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 61 74 ;.....return dat
1120: 61 5b 69 5d 5b 6c 61 79 5d 3b 0d 0a 09 09 7d 0d a[i][lay];....}.
1130: 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 65 ...if( prototype
1140: 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 74 is null ).....t
1150: 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 69 6d 65 hrow new Runtime
1160: 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 Exception(pos, s
1170: 70 72 69 6e 74 66 21 22 76 61 72 69 61 62 6c 65 printf!"variable
1180: 20 25 73 20 6e 6f 74 20 66 6f 75 6e 64 22 28 69 %s not found"(i
1190: 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 72 ));....return pr
11a0: 6f 74 6f 74 79 70 65 2e 67 65 74 28 69 2c 20 6c ototype.get(i, l
11b0: 61 79 2c 20 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d ay, pos);...}...
11c0: 0a 09 54 20 61 63 63 65 73 73 28 54 2c 53 2e 2e ..T access(T,S..
11d0: 2e 29 28 20 4c 61 79 65 72 20 6c 61 79 2c 20 73 .)( Layer lay, s
11e0: 74 72 69 6e 67 20 70 61 74 68 2c 20 53 20 72 65 tring path, S re
11f0: 73 74 20 29 0d 0a 09 7b 0d 0a 09 09 73 74 61 74 st )...{....stat
1200: 69 63 20 69 66 28 20 72 65 73 74 2e 6c 65 6e 67 ic if( rest.leng
1210: 74 68 20 3d 3d 20 30 20 29 0d 0a 09 09 7b 0d 0a th == 0 )....{..
1220: 09 09 09 69 66 28 20 74 68 69 73 2e 68 61 73 28 ...if( this.has(
1230: 70 61 74 68 2c 20 6c 61 79 29 20 29 0d 0a 09 09 path, lay) )....
1240: 09 09 72 65 74 75 72 6e 20 63 61 73 74 28 54 29 ..return cast(T)
1250: 20 74 68 69 73 2e 67 65 74 28 70 61 74 68 2c 20 this.get(path,
1260: 6c 61 79 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c lay);....}....el
1270: 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 61 se....{.....if(a
1280: 75 74 6f 20 6e 65 78 74 20 3d 20 74 68 69 73 2e uto next = this.
1290: 61 63 63 65 73 73 21 54 61 62 6c 65 28 6c 61 79 access!Table(lay
12a0: 2c 70 61 74 68 29 29 0d 0a 09 09 09 09 72 65 74 ,path))......ret
12b0: 75 72 6e 20 6e 65 78 74 2e 61 63 63 65 73 73 21 urn next.access!
12c0: 54 28 6c 61 79 2c 72 65 73 74 29 3b 0d 0a 09 09 T(lay,rest);....
12d0: 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e 75 6c 6c }....return null
12e0: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 73 74 72 69 6e 67 ;...}.....string
12f0: 20 74 6f 53 74 72 69 6e 67 57 69 74 68 6f 75 74 toStringWithout
1300: 50 61 72 65 6e 28 29 20 63 6f 6e 73 74 0d 0a 09 Paren() const...
1310: 7b 0d 0a 09 09 73 74 72 69 6e 67 20 72 65 73 75 {....string resu
1320: 6c 74 3b 0d 0a 09 09 62 6f 6f 6c 20 66 69 72 73 lt;....bool firs
1330: 74 20 3d 20 74 72 75 65 3b 0d 0a 09 09 66 6f 72 t = true;....for
1340: 65 61 63 68 28 6b 2c 20 6c 32 64 3b 20 64 61 74 each(k, l2d; dat
1350: 61 29 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 6c a).....foreach(l
1360: 2c 64 3b 20 6c 32 64 29 0d 0a 09 09 09 7b 0d 0a ,d; l2d).....{..
1370: 09 09 09 09 69 66 28 66 69 72 73 74 29 20 66 69 ....if(first) fi
1380: 72 73 74 3d 66 61 6c 73 65 3b 20 65 6c 73 65 20 rst=false; else
1390: 72 65 73 75 6c 74 7e 3d 22 2c 20 22 3b 0d 0a 09 result~=", ";...
13a0: 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6b 3b 0d ...result ~= k;.
13b0: 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6c .....result ~= l
13c0: 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d ;......result ~=
13d0: 20 22 3a 22 3b 0d 0a 09 09 09 09 72 65 73 75 6c ":";......resul
13e0: 74 20 7e 3d 20 74 65 78 74 28 63 61 73 74 28 56 t ~= text(cast(V
13f0: 61 6c 75 65 29 64 29 3b 0d 0a 09 09 09 7d 0d 0a alue)d);.....}..
1400: 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 65 20 ..if( prototype
1410: 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 7b 0d !is null )....{.
1420: 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 20 ....result ~= "
1430: 2f 20 22 3b 0d 0a 09 09 09 72 65 73 75 6c 74 20 / ";.....result
1440: 7e 3d 20 70 72 6f 74 6f 74 79 70 65 2e 74 6f 53 ~= prototype.toS
1450: 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 65 tringWithoutPare
1460: 6e 28 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 n();....}....ret
1470: 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 7d 0d urn result;...}.
1480: 0a 09 0d 0a 09 73 74 72 69 6e 67 20 74 6f 53 74 .....string toSt
1490: 72 69 6e 67 28 29 20 63 6f 6e 73 74 0d 0a 09 7b ring() const...{
14a0: 0d 0a 09 09 72 65 74 75 72 6e 20 22 7b 22 20 7e ....return "{" ~
14b0: 20 74 6f 53 74 72 69 6e 67 57 69 74 68 6f 75 74 toStringWithout
14c0: 50 61 72 65 6e 28 29 20 7e 20 22 7d 22 3b 0d 0a Paren() ~ "}";..
14d0: 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a .}....private:..
14e0: 09 54 61 62 6c 65 20 20 20 20 20 20 20 20 20 20 .Table
14f0: 20 20 20 20 20 20 70 72 6f 74 6f 74 79 70 65 3b prototype;
1500: 0d 0a 09 4b 69 6e 64 20 20 20 20 20 20 20 20 20 ...Kind
1510: 20 20 20 20 20 20 20 20 6b 69 6e 64 3b 0d 0a 09 kind;...
1520: 56 61 6c 75 65 5b 4c 61 79 65 72 5d 5b 73 74 72 Value[Layer][str
1530: 69 6e 67 5d 20 64 61 74 61 3b 0d 0a 0d 0a 09 62 ing] data;.....b
1540: 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 74 28 73 ool setIfExist(s
1550: 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c tring i, Layer l
1560: 61 79 2c 20 56 61 6c 75 65 20 76 29 0d 0a 09 7b ay, Value v)...{
1570: 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 ....if( i in dat
1580: 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 64 61 74 a )....{.....dat
1590: 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a a[i][lay] = v;..
15a0: 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0d ...return true;.
15b0: 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b 69 6e 64 ...}....if( kind
15c0: 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 ==Kind.Propagate
15d0: 53 65 74 20 26 26 20 70 72 6f 74 6f 74 79 70 65 Set && prototype
15e0: 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 !is null ).....
15f0: 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 65 return prototype
1600: 2e 73 65 74 49 66 45 78 69 73 74 28 69 2c 20 6c .setIfExist(i, l
1610: 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 74 75 72 ay, v);....retur
1620: 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d 0a 7d 0d n false;...}..}.
1630: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a ...unittest..{..
1640: 09 54 61 62 6c 65 20 63 30 20 3d 20 6e 65 77 20 .Table c0 = new
1650: 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c 65 20 63 Table;...Table c
1660: 30 31 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 01 = new Table(c
1670: 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 0, Table.Kind.No
1680: 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d tPropagateSet);.
1690: 0a 09 54 61 62 6c 65 20 63 30 31 32 20 3d 20 6e ..Table c012 = n
16a0: 65 77 20 54 61 62 6c 65 28 63 30 31 2c 20 54 61 ew Table(c01, Ta
16b0: 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 61 ble.Kind.Propaga
16c0: 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c 65 20 teSet);...Table
16d0: 63 30 31 33 20 3d 20 6e 65 77 20 54 61 62 6c 65 c013 = new Table
16e0: 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 (c01, Table.Kind
16f0: 2e 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d .PropagateSet);.
1700: 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ....assert_nothr
1710: 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 78 22 ow( c012.set("x"
1720: 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 , ValueLayer, ne
1730: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1740: 74 28 31 32 29 29 29 20 29 3b 0d 0a 09 61 73 73 t(12))) );...ass
1750: 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d ert_throw!Runtim
1760: 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 31 33 eException( c013
1770: 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c .get("x", ValueL
1780: 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 65 72 ayer) );...asser
1790: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 33 2e t_nothrow( c013.
17a0: 73 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 set("x", ValueLa
17b0: 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 yer, new IntValu
17c0: 65 28 42 69 67 49 6e 74 28 31 33 29 29 29 20 29 e(BigInt(13))) )
17d0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
17e0: 30 31 33 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 013.get("x", Val
17f0: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
1800: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 33 tValue(BigInt(13
1810: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
1820: 71 28 20 63 30 31 32 2e 67 65 74 28 22 78 22 2c q( c012.get("x",
1830: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1840: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1850: 74 28 31 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 t(12)) );...asse
1860: 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 rt_throw!Runtime
1870: 45 78 63 65 70 74 69 6f 6e 28 20 63 30 31 2e 67 Exception( c01.g
1880: 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 et("x", ValueLay
1890: 65 72 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 er) );.....asser
18a0: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 2e 73 t_nothrow( c01.s
18b0: 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 et("y", ValueLay
18c0: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
18d0: 28 42 69 67 49 6e 74 28 31 29 29 29 20 29 3b 0d (BigInt(1))) );.
18e0: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
18f0: 33 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 3.get("y", Value
1900: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
1910: 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 alue(BigInt(1))
1920: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1930: 63 30 31 32 2e 67 65 74 28 22 79 22 2c 20 56 61 c012.get("y", Va
1940: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1950: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 ntValue(BigInt(1
1960: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
1970: 71 28 20 63 30 31 2e 67 65 74 28 22 79 22 2c 20 q( c01.get("y",
1980: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
1990: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
19a0: 28 31 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 (1)) );.....asse
19b0: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 2e 73 rt_nothrow( c0.s
19c0: 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 et("z", ValueLay
19d0: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
19e0: 28 42 69 67 49 6e 74 28 30 29 29 29 20 29 3b 0d (BigInt(0))) );.
19f0: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
1a00: 33 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 3.get("z", Value
1a10: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
1a20: 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 alue(BigInt(0))
1a30: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1a40: 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 56 61 c012.get("z", Va
1a50: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1a60: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 ntValue(BigInt(0
1a70: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
1a80: 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 q( c01.get("z",
1a90: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
1aa0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
1ab0: 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (0)) );...assert
1ac0: 5f 65 71 28 20 63 30 2e 67 65 74 28 22 7a 22 2c _eq( c0.get("z",
1ad0: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1ae0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1af0: 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 t(0)) );.....ass
1b00: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 ert_nothrow( c01
1b10: 32 2e 73 65 74 28 22 79 22 2c 20 56 61 6c 75 65 2.set("y", Value
1b20: 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 Layer, new IntVa
1b30: 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 lue(BigInt(444))
1b40: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1b50: 28 20 63 30 31 33 2e 67 65 74 28 22 79 22 2c 20 ( c013.get("y",
1b60: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
1b70: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
1b80: 28 34 34 34 29 29 20 29 3b 0d 0a 09 61 73 73 65 (444)) );...asse
1b90: 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 rt_eq( c012.get(
1ba0: 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 "y", ValueLayer)
1bb0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
1bc0: 69 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a igInt(444)) );..
1bd0: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e .assert_eq( c01.
1be0: 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 get("y", ValueLa
1bf0: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1c00: 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 20 ue(BigInt(444))
1c10: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f );.....assert_no
1c20: 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 throw( c012.set(
1c30: 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c "z", ValueLayer,
1c40: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1c50: 67 49 6e 74 28 35 35 35 29 29 29 20 29 3b 0d 0a gInt(555))) );..
1c60: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 .assert_eq( c013
1c70: 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c .get("z", ValueL
1c80: 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 ayer), new IntVa
1c90: 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 lue(BigInt(0)) )
1ca0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
1cb0: 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 012.get("z", Val
1cc0: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
1cd0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 35 35 tValue(BigInt(55
1ce0: 35 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 5)) );...assert_
1cf0: 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c eq( c01.get("z",
1d00: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1d10: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1d20: 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(0)) );...asser
1d30: 74 5f 65 71 28 20 63 30 2e 67 65 74 28 22 7a 22 t_eq( c0.get("z"
1d40: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e , ValueLayer), n
1d50: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
1d60: 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 2f 2f nt(0)) );.....//
1d70: 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e 65 20 74 [TODO] define t
1d80: 68 65 20 73 65 6d 61 6e 74 69 63 73 20 61 6e 64 he semantics and
1d90: 20 74 65 73 74 20 40 6c 61 79 65 72 73 0d 0a 7d test @layers..}
1da0: 0d 0a 0d 0a 69 6d 6d 75 74 61 62 6c 65 28 4c 65 ....immutable(Le
1db0: 78 50 6f 73 69 74 69 6f 6e 29 20 65 78 74 72 61 xPosition) extra
1dc0: 63 74 50 6f 73 28 20 54 61 62 6c 65 20 74 20 29 ctPos( Table t )
1dd0: 0d 0a 7b 0d 0a 09 4c 61 79 65 72 20 74 68 65 4c ..{...Layer theL
1de0: 61 79 65 72 20 3d 20 56 61 6c 75 65 4c 61 79 65 ayer = ValueLaye
1df0: 72 3b 0d 0a 09 69 66 28 61 75 74 6f 20 74 74 20 r;...if(auto tt
1e00: 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 = t.access!Table
1e10: 28 74 68 65 4c 61 79 65 72 2c 20 22 70 6f 73 22 (theLayer, "pos"
1e20: 29 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 66 ))...{....auto f
1e30: 6e 20 3d 20 74 74 2e 61 63 63 65 73 73 21 53 74 n = tt.access!St
1e40: 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c rValue(theLayer,
1e50: 20 22 66 69 6c 65 6e 61 6d 65 22 29 3b 0d 0a 09 "filename");...
1e60: 09 61 75 74 6f 20 6c 6e 20 3d 20 74 74 2e 61 63 .auto ln = tt.ac
1e70: 63 65 73 73 21 49 6e 74 56 61 6c 75 65 28 74 68 cess!IntValue(th
1e80: 65 4c 61 79 65 72 2c 20 22 6c 69 6e 65 6e 6f 22 eLayer, "lineno"
1e90: 29 3b 0d 0a 09 09 61 75 74 6f 20 63 6c 20 3d 20 );....auto cl =
1ea0: 74 74 2e 61 63 63 65 73 73 21 49 6e 74 56 61 6c tt.access!IntVal
1eb0: 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 63 6f ue(theLayer, "co
1ec0: 6c 75 6d 6e 22 29 3b 0d 0a 09 09 69 66 28 66 6e lumn");....if(fn
1ed0: 20 21 69 73 20 6e 75 6c 6c 20 26 26 20 6c 6e 20 !is null && ln
1ee0: 21 69 73 20 6e 75 6c 6c 20 26 26 20 63 6c 20 21 !is null && cl !
1ef0: 69 73 20 6e 75 6c 6c 29 0d 0a 09 09 09 72 65 74 is null).....ret
1f00: 75 72 6e 20 6e 65 77 20 69 6d 6d 75 74 61 62 6c urn new immutabl
1f10: 65 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 28 66 e(LexPosition)(f
1f20: 6e 2e 64 61 74 61 2c 63 61 73 74 28 69 6e 74 29 n.data,cast(int)
1f30: 6c 6e 2e 64 61 74 61 2e 74 6f 49 6e 74 2c 63 61 ln.data.toInt,ca
1f40: 73 74 28 69 6e 74 29 63 6c 2e 64 61 74 61 2e 74 st(int)cl.data.t
1f50: 6f 49 6e 74 29 3b 0d 0a 09 7d 0d 0a 09 72 65 74 oInt);...}...ret
1f60: 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 7d 0d 0a 0d 0a urn null;..}....
1f70: 56 61 6c 75 65 5b 5d 20 74 61 62 6c 65 41 73 43 Value[] tableAsC
1f80: 6f 6e 73 4c 69 73 74 28 20 4c 61 79 65 72 20 74 onsList( Layer t
1f90: 68 65 4c 61 79 65 72 2c 20 54 61 62 6c 65 20 74 heLayer, Table t
1fa0: 20 29 0d 0a 7b 0d 0a 09 56 61 6c 75 65 5b 5d 20 )..{...Value[]
1fb0: 72 65 73 75 6c 74 3b 0d 0a 09 77 68 69 6c 65 28 result;...while(
1fc0: 74 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 t)....if(auto v
1fd0: 20 3d 20 74 2e 61 63 63 65 73 73 21 56 61 6c 75 = t.access!Valu
1fe0: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 63 61 72 e(theLayer, "car
1ff0: 22 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 73 "))....{.....res
2000: 75 6c 74 20 7e 3d 20 76 3b 0d 0a 09 09 09 74 20 ult ~= v;.....t
2010: 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 = t.access!Table
2020: 28 74 68 65 4c 61 79 65 72 2c 20 22 63 64 72 22 (theLayer, "cdr"
2030: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d );....}....else.
2040: 0a 09 09 09 62 72 65 61 6b 3b 0d 0a 09 72 65 74 ....break;...ret
2050: 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 7d 0d 0a urn result;..}..
2060: 0d 0a 41 53 54 5b 5d 20 74 61 62 6c 65 54 6f 41 ..AST[] tableToA
2070: 53 54 4c 69 73 74 28 20 4c 61 79 65 72 20 74 68 STList( Layer th
2080: 65 4c 61 79 65 72 2c 20 54 61 62 6c 65 20 74 20 eLayer, Table t
2090: 29 0d 0a 7b 0d 0a 09 41 53 54 5b 5d 20 72 65 73 )..{...AST[] res
20a0: 75 6c 74 3b 0d 0a 09 66 6f 72 65 61 63 68 28 76 ult;...foreach(v
20b0: 3b 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c 69 73 ; tableAsConsLis
20c0: 74 28 74 68 65 4c 61 79 65 72 2c 20 74 29 29 0d t(theLayer, t)).
20d0: 0a 09 09 69 66 28 61 75 74 6f 20 74 20 3d 20 63 ...if(auto t = c
20e0: 61 73 74 28 54 61 62 6c 65 29 76 29 0d 0a 09 09 ast(Table)v)....
20f0: 09 72 65 73 75 6c 74 20 7e 3d 20 74 61 62 6c 65 .result ~= table
2100: 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72 2c 74 ToAST(theLayer,t
2110: 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 74 );....else.....t
2120: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
2130: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
2140: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
2150: 6c 2c 20 22 49 6e 76 61 6c 69 64 20 41 53 54 20 l, "Invalid AST
2160: 28 6e 6f 6e 2d 74 61 62 6c 65 20 69 6e 20 63 6f (non-table in co
2170: 6e 73 2d 6c 69 73 74 29 22 29 3b 0d 0a 09 72 65 ns-list)");...re
2180: 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 7d 0d turn result;..}.
2190: 0a 0d 0a 41 53 54 20 74 61 62 6c 65 54 6f 41 53 ...AST tableToAS
21a0: 54 28 20 4c 61 79 65 72 20 74 68 65 4c 61 79 65 T( Layer theLaye
21b0: 72 2c 20 56 61 6c 75 65 20 76 76 76 76 20 29 0d r, Value vvvv ).
21c0: 0a 7b 0d 0a 09 54 61 62 6c 65 20 74 20 3d 20 63 .{...Table t = c
21d0: 61 73 74 28 54 61 62 6c 65 29 76 76 76 76 3b 0d ast(Table)vvvv;.
21e0: 0a 09 69 66 28 20 74 20 69 73 20 6e 75 6c 6c 20 ..if( t is null
21f0: 29 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 )....throw genex
2200: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
2210: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 n(cast(LexPositi
2220: 6f 6e 29 6e 75 6c 6c 2c 20 22 49 6e 76 61 6c 69 on)null, "Invali
2230: 64 20 41 53 54 20 28 6e 6f 74 20 61 20 74 61 62 d AST (not a tab
2240: 6c 65 29 22 29 3b 0d 0a 0d 0a 09 61 75 74 6f 20 le)");.....auto
2250: 6e 6f 64 65 54 79 70 65 20 3d 20 74 2e 61 63 63 nodeType = t.acc
2260: 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 ess!StrValue(the
2270: 4c 61 79 65 72 2c 20 22 69 73 22 29 3b 0d 0a 09 Layer, "is");...
2280: 69 66 28 20 6e 6f 64 65 54 79 70 65 20 69 73 20 if( nodeType is
2290: 6e 75 6c 6c 20 29 0d 0a 09 09 74 68 72 6f 77 20 null )....throw
22a0: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
22b0: 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 eption(cast(LexP
22c0: 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 22 49 osition)null, "I
22d0: 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 28 nvalid AST {is:(
22e0: 6e 6f 74 20 73 74 72 69 6e 67 29 7d 22 29 3b 0d not string)}");.
22f0: 0a 09 61 75 74 6f 20 70 6f 73 20 3d 20 65 78 74 ..auto pos = ext
2300: 72 61 63 74 50 6f 73 28 74 29 3b 0d 0a 09 73 77 ractPos(t);...sw
2310: 69 74 63 68 28 6e 6f 64 65 54 79 70 65 2e 64 61 itch(nodeType.da
2320: 74 61 29 0d 0a 09 7b 0d 0a 09 63 61 73 65 20 22 ta)...{...case "
2330: 69 6e 74 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f int":....if(auto
2340: 20 76 20 3d 20 74 2e 61 63 63 65 73 73 21 49 6e v = t.access!In
2350: 74 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c tValue(theLayer,
2360: 20 22 64 61 74 61 22 29 29 0d 0a 09 09 09 72 65 "data")).....re
2370: 74 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 65 turn new IntLite
2380: 72 61 6c 28 70 6f 73 2c 20 76 2e 64 61 74 61 29 ral(pos, v.data)
2390: 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 ;....throw genex
23a0: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
23b0: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 n(cast(LexPositi
23c0: 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 on)null, `Invali
23d0: 64 20 41 53 54 20 7b 69 73 3a 22 69 6e 74 22 2c d AST {is:"int",
23e0: 20 64 61 74 61 3a 28 6e 6f 74 20 69 6e 74 29 7d data:(not int)}
23f0: 60 29 3b 0d 0a 09 63 61 73 65 20 22 73 74 72 22 `);...case "str"
2400: 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d :....if(auto v =
2410: 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c t.access!StrVal
2420: 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 64 61 ue(theLayer, "da
2430: 74 61 22 29 29 0d 0a 09 09 09 72 65 74 75 72 6e ta")).....return
2440: 20 6e 65 77 20 53 74 72 4c 69 74 65 72 61 6c 28 new StrLiteral(
2450: 70 6f 73 2c 20 76 2e 64 61 74 61 29 3b 0d 0a 09 pos, v.data);...
2460: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
2470: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 timeException(ca
2480: 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e st(LexPosition)n
2490: 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 ull, `Invalid AS
24a0: 54 20 7b 69 73 3a 22 73 74 72 22 2c 20 64 61 74 T {is:"str", dat
24b0: 61 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d 60 a:(not string)}`
24c0: 29 3b 0d 0a 09 63 61 73 65 20 22 76 61 72 22 3a );...case "var":
24d0: 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d 20 ....if(auto v =
24e0: 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 t.access!StrValu
24f0: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6e 61 6d e(theLayer, "nam
2500: 65 22 29 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 e")).....return
2510: 6e 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f new VarExpressio
2520: 6e 28 70 6f 73 2c 20 76 2e 64 61 74 61 29 3b 0d n(pos, v.data);.
2530: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
2540: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
2550: 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e cast(LexPosition
2560: 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 )null, `Invalid
2570: 41 53 54 20 7b 69 73 3a 22 76 61 72 22 2c 20 6e AST {is:"var", n
2580: 61 6d 65 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 ame:(not string)
2590: 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 6c 61 79 }`);...case "lay
25a0: 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 ":....if(auto v
25b0: 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 = t.access!StrVa
25c0: 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6c lue(theLayer, "l
25d0: 61 79 65 72 22 29 29 0d 0a 09 09 09 69 66 28 61 ayer")).....if(a
25e0: 75 74 6f 20 65 20 3d 20 74 2e 61 63 63 65 73 73 uto e = t.access
25f0: 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c !Table(theLayer,
2600: 20 22 65 78 70 72 22 29 29 0d 0a 09 09 09 09 72 "expr"))......r
2610: 65 74 75 72 6e 20 6e 65 77 20 4c 61 79 45 78 70 eturn new LayExp
2620: 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 2e 64 ression(pos, v.d
2630: 61 74 61 2c 20 74 61 62 6c 65 54 6f 41 53 54 28 ata, tableToAST(
2640: 74 68 65 4c 61 79 65 72 2c 65 29 29 3b 0d 0a 09 theLayer,e));...
2650: 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f ..else......thro
2660: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2670: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 xception(cast(Le
2680: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 xPosition)null,
2690: 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 `Invalid AST {is
26a0: 3a 22 6c 61 79 22 2c 20 65 78 70 72 3a 28 6e 6f :"lay", expr:(no
26b0: 74 20 74 61 62 6c 65 29 7d 60 29 3b 0d 0a 09 09 t table)}`);....
26c0: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
26d0: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 imeException(cas
26e0: 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 t(LexPosition)nu
26f0: 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 ll, `Invalid AST
2700: 20 7b 69 73 3a 22 6c 61 79 22 2c 20 6c 61 79 65 {is:"lay", laye
2710: 72 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d 60 r:(not string)}`
2720: 29 3b 0d 0a 09 63 61 73 65 20 22 6c 65 74 22 3a );...case "let":
2730: 0d 0a 09 09 69 66 28 61 75 74 6f 20 6e 20 3d 20 ....if(auto n =
2740: 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 t.access!StrValu
2750: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6e 61 6d e(theLayer, "nam
2760: 65 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 e"))....if(auto
2770: 65 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 e = t.access!Tab
2780: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 69 6e le(theLayer, "in
2790: 69 74 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f it"))....if(auto
27a0: 20 62 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 b = t.access!Ta
27b0: 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 65 ble(theLayer, "e
27c0: 78 70 72 22 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 xpr"))....{.....
27d0: 73 74 72 69 6e 67 20 6e 6e 20 3d 20 6e 2e 64 61 string nn = n.da
27e0: 74 61 3b 0d 0a 09 09 09 61 75 74 6f 20 65 65 20 ta;.....auto ee
27f0: 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 = tableToAST(the
2800: 4c 61 79 65 72 2c 20 65 29 3b 0d 0a 09 09 09 61 Layer, e);.....a
2810: 75 74 6f 20 62 62 20 3d 20 74 61 62 6c 65 54 6f uto bb = tableTo
2820: 41 53 54 28 74 68 65 4c 61 79 65 72 2c 20 62 29 AST(theLayer, b)
2830: 3b 0d 0a 09 09 09 4c 61 79 65 72 20 6c 61 79 3d ;.....Layer lay=
2840: 22 22 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 "";.....if(auto
2850: 6c 20 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 l = t.access!Str
2860: 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 Value(theLayer,
2870: 22 6c 61 79 65 72 22 29 29 0d 0a 09 09 09 09 6c "layer"))......l
2880: 61 79 20 3d 20 6c 2e 64 61 74 61 3b 0d 0a 09 09 ay = l.data;....
2890: 09 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 .return new LetE
28a0: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6e xpression(pos, n
28b0: 6e 2c 20 6c 61 79 2c 20 65 65 2c 20 62 62 29 3b n, lay, ee, bb);
28c0: 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 ....}....throw g
28d0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
28e0: 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f ption(cast(LexPo
28f0: 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e sition)null, `In
2900: 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 6c valid AST {is:"l
2910: 65 74 22 2c 20 6e 61 6d 65 3a 22 3f 3f 3f 22 2c et", name:"???",
2920: 20 69 6e 69 74 3a 22 3f 3f 3f 22 2c 20 65 78 70 init:"???", exp
2930: 72 3a 22 3f 3f 3f 22 7d 60 29 3b 0d 0a 09 63 61 r:"???"}`);...ca
2940: 73 65 20 22 61 70 70 22 3a 0d 0a 09 09 69 66 28 se "app":....if(
2950: 61 75 74 6f 20 66 20 3d 20 74 2e 61 63 63 65 73 auto f = t.acces
2960: 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 s!Table(theLayer
2970: 2c 20 22 66 75 6e 22 29 29 0d 0a 09 09 69 66 28 , "fun"))....if(
2980: 61 75 74 6f 20 61 20 3d 20 74 2e 61 63 63 65 73 auto a = t.acces
2990: 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 s!Table(theLayer
29a0: 2c 20 22 61 72 67 73 22 29 29 0d 0a 09 09 09 72 , "args")).....r
29b0: 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c eturn new Funcal
29c0: 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c lExpression(pos,
29d0: 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 4c tableToAST(theL
29e0: 61 79 65 72 2c 66 29 2c 20 74 61 62 6c 65 54 6f ayer,f), tableTo
29f0: 41 53 54 4c 69 73 74 28 74 68 65 4c 61 79 65 72 ASTList(theLayer
2a00: 2c 61 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 ,a));....throw g
2a10: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
2a20: 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f ption(cast(LexPo
2a30: 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e sition)null, `In
2a40: 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 61 valid AST {is:"a
2a50: 70 70 22 2c 20 66 75 6e 3a 3f 3f 3f 2c 20 61 72 pp", fun:???, ar
2a60: 67 73 3a 3f 3f 3f 7d 60 29 3b 0d 0a 09 63 61 73 gs:???}`);...cas
2a70: 65 20 22 66 75 6e 22 3a 0d 0a 09 09 69 66 28 61 e "fun":....if(a
2a80: 75 74 6f 20 70 20 3d 20 74 2e 61 63 63 65 73 73 uto p = t.access
2a90: 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c !Table(theLayer,
2aa0: 20 22 70 61 72 61 6d 73 22 29 29 0d 0a 09 09 69 "params"))....i
2ab0: 66 28 61 75 74 6f 20 62 20 3d 20 74 2e 61 63 63 f(auto b = t.acc
2ac0: 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 ess!Table(theLay
2ad0: 65 72 2c 20 22 66 75 6e 62 6f 64 79 22 29 29 0d er, "funbody")).
2ae0: 0a 09 09 7b 0d 0a 09 09 09 50 61 72 61 6d 65 74 ...{.....Paramet
2af0: 65 72 5b 5d 20 70 73 3b 0d 0a 09 09 09 66 6f 72 er[] ps;.....for
2b00: 65 61 63 68 28 76 3b 20 74 61 62 6c 65 41 73 43 each(v; tableAsC
2b10: 6f 6e 73 4c 69 73 74 28 74 68 65 4c 61 79 65 72 onsList(theLayer
2b20: 2c 20 70 29 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 , p)).....{.....
2b30: 09 69 66 28 61 75 74 6f 20 74 74 20 3d 20 63 61 .if(auto tt = ca
2b40: 73 74 28 54 61 62 6c 65 29 76 29 0d 0a 09 09 09 st(Table)v).....
2b50: 09 69 66 28 61 75 74 6f 20 73 73 20 3d 20 74 74 .if(auto ss = tt
2b60: 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 .access!StrValue
2b70: 28 74 68 65 4c 61 79 65 72 2c 20 22 6e 61 6d 65 (theLayer, "name
2b80: 22 29 29 0d 0a 09 09 09 09 69 66 28 61 75 74 6f "))......if(auto
2b90: 20 6c 6c 20 3d 20 74 74 2e 61 63 63 65 73 73 21 ll = tt.access!
2ba0: 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 Table(theLayer,
2bb0: 22 6c 61 79 65 72 73 22 29 29 0d 0a 09 09 09 09 "layers"))......
2bc0: 7b 0d 0a 09 09 09 09 09 4c 61 79 65 72 5b 5d 20 {.......Layer[]
2bd0: 6c 73 3b 0d 0a 09 09 09 09 09 66 6f 72 65 61 63 ls;.......foreac
2be0: 68 28 6c 6c 6c 3b 20 74 61 62 6c 65 41 73 43 6f h(lll; tableAsCo
2bf0: 6e 73 4c 69 73 74 28 74 68 65 4c 61 79 65 72 2c nsList(theLayer,
2c00: 20 6c 6c 29 29 0d 0a 09 09 09 09 09 09 69 66 28 ll))........if(
2c10: 61 75 74 6f 20 6c 20 3d 20 63 61 73 74 28 53 74 auto l = cast(St
2c20: 72 56 61 6c 75 65 29 6c 6c 6c 29 0d 0a 09 09 09 rValue)lll).....
2c30: 09 09 09 09 6c 73 20 7e 3d 20 6c 2e 64 61 74 61 ....ls ~= l.data
2c40: 3b 0d 0a 09 09 09 09 09 09 65 6c 73 65 0d 0a 09 ;........else...
2c50: 09 09 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 ......throw gene
2c60: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
2c70: 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 on(cast(LexPosit
2c80: 69 6f 6e 29 6e 75 6c 6c 2c 20 73 70 72 69 6e 74 ion)null, sprint
2c90: 66 21 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b f!`Invalid AST {
2ca0: 62 61 64 20 66 75 6e 20 70 61 72 61 6d 73 20 25 bad fun params %
2cb0: 73 7d 60 28 6c 6c 6c 29 29 3b 0d 0a 09 09 09 09 s}`(lll));......
2cc0: 09 70 73 20 7e 3d 20 6e 65 77 20 50 61 72 61 6d .ps ~= new Param
2cd0: 65 74 65 72 28 73 73 2e 64 61 74 61 2c 20 6c 73 eter(ss.data, ls
2ce0: 29 3b 0d 0a 09 09 09 09 09 63 6f 6e 74 69 6e 75 );.......continu
2cf0: 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 65 e;......}......e
2d00: 6c 73 65 0d 0a 09 09 09 09 7b 0d 0a 09 09 09 09 lse......{......
2d10: 09 4c 61 79 65 72 5b 5d 20 65 6d 70 3b 0d 0a 09 .Layer[] emp;...
2d20: 09 09 09 09 70 73 20 7e 3d 20 6e 65 77 20 50 61 ....ps ~= new Pa
2d30: 72 61 6d 65 74 65 72 28 73 73 2e 64 61 74 61 2c rameter(ss.data,
2d40: 20 65 6d 70 29 3b 0d 0a 09 09 09 09 09 63 6f 6e emp);.......con
2d50: 74 69 6e 75 65 3b 0d 0a 09 09 09 09 7d 0d 0a 09 tinue;......}...
2d60: 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
2d70: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
2d80: 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e cast(LexPosition
2d90: 29 6e 75 6c 6c 2c 20 73 70 72 69 6e 74 66 21 60 )null, sprintf!`
2da0: 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 62 61 64 Invalid AST {bad
2db0: 20 66 75 6e 20 70 61 72 61 6d 73 20 25 73 7d 60 fun params %s}`
2dc0: 28 76 29 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 (v));.....}.....
2dd0: 61 75 74 6f 20 62 62 20 3d 20 74 61 62 6c 65 54 auto bb = tableT
2de0: 6f 41 53 54 28 74 68 65 4c 61 79 65 72 2c 20 62 oAST(theLayer, b
2df0: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 );.....return ne
2e00: 77 20 46 75 6e 4c 69 74 65 72 61 6c 28 70 6f 73 w FunLiteral(pos
2e10: 2c 70 73 2c 62 62 29 3b 0d 0a 09 09 7d 0d 0a 09 ,ps,bb);....}...
2e20: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
2e30: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 timeException(ca
2e40: 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e st(LexPosition)n
2e50: 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 ull, `Invalid AS
2e60: 54 20 7b 69 73 3a 22 66 75 6e 22 2c 20 70 61 72 T {is:"fun", par
2e70: 61 6d 3a 3f 3f 3f 2c 20 62 6f 64 79 3a 3f 3f 3f am:???, body:???
2e80: 7d 60 29 3b 0d 0a 09 64 65 66 61 75 6c 74 3a 0d }`);...default:.
2e90: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
2ea0: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
2eb0: 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e cast(LexPosition
2ec0: 29 6e 75 6c 6c 2c 20 73 70 72 69 6e 74 66 21 60 )null, sprintf!`
2ed0: 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a Invalid AST {is:
2ee0: 20 22 25 73 22 7d 20 75 6e 6b 6e 6f 77 6e 60 28 "%s"} unknown`(
2ef0: 6e 6f 64 65 54 79 70 65 2e 64 61 74 61 29 29 3b nodeType.data));
2f00: 0d 0a 09 7d 0d 0a 7d 0d 0a ...}..}..