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 6c 65 78 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f .lex;..import po
00e0: 6c 65 6d 79 2e 61 73 74 3b 0d 0a 0d 0a 2f 2f 2f lemy.ast;....///
00f0: 20 52 61 69 73 65 64 20 77 68 65 6e 20 73 6f 6d Raised when som
0100: 65 74 68 69 6e 67 20 77 65 6e 74 20 77 72 6f 6e ething went wron
0110: 67 20 69 6e 20 72 75 6e 74 69 6d 65 0d 0a 0d 0a g in runtime....
0120: 63 6c 61 73 73 20 52 75 6e 74 69 6d 65 45 78 63 class RuntimeExc
0130: 65 70 74 69 6f 6e 20 3a 20 45 78 63 65 70 74 69 eption : Excepti
0140: 6f 6e 0d 0a 7b 0d 0a 09 6d 69 78 69 6e 20 45 78 on..{...mixin Ex
0150: 63 65 70 74 69 6f 6e 57 69 74 68 50 6f 73 69 74 ceptionWithPosit
0160: 69 6f 6e 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 52 ion;..}..../// R
0170: 75 6e 74 69 6d 65 20 76 61 6c 75 65 73 20 6f 66 untime values of
0180: 20 50 6f 6c 65 6d 79 0d 0a 0d 0a 61 62 73 74 72 Polemy....abstr
0190: 61 63 74 20 63 6c 61 73 73 20 56 61 6c 75 65 0d act class Value.
01a0: 0a 7b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c .{..}....///..cl
01b0: 61 73 73 20 49 6e 74 56 61 6c 75 65 20 3a 20 56 ass IntValue : V
01c0: 61 6c 75 65 0d 0a 7b 0d 0a 09 42 69 67 49 6e 74 alue..{...BigInt
01d0: 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e data;.....mixin
01e0: 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 SimpleClass;...
01f0: 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 override string
0200: 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 toString() const
0210: 20 7b 20 72 65 74 75 72 6e 20 73 74 64 2e 62 69 { return std.bi
0220: 67 69 6e 74 2e 74 6f 44 65 63 69 6d 61 6c 53 74 gint.toDecimalSt
0230: 72 69 6e 67 28 63 61 73 74 28 42 69 67 49 6e 74 ring(cast(BigInt
0240: 29 64 61 74 61 29 3b 20 7d 0d 0a 7d 0d 0a 0d 0a )data); }..}....
0250: 2f 2f 2f 0d 0a 63 6c 61 73 73 20 53 74 72 56 61 ///..class StrVa
0260: 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a lue : Value..{..
0270: 09 73 74 72 69 6e 67 20 64 61 74 61 3b 0d 0a 0d .string data;...
0280: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c ..mixin SimpleCl
0290: 61 73 73 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 ass;...override
02a0: 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 string toString(
02b0: 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e ) const { return
02c0: 20 64 61 74 61 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f data; }..}..../
02d0: 2f 2f 0d 0a 63 6c 61 73 73 20 46 75 6e 56 61 6c //..class FunVal
02e0: 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 ue : Value..{...
02f0: 56 61 6c 75 65 20 64 65 6c 65 67 61 74 65 28 69 Value delegate(i
0300: 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 mmutable LexPosi
0310: 74 69 6f 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 tion pos, string
0320: 20 6c 61 79 2c 20 56 61 6c 75 65 5b 5d 29 20 64 lay, Value[]) d
0330: 61 74 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 ata;.....mixin S
0340: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
0350: 3b 0d 0a 09 61 6c 69 61 73 20 64 61 74 61 20 63 ;...alias data c
0360: 61 6c 6c 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 all;...override
0370: 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 string toString(
0380: 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e ) const { return
0390: 20 73 70 72 69 6e 74 66 21 22 28 66 75 6e 63 74 sprintf!"(funct
03a0: 69 6f 6e 3a 25 73 3a 25 73 29 22 28 64 61 74 61 ion:%s:%s)"(data
03b0: 2e 70 74 72 2c 64 61 74 61 2e 66 75 6e 63 70 74 .ptr,data.funcpt
03c0: 72 29 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d r); }..}....///.
03d0: 0a 63 6c 61 73 73 20 55 6e 64 56 61 6c 75 65 20 .class UndValue
03e0: 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 6d 69 78 : Value..{...mix
03f0: 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d in SimpleClass;.
0400: 0a 09 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e ..override strin
0410: 67 20 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e g toString() con
0420: 73 74 20 7b 20 72 65 74 75 72 6e 20 22 3c 75 6e st { return "<un
0430: 64 65 66 69 6e 65 64 3e 22 3b 20 7d 0d 0a 7d 0d defined>"; }..}.
0440: 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 6f 6e .../// Named Con
0450: 73 74 72 75 63 74 6f 72 20 66 6f 72 20 46 75 6e structor for Fun
0460: 56 61 6c 75 65 0d 0a 0d 0a 46 75 6e 56 61 6c 75 Value....FunValu
0470: 65 20 6e 61 74 69 76 65 66 28 56 61 6c 75 65 20 e nativef(Value
0480: 64 65 6c 65 67 61 74 65 28 69 6d 6d 75 74 61 62 delegate(immutab
0490: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
04a0: 6f 73 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 56 os, Layer lay, V
04b0: 61 6c 75 65 5b 5d 20 61 72 67 73 29 20 64 67 29 alue[] args) dg)
04c0: 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 6e 65 77 ..{...return new
04d0: 20 46 75 6e 56 61 6c 75 65 28 64 67 29 3b 0d 0a FunValue(dg);..
04e0: 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d 65 64 20 43 }..../// Named C
04f0: 6f 6e 73 74 72 75 63 74 6f 72 20 66 6f 72 20 46 onstructor for F
0500: 75 6e 56 61 6c 75 65 0d 0a 0d 0a 46 75 6e 56 61 unValue....FunVa
0510: 6c 75 65 20 6e 61 74 69 76 65 28 52 2c 54 2e 2e lue native(R,T..
0520: 2e 29 28 52 20 64 65 6c 65 67 61 74 65 20 28 54 .)(R delegate (T
0530: 29 20 64 67 29 0d 0a 7b 0d 0a 09 72 65 74 75 72 ) dg)..{...retur
0540: 6e 20 6e 61 74 69 76 65 66 28 20 64 65 6c 65 67 n nativef( deleg
0550: 61 74 65 20 56 61 6c 75 65 28 69 6d 6d 75 74 61 ate Value(immuta
0560: 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ble LexPosition
0570: 70 6f 73 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 pos, Layer lay,
0580: 56 61 6c 75 65 5b 5d 20 61 72 67 73 29 20 7b 0d Value[] args) {.
0590: 0a 09 09 69 66 28 20 6c 61 79 20 21 3d 20 22 40 ...if( lay != "@
05a0: 76 22 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 67 v" ).....throw g
05b0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
05c0: 70 74 69 6f 6e 28 70 6f 73 2c 20 22 6f 6e 6c 79 ption(pos, "only
05d0: 20 40 76 20 6c 61 79 65 72 20 63 61 6e 20 63 61 @v layer can ca
05e0: 6c 6c 20 6e 61 74 69 76 65 20 66 75 6e 63 74 69 ll native functi
05f0: 6f 6e 22 29 3b 0d 0a 09 09 69 66 28 20 54 2e 6c on");....if( T.l
0600: 65 6e 67 74 68 20 21 3d 20 61 72 67 73 2e 6c 65 ength != args.le
0610: 6e 67 74 68 20 29 0d 0a 09 09 09 74 68 72 6f 77 ngth ).....throw
0620: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
0630: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 22 61 72 ception(pos, "ar
0640: 67 75 6d 65 6e 74 20 6e 75 6d 62 65 72 20 6d 69 gument number mi
0650: 73 6d 61 74 63 68 21 22 29 3b 0d 0a 09 09 54 20 smatch!");....T
0660: 74 79 70 65 64 5f 61 72 67 73 3b 0d 0a 09 09 66 typed_args;....f
0670: 6f 72 65 61 63 68 28 69 2c 20 54 69 3b 20 54 29 oreach(i, Ti; T)
0680: 0d 0a 09 09 7b 0d 0a 09 09 09 74 79 70 65 64 5f ....{.....typed_
0690: 61 72 67 73 5b 69 5d 20 3d 20 63 61 73 74 28 54 args[i] = cast(T
06a0: 69 29 20 61 72 67 73 5b 69 5d 3b 0d 0a 09 09 09 i) args[i];.....
06b0: 69 66 28 20 74 79 70 65 64 5f 61 72 67 73 5b 69 if( typed_args[i
06c0: 5d 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 ] is null ).....
06d0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
06e0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
06f0: 73 2c 20 73 70 72 69 6e 74 66 21 22 74 79 70 65 s, sprintf!"type
0700: 20 6d 69 73 6d 61 74 63 68 20 6f 6e 20 74 68 65 mismatch on the
0710: 20 61 72 67 75 6d 65 6e 74 20 25 64 22 28 69 2b argument %d"(i+
0720: 31 29 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 72 79 1));....}....try
0730: 20 7b 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 67 {.....return dg
0740: 28 74 79 70 65 64 5f 61 72 67 73 29 3b 0d 0a 09 (typed_args);...
0750: 09 7d 20 63 61 74 63 68 28 20 52 75 6e 74 69 6d .} catch( Runtim
0760: 65 45 78 63 65 70 74 69 6f 6e 20 65 20 29 20 7b eException e ) {
0770: 0d 0a 09 09 09 74 68 72 6f 77 20 65 2e 70 6f 73 .....throw e.pos
0780: 20 69 73 20 6e 75 6c 6c 20 3f 20 6e 65 77 20 52 is null ? new R
0790: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
07a0: 70 6f 73 2c 20 65 2e 6d 73 67 2c 20 65 2e 66 69 pos, e.msg, e.fi
07b0: 6c 65 2c 20 65 2e 6c 69 6e 65 29 20 3a 20 65 3b le, e.line) : e;
07c0: 0d 0a 09 09 7d 0d 0a 09 7d 29 3b 0d 0a 7d 0d 0a ....}...});..}..
07d0: 0d 0a 2f 2f 2f 20 4c 61 79 65 72 20 49 44 0d 0a ../// Layer ID..
07e0: 0d 0a 61 6c 69 61 73 20 73 74 72 69 6e 67 20 4c ..alias string L
07f0: 61 79 65 72 3b 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e ayer;..../// Con
0800: 74 65 78 74 20 28 76 61 72 69 61 62 6c 65 20 65 text (variable e
0810: 6e 76 69 72 6f 6e 6d 65 6e 74 29 0d 0a 2f 2f 2f nvironment)..///
0820: 20 53 69 6d 6c 61 72 20 74 6f 20 70 72 6f 74 6f Simlar to proto
0830: 74 79 70 65 20 63 68 61 69 6e 20 6f 66 20 45 43 type chain of EC
0840: 4d 41 53 63 72 69 70 74 20 65 74 63 2e 0d 0a 2f MAScript etc.../
0850: 2f 2f 20 42 75 74 20 65 78 74 65 6e 64 65 64 20 // But extended
0860: 77 69 74 68 20 74 68 65 20 6e 6f 74 69 6f 6e 20 with the notion
0870: 6f 66 20 22 4c 61 79 65 72 22 0d 0a 0d 0a 63 6c of "Layer"....cl
0880: 61 73 73 20 54 61 62 6c 65 20 3a 20 56 61 6c 75 ass Table : Valu
0890: 65 0d 0a 7b 0d 0a 09 65 6e 75 6d 20 4b 69 6e 64 e..{...enum Kind
08a0: 20 7b 50 72 6f 70 61 67 61 74 65 53 65 74 2c 20 {PropagateSet,
08b0: 4e 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 7d NotPropagateSet}
08c0: 3b 0d 0a 0d 0a 09 74 68 69 73 28 20 54 61 62 6c ;.....this( Tabl
08d0: 65 20 70 72 6f 74 6f 3d 6e 75 6c 6c 2c 20 4b 69 e proto=null, Ki
08e0: 6e 64 20 6b 20 3d 20 4b 69 6e 64 2e 50 72 6f 70 nd k = Kind.Prop
08f0: 61 67 61 74 65 53 65 74 20 29 0d 0a 09 09 7b 20 agateSet )....{
0900: 74 68 69 73 2e 70 72 6f 74 6f 74 79 70 65 20 3d this.prototype =
0910: 20 70 72 6f 74 6f 3b 20 74 68 69 73 2e 6b 69 6e proto; this.kin
0920: 64 20 3d 20 6b 3b 20 7d 0d 0a 0d 0a 09 76 6f 69 d = k; }.....voi
0930: 64 20 73 65 74 28 73 74 72 69 6e 67 20 69 2c 20 d set(string i,
0940: 4c 61 79 65 72 20 6c 61 79 2c 20 56 61 6c 75 65 Layer lay, Value
0950: 20 76 2c 20 69 6e 20 4c 65 78 50 6f 73 69 74 69 v, in LexPositi
0960: 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d 0a 09 7b on pos=null)...{
0970: 0d 0a 09 09 69 66 28 20 73 65 74 49 66 45 78 69 ....if( setIfExi
0980: 73 74 28 69 2c 20 6c 61 79 2c 20 76 29 20 29 0d st(i, lay, v) ).
0990: 0a 09 09 09 72 65 74 75 72 6e 3b 0d 0a 09 09 64 ....return;....d
09a0: 61 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b ata[i][lay] = v;
09b0: 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 68 61 ...}.....bool ha
09c0: 73 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 s(string i, Laye
09d0: 72 20 6c 61 79 2c 20 69 6e 20 4c 65 78 50 6f 73 r lay, in LexPos
09e0: 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d ition pos=null).
09f0: 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 ..{....if( i in
0a00: 64 61 74 61 20 29 20 7b 0d 0a 09 09 09 69 66 28 data ) {.....if(
0a10: 20 6c 61 79 20 21 69 6e 20 64 61 74 61 5b 69 5d lay !in data[i]
0a20: 20 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 66 )......return f
0a30: 61 6c 73 65 3b 0d 0a 09 09 09 72 65 74 75 72 6e alse;.....return
0a40: 20 74 72 75 65 3b 0d 0a 09 09 7d 0d 0a 09 09 69 true;....}....i
0a50: 66 28 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 f( prototype is
0a60: 6e 75 6c 6c 20 29 0d 0a 09 09 09 72 65 74 75 72 null ).....retur
0a70: 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 72 65 74 75 n false;....retu
0a80: 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e 68 61 73 rn prototype.has
0a90: 28 69 2c 20 6c 61 79 2c 20 70 6f 73 29 3b 0d 0a (i, lay, pos);..
0aa0: 09 7d 0d 0a 09 0d 0a 09 56 61 6c 75 65 20 67 65 .}......Value ge
0ab0: 74 28 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 t(string i, Laye
0ac0: 72 20 6c 61 79 2c 20 69 6e 20 4c 65 78 50 6f 73 r lay, in LexPos
0ad0: 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c 6c 29 0d ition pos=null).
0ae0: 0a 09 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 ..{....if( i in
0af0: 64 61 74 61 20 29 20 7b 0d 0a 09 09 09 2f 2f 20 data ) {.....//
0b00: 5b 54 4f 44 4f 5d 20 63 6f 6e 73 69 64 65 72 20 [TODO] consider
0b10: 66 6f 72 77 61 72 64 69 6e 67 20 74 6f 20 70 72 forwarding to pr
0b20: 6f 74 6f 20 61 6c 73 6f 20 69 6e 20 74 68 69 73 oto also in this
0b30: 20 63 61 73 65 0d 0a 09 09 09 69 66 28 20 6c 61 case.....if( la
0b40: 79 20 21 69 6e 20 64 61 74 61 5b 69 5d 20 29 0d y !in data[i] ).
0b50: 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 .....throw genex
0b60: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
0b70: 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 21 22 n(pos, sprintf!"
0b80: 76 61 72 69 61 62 6c 65 20 25 73 20 69 73 20 6e variable %s is n
0b90: 6f 74 20 73 65 74 20 69 6e 20 6c 61 79 65 72 20 ot set in layer
0ba0: 25 73 22 28 69 2c 6c 61 79 29 29 3b 0d 0a 09 09 %s"(i,lay));....
0bb0: 09 72 65 74 75 72 6e 20 64 61 74 61 5b 69 5d 5b .return data[i][
0bc0: 6c 61 79 5d 3b 0d 0a 09 09 7d 0d 0a 09 09 69 66 lay];....}....if
0bd0: 28 20 70 72 6f 74 6f 74 79 70 65 20 69 73 20 6e ( prototype is n
0be0: 75 6c 6c 20 29 0d 0a 09 09 09 74 68 72 6f 77 20 ull ).....throw
0bf0: 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 70 new RuntimeExcep
0c00: 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 tion(pos, sprint
0c10: 66 21 22 76 61 72 69 61 62 6c 65 20 25 73 20 6e f!"variable %s n
0c20: 6f 74 20 66 6f 75 6e 64 22 28 69 29 29 3b 0d 0a ot found"(i));..
0c30: 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 ..return prototy
0c40: 70 65 2e 67 65 74 28 69 2c 20 6c 61 79 2c 20 70 pe.get(i, lay, p
0c50: 6f 73 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 54 20 61 os);...}.....T a
0c60: 63 63 65 73 73 28 54 2c 53 2e 2e 2e 29 28 20 4c ccess(T,S...)( L
0c70: 61 79 65 72 20 6c 61 79 2c 20 73 74 72 69 6e 67 ayer lay, string
0c80: 20 70 61 74 68 2c 20 53 20 72 65 73 74 20 29 0d path, S rest ).
0c90: 0a 09 7b 0d 0a 09 09 73 74 61 74 69 63 20 69 66 ..{....static if
0ca0: 28 20 72 65 73 74 2e 6c 65 6e 67 74 68 20 3d 3d ( rest.length ==
0cb0: 20 30 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 0 )....{.....if
0cc0: 28 20 74 68 69 73 2e 68 61 73 28 70 61 74 68 2c ( this.has(path,
0cd0: 20 6c 61 79 29 20 29 0d 0a 09 09 09 09 72 65 74 lay) )......ret
0ce0: 75 72 6e 20 63 61 73 74 28 54 29 20 74 68 69 73 urn cast(T) this
0cf0: 2e 67 65 74 28 70 61 74 68 2c 20 6c 61 79 29 3b .get(path, lay);
0d00: 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 ....}....else...
0d10: 09 7b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 6e .{.....if(auto n
0d20: 65 78 74 20 3d 20 74 68 69 73 2e 61 63 63 65 73 ext = this.acces
0d30: 73 21 54 61 62 6c 65 28 6c 61 79 2c 70 61 74 68 s!Table(lay,path
0d40: 29 29 0d 0a 09 09 09 09 72 65 74 75 72 6e 20 6e ))......return n
0d50: 65 78 74 2e 61 63 63 65 73 73 21 54 28 6c 61 79 ext.access!T(lay
0d60: 2c 72 65 73 74 29 3b 0d 0a 09 09 7d 0d 0a 09 09 ,rest);....}....
0d70: 72 65 74 75 72 6e 20 6e 75 6c 6c 3b 0d 0a 09 7d return null;...}
0d80: 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 54 ....private:...T
0d90: 61 62 6c 65 20 20 20 20 20 20 20 20 20 20 20 20 able
0da0: 20 20 20 20 70 72 6f 74 6f 74 79 70 65 3b 0d 0a prototype;..
0db0: 09 4b 69 6e 64 20 20 20 20 20 20 20 20 20 20 20 .Kind
0dc0: 20 20 20 20 20 20 6b 69 6e 64 3b 0d 0a 09 56 61 kind;...Va
0dd0: 6c 75 65 5b 4c 61 79 65 72 5d 5b 73 74 72 69 6e lue[Layer][strin
0de0: 67 5d 20 64 61 74 61 3b 0d 0a 0d 0a 09 62 6f 6f g] data;.....boo
0df0: 6c 20 73 65 74 49 66 45 78 69 73 74 28 73 74 72 l setIfExist(str
0e00: 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 ing i, Layer lay
0e10: 2c 20 56 61 6c 75 65 20 76 29 0d 0a 09 7b 0d 0a , Value v)...{..
0e20: 09 09 69 66 28 20 69 20 69 6e 20 64 61 74 61 20 ..if( i in data
0e30: 29 0d 0a 09 09 7b 0d 0a 09 09 09 64 61 74 61 5b )....{.....data[
0e40: 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d 0a 09 09 i][lay] = v;....
0e50: 09 72 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 .return true;...
0e60: 09 7d 0d 0a 09 09 69 66 28 20 6b 69 6e 64 3d 3d .}....if( kind==
0e70: 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 53 65 Kind.PropagateSe
0e80: 74 20 26 26 20 70 72 6f 74 6f 74 79 70 65 20 21 t && prototype !
0e90: 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 72 65 is null ).....re
0ea0: 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 65 2e 73 turn prototype.s
0eb0: 65 74 49 66 45 78 69 73 74 28 69 2c 20 6c 61 79 etIfExist(i, lay
0ec0: 2c 20 76 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 , v);....return
0ed0: 66 61 6c 73 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d false;...}..}...
0ee0: 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 54 .unittest..{...T
0ef0: 61 62 6c 65 20 63 30 20 3d 20 6e 65 77 20 54 61 able c0 = new Ta
0f00: 62 6c 65 3b 0d 0a 09 54 61 62 6c 65 20 63 30 31 ble;...Table c01
0f10: 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 30 2c = new Table(c0,
0f20: 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e 6f 74 50 Table.Kind.NotP
0f30: 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 09 ropagateSet);...
0f40: 54 61 62 6c 65 20 63 30 31 32 20 3d 20 6e 65 77 Table c012 = new
0f50: 20 54 61 62 6c 65 28 63 30 31 2c 20 54 61 62 6c Table(c01, Tabl
0f60: 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 65 e.Kind.Propagate
0f70: 53 65 74 29 3b 0d 0a 09 54 61 62 6c 65 20 63 30 Set);...Table c0
0f80: 31 33 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 63 13 = new Table(c
0f90: 30 31 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 50 01, Table.Kind.P
0fa0: 72 6f 70 61 67 61 74 65 53 65 74 29 3b 0d 0a 0d ropagateSet);...
0fb0: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
0fc0: 28 20 63 30 31 32 2e 73 65 74 28 22 78 22 2c 20 ( c012.set("x",
0fd0: 22 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c "@v", new IntVal
0fe0: 75 65 28 42 69 67 49 6e 74 28 31 32 29 29 29 20 ue(BigInt(12)))
0ff0: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
1000: 77 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 w!RuntimeExcepti
1010: 6f 6e 28 20 63 30 31 33 2e 67 65 74 28 22 78 22 on( c013.get("x"
1020: 2c 20 22 40 76 22 29 20 29 3b 0d 0a 09 61 73 73 , "@v") );...ass
1030: 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 31 ert_nothrow( c01
1040: 33 2e 73 65 74 28 22 78 22 2c 20 22 40 76 22 2c 3.set("x", "@v",
1050: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1060: 67 49 6e 74 28 31 33 29 29 29 20 29 3b 0d 0a 09 gInt(13))) );...
1070: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e assert_eq( c013.
1080: 67 65 74 28 22 78 22 2c 20 22 40 76 22 29 2c 20 get("x", "@v"),
1090: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
10a0: 49 6e 74 28 31 33 29 29 20 29 3b 0d 0a 09 61 73 Int(13)) );...as
10b0: 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 sert_eq( c012.ge
10c0: 74 28 22 78 22 2c 20 22 40 76 22 29 2c 20 6e 65 t("x", "@v"), ne
10d0: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
10e0: 74 28 31 32 29 29 20 29 3b 0d 0a 09 61 73 73 65 t(12)) );...asse
10f0: 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 69 6d 65 rt_throw!Runtime
1100: 45 78 63 65 70 74 69 6f 6e 28 20 63 30 31 2e 67 Exception( c01.g
1110: 65 74 28 22 78 22 2c 20 22 40 76 22 29 20 29 3b et("x", "@v") );
1120: 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 .....assert_noth
1130: 72 6f 77 28 20 63 30 31 2e 73 65 74 28 22 79 22 row( c01.set("y"
1140: 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 , "@v", new IntV
1150: 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 29 alue(BigInt(1)))
1160: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1170: 20 63 30 31 33 2e 67 65 74 28 22 79 22 2c 20 22 c013.get("y", "
1180: 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c @v"), new IntVal
1190: 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b ue(BigInt(1)) );
11a0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
11b0: 31 32 2e 67 65 74 28 22 79 22 2c 20 22 40 76 22 12.get("y", "@v"
11c0: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
11d0: 42 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a 09 BigInt(1)) );...
11e0: 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 2e 67 assert_eq( c01.g
11f0: 65 74 28 22 79 22 2c 20 22 40 76 22 29 2c 20 6e et("y", "@v"), n
1200: 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 ew IntValue(BigI
1210: 6e 74 28 31 29 29 20 29 3b 0d 0a 0d 0a 09 61 73 nt(1)) );.....as
1220: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 63 30 sert_nothrow( c0
1230: 2e 73 65 74 28 22 7a 22 2c 20 22 40 76 22 2c 20 .set("z", "@v",
1240: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
1250: 49 6e 74 28 30 29 29 29 20 29 3b 0d 0a 09 61 73 Int(0))) );...as
1260: 73 65 72 74 5f 65 71 28 20 63 30 31 33 2e 67 65 sert_eq( c013.ge
1270: 74 28 22 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 t("z", "@v"), ne
1280: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1290: 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(0)) );...asser
12a0: 74 5f 65 71 28 20 63 30 31 32 2e 67 65 74 28 22 t_eq( c012.get("
12b0: 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 z", "@v"), new I
12c0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 ntValue(BigInt(0
12d0: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
12e0: 71 28 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 q( c01.get("z",
12f0: 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 "@v"), new IntVa
1300: 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 lue(BigInt(0)) )
1310: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
1320: 30 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 0.get("z", "@v")
1330: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
1340: 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a igInt(0)) );....
1350: 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 .assert_nothrow(
1360: 20 63 30 31 32 2e 73 65 74 28 22 79 22 2c 20 22 c012.set("y", "
1370: 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 @v", new IntValu
1380: 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 29 20 e(BigInt(444)))
1390: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
13a0: 63 30 31 33 2e 67 65 74 28 22 79 22 2c 20 22 40 c013.get("y", "@
13b0: 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 v"), new IntValu
13c0: 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 20 29 e(BigInt(444)) )
13d0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
13e0: 30 31 32 2e 67 65 74 28 22 79 22 2c 20 22 40 76 012.get("y", "@v
13f0: 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 "), new IntValue
1400: 28 42 69 67 49 6e 74 28 34 34 34 29 29 20 29 3b (BigInt(444)) );
1410: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1420: 31 2e 67 65 74 28 22 79 22 2c 20 22 40 76 22 29 1.get("y", "@v")
1430: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
1440: 69 67 49 6e 74 28 34 34 34 29 29 20 29 3b 0d 0a igInt(444)) );..
1450: 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ...assert_nothro
1460: 77 28 20 63 30 31 32 2e 73 65 74 28 22 7a 22 2c w( c012.set("z",
1470: 20 22 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 "@v", new IntVa
1480: 6c 75 65 28 42 69 67 49 6e 74 28 35 35 35 29 29 lue(BigInt(555))
1490: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
14a0: 28 20 63 30 31 33 2e 67 65 74 28 22 7a 22 2c 20 ( c013.get("z",
14b0: 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 "@v"), new IntVa
14c0: 6c 75 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 lue(BigInt(0)) )
14d0: 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 ;...assert_eq( c
14e0: 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 012.get("z", "@v
14f0: 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 "), new IntValue
1500: 28 42 69 67 49 6e 74 28 35 35 35 29 29 20 29 3b (BigInt(555)) );
1510: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1520: 31 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 1.get("z", "@v")
1530: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
1540: 69 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 igInt(0)) );...a
1550: 73 73 65 72 74 5f 65 71 28 20 63 30 2e 67 65 74 ssert_eq( c0.get
1560: 28 22 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 ("z", "@v"), new
1570: 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 IntValue(BigInt
1580: 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 2f 2f 20 5b (0)) );.....// [
1590: 54 4f 44 4f 5d 20 64 65 66 69 6e 65 20 74 68 65 TODO] define the
15a0: 20 73 65 6d 61 6e 74 69 63 73 20 61 6e 64 20 74 semantics and t
15b0: 65 73 74 20 40 6c 61 79 65 72 73 0d 0a 7d 0d 0a est @layers..}..
15c0: 0d 0a 69 6d 6d 75 74 61 62 6c 65 28 4c 65 78 50 ..immutable(LexP
15d0: 6f 73 69 74 69 6f 6e 29 20 65 78 74 72 61 63 74 osition) extract
15e0: 50 6f 73 28 20 54 61 62 6c 65 20 74 20 29 0d 0a Pos( Table t )..
15f0: 7b 0d 0a 09 4c 61 79 65 72 20 74 68 65 4c 61 79 {...Layer theLay
1600: 65 72 20 3d 20 22 40 76 22 3b 0d 0a 09 69 66 28 er = "@v";...if(
1610: 61 75 74 6f 20 74 74 20 3d 20 74 2e 61 63 63 65 auto tt = t.acce
1620: 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 ss!Table(theLaye
1630: 72 2c 20 22 70 6f 73 22 29 29 0d 0a 09 7b 0d 0a r, "pos"))...{..
1640: 09 09 61 75 74 6f 20 66 6e 20 3d 20 74 74 2e 61 ..auto fn = tt.a
1650: 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 ccess!StrValue(t
1660: 68 65 4c 61 79 65 72 2c 20 22 66 69 6c 65 6e 61 heLayer, "filena
1670: 6d 65 22 29 3b 0d 0a 09 09 61 75 74 6f 20 6c 6e me");....auto ln
1680: 20 3d 20 74 74 2e 61 63 63 65 73 73 21 49 6e 74 = tt.access!Int
1690: 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 Value(theLayer,
16a0: 22 6c 69 6e 65 6e 6f 22 29 3b 0d 0a 09 09 61 75 "lineno");....au
16b0: 74 6f 20 63 6c 20 3d 20 74 74 2e 61 63 63 65 73 to cl = tt.acces
16c0: 73 21 49 6e 74 56 61 6c 75 65 28 74 68 65 4c 61 s!IntValue(theLa
16d0: 79 65 72 2c 20 22 63 6f 6c 75 6d 6e 22 29 3b 0d yer, "column");.
16e0: 0a 09 09 69 66 28 66 6e 20 21 69 73 20 6e 75 6c ...if(fn !is nul
16f0: 6c 20 26 26 20 6c 6e 20 21 69 73 20 6e 75 6c 6c l && ln !is null
1700: 20 26 26 20 63 6c 20 21 69 73 20 6e 75 6c 6c 29 && cl !is null)
1710: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
1720: 69 6d 6d 75 74 61 62 6c 65 28 4c 65 78 50 6f 73 immutable(LexPos
1730: 69 74 69 6f 6e 29 28 66 6e 2e 64 61 74 61 2c 63 ition)(fn.data,c
1740: 61 73 74 28 69 6e 74 29 6c 6e 2e 64 61 74 61 2e ast(int)ln.data.
1750: 74 6f 49 6e 74 2c 63 61 73 74 28 69 6e 74 29 63 toInt,cast(int)c
1760: 6c 2e 64 61 74 61 2e 74 6f 49 6e 74 29 3b 0d 0a l.data.toInt);..
1770: 09 7d 0d 0a 09 72 65 74 75 72 6e 20 6e 75 6c 6c .}...return null
1780: 3b 0d 0a 7d 0d 0a 0d 0a 56 61 6c 75 65 5b 5d 20 ;..}....Value[]
1790: 74 61 62 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 tableAsConsList(
17a0: 20 4c 61 79 65 72 20 74 68 65 4c 61 79 65 72 2c Layer theLayer,
17b0: 20 54 61 62 6c 65 20 74 20 29 0d 0a 7b 0d 0a 09 Table t )..{...
17c0: 56 61 6c 75 65 5b 5d 20 72 65 73 75 6c 74 3b 0d Value[] result;.
17d0: 0a 09 77 68 69 6c 65 28 74 29 0d 0a 09 09 69 66 ..while(t)....if
17e0: 28 61 75 74 6f 20 76 20 20 3d 20 74 2e 61 63 63 (auto v = t.acc
17f0: 65 73 73 21 56 61 6c 75 65 28 74 68 65 4c 61 79 ess!Value(theLay
1800: 65 72 2c 20 22 63 61 72 22 29 29 0d 0a 09 09 7b er, "car"))....{
1810: 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 76 .....result ~= v
1820: 3b 0d 0a 09 09 09 74 20 3d 20 74 2e 61 63 63 65 ;.....t = t.acce
1830: 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 ss!Table(theLaye
1840: 72 2c 20 22 63 64 72 22 29 3b 0d 0a 09 09 7d 0d r, "cdr");....}.
1850: 0a 09 09 65 6c 73 65 0d 0a 09 09 09 62 72 65 61 ...else.....brea
1860: 6b 3b 0d 0a 09 72 65 74 75 72 6e 20 72 65 73 75 k;...return resu
1870: 6c 74 3b 0d 0a 7d 0d 0a 0d 0a 41 53 54 5b 5d 20 lt;..}....AST[]
1880: 74 61 62 6c 65 54 6f 41 53 54 4c 69 73 74 28 20 tableToASTList(
1890: 4c 61 79 65 72 20 74 68 65 4c 61 79 65 72 2c 20 Layer theLayer,
18a0: 54 61 62 6c 65 20 74 20 29 0d 0a 7b 0d 0a 09 41 Table t )..{...A
18b0: 53 54 5b 5d 20 72 65 73 75 6c 74 3b 0d 0a 09 66 ST[] result;...f
18c0: 6f 72 65 61 63 68 28 76 3b 20 74 61 62 6c 65 41 oreach(v; tableA
18d0: 73 43 6f 6e 73 4c 69 73 74 28 74 68 65 4c 61 79 sConsList(theLay
18e0: 65 72 2c 20 74 29 29 0d 0a 09 09 69 66 28 61 75 er, t))....if(au
18f0: 74 6f 20 74 20 3d 20 63 61 73 74 28 54 61 62 6c to t = cast(Tabl
1900: 65 29 76 29 0d 0a 09 09 09 72 65 73 75 6c 74 20 e)v).....result
1910: 7e 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 ~= tableToAST(th
1920: 65 4c 61 79 65 72 2c 74 29 3b 0d 0a 09 09 65 6c eLayer,t);....el
1930: 73 65 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e se.....throw gen
1940: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
1950: 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 ion(cast(LexPosi
1960: 74 69 6f 6e 29 6e 75 6c 6c 2c 20 22 49 6e 76 61 tion)null, "Inva
1970: 6c 69 64 20 41 53 54 20 28 6e 6f 6e 2d 74 61 62 lid AST (non-tab
1980: 6c 65 20 69 6e 20 63 6f 6e 73 2d 6c 69 73 74 29 le in cons-list)
1990: 22 29 3b 0d 0a 09 72 65 74 75 72 6e 20 72 65 73 ");...return res
19a0: 75 6c 74 3b 0d 0a 7d 0d 0a 0d 0a 41 53 54 20 74 ult;..}....AST t
19b0: 61 62 6c 65 54 6f 41 53 54 28 20 4c 61 79 65 72 ableToAST( Layer
19c0: 20 74 68 65 4c 61 79 65 72 2c 20 54 61 62 6c 65 theLayer, Table
19d0: 20 74 20 29 0d 0a 7b 0d 0a 09 61 75 74 6f 20 6e t )..{...auto n
19e0: 6f 64 65 54 79 70 65 20 3d 20 74 2e 61 63 63 65 odeType = t.acce
19f0: 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 4c ss!StrValue(theL
1a00: 61 79 65 72 2c 20 22 69 73 22 29 3b 0d 0a 09 69 ayer, "is");...i
1a10: 66 28 20 6e 6f 64 65 54 79 70 65 20 69 73 20 6e f( nodeType is n
1a20: 75 6c 6c 20 29 0d 0a 09 09 74 68 72 6f 77 20 67 ull )....throw g
1a30: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
1a40: 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f ption(cast(LexPo
1a50: 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 22 49 6e sition)null, "In
1a60: 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 28 6e valid AST {is:(n
1a70: 6f 74 20 73 74 72 69 6e 67 29 7d 22 29 3b 0d 0a ot string)}");..
1a80: 09 61 75 74 6f 20 70 6f 73 20 3d 20 65 78 74 72 .auto pos = extr
1a90: 61 63 74 50 6f 73 28 74 29 3b 0d 0a 09 73 77 69 actPos(t);...swi
1aa0: 74 63 68 28 6e 6f 64 65 54 79 70 65 2e 64 61 74 tch(nodeType.dat
1ab0: 61 29 0d 0a 09 7b 0d 0a 09 63 61 73 65 20 22 69 a)...{...case "i
1ac0: 6e 74 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 nt":....if(auto
1ad0: 76 20 3d 20 74 2e 61 63 63 65 73 73 21 49 6e 74 v = t.access!Int
1ae0: 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 Value(theLayer,
1af0: 22 64 61 74 61 22 29 29 0d 0a 09 09 09 72 65 74 "data")).....ret
1b00: 75 72 6e 20 6e 65 77 20 49 6e 74 4c 69 74 65 72 urn new IntLiter
1b10: 61 6c 28 70 6f 73 2c 20 76 2e 64 61 74 61 29 3b al(pos, v.data);
1b20: 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
1b30: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
1b40: 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f (cast(LexPositio
1b50: 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 n)null, `Invalid
1b60: 20 41 53 54 20 7b 69 73 3a 22 69 6e 74 22 2c 20 AST {is:"int",
1b70: 64 61 74 61 3a 28 6e 6f 74 20 69 6e 74 29 7d 60 data:(not int)}`
1b80: 29 3b 0d 0a 09 63 61 73 65 20 22 73 74 72 22 3a );...case "str":
1b90: 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d 20 ....if(auto v =
1ba0: 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 t.access!StrValu
1bb0: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 64 61 74 e(theLayer, "dat
1bc0: 61 22 29 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 a")).....return
1bd0: 6e 65 77 20 53 74 72 4c 69 74 65 72 61 6c 28 70 new StrLiteral(p
1be0: 6f 73 2c 20 76 2e 64 61 74 61 29 3b 0d 0a 09 09 os, v.data);....
1bf0: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
1c00: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 imeException(cas
1c10: 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 t(LexPosition)nu
1c20: 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 ll, `Invalid AST
1c30: 20 7b 69 73 3a 22 73 74 72 22 2c 20 64 61 74 61 {is:"str", data
1c40: 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d 60 29 :(not string)}`)
1c50: 3b 0d 0a 09 63 61 73 65 20 22 76 61 72 22 3a 0d ;...case "var":.
1c60: 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d 20 74 ...if(auto v = t
1c70: 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 .access!StrValue
1c80: 28 74 68 65 4c 61 79 65 72 2c 20 22 6e 61 6d 65 (theLayer, "name
1c90: 22 29 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e ")).....return n
1ca0: 65 77 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e ew VarExpression
1cb0: 28 70 6f 73 2c 20 76 2e 64 61 74 61 29 3b 0d 0a (pos, v.data);..
1cc0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
1cd0: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 ntimeException(c
1ce0: 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 ast(LexPosition)
1cf0: 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 null, `Invalid A
1d00: 53 54 20 7b 69 73 3a 22 76 61 72 22 2c 20 6e 61 ST {is:"var", na
1d10: 6d 65 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d me:(not string)}
1d20: 60 29 3b 0d 0a 09 63 61 73 65 20 22 6c 61 79 22 `);...case "lay"
1d30: 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d :....if(auto v =
1d40: 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c t.access!StrVal
1d50: 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6c 61 ue(theLayer, "la
1d60: 79 65 72 22 29 29 0d 0a 09 09 09 69 66 28 61 75 yer")).....if(au
1d70: 74 6f 20 65 20 3d 20 74 2e 61 63 63 65 73 73 21 to e = t.access!
1d80: 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 Table(theLayer,
1d90: 22 65 78 70 72 22 29 29 0d 0a 09 09 09 09 72 65 "expr"))......re
1da0: 74 75 72 6e 20 6e 65 77 20 4c 61 79 65 72 65 64 turn new Layered
1db0: 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 Expression(pos,
1dc0: 76 2e 64 61 74 61 2c 20 74 61 62 6c 65 54 6f 41 v.data, tableToA
1dd0: 53 54 28 74 68 65 4c 61 79 65 72 2c 65 29 29 3b ST(theLayer,e));
1de0: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 .....else......t
1df0: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
1e00: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
1e10: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
1e20: 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 l, `Invalid AST
1e30: 7b 69 73 3a 22 6c 61 79 22 2c 20 65 78 70 72 3a {is:"lay", expr:
1e40: 28 6e 6f 74 20 74 61 62 6c 65 29 7d 60 29 3b 0d (not table)}`);.
1e50: 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 ...throw genex!R
1e60: 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 untimeException(
1e70: 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e cast(LexPosition
1e80: 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 )null, `Invalid
1e90: 41 53 54 20 7b 69 73 3a 22 6c 61 79 22 2c 20 6c AST {is:"lay", l
1ea0: 61 79 65 72 3a 28 6e 6f 74 20 73 74 72 69 6e 67 ayer:(not string
1eb0: 29 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 6c 65 )}`);...case "le
1ec0: 74 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f 20 6e t":....if(auto n
1ed0: 20 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 = t.access!StrV
1ee0: 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 alue(theLayer, "
1ef0: 6e 61 6d 65 22 29 29 0d 0a 09 09 69 66 28 61 75 name"))....if(au
1f00: 74 6f 20 65 20 3d 20 74 2e 61 63 63 65 73 73 21 to e = t.access!
1f10: 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 Table(theLayer,
1f20: 22 69 6e 69 74 22 29 29 0d 0a 09 09 69 66 28 61 "init"))....if(a
1f30: 75 74 6f 20 62 20 3d 20 74 2e 61 63 63 65 73 73 uto b = t.access
1f40: 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c !Table(theLayer,
1f50: 20 22 65 78 70 72 22 29 29 0d 0a 09 09 7b 0d 0a "expr"))....{..
1f60: 09 09 09 73 74 72 69 6e 67 20 6e 6e 20 3d 20 6e ...string nn = n
1f70: 2e 64 61 74 61 3b 0d 0a 09 09 09 61 75 74 6f 20 .data;.....auto
1f80: 65 65 20 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 ee = tableToAST(
1f90: 74 68 65 4c 61 79 65 72 2c 20 65 29 3b 0d 0a 09 theLayer, e);...
1fa0: 09 09 61 75 74 6f 20 62 62 20 3d 20 74 61 62 6c ..auto bb = tabl
1fb0: 65 54 6f 41 53 54 28 74 68 65 4c 61 79 65 72 2c eToAST(theLayer,
1fc0: 20 62 29 3b 0d 0a 09 09 09 4c 61 79 65 72 20 6c b);.....Layer l
1fd0: 61 79 3d 22 22 3b 0d 0a 09 09 09 69 66 28 61 75 ay="";.....if(au
1fe0: 74 6f 20 6c 20 3d 20 74 2e 61 63 63 65 73 73 21 to l = t.access!
1ff0: 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65 StrValue(theLaye
2000: 72 2c 20 22 6c 61 79 65 72 22 29 29 0d 0a 09 09 r, "layer"))....
2010: 09 09 6c 61 79 20 3d 20 6c 2e 64 61 74 61 3b 0d ..lay = l.data;.
2020: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 4c ....return new L
2030: 65 74 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 etExpression(pos
2040: 2c 20 6e 6e 2c 20 6c 61 79 2c 20 65 65 2c 20 62 , nn, lay, ee, b
2050: 62 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f b);....}....thro
2060: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
2070: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 xception(cast(Le
2080: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 xPosition)null,
2090: 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 `Invalid AST {is
20a0: 3a 22 6c 65 74 22 2c 20 6e 61 6d 65 3a 22 3f 3f :"let", name:"??
20b0: 3f 22 2c 20 69 6e 69 74 3a 22 3f 3f 3f 22 2c 20 ?", init:"???",
20c0: 65 78 70 72 3a 22 3f 3f 3f 22 7d 60 29 3b 0d 0a expr:"???"}`);..
20d0: 09 63 61 73 65 20 22 61 70 70 22 3a 0d 0a 09 09 .case "app":....
20e0: 69 66 28 61 75 74 6f 20 66 20 3d 20 74 2e 61 63 if(auto f = t.ac
20f0: 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 cess!Table(theLa
2100: 79 65 72 2c 20 22 66 75 6e 22 29 29 0d 0a 09 09 yer, "fun"))....
2110: 69 66 28 61 75 74 6f 20 61 20 3d 20 74 2e 61 63 if(auto a = t.ac
2120: 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 cess!Table(theLa
2130: 79 65 72 2c 20 22 61 72 67 22 29 29 0d 0a 09 09 yer, "arg"))....
2140: 09 72 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 63 .return new Func
2150: 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 28 70 6f allExpression(po
2160: 73 2c 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 s, tableToAST(th
2170: 65 4c 61 79 65 72 2c 66 29 2c 20 74 61 62 6c 65 eLayer,f), table
2180: 54 6f 41 53 54 4c 69 73 74 28 74 68 65 4c 61 79 ToASTList(theLay
2190: 65 72 2c 61 29 29 3b 0d 0a 09 09 74 68 72 6f 77 er,a));....throw
21a0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
21b0: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 ception(cast(Lex
21c0: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 Position)null, `
21d0: 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a Invalid AST {is:
21e0: 22 61 70 70 22 2c 20 66 75 6e 3a 3f 3f 3f 2c 20 "app", fun:???,
21f0: 61 72 67 3a 3f 3f 3f 7d 60 29 3b 0d 0a 09 63 61 arg:???}`);...ca
2200: 73 65 20 22 66 75 6e 22 3a 0d 0a 09 09 69 66 28 se "fun":....if(
2210: 61 75 74 6f 20 70 20 3d 20 74 2e 61 63 63 65 73 auto p = t.acces
2220: 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 s!Table(theLayer
2230: 2c 20 22 70 61 72 61 6d 22 29 29 0d 0a 09 09 69 , "param"))....i
2240: 66 28 61 75 74 6f 20 62 20 3d 20 74 2e 61 63 63 f(auto b = t.acc
2250: 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c 61 79 ess!Table(theLay
2260: 65 72 2c 20 22 62 6f 64 79 22 29 29 0d 0a 09 09 er, "body"))....
2270: 7b 0d 0a 09 09 09 50 61 72 61 6d 65 74 65 72 5b {.....Parameter[
2280: 5d 20 70 73 3b 0d 0a 09 09 09 66 6f 72 65 61 63 ] ps;.....foreac
2290: 68 28 76 3b 20 74 61 62 6c 65 41 73 43 6f 6e 73 h(v; tableAsCons
22a0: 4c 69 73 74 28 74 68 65 4c 61 79 65 72 2c 20 70 List(theLayer, p
22b0: 29 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 )).....{......if
22c0: 28 61 75 74 6f 20 74 74 20 3d 20 63 61 73 74 28 (auto tt = cast(
22d0: 54 61 62 6c 65 29 76 29 0d 0a 09 09 09 09 69 66 Table)v)......if
22e0: 28 61 75 74 6f 20 73 73 20 3d 20 74 74 2e 61 63 (auto ss = tt.ac
22f0: 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 cess!StrValue(th
2300: 65 4c 61 79 65 72 2c 20 22 6e 61 6d 65 22 29 29 eLayer, "name"))
2310: 0d 0a 09 09 09 09 69 66 28 61 75 74 6f 20 6c 6c ......if(auto ll
2320: 20 3d 20 74 74 2e 61 63 63 65 73 73 21 54 61 62 = tt.access!Tab
2330: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 6c 61 le(theLayer, "la
2340: 79 65 72 22 29 29 0d 0a 09 09 09 09 7b 0d 0a 09 yer"))......{...
2350: 09 09 09 09 4c 61 79 65 72 5b 5d 20 6c 73 3b 0d ....Layer[] ls;.
2360: 0a 09 09 09 09 09 66 6f 72 65 61 63 68 28 6c 6c ......foreach(ll
2370: 6c 3b 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c 69 l; tableAsConsLi
2380: 73 74 28 74 68 65 4c 61 79 65 72 2c 20 6c 6c 29 st(theLayer, ll)
2390: 29 0d 0a 09 09 09 09 09 09 69 66 28 61 75 74 6f )........if(auto
23a0: 20 6c 20 3d 20 63 61 73 74 28 53 74 72 56 61 6c l = cast(StrVal
23b0: 75 65 29 6c 6c 6c 29 0d 0a 09 09 09 09 09 09 09 ue)lll).........
23c0: 6c 73 20 7e 3d 20 6c 2e 64 61 74 61 3b 0d 0a 09 ls ~= l.data;...
23d0: 09 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 09 .....else.......
23e0: 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 ..throw genex!Ru
23f0: 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 ntimeException(c
2400: 61 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 ast(LexPosition)
2410: 6e 75 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 null, `Invalid A
2420: 53 54 20 7b 62 61 64 20 66 75 6e 20 70 61 72 61 ST {bad fun para
2430: 6d 73 7d 60 29 3b 0d 0a 09 09 09 09 09 70 73 20 ms}`);.......ps
2440: 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 ~= new Parameter
2450: 28 73 73 2e 64 61 74 61 2c 20 6c 73 29 3b 0d 0a (ss.data, ls);..
2460: 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 0d 0a .....continue;..
2470: 09 09 09 09 7d 0d 0a 09 09 09 09 65 6c 73 65 0d ....}......else.
2480: 0a 09 09 09 09 7b 0d 0a 09 09 09 09 09 4c 61 79 .....{.......Lay
2490: 65 72 5b 5d 20 65 6d 70 3b 0d 0a 09 09 09 09 09 er[] emp;.......
24a0: 70 73 20 7e 3d 20 6e 65 77 20 50 61 72 61 6d 65 ps ~= new Parame
24b0: 74 65 72 28 73 73 2e 64 61 74 61 2c 20 65 6d 70 ter(ss.data, emp
24c0: 29 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 09 09 74 );......}......t
24d0: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
24e0: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
24f0: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
2500: 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 l, `Invalid AST
2510: 7b 62 61 64 20 66 75 6e 20 70 61 72 61 6d 73 7d {bad fun params}
2520: 60 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 09 61 75 `);.....}.....au
2530: 74 6f 20 62 62 20 3d 20 74 61 62 6c 65 54 6f 41 to bb = tableToA
2540: 53 54 28 74 68 65 4c 61 79 65 72 2c 20 62 29 3b ST(theLayer, b);
2550: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
2560: 46 75 6e 4c 69 74 65 72 61 6c 28 70 6f 73 2c 70 FunLiteral(pos,p
2570: 73 2c 62 62 29 3b 0d 0a 09 09 7d 0d 0a 09 09 74 s,bb);....}....t
2580: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
2590: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
25a0: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
25b0: 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 l, `Invalid AST
25c0: 7b 69 73 3a 22 66 75 6e 22 2c 20 70 61 72 61 6d {is:"fun", param
25d0: 3a 3f 3f 3f 2c 20 62 6f 64 79 3a 3f 3f 3f 7d 60 :???, body:???}`
25e0: 29 3b 0d 0a 09 64 65 66 61 75 6c 74 3a 0d 0a 09 );...default:...
25f0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
2600: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 timeException(ca
2610: 73 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e st(LexPosition)n
2620: 75 6c 6c 2c 20 73 70 72 69 6e 74 66 21 60 49 6e ull, sprintf!`In
2630: 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 20 22 valid AST {is: "
2640: 25 73 22 7d 20 75 6e 6b 6e 6f 77 6e 60 28 6e 6f %s"} unknown`(no
2650: 64 65 54 79 70 65 2e 64 61 74 61 29 29 3b 0d 0a deType.data));..
2660: 09 7d 0d 0a 7d 0d 0a .}..}..