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 69 6d 70 6f 72 74 20 73 74 64 2e er;..import std.
0110: 73 74 72 69 6e 67 3b 0d 0a 0d 0a 2f 2f 2f 20 52 string;..../// R
0120: 75 6e 74 69 6d 65 20 76 61 6c 75 65 73 20 6f 66 untime values of
0130: 20 50 6f 6c 65 6d 79 0d 0a 0d 0a 61 62 73 74 72 Polemy....abstr
0140: 61 63 74 20 63 6c 61 73 73 20 56 61 6c 75 65 0d act class Value.
0150: 0a 7b 0d 0a 09 6f 76 65 72 72 69 64 65 20 62 6f .{...override bo
0160: 6f 6c 20 6f 70 45 71 75 61 6c 73 28 4f 62 6a 65 ol opEquals(Obje
0170: 63 74 20 72 68 73 29 20 7b 20 72 65 74 75 72 6e ct rhs) { return
0180: 20 30 3d 3d 6f 70 43 6d 70 28 72 68 73 29 3b 20 0==opCmp(rhs);
0190: 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 }..}....///..cla
01a0: 73 73 20 49 6e 74 56 61 6c 75 65 20 3a 20 56 61 ss IntValue : Va
01b0: 6c 75 65 0d 0a 7b 0d 0a 09 42 69 67 49 6e 74 20 lue..{...BigInt
01c0: 64 61 74 61 3b 0d 0a 0d 0a 09 74 68 69 73 28 69 data;.....this(i
01d0: 6e 74 20 6e 29 20 7b 20 74 68 69 73 2e 64 61 74 nt n) { this.dat
01e0: 61 20 3d 20 6e 3b 20 7d 0d 0a 09 74 68 69 73 28 a = n; }...this(
01f0: 6c 6f 6e 67 20 6e 29 20 7b 20 74 68 69 73 2e 64 long n) { this.d
0200: 61 74 61 20 3d 20 6e 3b 20 7d 0d 0a 09 74 68 69 ata = n; }...thi
0210: 73 28 42 69 67 49 6e 74 20 6e 29 20 7b 20 74 68 s(BigInt n) { th
0220: 69 73 2e 64 61 74 61 20 3d 20 6e 3b 20 7d 0d 0a is.data = n; }..
0230: 09 74 68 69 73 28 73 74 72 69 6e 67 20 6e 29 20 .this(string n)
0240: 7b 20 74 68 69 73 2e 64 61 74 61 20 3d 20 42 69 { this.data = Bi
0250: 67 49 6e 74 28 6e 29 3b 20 7d 0d 0a 09 6f 76 65 gInt(n); }...ove
0260: 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 rride string toS
0270: 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 tring() const {
0280: 72 65 74 75 72 6e 20 74 6f 44 65 63 69 6d 61 6c return toDecimal
0290: 53 74 72 69 6e 67 28 63 61 73 74 28 42 69 67 49 String(cast(BigI
02a0: 6e 74 29 64 61 74 61 29 3b 20 7d 0d 0a 09 6f 76 nt)data); }...ov
02b0: 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 6d 70 erride int opCmp
02c0: 28 4f 62 6a 65 63 74 20 72 68 73 29 20 7b 0d 0a (Object rhs) {..
02d0: 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 ..if(auto r = ca
02e0: 73 74 28 49 6e 74 56 61 6c 75 65 29 72 68 73 29 st(IntValue)rhs)
02f0: 20 72 65 74 75 72 6e 20 64 61 74 61 2e 6f 70 43 return data.opC
0300: 6d 70 28 72 2e 64 61 74 61 29 3b 0d 0a 09 09 69 mp(r.data);....i
0310: 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 28 f(auto r = cast(
0320: 56 61 6c 75 65 29 72 68 73 29 20 20 20 20 72 65 Value)rhs) re
0330: 74 75 72 6e 20 74 79 70 65 69 64 28 74 68 69 73 turn typeid(this
0340: 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 64 28 72 ).opCmp(typeid(r
0350: 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e ));....throw gen
0360: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
0370: 69 6f 6e 28 4c 65 78 50 6f 73 69 74 69 6f 6e 2e ion(LexPosition.
0380: 64 75 6d 6d 79 2c 20 22 63 6f 6d 70 61 72 69 73 dummy, "comparis
0390: 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 20 61 6e on with value an
03a0: 64 20 73 6f 6d 69 74 68 69 6e 67 20 6f 74 68 65 d somithing othe
03b0: 72 22 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 78 69 6e r");...}...mixin
03c0: 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d 0a SimpleToHash;..
03d0: 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 }....///..class
03e0: 53 74 72 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 StrValue : Value
03f0: 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 64 61 74 ..{...string dat
0400: 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d a;.....mixin Sim
0410: 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d pleConstructor;.
0420: 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e ..override strin
0430: 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e g toString() con
0440: 73 74 20 7b 20 72 65 74 75 72 6e 20 64 61 74 61 st { return data
0450: 3b 20 7d 0d 0a 09 6f 76 65 72 72 69 64 65 20 69 ; }...override i
0460: 6e 74 20 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 nt opCmp(Object
0470: 72 68 73 29 20 7b 0d 0a 09 09 69 66 28 61 75 74 rhs) {....if(aut
0480: 6f 20 72 20 3d 20 63 61 73 74 28 53 74 72 56 61 o r = cast(StrVa
0490: 6c 75 65 29 72 68 73 29 20 72 65 74 75 72 6e 20 lue)rhs) return
04a0: 74 79 70 65 69 64 28 73 74 72 69 6e 67 29 2e 63 typeid(string).c
04b0: 6f 6d 70 61 72 65 28 26 64 61 74 61 2c 20 26 72 ompare(&data, &r
04c0: 2e 64 61 74 61 29 3b 0d 0a 09 09 69 66 28 61 75 .data);....if(au
04d0: 74 6f 20 72 20 3d 20 63 61 73 74 28 56 61 6c 75 to r = cast(Valu
04e0: 65 29 72 68 73 29 20 20 20 20 72 65 74 75 72 6e e)rhs) return
04f0: 20 74 79 70 65 69 64 28 74 68 69 73 29 2e 6f 70 typeid(this).op
0500: 43 6d 70 28 74 79 70 65 69 64 28 72 29 29 3b 0d Cmp(typeid(r));.
0510: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
0520: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
0530: 4c 65 78 50 6f 73 69 74 69 6f 6e 2e 64 75 6d 6d LexPosition.dumm
0540: 79 2c 20 22 63 6f 6d 70 61 72 69 73 6f 6e 20 77 y, "comparison w
0550: 69 74 68 20 76 61 6c 75 65 20 61 6e 64 20 73 6f ith value and so
0560: 6d 69 74 68 69 6e 67 20 6f 74 68 65 72 22 29 3b mithing other");
0570: 0d 0a 09 7d 0d 0a 09 6d 69 78 69 6e 20 53 69 6d ...}...mixin Sim
0580: 70 6c 65 54 6f 48 61 73 68 3b 0d 0a 7d 0d 0a 0d pleToHash;..}...
0590: 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 55 6e 64 65 .///..class Unde
05a0: 66 69 6e 65 64 56 61 6c 75 65 20 3a 20 56 61 6c finedValue : Val
05b0: 75 65 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 53 69 ue..{...mixin Si
05c0: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
05d0: 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 ...override stri
05e0: 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f ng toString() co
05f0: 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 22 3c 75 nst { return "<u
0600: 6e 64 65 66 69 6e 65 64 3e 22 3b 20 7d 0d 0a 09 ndefined>"; }...
0610: 6f 76 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 override int opC
0620: 6d 70 28 4f 62 6a 65 63 74 20 72 68 73 29 20 7b mp(Object rhs) {
0630: 0d 0a 09 09 69 66 28 61 75 74 6f 20 72 20 3d 20 ....if(auto r =
0640: 63 61 73 74 28 53 74 72 56 61 6c 75 65 29 72 68 cast(StrValue)rh
0650: 73 29 20 72 65 74 75 72 6e 20 30 3b 0d 0a 09 09 s) return 0;....
0660: 69 66 28 61 75 74 6f 20 72 20 3d 20 63 61 73 74 if(auto r = cast
0670: 28 56 61 6c 75 65 29 72 68 73 29 20 20 20 20 72 (Value)rhs) r
0680: 65 74 75 72 6e 20 74 79 70 65 69 64 28 74 68 69 eturn typeid(thi
0690: 73 29 2e 6f 70 43 6d 70 28 74 79 70 65 69 64 28 s).opCmp(typeid(
06a0: 72 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 r));....throw ge
06b0: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
06c0: 74 69 6f 6e 28 4c 65 78 50 6f 73 69 74 69 6f 6e tion(LexPosition
06d0: 2e 64 75 6d 6d 79 2c 20 22 63 6f 6d 70 61 72 69 .dummy, "compari
06e0: 73 6f 6e 20 77 69 74 68 20 76 61 6c 75 65 20 61 son with value a
06f0: 6e 64 20 73 6f 6d 69 74 68 69 6e 67 20 6f 74 68 nd somithing oth
0700: 65 72 22 29 3b 0d 0a 09 7d 0d 0a 09 6d 69 78 69 er");...}...mixi
0710: 6e 20 53 69 6d 70 6c 65 54 6f 48 61 73 68 3b 0d n SimpleToHash;.
0720: 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 72 .}....///..abstr
0730: 61 63 74 20 63 6c 61 73 73 20 46 75 6e 56 61 6c act class FunVal
0740: 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 ue : Value..{...
0750: 63 6f 6e 73 74 28 50 61 72 61 6d 65 74 65 72 5b const(Parameter[
0760: 5d 29 20 70 61 72 61 6d 73 28 29 3b 0d 0a 09 54 ]) params();...T
0770: 61 62 6c 65 20 64 65 66 69 6e 69 74 69 6f 6e 43 able definitionC
0780: 6f 6e 74 65 78 74 28 29 3b 0d 0a 09 56 61 6c 75 ontext();...Valu
0790: 65 20 69 6e 76 6f 6b 65 28 4c 61 79 65 72 20 6c e invoke(Layer l
07a0: 61 79 2c 20 54 61 62 6c 65 20 63 74 78 2c 20 4c ay, Table ctx, L
07b0: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 29 3b exPosition pos);
07c0: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 74 65 ..}..../// Conte
07d0: 78 74 20 28 76 61 72 69 61 62 6c 65 20 65 6e 76 xt (variable env
07e0: 69 72 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f 20 53 ironment)../// S
07f0: 69 6d 6c 61 72 20 74 6f 20 70 72 6f 74 6f 74 79 imlar to prototy
0800: 70 65 20 63 68 61 69 6e 20 6f 66 20 45 43 4d 41 pe chain of ECMA
0810: 53 63 72 69 70 74 20 65 74 63 2e 0d 0a 2f 2f 2f Script etc...///
0820: 20 42 75 74 20 65 78 74 65 6e 64 65 64 20 77 69 But extended wi
0830: 74 68 20 74 68 65 20 6e 6f 74 69 6f 6e 20 6f 66 th the notion of
0840: 20 22 4c 61 79 65 72 22 0d 0a 0d 0a 63 6c 61 73 "Layer"....clas
0850: 73 20 54 61 62 6c 65 20 3a 20 56 61 6c 75 65 0d s Table : Value.
0860: 0a 7b 0d 0a 09 65 6e 75 6d 20 4b 69 6e 64 20 7b .{...enum Kind {
0870: 50 72 6f 70 61 67 61 74 65 53 65 74 2c 20 4e 6f PropagateSet, No
0880: 74 50 72 6f 70 61 67 61 74 65 53 65 74 7d 3b 0d tPropagateSet};.
0890: 0a 09 62 6f 6f 6c 20 6b 69 6c 6c 20 3d 20 66 61 ..bool kill = fa
08a0: 6c 73 65 3b 20 2f 2f 20 74 6f 20 72 65 66 61 63 lse; // to refac
08b0: 74 6f 72 0d 0a 0d 0a 09 74 68 69 73 28 20 54 61 tor.....this( Ta
08c0: 62 6c 65 20 70 72 6f 74 6f 3d 6e 75 6c 6c 2c 20 ble proto=null,
08d0: 4b 69 6e 64 20 6b 20 3d 20 4b 69 6e 64 2e 50 72 Kind k = Kind.Pr
08e0: 6f 70 61 67 61 74 65 53 65 74 20 29 0d 0a 09 09 opagateSet )....
08f0: 7b 20 74 68 69 73 2e 70 72 6f 74 6f 74 79 70 65 { this.prototype
0900: 20 3d 20 70 72 6f 74 6f 3b 20 74 68 69 73 2e 6b = proto; this.k
0910: 69 6e 64 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 76 ind = k; }.....v
0920: 6f 69 64 20 73 65 74 28 73 74 72 69 6e 67 20 69 oid set(string i
0930: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c , Layer lay, Val
0940: 75 65 20 76 2c 20 4c 65 78 50 6f 73 69 74 69 6f ue v, LexPositio
0950: 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b 0d n pos=null)...{.
0960: 0a 09 09 69 66 28 20 73 65 74 49 66 45 78 69 73 ...if( setIfExis
0970: 74 28 69 2c 20 6c 61 79 2c 20 76 29 20 29 0d 0a t(i, lay, v) )..
0980: 09 09 09 72 65 74 75 72 6e 3b 0d 0a 09 09 64 61 ...return;....da
0990: 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d ta[i][lay] = v;.
09a0: 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 68 61 73 ..}.....bool has
09b0: 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 (string i, Layer
09c0: 20 6c 61 79 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d lay) const...{.
09d0: 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 ...if( i in data
09e0: 20 29 20 7b 0d 0a 09 09 09 69 66 28 20 6c 61 79 ) {.....if( lay
09f0: 20 21 69 6e 20 64 61 74 61 5b 69 5d 20 29 0d 0a !in data[i] )..
0a00: 09 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 ....return false
0a10: 3b 0d 0a 09 09 09 69 66 28 6b 69 6c 6c 29 0d 0a ;.....if(kill)..
0a20: 09 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 ....return false
0a30: 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 ;.....return tru
0a40: 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 70 e;....}....if( p
0a50: 72 6f 74 6f 74 79 70 65 20 69 73 20 6e 75 6c 6c rototype is null
0a60: 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 61 ).....return fa
0a70: 6c 73 65 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 lse;....return p
0a80: 72 6f 74 6f 74 79 70 65 2e 68 61 73 28 69 2c 20 rototype.has(i,
0a90: 6c 61 79 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 lay);...}......V
0aa0: 61 6c 75 65 20 67 65 74 28 73 74 72 69 6e 67 20 alue get(string
0ab0: 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 4c 65 i, Layer lay, Le
0ac0: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 xPosition pos=nu
0ad0: 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 69 ll)...{....if( i
0ae0: 20 69 6e 20 64 61 74 61 20 29 20 7b 0d 0a 09 09 in data ) {....
0af0: 09 2f 2f 20 5b 54 4f 44 4f 5d 20 63 6f 6e 73 69 .// [TODO] consi
0b00: 64 65 72 20 66 6f 72 77 61 72 64 69 6e 67 20 74 der forwarding t
0b10: 6f 20 70 72 6f 74 6f 20 61 6c 73 6f 20 69 6e 20 o proto also in
0b20: 74 68 69 73 20 63 61 73 65 0d 0a 09 09 09 69 66 this case.....if
0b30: 28 20 6c 61 79 20 21 69 6e 20 64 61 74 61 5b 69 ( lay !in data[i
0b40: 5d 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 ] )......throw g
0b50: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
0b60: 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e ption(pos, sprin
0b70: 74 66 21 22 27 25 73 27 20 69 73 20 6e 6f 74 20 tf!"'%s' is not
0b80: 73 65 74 20 69 6e 20 6c 61 79 65 72 20 25 73 22 set in layer %s"
0b90: 28 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 09 69 66 (i,lay));.....if
0ba0: 28 6b 69 6c 6c 29 0d 0a 09 09 09 09 74 68 72 6f (kill)......thro
0bb0: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
0bc0: 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 xception(pos, sp
0bd0: 72 69 6e 74 66 21 22 27 25 73 27 20 69 73 20 6b rintf!"'%s' is k
0be0: 69 6c 6c 65 64 20 69 6e 20 6d 61 63 72 6f 22 28 illed in macro"(
0bf0: 69 29 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 i));.....return
0c00: 64 61 74 61 5b 69 5d 5b 6c 61 79 5d 3b 0d 0a 09 data[i][lay];...
0c10: 09 7d 0d 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 .}....if( protot
0c20: 79 70 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 ype is null )...
0c30: 09 09 74 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 ..throw new Runt
0c40: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 imeException(pos
0c50: 2c 20 73 70 72 69 6e 74 66 21 22 27 25 73 27 20 , sprintf!"'%s'
0c60: 6e 6f 74 20 66 6f 75 6e 64 22 28 69 29 29 3b 0d not found"(i));.
0c70: 0a 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 ...return protot
0c80: 79 70 65 2e 67 65 74 28 69 2c 20 6c 61 79 2c 20 ype.get(i, lay,
0c90: 70 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 54 20 pos);...}.....T
0ca0: 61 63 63 65 73 73 28 54 2c 53 2e 2e 2e 29 28 20 access(T,S...)(
0cb0: 4c 61 79 65 72 20 6c 61 79 2c 20 73 74 72 69 6e Layer lay, strin
0cc0: 67 20 70 61 74 68 2c 20 53 20 72 65 73 74 20 29 g path, S rest )
0cd0: 0d 0a 09 7b 0d 0a 09 09 73 74 61 74 69 63 20 69 ...{....static i
0ce0: 66 28 20 72 65 73 74 2e 6c 65 6e 67 74 68 20 3d f( rest.length =
0cf0: 3d 20 30 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 = 0 )....{.....i
0d00: 66 28 20 74 68 69 73 2e 68 61 73 28 70 61 74 68 f( this.has(path
0d10: 2c 20 6c 61 79 29 20 29 0d 0a 09 09 09 09 72 65 , lay) )......re
0d20: 74 75 72 6e 20 63 61 73 74 28 54 29 20 74 68 69 turn cast(T) thi
0d30: 73 2e 67 65 74 28 70 61 74 68 2c 20 6c 61 79 29 s.get(path, lay)
0d40: 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a ;....}....else..
0d50: 09 09 7b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 ..{.....if(auto
0d60: 6e 65 78 74 20 3d 20 74 68 69 73 2e 61 63 63 65 next = this.acce
0d70: 73 73 21 54 61 62 6c 65 28 6c 61 79 2c 70 61 74 ss!Table(lay,pat
0d80: 68 29 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 h))......return
0d90: 6e 65 78 74 2e 61 63 63 65 73 73 21 54 28 6c 61 next.access!T(la
0da0: 79 2c 72 65 73 74 29 3b 0d 0a 09 09 7d 0d 0a 09 y,rest);....}...
0db0: 09 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 09 .return null;...
0dc0: 7d 0d 0a 0d 0a 09 73 74 72 69 6e 67 20 74 6f 53 }.....string toS
0dd0: 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 65 tringWithoutPare
0de0: 6e 28 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d 0a 09 n() const...{...
0df0: 09 73 74 72 69 6e 67 20 72 65 73 75 6c 74 3b 0d .string result;.
0e00: 0a 09 09 62 6f 6f 6c 20 66 69 72 73 74 20 3d 20 ...bool first =
0e10: 74 72 75 65 3b 0d 0a 09 09 66 6f 72 65 61 63 68 true;....foreach
0e20: 28 6b 2c 20 6c 32 64 3b 20 64 61 74 61 29 0d 0a (k, l2d; data)..
0e30: 09 09 09 66 6f 72 65 61 63 68 28 6c 2c 64 3b 20 ...foreach(l,d;
0e40: 6c 32 64 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 l2d).....{......
0e50: 69 66 28 66 69 72 73 74 29 20 66 69 72 73 74 3d if(first) first=
0e60: 66 61 6c 73 65 3b 20 65 6c 73 65 20 72 65 73 75 false; else resu
0e70: 6c 74 7e 3d 22 2c 20 22 3b 0d 0a 09 09 09 09 72 lt~=", ";......r
0e80: 65 73 75 6c 74 20 7e 3d 20 6b 3b 0d 0a 09 09 09 esult ~= k;.....
0e90: 09 69 66 28 20 6c 2e 65 6d 70 74 79 20 29 0d 0a .if( l.empty )..
0ea0: 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 .....result ~= "
0eb0: 28 65 6d 70 74 79 6c 61 79 65 72 29 22 3b 0d 0a (emptylayer)";..
0ec0: 09 09 09 09 65 6c 73 65 20 69 66 28 20 6c 20 21 ....else if( l !
0ed0: 3d 20 56 61 6c 75 65 4c 61 79 65 72 20 29 0d 0a = ValueLayer )..
0ee0: 09 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6c .....result ~= l
0ef0: 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d ;......result ~=
0f00: 20 22 3a 22 3b 0d 0a 09 09 09 09 72 65 73 75 6c ":";......resul
0f10: 74 20 7e 3d 20 74 65 78 74 28 63 61 73 74 28 56 t ~= text(cast(V
0f20: 61 6c 75 65 29 64 29 3b 0d 0a 09 09 09 7d 0d 0a alue)d);.....}..
0f30: 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 65 20 ..if( prototype
0f40: 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 7b 0d !is null )....{.
0f50: 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 20 ....result ~= "
0f60: 2f 20 22 3b 0d 0a 09 09 09 72 65 73 75 6c 74 20 / ";.....result
0f70: 7e 3d 20 70 72 6f 74 6f 74 79 70 65 2e 74 6f 53 ~= prototype.toS
0f80: 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 65 tringWithoutPare
0f90: 6e 28 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 n();....}....ret
0fa0: 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 7d 0d urn result;...}.
0fb0: 0a 09 0d 0a 09 73 74 72 69 6e 67 20 74 6f 53 74 .....string toSt
0fc0: 72 69 6e 67 28 29 20 63 6f 6e 73 74 0d 0a 09 7b ring() const...{
0fd0: 0d 0a 09 09 72 65 74 75 72 6e 20 22 7b 22 20 7e ....return "{" ~
0fe0: 20 74 6f 53 74 72 69 6e 67 57 69 74 68 6f 75 74 toStringWithout
0ff0: 50 61 72 65 6e 28 29 20 7e 20 22 7d 22 3b 0d 0a Paren() ~ "}";..
1000: 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a .}....private:..
1010: 09 54 61 62 6c 65 20 20 20 20 20 20 20 20 20 20 .Table
1020: 20 20 20 20 20 20 70 72 6f 74 6f 74 79 70 65 3b prototype;
1030: 0d 0a 09 4b 69 6e 64 20 20 20 20 20 20 20 20 20 ...Kind
1040: 20 20 20 20 20 20 20 20 6b 69 6e 64 3b 0d 0a 09 kind;...
1050: 56 61 6c 75 65 5b 4c 61 79 65 72 5d 5b 73 74 72 Value[Layer][str
1060: 69 6e 67 5d 20 64 61 74 61 3b 0d 0a 0d 0a 09 62 ing] data;.....b
1070: 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 74 28 73 ool setIfExist(s
1080: 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c tring i, Layer l
1090: 61 79 2c 20 56 61 6c 75 65 20 76 29 0d 0a 09 7b ay, Value v)...{
10a0: 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 ....if( i in dat
10b0: 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 64 61 74 a )....{.....dat
10c0: 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a a[i][lay] = v;..
10d0: 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0d ...return true;.
10e0: 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b 69 6e 64 ...}....if( kind
10f0: 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 ==Kind.Propagate
1100: 53 65 74 20 26 26 20 70 72 6f 74 6f 74 79 70 65 Set && prototype
1110: 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 !is null ).....
1120: 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 65 return prototype
1130: 2e 73 65 74 49 66 45 78 69 73 74 28 69 2c 20 6c .setIfExist(i, l
1140: 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 74 75 72 ay, v);....retur
1150: 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d 0a 7d 0d n false;...}..}.
1160: 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a ...unittest..{..
1170: 09 54 61 62 6c 65 20 63 30 20 3d 20 6e 65 77 20 .Table c0 = new
1180: 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c 65 20 63 Table;...Table c
1190: 30 31 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 01 = new Table(c
11a0: 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 0, Table.Kind.No
11b0: 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d tPropagateSet);.
11c0: 0a 09 54 61 62 6c 65 20 63 30 31 32 20 3d 20 6e ..Table c012 = n
11d0: 65 77 20 54 61 62 6c 65 28 63 30 31 2c 20 54 61 ew Table(c01, Ta
11e0: 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 61 ble.Kind.Propaga
11f0: 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c 65 20 teSet);...Table
1200: 63 30 31 33 20 3d 20 6e 65 77 20 54 61 62 6c 65 c013 = new Table
1210: 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 (c01, Table.Kind
1220: 2e 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d .PropagateSet);.
1230: 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ....assert_nothr
1240: 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 78 22 ow( c012.set("x"
1250: 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 , ValueLayer, ne
1260: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1270: 74 28 31 32 29 29 29 20 29 3b 0d 0a 09 61 73 73 t(12))) );...ass
1280: 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d ert_throw!Runtim
1290: 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 31 33 eException( c013
12a0: 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c .get("x", ValueL
12b0: 61 79 65 72 29 20 29 3b 0d 0a 09 61 73 73 65 72 ayer) );...asser
12c0: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 33 2e t_nothrow( c013.
12d0: 73 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 set("x", ValueLa
12e0: 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 yer, new IntValu
12f0: 65 28 42 69 67 49 6e 74 28 31 33 29 29 29 20 29 e(BigInt(13))) )
1300: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
1310: 30 31 33 2e 67 65 74 28 22 78 22 2c 20 56 61 6c 013.get("x", Val
1320: 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e ueLayer), new In
1330: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 33 tValue(BigInt(13
1340: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
1350: 71 28 20 63 30 31 32 2e 67 65 74 28 22 78 22 2c q( c012.get("x",
1360: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1370: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1380: 74 28 31 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 t(12)) );...asse
1390: 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 rt_throw!Runtime
13a0: 45 78 63 65 70 74 69 6f 6e 28 20 63 30 31 2e 67 Exception( c01.g
13b0: 65 74 28 22 78 22 2c 20 56 61 6c 75 65 4c 61 79 et("x", ValueLay
13c0: 65 72 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 er) );.....asser
13d0: 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 2e 73 t_nothrow( c01.s
13e0: 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 et("y", ValueLay
13f0: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
1400: 28 42 69 67 49 6e 74 28 31 29 29 29 20 29 3b 0d (BigInt(1))) );.
1410: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
1420: 33 2e 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 3.get("y", Value
1430: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
1440: 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 alue(BigInt(1))
1450: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1460: 63 30 31 32 2e 67 65 74 28 22 79 22 2c 20 56 61 c012.get("y", Va
1470: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1480: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 ntValue(BigInt(1
1490: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
14a0: 71 28 20 63 30 31 2e 67 65 74 28 22 79 22 2c 20 q( c01.get("y",
14b0: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
14c0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
14d0: 28 31 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 (1)) );.....asse
14e0: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 2e 73 rt_nothrow( c0.s
14f0: 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 et("z", ValueLay
1500: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
1510: 28 42 69 67 49 6e 74 28 30 29 29 29 20 29 3b 0d (BigInt(0))) );.
1520: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 ..assert_eq( c01
1530: 33 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 3.get("z", Value
1540: 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 Layer), new IntV
1550: 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 alue(BigInt(0))
1560: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1570: 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 56 61 c012.get("z", Va
1580: 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 20 49 lueLayer), new I
1590: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 ntValue(BigInt(0
15a0: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
15b0: 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 q( c01.get("z",
15c0: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
15d0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
15e0: 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 (0)) );...assert
15f0: 5f 65 71 28 20 63 30 2e 67 65 74 28 22 7a 22 2c _eq( c0.get("z",
1600: 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 ValueLayer), ne
1610: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1620: 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 73 t(0)) );.....ass
1630: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 ert_nothrow( c01
1640: 32 2e 73 65 74 28 22 79 22 2c 20 56 61 6c 75 65 2.set("y", Value
1650: 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 Layer, new IntVa
1660: 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 lue(BigInt(444))
1670: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1680: 28 20 63 30 31 33 2e 67 65 74 28 22 79 22 2c 20 ( c013.get("y",
1690: 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e 65 77 ValueLayer), new
16a0: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
16b0: 28 34 34 34 29 29 20 29 3b 0d 0a 09 61 73 73 65 (444)) );...asse
16c0: 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 rt_eq( c012.get(
16d0: 22 79 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 "y", ValueLayer)
16e0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
16f0: 69 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a igInt(444)) );..
1700: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e .assert_eq( c01.
1710: 67 65 74 28 22 79 22 2c 20 56 61 6c 75 65 4c 61 get("y", ValueLa
1720: 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c yer), new IntVal
1730: 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 20 ue(BigInt(444))
1740: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f );.....assert_no
1750: 74 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 throw( c012.set(
1760: 22 7a 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c "z", ValueLayer,
1770: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1780: 67 49 6e 74 28 35 35 35 29 29 29 20 29 3b 0d 0a gInt(555))) );..
1790: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 .assert_eq( c013
17a0: 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 75 65 4c .get("z", ValueL
17b0: 61 79 65 72 29 2c 20 6e 65 77 20 49 6e 74 56 61 ayer), new IntVa
17c0: 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 lue(BigInt(0)) )
17d0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
17e0: 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 56 61 6c 012.get("z", 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 35 35 tValue(BigInt(55
1810: 35 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 5)) );...assert_
1820: 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c eq( c01.get("z",
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 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(0)) );...asser
1860: 74 5f 65 71 28 20 63 30 2e 67 65 74 28 22 7a 22 t_eq( c0.get("z"
1870: 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 6e , ValueLayer), n
1880: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
1890: 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 2f 2f nt(0)) );.....//
18a0: 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e 65 20 74 [TODO] define t
18b0: 68 65 20 73 65 6d 61 6e 74 69 63 73 20 61 6e 64 he semantics and
18c0: 20 74 65 73 74 20 40 6c 61 79 65 72 73 0d 0a 7d test @layers..}
18d0: 0d 0a 0d 0a 69 6d 6d 75 74 61 62 6c 65 28 4c 65 ....immutable(Le
18e0: 78 50 6f 73 69 74 69 6f 6e 29 20 65 78 74 72 61 xPosition) extra
18f0: 63 74 50 6f 73 28 20 54 61 62 6c 65 20 74 20 29 ctPos( Table t )
1900: 0d 0a 7b 0d 0a 09 4c 61 79 65 72 20 74 68 65 4c ..{...Layer theL
1910: 61 79 65 72 20 3d 20 56 61 6c 75 65 4c 61 79 65 ayer = ValueLaye
1920: 72 3b 0d 0a 09 69 66 28 61 75 74 6f 20 74 74 20 r;...if(auto tt
1930: 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 = t.access!Table
1940: 28 74 68 65 4c 61 79 65 72 2c 20 22 70 6f 73 22 (theLayer, "pos"
1950: 29 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 66 ))...{....auto f
1960: 6e 20 3d 20 74 74 2e 61 63 63 65 73 73 21 53 74 n = tt.access!St
1970: 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c rValue(theLayer,
1980: 20 22 66 69 6c 65 6e 61 6d 65 22 29 3b 0d 0a 09 "filename");...
1990: 09 61 75 74 6f 20 6c 6e 20 3d 20 74 74 2e 61 63 .auto ln = tt.ac
19a0: 63 65 73 73 21 49 6e 74 56 61 6c 75 65 28 74 68 cess!IntValue(th
19b0: 65 4c 61 79 65 72 2c 20 22 6c 69 6e 65 6e 6f 22 eLayer, "lineno"
19c0: 29 3b 0d 0a 09 09 61 75 74 6f 20 63 6c 20 3d 20 );....auto cl =
19d0: 74 74 2e 61 63 63 65 73 73 21 49 6e 74 56 61 6c tt.access!IntVal
19e0: 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 63 6f ue(theLayer, "co
19f0: 6c 75 6d 6e 22 29 3b 0d 0a 09 09 69 66 28 66 6e lumn");....if(fn
1a00: 20 21 69 73 20 6e 75 6c 6c 20 26 26 20 6c 6e 20 !is null && ln
1a10: 21 69 73 20 6e 75 6c 6c 20 26 26 20 63 6c 20 21 !is null && cl !
1a20: 69 73 20 6e 75 6c 6c 29 0d 0a 09 09 09 72 65 74 is null).....ret
1a30: 75 72 6e 20 6e 65 77 20 69 6d 6d 75 74 61 62 6c urn new immutabl
1a40: 65 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 28 66 e(LexPosition)(f
1a50: 6e 2e 64 61 74 61 2c 63 61 73 74 28 69 6e 74 29 n.data,cast(int)
1a60: 6c 6e 2e 64 61 74 61 2e 74 6f 49 6e 74 2c 63 61 ln.data.toInt,ca
1a70: 73 74 28 69 6e 74 29 63 6c 2e 64 61 74 61 2e 74 st(int)cl.data.t
1a80: 6f 49 6e 74 29 3b 0d 0a 09 7d 0d 0a 09 72 65 74 oInt);...}...ret
1a90: 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 7d 0d 0a 0d 0a urn null;..}....
1aa0: 56 61 6c 75 65 5b 5d 20 74 61 62 6c 65 41 73 43 Value[] tableAsC
1ab0: 6f 6e 73 4c 69 73 74 28 20 4c 61 79 65 72 20 74 onsList( Layer t
1ac0: 68 65 4c 61 79 65 72 2c 20 54 61 62 6c 65 20 74 heLayer, Table t
1ad0: 20 29 0d 0a 7b 0d 0a 09 56 61 6c 75 65 5b 5d 20 )..{...Value[]
1ae0: 72 65 73 75 6c 74 3b 0d 0a 09 77 68 69 6c 65 28 result;...while(
1af0: 74 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 t)....if(auto v
1b00: 20 3d 20 74 2e 61 63 63 65 73 73 21 56 61 6c 75 = t.access!Valu
1b10: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 63 61 72 e(theLayer, "car
1b20: 22 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 72 65 73 "))....{.....res
1b30: 75 6c 74 20 7e 3d 20 76 3b 0d 0a 09 09 09 74 20 ult ~= v;.....t
1b40: 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 = t.access!Table
1b50: 28 74 68 65 4c 61 79 65 72 2c 20 22 63 64 72 22 (theLayer, "cdr"
1b60: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d );....}....else.
1b70: 0a 09 09 09 62 72 65 61 6b 3b 0d 0a 09 72 65 74 ....break;...ret
1b80: 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 7d 0d 0a urn result;..}..
1b90: 0d 0a 41 53 54 5b 5d 20 74 61 62 6c 65 54 6f 41 ..AST[] tableToA
1ba0: 53 54 4c 69 73 74 28 20 4c 61 79 65 72 20 74 68 STList( Layer th
1bb0: 65 4c 61 79 65 72 2c 20 54 61 62 6c 65 20 74 20 eLayer, Table t
1bc0: 29 0d 0a 7b 0d 0a 09 41 53 54 5b 5d 20 72 65 73 )..{...AST[] res
1bd0: 75 6c 74 3b 0d 0a 09 66 6f 72 65 61 63 68 28 76 ult;...foreach(v
1be0: 3b 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c 69 73 ; tableAsConsLis
1bf0: 74 28 74 68 65 4c 61 79 65 72 2c 20 74 29 29 0d t(theLayer, t)).
1c00: 0a 09 09 69 66 28 61 75 74 6f 20 74 20 3d 20 63 ...if(auto t = c
1c10: 61 73 74 28 54 61 62 6c 65 29 76 29 0d 0a 09 09 ast(Table)v)....
1c20: 09 72 65 73 75 6c 74 20 7e 3d 20 74 61 62 6c 65 .result ~= table
1c30: 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72 2c 74 ToAST(theLayer,t
1c40: 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 74 );....else.....t
1c50: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
1c60: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
1c70: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
1c80: 6c 2c 20 22 49 6e 76 61 6c 69 64 20 41 53 54 20 l, "Invalid AST
1c90: 28 6e 6f 6e 2d 74 61 62 6c 65 20 69 6e 20 63 6f (non-table in co
1ca0: 6e 73 2d 6c 69 73 74 29 22 29 3b 0d 0a 09 72 65 ns-list)");...re
1cb0: 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 7d 0d turn result;..}.
1cc0: 0a 0d 0a 41 53 54 20 74 61 62 6c 65 54 6f 41 53 ...AST tableToAS
1cd0: 54 28 20 4c 61 79 65 72 20 74 68 65 4c 61 79 65 T( Layer theLaye
1ce0: 72 2c 20 56 61 6c 75 65 20 76 76 76 76 20 29 0d r, Value vvvv ).
1cf0: 0a 7b 0d 0a 09 54 61 62 6c 65 20 74 20 3d 20 63 .{...Table t = c
1d00: 61 73 74 28 54 61 62 6c 65 29 76 76 76 76 3b 0d ast(Table)vvvv;.
1d10: 0a 09 69 66 28 20 74 20 69 73 20 6e 75 6c 6c 20 ..if( t is null
1d20: 29 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 )....throw genex
1d30: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
1d40: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 n(cast(LexPositi
1d50: 6f 6e 29 6e 75 6c 6c 2c 20 22 49 6e 76 61 6c 69 on)null, "Invali
1d60: 64 20 41 53 54 20 28 6e 6f 74 20 61 20 74 61 62 d AST (not a tab
1d70: 6c 65 29 22 29 3b 0d 0a 0d 0a 09 61 75 74 6f 20 le)");.....auto
1d80: 6e 6f 64 65 54 79 70 65 20 3d 20 74 2e 61 63 63 nodeType = t.acc
1d90: 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 ess!StrValue(the
1da0: 4c 61 79 65 72 2c 20 22 69 73 22 29 3b 0d 0a 09 Layer, "is");...
1db0: 69 66 28 20 6e 6f 64 65 54 79 70 65 20 69 73 20 if( nodeType is
1dc0: 6e 75 6c 6c 20 29 0d 0a 09 09 74 68 72 6f 77 20 null )....throw
1dd0: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
1de0: 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 eption(cast(LexP
1df0: 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 22 49 osition)null, "I
1e00: 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 28 nvalid AST {is:(
1e10: 6e 6f 74 20 73 74 72 69 6e 67 29 7d 22 29 3b 0d not string)}");.
1e20: 0a 09 61 75 74 6f 20 70 6f 73 20 3d 20 65 78 74 ..auto pos = ext
1e30: 72 61 63 74 50 6f 73 28 74 29 3b 0d 0a 09 73 77 ractPos(t);...sw
1e40: 69 74 63 68 28 6e 6f 64 65 54 79 70 65 2e 64 61 itch(nodeType.da
1e50: 74 61 29 0d 0a 09 7b 0d 0a 09 63 61 73 65 20 22 ta)...{...case "
1e60: 69 6e 74 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f int":....if(auto
1e70: 20 76 20 3d 20 74 2e 61 63 63 65 73 73 21 49 6e v = t.access!In
1e80: 74 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c tValue(theLayer,
1e90: 20 22 64 61 74 61 22 29 29 0d 0a 09 09 09 72 65 "data")).....re
1ea0: 74 75 72 6e 20 6e 65 77 20 49 6e 74 28 70 6f 73 turn new Int(pos
1eb0: 2c 20 76 2e 64 61 74 61 29 3b 0d 0a 09 09 74 68 , v.data);....th
1ec0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
1ed0: 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 eException(cast(
1ee0: 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c LexPosition)null
1ef0: 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b , `Invalid AST {
1f00: 69 73 3a 22 69 6e 74 22 2c 20 64 61 74 61 3a 28 is:"int", data:(
1f10: 6e 6f 74 20 69 6e 74 29 7d 60 29 3b 0d 0a 09 63 not int)}`);...c
1f20: 61 73 65 20 22 73 74 72 22 3a 0d 0a 09 09 69 66 ase "str":....if
1f30: 28 61 75 74 6f 20 76 20 3d 20 74 2e 61 63 63 65 (auto v = t.acce
1f40: 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 4c ss!StrValue(theL
1f50: 61 79 65 72 2c 20 22 64 61 74 61 22 29 29 0d 0a ayer, "data"))..
1f60: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 ...return new St
1f70: 72 28 70 6f 73 2c 20 76 2e 64 61 74 61 29 3b 0d r(pos, v.data);.
1f80: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
1f90: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
1fa0: 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e cast(LexPosition
1fb0: 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 )null, `Invalid
1fc0: 41 53 54 20 7b 69 73 3a 22 73 74 72 22 2c 20 64 AST {is:"str", d
1fd0: 61 74 61 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 ata:(not string)
1fe0: 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 76 61 72 }`);...case "var
1ff0: 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 ":....if(auto v
2000: 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 = t.access!StrVa
2010: 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6e lue(theLayer, "n
2020: 61 6d 65 22 29 29 0d 0a 09 09 09 72 65 74 75 72 ame")).....retur
2030: 6e 20 6e 65 77 20 56 61 72 28 70 6f 73 2c 20 76 n new Var(pos, v
2040: 2e 64 61 74 61 29 3b 0d 0a 09 09 74 68 72 6f 77 .data);....throw
2050: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
2060: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 ception(cast(Lex
2070: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 Position)null, `
2080: 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a Invalid AST {is:
2090: 22 76 61 72 22 2c 20 6e 61 6d 65 3a 28 6e 6f 74 "var", name:(not
20a0: 20 73 74 72 69 6e 67 29 7d 60 29 3b 0d 0a 09 63 string)}`);...c
20b0: 61 73 65 20 22 6c 61 79 22 3a 0d 0a 09 09 69 66 ase "lay":....if
20c0: 28 61 75 74 6f 20 76 20 3d 20 74 2e 61 63 63 65 (auto v = t.acce
20d0: 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 4c ss!StrValue(theL
20e0: 61 79 65 72 2c 20 22 6c 61 79 65 72 22 29 29 0d ayer, "layer")).
20f0: 0a 09 09 09 69 66 28 61 75 74 6f 20 65 20 3d 20 ....if(auto e =
2100: 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 74 t.access!Table(t
2110: 68 65 4c 61 79 65 72 2c 20 22 65 78 70 72 22 29 heLayer, "expr")
2120: 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6e 65 )......return ne
2130: 77 20 4c 61 79 28 70 6f 73 2c 20 76 2e 64 61 74 w Lay(pos, v.dat
2140: 61 2c 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 a, tableToAST(th
2150: 65 4c 61 79 65 72 2c 65 29 29 3b 0d 0a 09 09 09 eLayer,e));.....
2160: 65 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f 77 20 else......throw
2170: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
2180: 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 eption(cast(LexP
2190: 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 osition)null, `I
21a0: 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 nvalid AST {is:"
21b0: 6c 61 79 22 2c 20 65 78 70 72 3a 28 6e 6f 74 20 lay", expr:(not
21c0: 74 61 62 6c 65 29 7d 60 29 3b 0d 0a 09 09 74 68 table)}`);....th
21d0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
21e0: 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 eException(cast(
21f0: 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c LexPosition)null
2200: 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b , `Invalid AST {
2210: 69 73 3a 22 6c 61 79 22 2c 20 6c 61 79 65 72 3a is:"lay", layer:
2220: 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d 60 29 3b (not string)}`);
2230: 0d 0a 09 63 61 73 65 20 22 6c 65 74 22 3a 0d 0a ...case "let":..
2240: 09 09 69 66 28 61 75 74 6f 20 6e 20 3d 20 74 2e ..if(auto n = t.
2250: 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 access!StrValue(
2260: 74 68 65 4c 61 79 65 72 2c 20 22 6e 61 6d 65 22 theLayer, "name"
2270: 29 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 65 20 ))....if(auto e
2280: 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 = t.access!Table
2290: 28 74 68 65 4c 61 79 65 72 2c 20 22 69 6e 69 74 (theLayer, "init
22a0: 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 62 "))....if(auto b
22b0: 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c = t.access!Tabl
22c0: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 65 78 70 e(theLayer, "exp
22d0: 72 22 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 74 r"))....{.....st
22e0: 72 69 6e 67 20 6e 6e 20 3d 20 6e 2e 64 61 74 61 ring nn = n.data
22f0: 3b 0d 0a 09 09 09 61 75 74 6f 20 65 65 20 3d 20 ;.....auto ee =
2300: 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 tableToAST(theLa
2310: 79 65 72 2c 20 65 29 3b 0d 0a 09 09 09 61 75 74 yer, e);.....aut
2320: 6f 20 62 62 20 3d 20 74 61 62 6c 65 54 6f 41 53 o bb = tableToAS
2330: 54 28 74 68 65 4c 61 79 65 72 2c 20 62 29 3b 0d T(theLayer, b);.
2340: 0a 09 09 09 4c 61 79 65 72 20 6c 61 79 3d 22 22 ....Layer lay=""
2350: 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 6c 20 ;.....if(auto l
2360: 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 = t.access!StrVa
2370: 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6c lue(theLayer, "l
2380: 61 79 65 72 22 29 29 0d 0a 09 09 09 09 6c 61 79 ayer"))......lay
2390: 20 3d 20 6c 2e 64 61 74 61 3b 0d 0a 09 09 09 72 = l.data;.....r
23a0: 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 28 70 6f eturn new Let(po
23b0: 73 2c 20 6e 6e 2c 20 6c 61 79 2c 20 65 65 2c 20 s, nn, lay, ee,
23c0: 62 62 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 bb);....}....thr
23d0: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
23e0: 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c Exception(cast(L
23f0: 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c exPosition)null,
2400: 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 `Invalid AST {i
2410: 73 3a 22 6c 65 74 22 2c 20 6e 61 6d 65 3a 22 3f s:"let", name:"?
2420: 3f 3f 22 2c 20 69 6e 69 74 3a 22 3f 3f 3f 22 2c ??", init:"???",
2430: 20 65 78 70 72 3a 22 3f 3f 3f 22 7d 60 29 3b 0d expr:"???"}`);.
2440: 0a 09 63 61 73 65 20 22 61 70 70 22 3a 0d 0a 09 ..case "app":...
2450: 09 69 66 28 61 75 74 6f 20 66 20 3d 20 74 2e 61 .if(auto f = t.a
2460: 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c ccess!Table(theL
2470: 61 79 65 72 2c 20 22 66 75 6e 22 29 29 0d 0a 09 ayer, "fun"))...
2480: 09 69 66 28 61 75 74 6f 20 61 20 3d 20 74 2e 61 .if(auto a = t.a
2490: 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c ccess!Table(theL
24a0: 61 79 65 72 2c 20 22 61 72 67 73 22 29 29 0d 0a ayer, "args"))..
24b0: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 41 70 ...return new Ap
24c0: 70 28 70 6f 73 2c 20 74 61 62 6c 65 54 6f 41 53 p(pos, tableToAS
24d0: 54 28 74 68 65 4c 61 79 65 72 2c 66 29 2c 20 74 T(theLayer,f), t
24e0: 61 62 6c 65 54 6f 41 53 54 4c 69 73 74 28 74 68 ableToASTList(th
24f0: 65 4c 61 79 65 72 2c 61 29 29 3b 0d 0a 09 09 74 eLayer,a));....t
2500: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
2510: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
2520: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
2530: 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 l, `Invalid AST
2540: 7b 69 73 3a 22 61 70 70 22 2c 20 66 75 6e 3a 3f {is:"app", fun:?
2550: 3f 3f 2c 20 61 72 67 73 3a 3f 3f 3f 7d 60 29 3b ??, args:???}`);
2560: 0d 0a 09 63 61 73 65 20 22 66 75 6e 22 3a 0d 0a ...case "fun":..
2570: 09 09 69 66 28 61 75 74 6f 20 70 20 3d 20 74 2e ..if(auto p = t.
2580: 61 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 access!Table(the
2590: 4c 61 79 65 72 2c 20 22 70 61 72 61 6d 73 22 29 Layer, "params")
25a0: 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 62 20 3d )....if(auto b =
25b0: 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 t.access!Table(
25c0: 74 68 65 4c 61 79 65 72 2c 20 22 66 75 6e 62 6f theLayer, "funbo
25d0: 64 79 22 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 50 dy"))....{.....P
25e0: 61 72 61 6d 65 74 65 72 5b 5d 20 70 73 3b 0d 0a arameter[] ps;..
25f0: 09 09 09 66 6f 72 65 61 63 68 28 76 3b 20 74 61 ...foreach(v; ta
2600: 62 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 74 68 bleAsConsList(th
2610: 65 4c 61 79 65 72 2c 20 70 29 29 0d 0a 09 09 09 eLayer, p)).....
2620: 7b 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 74 {......if(auto t
2630: 74 20 3d 20 63 61 73 74 28 54 61 62 6c 65 29 76 t = cast(Table)v
2640: 29 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 73 )......if(auto s
2650: 73 20 3d 20 74 74 2e 61 63 63 65 73 73 21 53 74 s = tt.access!St
2660: 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c rValue(theLayer,
2670: 20 22 6e 61 6d 65 22 29 29 0d 0a 09 09 09 09 69 "name"))......i
2680: 66 28 61 75 74 6f 20 6c 6c 20 3d 20 74 74 2e 61 f(auto ll = tt.a
2690: 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c ccess!Table(theL
26a0: 61 79 65 72 2c 20 22 6c 61 79 65 72 73 22 29 29 ayer, "layers"))
26b0: 0d 0a 09 09 09 09 7b 0d 0a 09 09 09 09 09 4c 61 ......{.......La
26c0: 79 65 72 5b 5d 20 6c 73 3b 0d 0a 09 09 09 09 09 yer[] ls;.......
26d0: 66 6f 72 65 61 63 68 28 6c 6c 6c 3b 20 74 61 62 foreach(lll; tab
26e0: 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 74 68 65 leAsConsList(the
26f0: 4c 61 79 65 72 2c 20 6c 6c 29 29 0d 0a 09 09 09 Layer, ll)).....
2700: 09 09 09 69 66 28 61 75 74 6f 20 6c 20 3d 20 63 ...if(auto l = c
2710: 61 73 74 28 53 74 72 56 61 6c 75 65 29 6c 6c 6c ast(StrValue)lll
2720: 29 0d 0a 09 09 09 09 09 09 09 6c 73 20 7e 3d 20 ).........ls ~=
2730: 6c 2e 64 61 74 61 3b 0d 0a 09 09 09 09 09 09 65 l.data;........e
2740: 6c 73 65 0d 0a 09 09 09 09 09 09 09 74 68 72 6f lse.........thro
2750: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2760: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 xception(cast(Le
2770: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 xPosition)null,
2780: 73 70 72 69 6e 74 66 21 60 49 6e 76 61 6c 69 64 sprintf!`Invalid
2790: 20 41 53 54 20 7b 62 61 64 20 66 75 6e 20 70 61 AST {bad fun pa
27a0: 72 61 6d 73 20 25 73 7d 60 28 6c 6c 6c 29 29 3b rams %s}`(lll));
27b0: 0d 0a 09 09 09 09 09 70 73 20 7e 3d 20 6e 65 77 .......ps ~= new
27c0: 20 50 61 72 61 6d 65 74 65 72 28 73 73 2e 64 61 Parameter(ss.da
27d0: 74 61 2c 20 6c 73 29 3b 0d 0a 09 09 09 09 09 63 ta, ls);.......c
27e0: 6f 6e 74 69 6e 75 65 3b 0d 0a 09 09 09 09 7d 0d ontinue;......}.
27f0: 0a 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 7b .....else......{
2800: 0d 0a 09 09 09 09 09 4c 61 79 65 72 5b 5d 20 65 .......Layer[] e
2810: 6d 70 3b 0d 0a 09 09 09 09 09 70 73 20 7e 3d 20 mp;.......ps ~=
2820: 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 73 73 new Parameter(ss
2830: 2e 64 61 74 61 2c 20 65 6d 70 29 3b 0d 0a 09 09 .data, emp);....
2840: 09 09 09 63 6f 6e 74 69 6e 75 65 3b 0d 0a 09 09 ...continue;....
2850: 09 09 7d 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 ..}......throw g
2860: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
2870: 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f ption(cast(LexPo
2880: 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 73 70 72 sition)null, spr
2890: 69 6e 74 66 21 60 49 6e 76 61 6c 69 64 20 41 53 intf!`Invalid AS
28a0: 54 20 7b 62 61 64 20 66 75 6e 20 70 61 72 61 6d T {bad fun param
28b0: 73 20 25 73 7d 60 28 76 29 29 3b 0d 0a 09 09 09 s %s}`(v));.....
28c0: 7d 0d 0a 09 09 09 61 75 74 6f 20 62 62 20 3d 20 }.....auto bb =
28d0: 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 tableToAST(theLa
28e0: 79 65 72 2c 20 62 29 3b 0d 0a 09 09 09 72 65 74 yer, b);.....ret
28f0: 75 72 6e 20 6e 65 77 20 46 75 6e 28 70 6f 73 2c urn new Fun(pos,
2900: 70 73 2c 62 62 29 3b 0d 0a 09 09 7d 0d 0a 09 09 ps,bb);....}....
2910: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
2920: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 imeException(cas
2930: 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 t(LexPosition)nu
2940: 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 ll, `Invalid AST
2950: 20 7b 69 73 3a 22 66 75 6e 22 2c 20 70 61 72 61 {is:"fun", para
2960: 6d 3a 3f 3f 3f 2c 20 62 6f 64 79 3a 3f 3f 3f 7d m:???, body:???}
2970: 60 29 3b 0d 0a 09 64 65 66 61 75 6c 74 3a 0d 0a `);...default:..
2980: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
2990: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 ntimeException(c
29a0: 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 ast(LexPosition)
29b0: 6e 75 6c 6c 2c 20 73 70 72 69 6e 74 66 21 60 49 null, sprintf!`I
29c0: 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 20 nvalid AST {is:
29d0: 22 25 73 22 7d 20 75 6e 6b 6e 6f 77 6e 60 28 6e "%s"} unknown`(n
29e0: 6f 64 65 54 79 70 65 2e 64 61 74 61 29 29 3b 0d odeType.data));.
29f0: 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 54 61 62 6c 65 20 ..}..}....Table
2a00: 6d 61 6b 65 43 6f 6e 73 28 56 61 6c 75 65 20 61 makeCons(Value a
2a10: 2c 20 56 61 6c 75 65 20 64 29 0d 0a 7b 0d 0a 09 , Value d)..{...
2a20: 54 61 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 61 Table t = new Ta
2a30: 62 6c 65 3b 0d 0a 09 74 2e 73 65 74 28 22 63 61 ble;...t.set("ca
2a40: 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 r", ValueLayer,
2a50: 61 29 3b 0d 0a 09 74 2e 73 65 74 28 22 63 64 72 a);...t.set("cdr
2a60: 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 64 ", ValueLayer, d
2a70: 29 3b 0d 0a 09 72 65 74 75 72 6e 20 74 3b 0d 0a );...return t;..
2a80: 7d 0d 0a 0d 0a 54 61 62 6c 65 20 66 72 6f 6d 50 }....Table fromP
2a90: 6f 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 os(LexPosition p
2aa0: 6f 73 29 0d 0a 7b 0d 0a 09 54 61 62 6c 65 20 74 os)..{...Table t
2ab0: 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 = new Table;...
2ac0: 69 66 28 20 70 6f 73 20 21 69 73 20 6e 75 6c 6c if( pos !is null
2ad0: 20 29 20 7b 0d 0a 09 09 74 2e 73 65 74 28 22 66 ) {....t.set("f
2ae0: 69 6c 65 6e 61 6d 65 22 2c 20 56 61 6c 75 65 4c ilename", ValueL
2af0: 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 6c ayer, new StrVal
2b00: 75 65 28 70 6f 73 2e 66 69 6c 65 6e 61 6d 65 29 ue(pos.filename)
2b10: 29 3b 0d 0a 09 09 74 2e 73 65 74 28 22 6c 69 6e );....t.set("lin
2b20: 65 6e 6f 22 2c 20 20 20 56 61 6c 75 65 4c 61 79 eno", ValueLay
2b30: 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 er, new IntValue
2b40: 28 70 6f 73 2e 6c 69 6e 65 6e 6f 29 29 3b 0d 0a (pos.lineno));..
2b50: 09 09 74 2e 73 65 74 28 22 63 6f 6c 75 6d 6e 22 ..t.set("column"
2b60: 2c 20 20 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 , ValueLayer,
2b70: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 70 6f 73 new IntValue(pos
2b80: 2e 63 6f 6c 75 6d 6e 29 29 3b 0d 0a 09 7d 20 65 .column));...} e
2b90: 6c 73 65 20 7b 0d 0a 09 09 74 2e 73 65 74 28 22 lse {....t.set("
2ba0: 66 69 6c 65 6e 61 6d 65 22 2c 20 56 61 6c 75 65 filename", Value
2bb0: 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 61 Layer, new StrVa
2bc0: 6c 75 65 28 22 6e 75 6c 6c 70 6f 73 22 29 29 3b lue("nullpos"));
2bd0: 0d 0a 09 09 74 2e 73 65 74 28 22 6c 69 6e 65 6e ....t.set("linen
2be0: 6f 22 2c 20 20 20 56 61 6c 75 65 4c 61 79 65 72 o", ValueLayer
2bf0: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 30 , new IntValue(0
2c00: 29 29 3b 0d 0a 09 09 74 2e 73 65 74 28 22 63 6f ));....t.set("co
2c10: 6c 75 6d 6e 22 2c 20 20 20 56 61 6c 75 65 4c 61 lumn", ValueLa
2c20: 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 yer, new IntValu
2c30: 65 28 30 29 29 3b 0d 0a 09 7d 0d 0a 09 72 65 74 e(0));...}...ret
2c40: 75 72 6e 20 74 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f urn t;..}....///
2c50: 20 43 6f 6e 76 65 72 74 20 41 53 54 20 74 6f 20 Convert AST to
2c60: 54 61 62 6c 65 20 73 6f 20 74 68 61 74 20 69 74 Table so that it
2c70: 20 63 61 6e 20 62 65 20 75 73 65 64 20 69 6e 20 can be used in
2c80: 50 6f 6c 65 6d 79 0d 0a 2f 2f 2f 20 54 4f 44 4f Polemy../// TODO
2c90: 3a 20 67 65 6e 65 72 61 6c 69 7a 65 20 74 6f 20 : generalize to
2ca0: 44 56 61 6c 75 65 32 50 6f 6c 65 6d 79 56 61 6c DValue2PolemyVal
2cb0: 75 65 0d 0a 0d 0a 56 61 6c 75 65 20 61 73 74 32 ue....Value ast2
2cc0: 74 61 62 6c 65 28 54 29 28 54 20 65 2c 20 56 61 table(T)(T e, Va
2cd0: 6c 75 65 20 64 65 6c 65 67 61 74 65 28 41 53 54 lue delegate(AST
2ce0: 29 20 72 65 63 29 0d 0a 7b 0d 0a 09 61 73 73 65 ) rec)..{...asse
2cf0: 72 74 28 20 74 79 70 65 69 64 28 65 29 20 3d 3d rt( typeid(e) ==
2d00: 20 74 79 70 65 69 64 28 54 29 20 29 3b 0d 0a 0d typeid(T) );...
2d10: 0a 09 73 74 61 74 69 63 20 69 66 28 69 73 28 54 ..static if(is(T
2d20: 3d 3d 42 69 67 49 6e 74 29 20 7c 7c 20 69 73 28 ==BigInt) || is(
2d30: 54 3d 3d 6c 6f 6e 67 29 20 7c 7c 20 69 73 28 54 T==long) || is(T
2d40: 3d 3d 69 6e 74 29 29 0d 0a 09 09 72 65 74 75 72 ==int))....retur
2d50: 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 65 n new IntValue(e
2d60: 29 3b 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 61 74 );...else...stat
2d70: 69 63 20 69 66 28 69 73 28 54 3d 3d 73 74 72 69 ic if(is(T==stri
2d80: 6e 67 29 29 0d 0a 09 09 72 65 74 75 72 6e 20 6e ng))....return n
2d90: 65 77 20 53 74 72 56 61 6c 75 65 28 65 29 3b 0d ew StrValue(e);.
2da0: 0a 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 ..else...static
2db0: 69 66 28 69 73 28 54 20 53 20 3a 20 53 5b 5d 29 if(is(T S : S[])
2dc0: 29 0d 0a 09 7b 0d 0a 09 09 54 61 62 6c 65 20 6c )...{....Table l
2dd0: 73 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d st = new Table;.
2de0: 0a 09 09 66 6f 72 65 61 63 68 5f 72 65 76 65 72 ...foreach_rever
2df0: 73 65 28 61 3b 20 65 29 0d 0a 09 09 09 73 74 61 se(a; e).....sta
2e00: 74 69 63 20 69 66 28 69 73 28 53 20 3a 20 41 53 tic if(is(S : AS
2e10: 54 29 29 0d 0a 09 09 09 09 6c 73 74 20 3d 20 6d T))......lst = m
2e20: 61 6b 65 43 6f 6e 73 28 72 65 63 28 61 29 2c 20 akeCons(rec(a),
2e30: 6c 73 74 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a lst);.....else..
2e40: 09 09 09 09 6c 73 74 20 3d 20 6d 61 6b 65 43 6f ....lst = makeCo
2e50: 6e 73 28 61 73 74 32 74 61 62 6c 65 28 61 2c 72 ns(ast2table(a,r
2e60: 65 63 29 2c 20 6c 73 74 29 3b 0d 0a 09 09 72 65 ec), lst);....re
2e70: 74 75 72 6e 20 6c 73 74 3b 0d 0a 09 7d 0d 0a 09 turn lst;...}...
2e80: 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 else...static if
2e90: 28 69 73 28 54 20 3a 20 41 53 54 29 29 0d 0a 09 (is(T : AST))...
2ea0: 7b 0d 0a 09 09 61 75 74 6f 20 74 20 3d 20 6e 65 {....auto t = ne
2eb0: 77 20 54 61 62 6c 65 3b 0d 0a 09 09 74 2e 73 65 w Table;....t.se
2ec0: 74 28 22 70 6f 73 22 2c 20 56 61 6c 75 65 4c 61 t("pos", ValueLa
2ed0: 79 65 72 2c 20 66 72 6f 6d 50 6f 73 28 65 2e 70 yer, fromPos(e.p
2ee0: 6f 73 29 29 3b 0d 0a 09 09 74 2e 73 65 74 28 22 os));....t.set("
2ef0: 69 73 22 20 2c 20 56 61 6c 75 65 4c 61 79 65 72 is" , ValueLayer
2f00: 2c 20 6e 65 77 20 53 74 72 56 61 6c 75 65 28 74 , new StrValue(t
2f10: 79 70 65 69 64 28 65 29 2e 6e 61 6d 65 2e 73 70 ypeid(e).name.sp
2f20: 6c 69 74 28 22 2e 22 29 5b 24 2d 31 5d 2e 74 6f lit(".")[$-1].to
2f30: 6c 6f 77 65 72 28 29 29 29 3b 0d 0a 09 09 66 6f lower()));....fo
2f40: 72 65 61 63 68 28 69 2c 6d 3b 20 65 2e 74 75 70 reach(i,m; e.tup
2f50: 6c 65 6f 66 29 0d 0a 09 09 09 73 74 61 74 69 63 leof).....static
2f60: 20 69 66 28 69 73 28 74 79 70 65 6f 66 28 6d 29 if(is(typeof(m)
2f70: 20 3a 20 41 53 54 29 29 0d 0a 09 09 09 09 74 2e : AST))......t.
2f80: 73 65 74 28 65 2e 74 75 70 6c 65 6f 66 5b 69 5d set(e.tupleof[i]
2f90: 2e 73 74 72 69 6e 67 6f 66 5b 32 2e 2e 24 5d 2c .stringof[2..$],
2fa0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 72 65 63 ValueLayer, rec
2fb0: 28 6d 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a (m));.....else..
2fc0: 09 09 09 09 74 2e 73 65 74 28 65 2e 74 75 70 6c ....t.set(e.tupl
2fd0: 65 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 5b eof[i].stringof[
2fe0: 32 2e 2e 24 5d 2c 20 56 61 6c 75 65 4c 61 79 65 2..$], ValueLaye
2ff0: 72 2c 20 61 73 74 32 74 61 62 6c 65 28 6d 2c 72 r, ast2table(m,r
3000: 65 63 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 ec));....return
3010: 74 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 t;...}...else...
3020: 73 74 61 74 69 63 20 69 66 28 69 73 28 54 20 3d static if(is(T =
3030: 3d 20 63 6c 61 73 73 29 29 0d 0a 09 7b 0d 0a 09 = class))...{...
3040: 09 61 75 74 6f 20 74 20 3d 20 6e 65 77 20 54 61 .auto t = new Ta
3050: 62 6c 65 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 ble;....foreach(
3060: 69 2c 6d 3b 20 65 2e 74 75 70 6c 65 6f 66 29 0d i,m; e.tupleof).
3070: 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 69 73 ....static if(is
3080: 28 74 79 70 65 6f 66 28 6d 29 20 3a 20 41 53 54 (typeof(m) : AST
3090: 29 29 0d 0a 09 09 09 09 74 2e 73 65 74 28 65 2e ))......t.set(e.
30a0: 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 69 6e tupleof[i].strin
30b0: 67 6f 66 5b 32 2e 2e 24 5d 2c 20 56 61 6c 75 65 gof[2..$], Value
30c0: 4c 61 79 65 72 2c 20 72 65 63 28 6d 29 29 3b 0d Layer, rec(m));.
30d0: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 2e ....else......t.
30e0: 73 65 74 28 65 2e 74 75 70 6c 65 6f 66 5b 69 5d set(e.tupleof[i]
30f0: 2e 73 74 72 69 6e 67 6f 66 5b 32 2e 2e 24 5d 2c .stringof[2..$],
3100: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 61 73 74 ValueLayer, ast
3110: 32 74 61 62 6c 65 28 6d 2c 72 65 63 29 29 3b 0d 2table(m,rec));.
3120: 0a 09 09 72 65 74 75 72 6e 20 74 3b 0d 0a 09 7d ...return t;...}
3130: 0d 0a 09 65 6c 73 65 0d 0a 09 09 73 74 61 74 69 ...else....stati
3140: 63 20 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 c assert(false,
3150: 22 75 6e 6b 6e 6f 77 6e 20 74 79 70 65 20 3c 22 "unknown type <"
3160: 7e 54 2e 73 74 72 69 6e 67 6f 66 7e 22 3e 20 64 ~T.stringof~"> d
3170: 75 72 69 6e 67 20 41 53 54 20 65 6e 63 6f 64 69 uring AST encodi
3180: 6e 67 22 29 3b 0d 0a 7d 0d 0a ng");..}..