0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63 k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20 nos.net/nysl/..
0050: 2a 0d 0a 20 2a 20 52 75 6e 74 69 6d 65 20 64 61 *.. * Runtime da
0060: 74 61 20 73 74 72 75 63 74 75 72 65 73 20 66 6f ta structures fo
0070: 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d r Polemy program
0080: 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0d 0a ming language...
0090: 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 */..module pole
00a0: 6d 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 my.value;..impor
00b0: 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e t polemy._common
00c0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 ;..import polemy
00d0: 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 .failure;..impor
00e0: 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 0d t polemy.ast;...
00f0: 0a 2f 2f 2f 20 52 75 6e 74 69 6d 65 20 76 61 6c ./// Runtime val
0100: 75 65 73 20 6f 66 20 50 6f 6c 65 6d 79 0d 0a 0d ues of Polemy...
0110: 0a 61 62 73 74 72 61 63 74 20 63 6c 61 73 73 20 .abstract class
0120: 56 61 6c 75 65 0d 0a 7b 0d 0a 7d 0d 0a 0d 0a 2f Value..{..}..../
0130: 2f 2f 0d 0a 63 6c 61 73 73 20 49 6e 74 56 61 6c //..class IntVal
0140: 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 ue : Value..{...
0150: 42 69 67 49 6e 74 20 64 61 74 61 3b 0d 0a 0d 0a BigInt data;....
0160: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
0170: 73 73 3b 0d 0a 09 6f 76 65 72 72 69 64 65 20 73 ss;...override s
0180: 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 28 29 tring toString()
0190: 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 6e 20 const { return
01a0: 73 74 64 2e 62 69 67 69 6e 74 2e 74 6f 44 65 63 std.bigint.toDec
01b0: 69 6d 61 6c 53 74 72 69 6e 67 28 63 61 73 74 28 imalString(cast(
01c0: 42 69 67 49 6e 74 29 64 61 74 61 29 3b 20 7d 0d BigInt)data); }.
01d0: 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 .}....///..class
01e0: 20 53 74 72 56 61 6c 75 65 20 3a 20 56 61 6c 75 StrValue : Valu
01f0: 65 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 64 61 e..{...string da
0200: 74 61 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 ta;.....mixin Si
0210: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 mpleClass;...ove
0220: 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 rride string toS
0230: 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 tring() const {
0240: 72 65 74 75 72 6e 20 64 61 74 61 3b 20 7d 0d 0a return data; }..
0250: 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 }....///..class
0260: 46 75 6e 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 FunValue : Value
0270: 0d 0a 7b 0d 0a 09 56 61 6c 75 65 20 64 65 6c 65 ..{...Value dele
0280: 67 61 74 65 28 69 6d 6d 75 74 61 62 6c 65 20 4c gate(immutable L
0290: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 exPosition pos,
02a0: 73 74 72 69 6e 67 20 6c 61 79 2c 20 56 61 6c 75 string lay, Valu
02b0: 65 5b 5d 29 20 64 61 74 61 3b 0d 0a 0d 0a 09 6d e[]) data;.....m
02c0: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 ixin SimpleConst
02d0: 72 75 63 74 6f 72 3b 0d 0a 09 61 6c 69 61 73 20 ructor;...alias
02e0: 64 61 74 61 20 63 61 6c 6c 3b 0d 0a 09 6f 76 65 data call;...ove
02f0: 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 rride string toS
0300: 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 20 7b 20 tring() const {
0310: 72 65 74 75 72 6e 20 73 70 72 69 6e 74 66 21 22 return sprintf!"
0320: 28 66 75 6e 63 74 69 6f 6e 3a 25 73 3a 25 73 29 (function:%s:%s)
0330: 22 28 64 61 74 61 2e 70 74 72 2c 64 61 74 61 2e "(data.ptr,data.
0340: 66 75 6e 63 70 74 72 29 3b 20 7d 0d 0a 7d 0d 0a funcptr); }..}..
0350: 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 55 6e 64 ..///..class Und
0360: 56 61 6c 75 65 20 3a 20 56 61 6c 75 65 0d 0a 7b Value : Value..{
0370: 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 ...mixin SimpleC
0380: 6c 61 73 73 3b 0d 0a 09 6f 76 65 72 72 69 64 65 lass;...override
0390: 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 string toString
03a0: 28 29 20 63 6f 6e 73 74 20 7b 20 72 65 74 75 72 () const { retur
03b0: 6e 20 22 3c 75 6e 64 65 66 69 6e 65 64 3e 22 3b n "<undefined>";
03c0: 20 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 4e 61 6d }..}..../// Nam
03d0: 65 64 20 43 6f 6e 73 74 72 75 63 74 6f 72 20 66 ed Constructor f
03e0: 6f 72 20 46 75 6e 56 61 6c 75 65 0d 0a 0d 0a 46 or FunValue....F
03f0: 75 6e 56 61 6c 75 65 20 6e 61 74 69 76 65 66 28 unValue nativef(
0400: 56 61 6c 75 65 20 64 65 6c 65 67 61 74 65 28 69 Value delegate(i
0410: 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 mmutable LexPosi
0420: 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 20 tion pos, Layer
0430: 6c 61 79 2c 20 56 61 6c 75 65 5b 5d 20 61 72 67 lay, Value[] arg
0440: 73 29 20 64 67 29 0d 0a 7b 0d 0a 09 72 65 74 75 s) dg)..{...retu
0450: 72 6e 20 6e 65 77 20 46 75 6e 56 61 6c 75 65 28 rn new FunValue(
0460: 64 67 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 4e dg);..}..../// N
0470: 61 6d 65 64 20 43 6f 6e 73 74 72 75 63 74 6f 72 amed Constructor
0480: 20 66 6f 72 20 46 75 6e 56 61 6c 75 65 0d 0a 0d for FunValue...
0490: 0a 46 75 6e 56 61 6c 75 65 20 6e 61 74 69 76 65 .FunValue native
04a0: 28 52 2c 54 2e 2e 2e 29 28 52 20 64 65 6c 65 67 (R,T...)(R deleg
04b0: 61 74 65 20 28 54 29 20 64 67 29 0d 0a 7b 0d 0a ate (T) dg)..{..
04c0: 09 72 65 74 75 72 6e 20 6e 61 74 69 76 65 66 28 .return nativef(
04d0: 20 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 delegate Value(
04e0: 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 immutable LexPos
04f0: 69 74 69 6f 6e 20 70 6f 73 2c 20 4c 61 79 65 72 ition pos, Layer
0500: 20 6c 61 79 2c 20 56 61 6c 75 65 5b 5d 20 61 72 lay, Value[] ar
0510: 67 73 29 20 7b 0d 0a 09 09 69 66 28 20 6c 61 79 gs) {....if( lay
0520: 20 21 3d 20 22 40 76 22 20 29 0d 0a 09 09 09 74 != "@v" ).....t
0530: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
0540: 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c meException(pos,
0550: 20 22 6f 6e 6c 79 20 40 76 20 6c 61 79 65 72 20 "only @v layer
0560: 63 61 6e 20 63 61 6c 6c 20 6e 61 74 69 76 65 20 can call native
0570: 66 75 6e 63 74 69 6f 6e 22 29 3b 0d 0a 09 09 69 function");....i
0580: 66 28 20 54 2e 6c 65 6e 67 74 68 20 21 3d 20 61 f( T.length != a
0590: 72 67 73 2e 6c 65 6e 67 74 68 20 29 0d 0a 09 09 rgs.length )....
05a0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
05b0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 70 6f timeException(po
05c0: 73 2c 20 22 61 72 67 75 6d 65 6e 74 20 6e 75 6d s, "argument num
05d0: 62 65 72 20 6d 69 73 6d 61 74 63 68 21 22 29 3b ber mismatch!");
05e0: 0d 0a 09 09 54 20 74 79 70 65 64 5f 61 72 67 73 ....T typed_args
05f0: 3b 0d 0a 09 09 66 6f 72 65 61 63 68 28 69 2c 20 ;....foreach(i,
0600: 54 69 3b 20 54 29 0d 0a 09 09 7b 0d 0a 09 09 09 Ti; T)....{.....
0610: 74 79 70 65 64 5f 61 72 67 73 5b 69 5d 20 3d 20 typed_args[i] =
0620: 63 61 73 74 28 54 69 29 20 61 72 67 73 5b 69 5d cast(Ti) args[i]
0630: 3b 0d 0a 09 09 09 69 66 28 20 74 79 70 65 64 5f ;.....if( typed_
0640: 61 72 67 73 5b 69 5d 20 69 73 20 6e 75 6c 6c 20 args[i] is null
0650: 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e )......throw gen
0660: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
0670: 69 6f 6e 28 70 6f 73 2c 20 73 70 72 69 6e 74 66 ion(pos, sprintf
0680: 21 22 74 79 70 65 20 6d 69 73 6d 61 74 63 68 20 !"type mismatch
0690: 6f 6e 20 74 68 65 20 61 72 67 75 6d 65 6e 74 20 on the argument
06a0: 25 64 22 28 69 2b 31 29 29 3b 0d 0a 09 09 7d 0d %d"(i+1));....}.
06b0: 0a 09 09 74 72 79 20 7b 0d 0a 09 09 09 72 65 74 ...try {.....ret
06c0: 75 72 6e 20 64 67 28 74 79 70 65 64 5f 61 72 67 urn dg(typed_arg
06d0: 73 29 3b 0d 0a 09 09 7d 20 63 61 74 63 68 28 20 s);....} catch(
06e0: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
06f0: 20 65 20 29 20 7b 0d 0a 09 09 09 74 68 72 6f 77 e ) {.....throw
0700: 20 65 2e 70 6f 73 20 69 73 20 6e 75 6c 6c 20 3f e.pos is null ?
0710: 20 6e 65 77 20 52 75 6e 74 69 6d 65 45 78 63 65 new RuntimeExce
0720: 70 74 69 6f 6e 28 70 6f 73 2c 20 65 2e 6d 73 67 ption(pos, e.msg
0730: 2c 20 65 2e 66 69 6c 65 2c 20 65 2e 6c 69 6e 65 , e.file, e.line
0740: 29 20 3a 20 65 3b 0d 0a 09 09 7d 0d 0a 09 7d 29 ) : e;....}...})
0750: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 4c 61 79 65 ;..}..../// Laye
0760: 72 20 49 44 0d 0a 0d 0a 61 6c 69 61 73 20 73 74 r ID....alias st
0770: 72 69 6e 67 20 4c 61 79 65 72 3b 0d 0a 0d 0a 2f ring Layer;..../
0780: 2f 2f 20 43 6f 6e 74 65 78 74 20 28 76 61 72 69 // Context (vari
0790: 61 62 6c 65 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 able environment
07a0: 29 0d 0a 2f 2f 2f 20 53 69 6d 6c 61 72 20 74 6f )../// Simlar to
07b0: 20 70 72 6f 74 6f 74 79 70 65 20 63 68 61 69 6e prototype chain
07c0: 20 6f 66 20 45 43 4d 41 53 63 72 69 70 74 20 65 of ECMAScript e
07d0: 74 63 2e 0d 0a 2f 2f 2f 20 42 75 74 20 65 78 74 tc.../// But ext
07e0: 65 6e 64 65 64 20 77 69 74 68 20 74 68 65 20 6e ended with the n
07f0: 6f 74 69 6f 6e 20 6f 66 20 22 4c 61 79 65 72 22 otion of "Layer"
0800: 0d 0a 0d 0a 63 6c 61 73 73 20 54 61 62 6c 65 20 ....class Table
0810: 3a 20 56 61 6c 75 65 0d 0a 7b 0d 0a 09 65 6e 75 : Value..{...enu
0820: 6d 20 4b 69 6e 64 20 7b 50 72 6f 70 61 67 61 74 m Kind {Propagat
0830: 65 53 65 74 2c 20 4e 6f 74 50 72 6f 70 61 67 61 eSet, NotPropaga
0840: 74 65 53 65 74 7d 3b 0d 0a 0d 0a 09 74 68 69 73 teSet};.....this
0850: 28 20 54 61 62 6c 65 20 70 72 6f 74 6f 3d 6e 75 ( Table proto=nu
0860: 6c 6c 2c 20 4b 69 6e 64 20 6b 20 3d 20 4b 69 6e ll, Kind k = Kin
0870: 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 20 29 d.PropagateSet )
0880: 0d 0a 09 09 7b 20 74 68 69 73 2e 70 72 6f 74 6f ....{ this.proto
0890: 74 79 70 65 20 3d 20 70 72 6f 74 6f 3b 20 74 68 type = proto; th
08a0: 69 73 2e 6b 69 6e 64 20 3d 20 6b 3b 20 7d 0d 0a is.kind = k; }..
08b0: 0d 0a 09 76 6f 69 64 20 73 65 74 28 73 74 72 69 ...void set(stri
08c0: 6e 67 20 69 2c 20 4c 61 79 65 72 20 6c 61 79 2c ng i, Layer lay,
08d0: 20 56 61 6c 75 65 20 76 2c 20 69 6e 20 4c 65 78 Value v, in Lex
08e0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d 6e 75 6c Position pos=nul
08f0: 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 20 73 65 l)...{....if( se
0900: 74 49 66 45 78 69 73 74 28 69 2c 20 6c 61 79 2c tIfExist(i, lay,
0910: 20 76 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e v) ).....return
0920: 3b 0d 0a 09 09 64 61 74 61 5b 69 5d 5b 6c 61 79 ;....data[i][lay
0930: 5d 20 3d 20 76 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 ] = v;...}.....b
0940: 6f 6f 6c 20 68 61 73 28 73 74 72 69 6e 67 20 69 ool has(string i
0950: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 69 6e 20 , Layer lay, in
0960: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d LexPosition pos=
0970: 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 null)...{....if(
0980: 20 69 20 69 6e 20 64 61 74 61 20 29 20 7b 0d 0a i in data ) {..
0990: 09 09 09 69 66 28 20 6c 61 79 20 21 69 6e 20 64 ...if( lay !in d
09a0: 61 74 61 5b 69 5d 20 29 0d 0a 09 09 09 09 72 65 ata[i] )......re
09b0: 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 09 turn false;.....
09c0: 72 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 09 return true;....
09d0: 7d 0d 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 }....if( prototy
09e0: 70 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 pe is null )....
09f0: 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a .return false;..
0a00: 09 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 ..return prototy
0a10: 70 65 2e 68 61 73 28 69 2c 20 6c 61 79 2c 20 70 pe.has(i, lay, p
0a20: 6f 73 29 3b 0d 0a 09 7d 0d 0a 09 0d 0a 09 56 61 os);...}......Va
0a30: 6c 75 65 20 67 65 74 28 73 74 72 69 6e 67 20 69 lue get(string i
0a40: 2c 20 4c 61 79 65 72 20 6c 61 79 2c 20 69 6e 20 , Layer lay, in
0a50: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3d LexPosition pos=
0a60: 6e 75 6c 6c 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 null)...{....if(
0a70: 20 69 20 69 6e 20 64 61 74 61 20 29 20 7b 0d 0a i in data ) {..
0a80: 09 09 09 2f 2f 20 5b 54 4f 44 4f 5d 20 63 6f 6e ...// [TODO] con
0a90: 73 69 64 65 72 20 66 6f 72 77 61 72 64 69 6e 67 sider forwarding
0aa0: 20 74 6f 20 70 72 6f 74 6f 20 61 6c 73 6f 20 69 to proto also i
0ab0: 6e 20 74 68 69 73 20 63 61 73 65 0d 0a 09 09 09 n this case.....
0ac0: 69 66 28 20 6c 61 79 20 21 69 6e 20 64 61 74 61 if( lay !in data
0ad0: 5b 69 5d 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 [i] )......throw
0ae0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
0af0: 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 73 70 72 ception(pos, spr
0b00: 69 6e 74 66 21 22 76 61 72 69 61 62 6c 65 20 25 intf!"variable %
0b10: 73 20 69 73 20 6e 6f 74 20 73 65 74 20 69 6e 20 s is not set in
0b20: 6c 61 79 65 72 20 25 73 22 28 69 2c 6c 61 79 29 layer %s"(i,lay)
0b30: 29 3b 0d 0a 09 09 09 72 65 74 75 72 6e 20 64 61 );.....return da
0b40: 74 61 5b 69 5d 5b 6c 61 79 5d 3b 0d 0a 09 09 7d ta[i][lay];....}
0b50: 0d 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 ....if( prototyp
0b60: 65 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 e is null ).....
0b70: 74 68 72 6f 77 20 6e 65 77 20 52 75 6e 74 69 6d throw new Runtim
0b80: 65 45 78 63 65 70 74 69 6f 6e 28 70 6f 73 2c 20 eException(pos,
0b90: 73 70 72 69 6e 74 66 21 22 76 61 72 69 61 62 6c sprintf!"variabl
0ba0: 65 20 25 73 20 6e 6f 74 20 66 6f 75 6e 64 22 28 e %s not found"(
0bb0: 69 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 70 i));....return p
0bc0: 72 6f 74 6f 74 79 70 65 2e 67 65 74 28 69 2c 20 rototype.get(i,
0bd0: 6c 61 79 2c 20 70 6f 73 29 3b 0d 0a 09 7d 0d 0a lay, pos);...}..
0be0: 0d 0a 09 54 20 61 63 63 65 73 73 28 54 2c 53 2e ...T access(T,S.
0bf0: 2e 2e 29 28 20 4c 61 79 65 72 20 6c 61 79 2c 20 ..)( Layer lay,
0c00: 73 74 72 69 6e 67 20 70 61 74 68 2c 20 53 20 72 string path, S r
0c10: 65 73 74 20 29 0d 0a 09 7b 0d 0a 09 09 73 74 61 est )...{....sta
0c20: 74 69 63 20 69 66 28 20 72 65 73 74 2e 6c 65 6e tic if( rest.len
0c30: 67 74 68 20 3d 3d 20 30 20 29 0d 0a 09 09 7b 0d gth == 0 )....{.
0c40: 0a 09 09 09 69 66 28 20 74 68 69 73 2e 68 61 73 ....if( this.has
0c50: 28 70 61 74 68 2c 20 6c 61 79 29 20 29 0d 0a 09 (path, lay) )...
0c60: 09 09 09 72 65 74 75 72 6e 20 63 61 73 74 28 54 ...return cast(T
0c70: 29 20 74 68 69 73 2e 67 65 74 28 70 61 74 68 2c ) this.get(path,
0c80: 20 6c 61 79 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 lay);....}....e
0c90: 6c 73 65 0d 0a 09 09 7b 0d 0a 09 09 09 69 66 28 lse....{.....if(
0ca0: 61 75 74 6f 20 6e 65 78 74 20 3d 20 74 68 69 73 auto next = this
0cb0: 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 6c 61 .access!Table(la
0cc0: 79 2c 70 61 74 68 29 29 0d 0a 09 09 09 09 72 65 y,path))......re
0cd0: 74 75 72 6e 20 6e 65 78 74 2e 61 63 63 65 73 73 turn next.access
0ce0: 21 54 28 6c 61 79 2c 72 65 73 74 29 3b 0d 0a 09 !T(lay,rest);...
0cf0: 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 6e 75 6c .}....return nul
0d00: 6c 3b 0d 0a 09 7d 0d 0a 0d 0a 09 73 74 72 69 6e l;...}.....strin
0d10: 67 20 74 6f 53 74 72 69 6e 67 57 69 74 68 6f 75 g toStringWithou
0d20: 74 50 61 72 65 6e 28 29 20 63 6f 6e 73 74 0d 0a tParen() const..
0d30: 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 72 65 73 .{....string res
0d40: 75 6c 74 3b 0d 0a 09 09 62 6f 6f 6c 20 66 69 72 ult;....bool fir
0d50: 73 74 20 3d 20 74 72 75 65 3b 0d 0a 09 09 66 6f st = true;....fo
0d60: 72 65 61 63 68 28 6b 2c 20 6c 32 64 3b 20 64 61 reach(k, l2d; da
0d70: 74 61 29 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 ta).....foreach(
0d80: 6c 2c 64 3b 20 6c 32 64 29 0d 0a 09 09 09 7b 0d l,d; l2d).....{.
0d90: 0a 09 09 09 09 69 66 28 66 69 72 73 74 29 20 66 .....if(first) f
0da0: 69 72 73 74 3d 66 61 6c 73 65 3b 20 65 6c 73 65 irst=false; else
0db0: 20 72 65 73 75 6c 74 7e 3d 22 2c 20 22 3b 0d 0a result~=", ";..
0dc0: 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 6b 3b ....result ~= k;
0dd0: 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 ......result ~=
0de0: 6c 3b 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e l;......result ~
0df0: 3d 20 22 3a 22 3b 0d 0a 09 09 09 09 72 65 73 75 = ":";......resu
0e00: 6c 74 20 7e 3d 20 74 65 78 74 28 63 61 73 74 28 lt ~= text(cast(
0e10: 56 61 6c 75 65 29 64 29 3b 0d 0a 09 09 09 7d 0d Value)d);.....}.
0e20: 0a 09 09 69 66 28 20 70 72 6f 74 6f 74 79 70 65 ...if( prototype
0e30: 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 7b !is null )....{
0e40: 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 22 .....result ~= "
0e50: 20 2f 20 22 3b 0d 0a 09 09 09 72 65 73 75 6c 74 / ";.....result
0e60: 20 7e 3d 20 70 72 6f 74 6f 74 79 70 65 2e 74 6f ~= prototype.to
0e70: 53 74 72 69 6e 67 57 69 74 68 6f 75 74 50 61 72 StringWithoutPar
0e80: 65 6e 28 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 en();....}....re
0e90: 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 7d turn result;...}
0ea0: 0d 0a 09 0d 0a 09 73 74 72 69 6e 67 20 74 6f 53 ......string toS
0eb0: 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 0d 0a 09 tring() const...
0ec0: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 22 7b 22 20 {....return "{"
0ed0: 7e 20 74 6f 53 74 72 69 6e 67 57 69 74 68 6f 75 ~ toStringWithou
0ee0: 74 50 61 72 65 6e 28 29 20 7e 20 22 7d 22 3b 0d tParen() ~ "}";.
0ef0: 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d ..}....private:.
0f00: 0a 09 54 61 62 6c 65 20 20 20 20 20 20 20 20 20 ..Table
0f10: 20 20 20 20 20 20 20 70 72 6f 74 6f 74 79 70 65 prototype
0f20: 3b 0d 0a 09 4b 69 6e 64 20 20 20 20 20 20 20 20 ;...Kind
0f30: 20 20 20 20 20 20 20 20 20 6b 69 6e 64 3b 0d 0a kind;..
0f40: 09 56 61 6c 75 65 5b 4c 61 79 65 72 5d 5b 73 74 .Value[Layer][st
0f50: 72 69 6e 67 5d 20 64 61 74 61 3b 0d 0a 0d 0a 09 ring] data;.....
0f60: 62 6f 6f 6c 20 73 65 74 49 66 45 78 69 73 74 28 bool setIfExist(
0f70: 73 74 72 69 6e 67 20 69 2c 20 4c 61 79 65 72 20 string i, Layer
0f80: 6c 61 79 2c 20 56 61 6c 75 65 20 76 29 0d 0a 09 lay, Value v)...
0f90: 7b 0d 0a 09 09 69 66 28 20 69 20 69 6e 20 64 61 {....if( i in da
0fa0: 74 61 20 29 0d 0a 09 09 7b 0d 0a 09 09 09 64 61 ta )....{.....da
0fb0: 74 61 5b 69 5d 5b 6c 61 79 5d 20 3d 20 76 3b 0d ta[i][lay] = v;.
0fc0: 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b ....return true;
0fd0: 0d 0a 09 09 7d 0d 0a 09 09 69 66 28 20 6b 69 6e ....}....if( kin
0fe0: 64 3d 3d 4b 69 6e 64 2e 50 72 6f 70 61 67 61 74 d==Kind.Propagat
0ff0: 65 53 65 74 20 26 26 20 70 72 6f 74 6f 74 79 70 eSet && prototyp
1000: 65 20 21 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 e !is null )....
1010: 09 72 65 74 75 72 6e 20 70 72 6f 74 6f 74 79 70 .return prototyp
1020: 65 2e 73 65 74 49 66 45 78 69 73 74 28 69 2c 20 e.setIfExist(i,
1030: 6c 61 79 2c 20 76 29 3b 0d 0a 09 09 72 65 74 75 lay, v);....retu
1040: 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 7d 0d 0a 7d rn false;...}..}
1050: 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d ....unittest..{.
1060: 0a 09 54 61 62 6c 65 20 63 30 20 3d 20 6e 65 77 ..Table c0 = new
1070: 20 54 61 62 6c 65 3b 0d 0a 09 54 61 62 6c 65 20 Table;...Table
1080: 63 30 31 20 3d 20 6e 65 77 20 54 61 62 6c 65 28 c01 = new Table(
1090: 63 30 2c 20 54 61 62 6c 65 2e 4b 69 6e 64 2e 4e c0, Table.Kind.N
10a0: 6f 74 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b otPropagateSet);
10b0: 0d 0a 09 54 61 62 6c 65 20 63 30 31 32 20 3d 20 ...Table c012 =
10c0: 6e 65 77 20 54 61 62 6c 65 28 63 30 31 2c 20 54 new Table(c01, T
10d0: 61 62 6c 65 2e 4b 69 6e 64 2e 50 72 6f 70 61 67 able.Kind.Propag
10e0: 61 74 65 53 65 74 29 3b 0d 0a 09 54 61 62 6c 65 ateSet);...Table
10f0: 20 63 30 31 33 20 3d 20 6e 65 77 20 54 61 62 6c c013 = new Tabl
1100: 65 28 63 30 31 2c 20 54 61 62 6c 65 2e 4b 69 6e e(c01, Table.Kin
1110: 64 2e 50 72 6f 70 61 67 61 74 65 53 65 74 29 3b d.PropagateSet);
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 32 2e 73 65 74 28 22 78 row( c012.set("x
1140: 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 6e 74 ", "@v", new Int
1150: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 32 29 Value(BigInt(12)
1160: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 )) );...assert_t
1170: 68 72 6f 77 21 52 75 6e 74 69 6d 65 45 78 63 65 hrow!RuntimeExce
1180: 70 74 69 6f 6e 28 20 63 30 31 33 2e 67 65 74 28 ption( c013.get(
1190: 22 78 22 2c 20 22 40 76 22 29 20 29 3b 0d 0a 09 "x", "@v") );...
11a0: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 assert_nothrow(
11b0: 63 30 31 33 2e 73 65 74 28 22 78 22 2c 20 22 40 c013.set("x", "@
11c0: 76 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 v", new IntValue
11d0: 28 42 69 67 49 6e 74 28 31 33 29 29 29 20 29 3b (BigInt(13))) );
11e0: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
11f0: 31 33 2e 67 65 74 28 22 78 22 2c 20 22 40 76 22 13.get("x", "@v"
1200: 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ), new IntValue(
1210: 42 69 67 49 6e 74 28 31 33 29 29 20 29 3b 0d 0a BigInt(13)) );..
1220: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 32 .assert_eq( c012
1230: 2e 67 65 74 28 22 78 22 2c 20 22 40 76 22 29 2c .get("x", "@v"),
1240: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1250: 67 49 6e 74 28 31 32 29 29 20 29 3b 0d 0a 09 61 gInt(12)) );...a
1260: 73 73 65 72 74 5f 74 68 72 6f 77 21 52 75 6e 74 ssert_throw!Runt
1270: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 20 63 30 imeException( c0
1280: 31 2e 67 65 74 28 22 78 22 2c 20 22 40 76 22 29 1.get("x", "@v")
1290: 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e );.....assert_n
12a0: 6f 74 68 72 6f 77 28 20 63 30 31 2e 73 65 74 28 othrow( c01.set(
12b0: 22 79 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 "y", "@v", new I
12c0: 6e 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 ntValue(BigInt(1
12d0: 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f ))) );...assert_
12e0: 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 22 eq( c013.get("y"
12f0: 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 , "@v"), new Int
1300: 56 61 6c 75 65 28 42 69 67 49 6e 74 28 31 29 29 Value(BigInt(1))
1310: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1320: 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c 20 22 c012.get("y", "
1330: 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c @v"), new IntVal
1340: 75 65 28 42 69 67 49 6e 74 28 31 29 29 20 29 3b ue(BigInt(1)) );
1350: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 ...assert_eq( c0
1360: 31 2e 67 65 74 28 22 79 22 2c 20 22 40 76 22 29 1.get("y", "@v")
1370: 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 , new IntValue(B
1380: 69 67 49 6e 74 28 31 29 29 20 29 3b 0d 0a 0d 0a igInt(1)) );....
1390: 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 .assert_nothrow(
13a0: 20 63 30 2e 73 65 74 28 22 7a 22 2c 20 22 40 76 c0.set("z", "@v
13b0: 22 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 ", new IntValue(
13c0: 42 69 67 49 6e 74 28 30 29 29 29 20 29 3b 0d 0a BigInt(0))) );..
13d0: 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 31 33 .assert_eq( c013
13e0: 2e 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 2c .get("z", "@v"),
13f0: 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 new IntValue(Bi
1400: 67 49 6e 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 gInt(0)) );...as
1410: 73 65 72 74 5f 65 71 28 20 63 30 31 32 2e 67 65 sert_eq( c012.ge
1420: 74 28 22 7a 22 2c 20 22 40 76 22 29 2c 20 6e 65 t("z", "@v"), ne
1430: 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 49 6e w IntValue(BigIn
1440: 74 28 30 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 t(0)) );...asser
1450: 74 5f 65 71 28 20 63 30 31 2e 67 65 74 28 22 7a t_eq( c01.get("z
1460: 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e ", "@v"), new In
1470: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
1480: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1490: 28 20 63 30 2e 67 65 74 28 22 7a 22 2c 20 22 40 ( c0.get("z", "@
14a0: 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 v"), new IntValu
14b0: 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b 0d e(BigInt(0)) );.
14c0: 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ....assert_nothr
14d0: 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 79 22 ow( c012.set("y"
14e0: 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 6e 74 56 , "@v", new IntV
14f0: 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 alue(BigInt(444)
1500: 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 )) );...assert_e
1510: 71 28 20 63 30 31 33 2e 67 65 74 28 22 79 22 2c q( c013.get("y",
1520: 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 "@v"), new IntV
1530: 61 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 alue(BigInt(444)
1540: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1550: 28 20 63 30 31 32 2e 67 65 74 28 22 79 22 2c 20 ( c012.get("y",
1560: 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 "@v"), new IntVa
1570: 6c 75 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 lue(BigInt(444))
1580: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1590: 20 63 30 31 2e 67 65 74 28 22 79 22 2c 20 22 40 c01.get("y", "@
15a0: 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 v"), new IntValu
15b0: 65 28 42 69 67 49 6e 74 28 34 34 34 29 29 20 29 e(BigInt(444)) )
15c0: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ;.....assert_not
15d0: 68 72 6f 77 28 20 63 30 31 32 2e 73 65 74 28 22 hrow( c012.set("
15e0: 7a 22 2c 20 22 40 76 22 2c 20 6e 65 77 20 49 6e z", "@v", new In
15f0: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 35 35 tValue(BigInt(55
1600: 35 29 29 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5))) );...assert
1610: 5f 65 71 28 20 63 30 31 33 2e 67 65 74 28 22 7a _eq( c013.get("z
1620: 22 2c 20 22 40 76 22 29 2c 20 6e 65 77 20 49 6e ", "@v"), new In
1630: 74 56 61 6c 75 65 28 42 69 67 49 6e 74 28 30 29 tValue(BigInt(0)
1640: 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 ) );...assert_eq
1650: 28 20 63 30 31 32 2e 67 65 74 28 22 7a 22 2c 20 ( c012.get("z",
1660: 22 40 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 "@v"), new IntVa
1670: 6c 75 65 28 42 69 67 49 6e 74 28 35 35 35 29 29 lue(BigInt(555))
1680: 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 );...assert_eq(
1690: 20 63 30 31 2e 67 65 74 28 22 7a 22 2c 20 22 40 c01.get("z", "@
16a0: 76 22 29 2c 20 6e 65 77 20 49 6e 74 56 61 6c 75 v"), new IntValu
16b0: 65 28 42 69 67 49 6e 74 28 30 29 29 20 29 3b 0d e(BigInt(0)) );.
16c0: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 63 30 2e ..assert_eq( c0.
16d0: 67 65 74 28 22 7a 22 2c 20 22 40 76 22 29 2c 20 get("z", "@v"),
16e0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 42 69 67 new IntValue(Big
16f0: 49 6e 74 28 30 29 29 20 29 3b 0d 0a 0d 0a 09 2f Int(0)) );...../
1700: 2f 20 5b 54 4f 44 4f 5d 20 64 65 66 69 6e 65 20 / [TODO] define
1710: 74 68 65 20 73 65 6d 61 6e 74 69 63 73 20 61 6e the semantics an
1720: 64 20 74 65 73 74 20 40 6c 61 79 65 72 73 0d 0a d test @layers..
1730: 7d 0d 0a 0d 0a 69 6d 6d 75 74 61 62 6c 65 28 4c }....immutable(L
1740: 65 78 50 6f 73 69 74 69 6f 6e 29 20 65 78 74 72 exPosition) extr
1750: 61 63 74 50 6f 73 28 20 54 61 62 6c 65 20 74 20 actPos( Table t
1760: 29 0d 0a 7b 0d 0a 09 4c 61 79 65 72 20 74 68 65 )..{...Layer the
1770: 4c 61 79 65 72 20 3d 20 22 40 76 22 3b 0d 0a 09 Layer = "@v";...
1780: 69 66 28 61 75 74 6f 20 74 74 20 3d 20 74 2e 61 if(auto tt = t.a
1790: 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c ccess!Table(theL
17a0: 61 79 65 72 2c 20 22 70 6f 73 22 29 29 0d 0a 09 ayer, "pos"))...
17b0: 7b 0d 0a 09 09 61 75 74 6f 20 66 6e 20 3d 20 74 {....auto fn = t
17c0: 74 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 t.access!StrValu
17d0: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 66 69 6c e(theLayer, "fil
17e0: 65 6e 61 6d 65 22 29 3b 0d 0a 09 09 61 75 74 6f ename");....auto
17f0: 20 6c 6e 20 3d 20 74 74 2e 61 63 63 65 73 73 21 ln = tt.access!
1800: 49 6e 74 56 61 6c 75 65 28 74 68 65 4c 61 79 65 IntValue(theLaye
1810: 72 2c 20 22 6c 69 6e 65 6e 6f 22 29 3b 0d 0a 09 r, "lineno");...
1820: 09 61 75 74 6f 20 63 6c 20 3d 20 74 74 2e 61 63 .auto cl = tt.ac
1830: 63 65 73 73 21 49 6e 74 56 61 6c 75 65 28 74 68 cess!IntValue(th
1840: 65 4c 61 79 65 72 2c 20 22 63 6f 6c 75 6d 6e 22 eLayer, "column"
1850: 29 3b 0d 0a 09 09 69 66 28 66 6e 20 21 69 73 20 );....if(fn !is
1860: 6e 75 6c 6c 20 26 26 20 6c 6e 20 21 69 73 20 6e null && ln !is n
1870: 75 6c 6c 20 26 26 20 63 6c 20 21 69 73 20 6e 75 ull && cl !is nu
1880: 6c 6c 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e ll).....return n
1890: 65 77 20 69 6d 6d 75 74 61 62 6c 65 28 4c 65 78 ew immutable(Lex
18a0: 50 6f 73 69 74 69 6f 6e 29 28 66 6e 2e 64 61 74 Position)(fn.dat
18b0: 61 2c 63 61 73 74 28 69 6e 74 29 6c 6e 2e 64 61 a,cast(int)ln.da
18c0: 74 61 2e 74 6f 49 6e 74 2c 63 61 73 74 28 69 6e ta.toInt,cast(in
18d0: 74 29 63 6c 2e 64 61 74 61 2e 74 6f 49 6e 74 29 t)cl.data.toInt)
18e0: 3b 0d 0a 09 7d 0d 0a 09 72 65 74 75 72 6e 20 6e ;...}...return n
18f0: 75 6c 6c 3b 0d 0a 7d 0d 0a 0d 0a 56 61 6c 75 65 ull;..}....Value
1900: 5b 5d 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c 69 [] tableAsConsLi
1910: 73 74 28 20 4c 61 79 65 72 20 74 68 65 4c 61 79 st( Layer theLay
1920: 65 72 2c 20 54 61 62 6c 65 20 74 20 29 0d 0a 7b er, Table t )..{
1930: 0d 0a 09 56 61 6c 75 65 5b 5d 20 72 65 73 75 6c ...Value[] resul
1940: 74 3b 0d 0a 09 77 68 69 6c 65 28 74 29 0d 0a 09 t;...while(t)...
1950: 09 69 66 28 61 75 74 6f 20 76 20 20 3d 20 74 2e .if(auto v = t.
1960: 61 63 63 65 73 73 21 56 61 6c 75 65 28 74 68 65 access!Value(the
1970: 4c 61 79 65 72 2c 20 22 63 61 72 22 29 29 0d 0a Layer, "car"))..
1980: 09 09 7b 0d 0a 09 09 09 72 65 73 75 6c 74 20 7e ..{.....result ~
1990: 3d 20 76 3b 0d 0a 09 09 09 74 20 3d 20 74 2e 61 = v;.....t = t.a
19a0: 63 63 65 73 73 21 54 61 62 6c 65 28 74 68 65 4c ccess!Table(theL
19b0: 61 79 65 72 2c 20 22 63 64 72 22 29 3b 0d 0a 09 ayer, "cdr");...
19c0: 09 7d 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 09 62 .}....else.....b
19d0: 72 65 61 6b 3b 0d 0a 09 72 65 74 75 72 6e 20 72 reak;...return r
19e0: 65 73 75 6c 74 3b 0d 0a 7d 0d 0a 0d 0a 41 53 54 esult;..}....AST
19f0: 5b 5d 20 74 61 62 6c 65 54 6f 41 53 54 4c 69 73 [] tableToASTLis
1a00: 74 28 20 4c 61 79 65 72 20 74 68 65 4c 61 79 65 t( Layer theLaye
1a10: 72 2c 20 54 61 62 6c 65 20 74 20 29 0d 0a 7b 0d r, Table t )..{.
1a20: 0a 09 41 53 54 5b 5d 20 72 65 73 75 6c 74 3b 0d ..AST[] result;.
1a30: 0a 09 66 6f 72 65 61 63 68 28 76 3b 20 74 61 62 ..foreach(v; tab
1a40: 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 74 68 65 leAsConsList(the
1a50: 4c 61 79 65 72 2c 20 74 29 29 0d 0a 09 09 69 66 Layer, t))....if
1a60: 28 61 75 74 6f 20 74 20 3d 20 63 61 73 74 28 54 (auto t = cast(T
1a70: 61 62 6c 65 29 76 29 0d 0a 09 09 09 72 65 73 75 able)v).....resu
1a80: 6c 74 20 7e 3d 20 74 61 62 6c 65 54 6f 41 53 54 lt ~= tableToAST
1a90: 28 74 68 65 4c 61 79 65 72 2c 74 29 3b 0d 0a 09 (theLayer,t);...
1aa0: 09 65 6c 73 65 0d 0a 09 09 09 74 68 72 6f 77 20 .else.....throw
1ab0: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
1ac0: 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 eption(cast(LexP
1ad0: 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 22 49 osition)null, "I
1ae0: 6e 76 61 6c 69 64 20 41 53 54 20 28 6e 6f 6e 2d nvalid AST (non-
1af0: 74 61 62 6c 65 20 69 6e 20 63 6f 6e 73 2d 6c 69 table in cons-li
1b00: 73 74 29 22 29 3b 0d 0a 09 72 65 74 75 72 6e 20 st)");...return
1b10: 72 65 73 75 6c 74 3b 0d 0a 7d 0d 0a 0d 0a 41 53 result;..}....AS
1b20: 54 20 74 61 62 6c 65 54 6f 41 53 54 28 20 4c 61 T tableToAST( La
1b30: 79 65 72 20 74 68 65 4c 61 79 65 72 2c 20 56 61 yer theLayer, Va
1b40: 6c 75 65 20 76 76 76 76 20 29 0d 0a 7b 0d 0a 09 lue vvvv )..{...
1b50: 54 61 62 6c 65 20 74 20 3d 20 63 61 73 74 28 54 Table t = cast(T
1b60: 61 62 6c 65 29 76 76 76 76 3b 0d 0a 09 69 66 28 able)vvvv;...if(
1b70: 20 74 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 t is null )....
1b80: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
1b90: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 imeException(cas
1ba0: 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 t(LexPosition)nu
1bb0: 6c 6c 2c 20 22 49 6e 76 61 6c 69 64 20 41 53 54 ll, "Invalid AST
1bc0: 20 28 6e 6f 74 20 61 20 74 61 62 6c 65 29 22 29 (not a table)")
1bd0: 3b 0d 0a 0d 0a 09 61 75 74 6f 20 6e 6f 64 65 54 ;.....auto nodeT
1be0: 79 70 65 20 3d 20 74 2e 61 63 63 65 73 73 21 53 ype = t.access!S
1bf0: 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 65 72 trValue(theLayer
1c00: 2c 20 22 69 73 22 29 3b 0d 0a 09 69 66 28 20 6e , "is");...if( n
1c10: 6f 64 65 54 79 70 65 20 69 73 20 6e 75 6c 6c 20 odeType is null
1c20: 29 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 )....throw genex
1c30: 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f !RuntimeExceptio
1c40: 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 74 69 n(cast(LexPositi
1c50: 6f 6e 29 6e 75 6c 6c 2c 20 22 49 6e 76 61 6c 69 on)null, "Invali
1c60: 64 20 41 53 54 20 7b 69 73 3a 28 6e 6f 74 20 73 d AST {is:(not s
1c70: 74 72 69 6e 67 29 7d 22 29 3b 0d 0a 09 61 75 74 tring)}");...aut
1c80: 6f 20 70 6f 73 20 3d 20 65 78 74 72 61 63 74 50 o pos = extractP
1c90: 6f 73 28 74 29 3b 0d 0a 09 73 77 69 74 63 68 28 os(t);...switch(
1ca0: 6e 6f 64 65 54 79 70 65 2e 64 61 74 61 29 0d 0a nodeType.data)..
1cb0: 09 7b 0d 0a 09 63 61 73 65 20 22 69 6e 74 22 3a .{...case "int":
1cc0: 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 20 3d 20 ....if(auto v =
1cd0: 74 2e 61 63 63 65 73 73 21 49 6e 74 56 61 6c 75 t.access!IntValu
1ce0: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 64 61 74 e(theLayer, "dat
1cf0: 61 22 29 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 a")).....return
1d00: 6e 65 77 20 49 6e 74 4c 69 74 65 72 61 6c 28 70 new IntLiteral(p
1d10: 6f 73 2c 20 76 2e 64 61 74 61 29 3b 0d 0a 09 09 os, v.data);....
1d20: 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 throw genex!Runt
1d30: 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 imeException(cas
1d40: 74 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 t(LexPosition)nu
1d50: 6c 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 ll, `Invalid AST
1d60: 20 7b 69 73 3a 22 69 6e 74 22 2c 20 64 61 74 61 {is:"int", data
1d70: 3a 28 6e 6f 74 20 69 6e 74 29 7d 60 29 3b 0d 0a :(not int)}`);..
1d80: 09 63 61 73 65 20 22 73 74 72 22 3a 0d 0a 09 09 .case "str":....
1d90: 69 66 28 61 75 74 6f 20 76 20 3d 20 74 2e 61 63 if(auto v = t.ac
1da0: 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 cess!StrValue(th
1db0: 65 4c 61 79 65 72 2c 20 22 64 61 74 61 22 29 29 eLayer, "data"))
1dc0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
1dd0: 53 74 72 4c 69 74 65 72 61 6c 28 70 6f 73 2c 20 StrLiteral(pos,
1de0: 76 2e 64 61 74 61 29 3b 0d 0a 09 09 74 68 72 6f v.data);....thro
1df0: 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 w genex!RuntimeE
1e00: 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 xception(cast(Le
1e10: 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 xPosition)null,
1e20: 60 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 `Invalid AST {is
1e30: 3a 22 73 74 72 22 2c 20 64 61 74 61 3a 28 6e 6f :"str", data:(no
1e40: 74 20 73 74 72 69 6e 67 29 7d 60 29 3b 0d 0a 09 t string)}`);...
1e50: 63 61 73 65 20 22 76 61 72 22 3a 0d 0a 09 09 69 case "var":....i
1e60: 66 28 61 75 74 6f 20 76 20 3d 20 74 2e 61 63 63 f(auto v = t.acc
1e70: 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 68 65 ess!StrValue(the
1e80: 4c 61 79 65 72 2c 20 22 6e 61 6d 65 22 29 29 0d Layer, "name")).
1e90: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 56 ....return new V
1ea0: 61 72 45 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 arExpression(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 76 61 72 22 2c 20 6e 61 6d 65 3a 28 is:"var", name:(
1f10: 6e 6f 74 20 73 74 72 69 6e 67 29 7d 60 29 3b 0d not string)}`);.
1f20: 0a 09 63 61 73 65 20 22 6c 61 79 22 3a 0d 0a 09 ..case "lay":...
1f30: 09 69 66 28 61 75 74 6f 20 76 20 3d 20 74 2e 61 .if(auto v = t.a
1f40: 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 28 74 ccess!StrValue(t
1f50: 68 65 4c 61 79 65 72 2c 20 22 6c 61 79 65 72 22 heLayer, "layer"
1f60: 29 29 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 65 )).....if(auto e
1f70: 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c = t.access!Tabl
1f80: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 65 78 70 e(theLayer, "exp
1f90: 72 22 29 29 0d 0a 09 09 09 09 72 65 74 75 72 6e r"))......return
1fa0: 20 6e 65 77 20 4c 61 79 65 72 65 64 45 78 70 72 new LayeredExpr
1fb0: 65 73 73 69 6f 6e 28 70 6f 73 2c 20 76 2e 64 61 ession(pos, v.da
1fc0: 74 61 2c 20 74 61 62 6c 65 54 6f 41 53 54 28 74 ta, tableToAST(t
1fd0: 68 65 4c 61 79 65 72 2c 65 29 29 3b 0d 0a 09 09 heLayer,e));....
1fe0: 09 65 6c 73 65 0d 0a 09 09 09 09 74 68 72 6f 77 .else......throw
1ff0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
2000: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 ception(cast(Lex
2010: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 Position)null, `
2020: 49 6e 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a Invalid AST {is:
2030: 22 6c 61 79 22 2c 20 65 78 70 72 3a 28 6e 6f 74 "lay", expr:(not
2040: 20 74 61 62 6c 65 29 7d 60 29 3b 0d 0a 09 09 74 table)}`);....t
2050: 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 hrow genex!Runti
2060: 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 meException(cast
2070: 28 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c (LexPosition)nul
2080: 6c 2c 20 60 49 6e 76 61 6c 69 64 20 41 53 54 20 l, `Invalid AST
2090: 7b 69 73 3a 22 6c 61 79 22 2c 20 6c 61 79 65 72 {is:"lay", layer
20a0: 3a 28 6e 6f 74 20 73 74 72 69 6e 67 29 7d 60 29 :(not string)}`)
20b0: 3b 0d 0a 09 63 61 73 65 20 22 6c 65 74 22 3a 0d ;...case "let":.
20c0: 0a 09 09 69 66 28 61 75 74 6f 20 6e 20 3d 20 74 ...if(auto n = t
20d0: 2e 61 63 63 65 73 73 21 53 74 72 56 61 6c 75 65 .access!StrValue
20e0: 28 74 68 65 4c 61 79 65 72 2c 20 22 6e 61 6d 65 (theLayer, "name
20f0: 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 65 "))....if(auto e
2100: 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 6c = t.access!Tabl
2110: 65 28 74 68 65 4c 61 79 65 72 2c 20 22 69 6e 69 e(theLayer, "ini
2120: 74 22 29 29 0d 0a 09 09 69 66 28 61 75 74 6f 20 t"))....if(auto
2130: 62 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 b = t.access!Tab
2140: 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 65 78 le(theLayer, "ex
2150: 70 72 22 29 29 0d 0a 09 09 7b 0d 0a 09 09 09 73 pr"))....{.....s
2160: 74 72 69 6e 67 20 6e 6e 20 3d 20 6e 2e 64 61 74 tring nn = n.dat
2170: 61 3b 0d 0a 09 09 09 61 75 74 6f 20 65 65 20 3d a;.....auto ee =
2180: 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 4c tableToAST(theL
2190: 61 79 65 72 2c 20 65 29 3b 0d 0a 09 09 09 61 75 ayer, e);.....au
21a0: 74 6f 20 62 62 20 3d 20 74 61 62 6c 65 54 6f 41 to bb = tableToA
21b0: 53 54 28 74 68 65 4c 61 79 65 72 2c 20 62 29 3b ST(theLayer, b);
21c0: 0d 0a 09 09 09 4c 61 79 65 72 20 6c 61 79 3d 22 .....Layer lay="
21d0: 22 3b 0d 0a 09 09 09 69 66 28 61 75 74 6f 20 6c ";.....if(auto l
21e0: 20 3d 20 74 2e 61 63 63 65 73 73 21 53 74 72 56 = t.access!StrV
21f0: 61 6c 75 65 28 74 68 65 4c 61 79 65 72 2c 20 22 alue(theLayer, "
2200: 6c 61 79 65 72 22 29 29 0d 0a 09 09 09 09 6c 61 layer"))......la
2210: 79 20 3d 20 6c 2e 64 61 74 61 3b 0d 0a 09 09 09 y = l.data;.....
2220: 72 65 74 75 72 6e 20 6e 65 77 20 4c 65 74 45 78 return new LetEx
2230: 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 6e 6e pression(pos, nn
2240: 2c 20 6c 61 79 2c 20 65 65 2c 20 62 62 29 3b 0d , lay, ee, bb);.
2250: 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 65 ...}....throw ge
2260: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
2270: 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 tion(cast(LexPos
2280: 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 ition)null, `Inv
2290: 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 6c 65 alid AST {is:"le
22a0: 74 22 2c 20 6e 61 6d 65 3a 22 3f 3f 3f 22 2c 20 t", name:"???",
22b0: 69 6e 69 74 3a 22 3f 3f 3f 22 2c 20 65 78 70 72 init:"???", expr
22c0: 3a 22 3f 3f 3f 22 7d 60 29 3b 0d 0a 09 63 61 73 :"???"}`);...cas
22d0: 65 20 22 61 70 70 22 3a 0d 0a 09 09 69 66 28 61 e "app":....if(a
22e0: 75 74 6f 20 66 20 3d 20 74 2e 61 63 63 65 73 73 uto f = t.access
22f0: 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c !Table(theLayer,
2300: 20 22 66 75 6e 22 29 29 0d 0a 09 09 69 66 28 61 "fun"))....if(a
2310: 75 74 6f 20 61 20 3d 20 74 2e 61 63 63 65 73 73 uto a = t.access
2320: 21 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c !Table(theLayer,
2330: 20 22 61 72 67 22 29 29 0d 0a 09 09 09 72 65 74 "arg")).....ret
2340: 75 72 6e 20 6e 65 77 20 46 75 6e 63 61 6c 6c 45 urn new FuncallE
2350: 78 70 72 65 73 73 69 6f 6e 28 70 6f 73 2c 20 74 xpression(pos, t
2360: 61 62 6c 65 54 6f 41 53 54 28 74 68 65 4c 61 79 ableToAST(theLay
2370: 65 72 2c 66 29 2c 20 74 61 62 6c 65 54 6f 41 53 er,f), tableToAS
2380: 54 4c 69 73 74 28 74 68 65 4c 61 79 65 72 2c 61 TList(theLayer,a
2390: 29 29 3b 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e ));....throw gen
23a0: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
23b0: 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f 73 69 ion(cast(LexPosi
23c0: 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e 76 61 tion)null, `Inva
23d0: 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 61 70 70 lid AST {is:"app
23e0: 22 2c 20 66 75 6e 3a 3f 3f 3f 2c 20 61 72 67 3a ", fun:???, arg:
23f0: 3f 3f 3f 7d 60 29 3b 0d 0a 09 63 61 73 65 20 22 ???}`);...case "
2400: 66 75 6e 22 3a 0d 0a 09 09 69 66 28 61 75 74 6f fun":....if(auto
2410: 20 70 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 p = t.access!Ta
2420: 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 22 70 ble(theLayer, "p
2430: 61 72 61 6d 22 29 29 0d 0a 09 09 69 66 28 61 75 aram"))....if(au
2440: 74 6f 20 62 20 3d 20 74 2e 61 63 63 65 73 73 21 to b = t.access!
2450: 54 61 62 6c 65 28 74 68 65 4c 61 79 65 72 2c 20 Table(theLayer,
2460: 22 62 6f 64 79 22 29 29 0d 0a 09 09 7b 0d 0a 09 "body"))....{...
2470: 09 09 50 61 72 61 6d 65 74 65 72 5b 5d 20 70 73 ..Parameter[] ps
2480: 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 76 3b ;.....foreach(v;
2490: 20 74 61 62 6c 65 41 73 43 6f 6e 73 4c 69 73 74 tableAsConsList
24a0: 28 74 68 65 4c 61 79 65 72 2c 20 70 29 29 0d 0a (theLayer, p))..
24b0: 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 61 75 74 ...{......if(aut
24c0: 6f 20 74 74 20 3d 20 63 61 73 74 28 54 61 62 6c o tt = cast(Tabl
24d0: 65 29 76 29 0d 0a 09 09 09 09 69 66 28 61 75 74 e)v)......if(aut
24e0: 6f 20 73 73 20 3d 20 74 74 2e 61 63 63 65 73 73 o ss = tt.access
24f0: 21 53 74 72 56 61 6c 75 65 28 74 68 65 4c 61 79 !StrValue(theLay
2500: 65 72 2c 20 22 6e 61 6d 65 22 29 29 0d 0a 09 09 er, "name"))....
2510: 09 09 69 66 28 61 75 74 6f 20 6c 6c 20 3d 20 74 ..if(auto ll = t
2520: 74 2e 61 63 63 65 73 73 21 54 61 62 6c 65 28 74 t.access!Table(t
2530: 68 65 4c 61 79 65 72 2c 20 22 6c 61 79 65 72 22 heLayer, "layer"
2540: 29 29 0d 0a 09 09 09 09 7b 0d 0a 09 09 09 09 09 ))......{.......
2550: 4c 61 79 65 72 5b 5d 20 6c 73 3b 0d 0a 09 09 09 Layer[] ls;.....
2560: 09 09 66 6f 72 65 61 63 68 28 6c 6c 6c 3b 20 74 ..foreach(lll; t
2570: 61 62 6c 65 41 73 43 6f 6e 73 4c 69 73 74 28 74 ableAsConsList(t
2580: 68 65 4c 61 79 65 72 2c 20 6c 6c 29 29 0d 0a 09 heLayer, ll))...
2590: 09 09 09 09 09 69 66 28 61 75 74 6f 20 6c 20 3d .....if(auto l =
25a0: 20 63 61 73 74 28 53 74 72 56 61 6c 75 65 29 6c cast(StrValue)l
25b0: 6c 6c 29 0d 0a 09 09 09 09 09 09 09 6c 73 20 7e ll).........ls ~
25c0: 3d 20 6c 2e 64 61 74 61 3b 0d 0a 09 09 09 09 09 = l.data;.......
25d0: 09 65 6c 73 65 0d 0a 09 09 09 09 09 09 09 74 68 .else.........th
25e0: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
25f0: 65 45 78 63 65 70 74 69 6f 6e 28 63 61 73 74 28 eException(cast(
2600: 4c 65 78 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c LexPosition)null
2610: 2c 20 73 70 72 69 6e 74 66 21 60 49 6e 76 61 6c , sprintf!`Inval
2620: 69 64 20 41 53 54 20 7b 62 61 64 20 66 75 6e 20 id AST {bad fun
2630: 70 61 72 61 6d 73 20 25 73 7d 60 28 6c 6c 6c 29 params %s}`(lll)
2640: 29 3b 0d 0a 09 09 09 09 09 70 73 20 7e 3d 20 6e );.......ps ~= n
2650: 65 77 20 50 61 72 61 6d 65 74 65 72 28 73 73 2e ew Parameter(ss.
2660: 64 61 74 61 2c 20 6c 73 29 3b 0d 0a 09 09 09 09 data, ls);......
2670: 09 63 6f 6e 74 69 6e 75 65 3b 0d 0a 09 09 09 09 .continue;......
2680: 7d 0d 0a 09 09 09 09 65 6c 73 65 0d 0a 09 09 09 }......else.....
2690: 09 7b 0d 0a 09 09 09 09 09 4c 61 79 65 72 5b 5d .{.......Layer[]
26a0: 20 65 6d 70 3b 0d 0a 09 09 09 09 09 70 73 20 7e emp;.......ps ~
26b0: 3d 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 = new Parameter(
26c0: 73 73 2e 64 61 74 61 2c 20 65 6d 70 29 3b 0d 0a ss.data, emp);..
26d0: 09 09 09 09 09 63 6f 6e 74 69 6e 75 65 3b 0d 0a .....continue;..
26e0: 09 09 09 09 7d 0d 0a 09 09 09 09 74 68 72 6f 77 ....}......throw
26f0: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
2700: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 ception(cast(Lex
2710: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 73 Position)null, s
2720: 70 72 69 6e 74 66 21 60 49 6e 76 61 6c 69 64 20 printf!`Invalid
2730: 41 53 54 20 7b 62 61 64 20 66 75 6e 20 70 61 72 AST {bad fun par
2740: 61 6d 73 20 25 73 7d 60 28 76 29 29 3b 0d 0a 09 ams %s}`(v));...
2750: 09 09 7d 0d 0a 09 09 09 61 75 74 6f 20 62 62 20 ..}.....auto bb
2760: 3d 20 74 61 62 6c 65 54 6f 41 53 54 28 74 68 65 = tableToAST(the
2770: 4c 61 79 65 72 2c 20 62 29 3b 0d 0a 09 09 09 72 Layer, b);.....r
2780: 65 74 75 72 6e 20 6e 65 77 20 46 75 6e 4c 69 74 eturn new FunLit
2790: 65 72 61 6c 28 70 6f 73 2c 70 73 2c 62 62 29 3b eral(pos,ps,bb);
27a0: 0d 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 ....}....throw g
27b0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
27c0: 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 50 6f ption(cast(LexPo
27d0: 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 60 49 6e sition)null, `In
27e0: 76 61 6c 69 64 20 41 53 54 20 7b 69 73 3a 22 66 valid AST {is:"f
27f0: 75 6e 22 2c 20 70 61 72 61 6d 3a 3f 3f 3f 2c 20 un", param:???,
2800: 62 6f 64 79 3a 3f 3f 3f 7d 60 29 3b 0d 0a 09 64 body:???}`);...d
2810: 65 66 61 75 6c 74 3a 0d 0a 09 09 74 68 72 6f 77 efault:....throw
2820: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
2830: 63 65 70 74 69 6f 6e 28 63 61 73 74 28 4c 65 78 ception(cast(Lex
2840: 50 6f 73 69 74 69 6f 6e 29 6e 75 6c 6c 2c 20 73 Position)null, s
2850: 70 72 69 6e 74 66 21 60 49 6e 76 61 6c 69 64 20 printf!`Invalid
2860: 41 53 54 20 7b 69 73 3a 20 22 25 73 22 7d 20 75 AST {is: "%s"} u
2870: 6e 6b 6e 6f 77 6e 60 28 6e 6f 64 65 54 79 70 65 nknown`(nodeType
2880: 2e 64 61 74 61 29 29 3b 0d 0a 09 7d 0d 0a 7d 0d .data));...}..}.
2890: 0a .