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 43 6f 6e 76 65 72 74 20 76 61 *.. * Convert va
0060: 6c 75 65 73 20 62 65 74 77 65 65 6e 20 50 6f 6c lues between Pol
0070: 65 6d 79 20 61 6e 64 20 44 0d 0a 20 2a 2f 0d 0a emy and D.. */..
0080: 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 76 61 module polemy.va
0090: 6c 75 65 63 6f 6e 76 3b 0d 0a 69 6d 70 6f 72 74 lueconv;..import
00a0: 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b polemy._common;
00b0: 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e ..import polemy.
00c0: 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 74 failure;..import
00d0: 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 6d polemy.ast;..im
00e0: 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 65 port polemy.laye
00f0: 72 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d r;..import polem
0100: 79 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 74 y.value;..import
0110: 20 73 74 64 2e 73 74 72 69 6e 67 3b 0d 0a 0d 0a std.string;....
0120: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 65 78 74 72 LexPosition extr
0130: 61 63 74 50 6f 73 28 20 54 61 62 6c 65 20 74 20 actPos( Table t
0140: 29 0d 0a 7b 0d 0a 09 69 66 28 61 75 74 6f 20 74 )..{...if(auto t
0150: 74 20 3d 20 74 2e 61 63 63 65 73 73 21 54 61 62 t = t.access!Tab
0160: 6c 65 28 56 61 6c 75 65 4c 61 79 65 72 2c 20 22 le(ValueLayer, "
0170: 70 6f 73 22 29 29 0d 0a 09 7b 0d 0a 09 09 61 75 pos"))...{....au
0180: 74 6f 20 66 6e 20 3d 20 74 74 2e 61 63 63 65 73 to fn = tt.acces
0190: 73 21 53 74 72 56 61 6c 75 65 28 56 61 6c 75 65 s!StrValue(Value
01a0: 4c 61 79 65 72 2c 20 22 66 69 6c 65 6e 61 6d 65 Layer, "filename
01b0: 22 29 3b 0d 0a 09 09 61 75 74 6f 20 6c 6e 20 3d ");....auto ln =
01c0: 20 74 74 2e 61 63 63 65 73 73 21 49 6e 74 56 61 tt.access!IntVa
01d0: 6c 75 65 28 56 61 6c 75 65 4c 61 79 65 72 2c 20 lue(ValueLayer,
01e0: 22 6c 69 6e 65 6e 6f 22 29 3b 0d 0a 09 09 61 75 "lineno");....au
01f0: 74 6f 20 63 6c 20 3d 20 74 74 2e 61 63 63 65 73 to cl = tt.acces
0200: 73 21 49 6e 74 56 61 6c 75 65 28 56 61 6c 75 65 s!IntValue(Value
0210: 4c 61 79 65 72 2c 20 22 63 6f 6c 75 6d 6e 22 29 Layer, "column")
0220: 3b 0d 0a 09 09 69 66 28 66 6e 20 21 69 73 20 6e ;....if(fn !is n
0230: 75 6c 6c 20 26 26 20 6c 6e 20 21 69 73 20 6e 75 ull && ln !is nu
0240: 6c 6c 20 26 26 20 63 6c 20 21 69 73 20 6e 75 6c ll && cl !is nul
0250: 6c 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 l).....return ne
0260: 77 20 4c 65 78 50 6f 73 69 74 69 6f 6e 28 66 6e w LexPosition(fn
0270: 2e 64 61 74 61 2c 63 61 73 74 28 69 6e 74 29 6c .data,cast(int)l
0280: 6e 2e 64 61 74 61 2e 74 6f 49 6e 74 2c 63 61 73 n.data.toInt,cas
0290: 74 28 69 6e 74 29 63 6c 2e 64 61 74 61 2e 74 6f t(int)cl.data.to
02a0: 49 6e 74 29 3b 0d 0a 09 7d 0d 0a 09 72 65 74 75 Int);...}...retu
02b0: 72 6e 20 4c 65 78 50 6f 73 69 74 69 6f 6e 2e 64 rn LexPosition.d
02c0: 75 6d 6d 79 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 ummy;..}....///
02d0: 45 78 70 65 72 69 6d 65 6e 74 61 6c 21 21 20 43 Experimental!! C
02e0: 6f 6e 76 65 72 74 20 50 6f 6c 65 6d 79 20 76 61 onvert Polemy va
02f0: 6c 75 65 20 74 6f 20 44 20 56 61 6c 75 65 0d 0a lue to D Value..
0300: 0d 0a 54 20 70 6f 6c 65 6d 79 32 64 28 54 29 28 ..T polemy2d(T)(
0310: 56 61 6c 75 65 20 5f 76 2c 20 4c 65 78 50 6f 73 Value _v, LexPos
0320: 69 74 69 6f 6e 20 63 61 6c 6c 70 6f 73 3d 6e 75 ition callpos=nu
0330: 6c 6c 29 0d 0a 7b 0d 0a 09 73 74 61 74 69 63 20 ll)..{...static
0340: 69 66 28 69 73 28 54 3d 3d 42 69 67 49 6e 74 29 if(is(T==BigInt)
0350: 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 74 6f )...{....if(auto
0360: 20 76 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c v = cast(IntVal
0370: 75 65 29 5f 76 29 0d 0a 09 09 09 72 65 74 75 72 ue)_v).....retur
0380: 6e 20 76 2e 64 61 74 61 3b 0d 0a 09 7d 0d 0a 09 n v.data;...}...
0390: 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 else...static if
03a0: 28 69 73 49 6e 74 65 67 72 61 6c 21 28 54 29 29 (isIntegral!(T))
03b0: 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 ...{....if(auto
03c0: 76 20 3d 20 63 61 73 74 28 49 6e 74 56 61 6c 75 v = cast(IntValu
03d0: 65 29 5f 76 29 0d 0a 09 09 09 72 65 74 75 72 6e e)_v).....return
03e0: 20 63 61 73 74 28 54 29 20 76 2e 64 61 74 61 2e cast(T) v.data.
03f0: 74 6f 4c 6f 6e 67 28 29 3b 0d 0a 09 7d 0d 0a 09 toLong();...}...
0400: 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 else...static if
0410: 28 69 73 28 54 3d 3d 73 74 72 69 6e 67 29 29 0d (is(T==string)).
0420: 0a 09 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 76 ..{....if(auto v
0430: 20 3d 20 63 61 73 74 28 53 74 72 56 61 6c 75 65 = cast(StrValue
0440: 29 5f 76 29 0d 0a 09 09 09 72 65 74 75 72 6e 20 )_v).....return
0450: 76 2e 64 61 74 61 3b 0d 0a 09 7d 0d 0a 09 65 6c v.data;...}...el
0460: 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 69 se...static if(i
0470: 73 28 54 20 53 20 3a 20 53 5b 5d 29 29 0d 0a 09 s(T S : S[]))...
0480: 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 74 20 3d {....if(auto t =
0490: 20 63 61 73 74 28 54 61 62 6c 65 29 5f 76 29 0d cast(Table)_v).
04a0: 0a 09 09 7b 0d 0a 09 09 09 53 5b 5d 20 72 65 73 ...{.....S[] res
04b0: 75 6c 74 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 ult;.....foreach
04c0: 28 65 3b 20 74 2e 74 6f 4c 69 73 74 28 29 29 0d (e; t.toList()).
04d0: 0a 09 09 09 09 72 65 73 75 6c 74 20 7e 3d 20 70 .....result ~= p
04e0: 6f 6c 65 6d 79 32 64 21 28 53 29 28 65 2c 20 63 olemy2d!(S)(e, c
04f0: 61 6c 6c 70 6f 73 29 3b 0d 0a 09 09 09 72 65 74 allpos);.....ret
0500: 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a 09 09 7d urn result;....}
0510: 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 ...}...else...st
0520: 61 74 69 63 20 69 66 28 69 73 28 54 20 3d 3d 20 atic if(is(T ==
0530: 41 53 54 29 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 AST))...{....if(
0540: 61 75 74 6f 20 74 20 3d 20 63 61 73 74 28 54 61 auto t = cast(Ta
0550: 62 6c 65 29 5f 76 29 0d 0a 09 09 7b 0d 0a 09 09 ble)_v)....{....
0560: 09 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 .LexPosition pos
0570: 20 3d 20 65 78 74 72 61 63 74 50 6f 73 28 74 29 = extractPos(t)
0580: 3b 0d 0a 0d 0a 09 09 09 53 74 72 56 61 6c 75 65 ;.......StrValue
0590: 20 74 79 70 20 3d 20 63 61 73 74 28 53 74 72 56 typ = cast(StrV
05a0: 61 6c 75 65 29 20 74 2e 61 63 63 65 73 73 21 53 alue) t.access!S
05b0: 74 72 56 61 6c 75 65 28 56 61 6c 75 65 4c 61 79 trValue(ValueLay
05c0: 65 72 2c 20 22 69 73 22 29 3b 0d 0a 09 09 09 69 er, "is");.....i
05d0: 66 28 20 74 79 70 20 69 73 20 6e 75 6c 6c 20 29 f( typ is null )
05e0: 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 ......throw gene
05f0: 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 x!RuntimeExcepti
0600: 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 74 65 78 74 on(callpos, text
0610: 28 60 49 6e 76 61 6c 69 64 20 41 53 54 20 28 6e (`Invalid AST (n
0620: 6f 20 22 69 73 22 20 66 69 65 6c 64 29 3a 20 60 o "is" field): `
0630: 2c 20 5f 76 29 29 3b 0d 0a 0d 0a 09 09 09 66 6f , _v));.......fo
0640: 72 65 61 63 68 28 41 54 3b 20 4c 69 73 74 4f 66 reach(AT; ListOf
0650: 41 53 54 54 79 70 65 73 29 0d 0a 09 09 09 09 69 ASTTypes)......i
0660: 66 28 74 79 70 2e 64 61 74 61 20 3d 3d 20 74 79 f(typ.data == ty
0670: 70 65 69 64 28 41 54 29 2e 6e 61 6d 65 2e 73 70 peid(AT).name.sp
0680: 6c 69 74 28 22 2e 22 29 5b 24 2d 31 5d 29 0d 0a lit(".")[$-1])..
0690: 09 09 09 09 7b 0d 0a 09 09 09 09 09 74 79 70 65 ....{.......type
06a0: 6f 66 28 41 54 2e 74 75 70 6c 65 6f 66 29 20 6d of(AT.tupleof) m
06b0: 65 6d 73 3b 0d 0a 09 09 09 09 09 66 6f 72 65 61 ems;.......forea
06c0: 63 68 28 69 2c 6d 3b 20 6d 65 6d 73 29 0d 0a 09 ch(i,m; mems)...
06d0: 09 09 09 09 7b 0d 0a 09 09 09 09 09 09 73 74 72 ....{........str
06e0: 69 6e 67 20 6e 61 6d 65 20 3d 20 41 54 2e 74 75 ing name = AT.tu
06f0: 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f pleof[i].stringo
0700: 66 2e 73 70 6c 69 74 28 22 2e 22 29 5b 24 2d 31 f.split(".")[$-1
0710: 5d 3b 0d 0a 09 09 09 09 09 09 56 61 6c 75 65 20 ];........Value
0720: 76 6d 20 3d 20 74 2e 61 63 63 65 73 73 21 56 61 vm = t.access!Va
0730: 6c 75 65 28 56 61 6c 75 65 4c 61 79 65 72 2c 20 lue(ValueLayer,
0740: 6e 61 6d 65 29 3b 0d 0a 09 09 09 09 09 09 69 66 name);........if
0750: 28 20 76 6d 20 69 73 20 6e 75 6c 6c 20 29 0d 0a ( vm is null )..
0760: 09 09 09 09 09 09 09 74 68 72 6f 77 20 67 65 6e .......throw gen
0770: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
0780: 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 0d 0a 09 ion(callpos, ...
0790: 09 09 09 09 09 09 09 74 65 78 74 28 60 49 6e 76 .......text(`Inv
07a0: 61 6c 69 64 20 41 53 54 20 28 6e 6f 20 22 60 2c alid AST (no "`,
07b0: 6e 61 6d 65 2c 60 22 20 66 69 65 6c 64 29 20 66 name,`" field) f
07c0: 6f 72 20 22 60 2c 20 74 79 70 2c 20 60 22 20 6e or "`, typ, `" n
07d0: 6f 64 65 3a 20 60 2c 20 5f 76 29 29 3b 0d 0a 09 ode: `, _v));...
07e0: 09 09 09 09 09 6d 65 6d 73 5b 69 5d 20 3d 20 70 .....mems[i] = p
07f0: 6f 6c 65 6d 79 32 64 21 28 74 79 70 65 6f 66 28 olemy2d!(typeof(
0800: 6d 29 29 28 76 6d 2c 20 63 61 6c 6c 70 6f 73 29 m))(vm, callpos)
0810: 3b 0d 0a 09 09 09 09 09 7d 0d 0a 09 09 09 09 09 ;.......}.......
0820: 72 65 74 75 72 6e 20 6e 65 77 20 41 54 28 70 6f return new AT(po
0830: 73 2c 6d 65 6d 73 29 3b 0d 0a 09 09 09 09 7d 0d s,mems);......}.
0840: 0a 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
0850: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0860: 28 63 61 6c 6c 70 6f 73 2c 20 74 65 78 74 28 60 (callpos, text(`
0870: 49 6e 76 61 6c 69 64 20 41 53 54 20 28 75 6e 6b Invalid AST (unk
0880: 6e 6f 77 6e 20 22 69 73 22 20 66 69 65 6c 64 29 nown "is" field)
0890: 3a 20 60 2c 20 74 79 70 29 29 3b 0d 0a 09 09 7d : `, typ));....}
08a0: 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
08b0: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
08c0: 28 63 61 6c 6c 70 6f 73 2c 20 74 65 78 74 28 60 (callpos, text(`
08d0: 49 6e 76 61 6c 69 64 20 41 53 54 20 28 6e 6f 74 Invalid AST (not
08e0: 20 61 20 74 61 62 6c 65 29 3a 20 60 2c 20 5f 76 a table): `, _v
08f0: 29 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a ));...}...else..
0900: 09 73 74 61 74 69 63 20 69 66 28 69 73 28 54 20 .static if(is(T
0910: 3d 3d 20 63 6c 61 73 73 29 29 0d 0a 09 7b 0d 0a == class))...{..
0920: 09 09 69 66 28 61 75 74 6f 20 74 20 3d 20 63 61 ..if(auto t = ca
0930: 73 74 28 54 61 62 6c 65 29 5f 76 29 0d 0a 09 09 st(Table)_v)....
0940: 7b 0d 0a 09 09 09 74 79 70 65 6f 66 28 54 2e 74 {.....typeof(T.t
0950: 75 70 6c 65 6f 66 29 20 6d 65 6d 73 3b 0d 0a 09 upleof) mems;...
0960: 09 09 66 6f 72 65 61 63 68 28 69 2c 6d 3b 20 6d ..foreach(i,m; m
0970: 65 6d 73 29 0d 0a 09 09 09 09 6d 65 6d 73 5b 69 ems)......mems[i
0980: 5d 20 3d 20 70 6f 6c 65 6d 79 32 64 21 28 74 79 ] = polemy2d!(ty
0990: 70 65 6f 66 28 6d 29 29 28 74 2e 67 65 74 28 54 peof(m))(t.get(T
09a0: 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 69 .tupleof[i].stri
09b0: 6e 67 6f 66 2e 73 70 6c 69 74 28 22 2e 22 29 5b ngof.split(".")[
09c0: 24 2d 31 5d 2c 20 56 61 6c 75 65 4c 61 79 65 72 $-1], ValueLayer
09d0: 29 2c 20 63 61 6c 6c 70 6f 73 29 3b 0d 0a 09 09 ), callpos);....
09e0: 09 72 65 74 75 72 6e 20 6e 65 77 20 54 28 6d 65 .return new T(me
09f0: 6d 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 09 ms);....}...}...
0a00: 65 6c 73 65 0d 0a 09 09 73 74 61 74 69 63 20 61 else....static a
0a10: 73 73 65 72 74 28 66 61 6c 73 65 2c 20 22 75 6e ssert(false, "un
0a20: 6b 6e 6f 77 6e 20 74 79 70 65 20 3c 22 7e 54 2e known type <"~T.
0a30: 73 74 72 69 6e 67 6f 66 7e 22 3e 20 64 75 72 69 stringof~"> duri
0a40: 6e 67 20 70 6f 6c 65 6d 79 32 64 20 64 65 63 6f ng polemy2d deco
0a50: 64 69 6e 67 22 29 3b 0d 0a 09 74 68 72 6f 77 20 ding");...throw
0a60: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
0a70: 65 70 74 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 eption(callpos,
0a80: 74 65 78 74 28 22 43 61 6e 6e 6f 74 20 63 6f 6e text("Cannot con
0a90: 76 65 72 74 20 22 2c 5f 76 2c 22 20 74 6f 20 22 vert ",_v," to "
0aa0: 2c 54 2e 73 74 72 69 6e 67 6f 66 29 29 3b 0d 0a ,T.stringof));..
0ab0: 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 73 20 6f 66 }..../// Cons of
0ac0: 20 74 77 6f 20 70 61 69 72 73 0d 0a 0d 0a 54 61 two pairs....Ta
0ad0: 62 6c 65 20 6d 61 6b 65 43 6f 6e 73 28 56 61 6c ble makeCons(Val
0ae0: 75 65 20 61 2c 20 56 61 6c 75 65 20 64 29 0d 0a ue a, Value d)..
0af0: 7b 0d 0a 09 54 61 62 6c 65 20 74 20 3d 20 6e 65 {...Table t = ne
0b00: 77 20 54 61 62 6c 65 3b 0d 0a 09 74 2e 73 65 74 w Table;...t.set
0b10: 28 22 63 61 72 22 2c 20 56 61 6c 75 65 4c 61 79 ("car", ValueLay
0b20: 65 72 2c 20 61 29 3b 0d 0a 09 74 2e 73 65 74 28 er, a);...t.set(
0b30: 22 63 64 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 "cdr", ValueLaye
0b40: 72 2c 20 64 29 3b 0d 0a 09 72 65 74 75 72 6e 20 r, d);...return
0b50: 74 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 45 78 70 t;..}..../// Exp
0b60: 65 72 69 6d 65 6e 74 61 6c 21 21 20 43 6f 6e 76 erimental!! Conv
0b70: 65 72 74 20 44 20 76 61 6c 75 65 20 28 65 78 63 ert D value (exc
0b80: 65 70 74 20 41 53 54 29 20 74 6f 20 20 50 6f 6c ept AST) to Pol
0b90: 65 6d 79 20 56 61 6c 75 65 0d 0a 0d 0a 56 61 6c emy Value....Val
0ba0: 75 65 20 64 32 70 6f 6c 65 6d 79 28 54 29 28 54 ue d2polemy(T)(T
0bb0: 20 65 29 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 e)..{...return
0bc0: 61 73 74 32 74 61 62 6c 65 28 65 2c 20 64 65 6c ast2table(e, del
0bd0: 65 67 61 74 65 20 56 61 6c 75 65 28 41 53 54 29 egate Value(AST)
0be0: 7b 20 61 73 73 65 72 74 28 66 61 6c 73 65 29 3b { assert(false);
0bf0: 20 7d 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 });..}..../// C
0c00: 6f 6e 76 65 72 74 20 41 53 54 20 74 6f 20 54 61 onvert AST to Ta
0c10: 62 6c 65 20 73 6f 20 74 68 61 74 20 69 74 20 63 ble so that it c
0c20: 61 6e 20 62 65 20 75 73 65 64 20 69 6e 20 50 6f an be used in Po
0c30: 6c 65 6d 79 0d 0a 0d 0a 56 61 6c 75 65 20 61 73 lemy....Value as
0c40: 74 32 74 61 62 6c 65 28 54 29 28 54 20 65 2c 20 t2table(T)(T e,
0c50: 56 61 6c 75 65 20 64 65 6c 65 67 61 74 65 28 41 Value delegate(A
0c60: 53 54 29 20 72 65 63 29 0d 0a 7b 0d 0a 09 73 74 ST) rec)..{...st
0c70: 61 74 69 63 20 69 66 28 69 73 28 54 3d 3d 42 69 atic if(is(T==Bi
0c80: 67 49 6e 74 29 20 7c 7c 20 69 73 49 6e 74 65 67 gInt) || isInteg
0c90: 72 61 6c 21 28 54 29 29 0d 0a 09 09 72 65 74 75 ral!(T))....retu
0ca0: 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 rn new IntValue(
0cb0: 65 29 3b 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 61 e);...else...sta
0cc0: 74 69 63 20 69 66 28 69 73 28 55 6e 71 75 61 6c tic if(is(Unqual
0cd0: 21 28 54 29 3d 3d 73 74 72 69 6e 67 29 29 0d 0a !(T)==string))..
0ce0: 09 09 72 65 74 75 72 6e 20 6e 65 77 20 53 74 72 ..return new Str
0cf0: 56 61 6c 75 65 28 65 29 3b 0d 0a 09 65 6c 73 65 Value(e);...else
0d00: 0d 0a 09 73 74 61 74 69 63 20 69 66 28 69 73 28 ...static if(is(
0d10: 54 20 53 20 3a 20 53 5b 5d 29 29 0d 0a 09 7b 0d T S : S[]))...{.
0d20: 0a 09 09 54 61 62 6c 65 20 6c 73 74 20 3d 20 6e ...Table lst = n
0d30: 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 66 6f 72 ew Table;....for
0d40: 65 61 63 68 5f 72 65 76 65 72 73 65 28 61 3b 20 each_reverse(a;
0d50: 65 29 0d 0a 09 09 09 73 74 61 74 69 63 20 69 66 e).....static if
0d60: 28 69 73 28 53 20 3a 20 41 53 54 29 29 0d 0a 09 (is(S : AST))...
0d70: 09 09 09 6c 73 74 20 3d 20 6d 61 6b 65 43 6f 6e ...lst = makeCon
0d80: 73 28 72 65 63 28 61 29 2c 20 6c 73 74 29 3b 0d s(rec(a), lst);.
0d90: 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 6c 73 ....else......ls
0da0: 74 20 3d 20 6d 61 6b 65 43 6f 6e 73 28 61 73 74 t = makeCons(ast
0db0: 32 74 61 62 6c 65 28 61 2c 72 65 63 29 2c 20 6c 2table(a,rec), l
0dc0: 73 74 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6c st);....return l
0dd0: 73 74 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a st;...}...else..
0de0: 09 73 74 61 74 69 63 20 69 66 28 69 73 28 54 20 .static if(is(T
0df0: 3a 20 41 53 54 29 29 0d 0a 09 7b 0d 0a 09 09 61 : AST))...{....a
0e00: 73 73 65 72 74 28 20 74 79 70 65 69 64 28 65 29 ssert( typeid(e)
0e10: 20 3d 3d 20 74 79 70 65 69 64 28 54 29 2c 20 74 == typeid(T), t
0e20: 65 78 74 28 22 61 62 73 74 72 61 63 74 65 64 3a ext("abstracted:
0e30: 20 22 2c 20 74 79 70 65 69 64 28 65 29 2c 20 22 ", typeid(e), "
0e40: 20 76 73 20 22 2c 20 74 79 70 65 69 64 28 54 29 vs ", typeid(T)
0e50: 29 20 29 3b 0d 0a 09 09 61 75 74 6f 20 74 20 3d ) );....auto t =
0e60: 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 69 new Table;....i
0e70: 66 28 65 2e 70 6f 73 20 69 73 20 6e 75 6c 6c 29 f(e.pos is null)
0e80: 20 2f 2f 20 73 70 65 63 69 61 6c 20 74 72 65 61 // special trea
0e90: 74 6d 65 6e 74 0d 0a 09 09 7b 0d 0a 09 09 09 54 tment....{.....T
0ea0: 61 62 6c 65 20 70 6f 73 74 20 3d 20 6e 65 77 20 able post = new
0eb0: 54 61 62 6c 65 3b 0d 0a 09 09 09 70 6f 73 74 2e Table;.....post.
0ec0: 73 65 74 28 22 66 69 6c 65 6e 61 6d 65 22 2c 20 set("filename",
0ed0: 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 20 ValueLayer, new
0ee0: 53 74 72 56 61 6c 75 65 28 22 6e 75 6c 6c 70 6f StrValue("nullpo
0ef0: 22 29 29 3b 0d 0a 09 09 09 70 6f 73 74 2e 73 65 "));.....post.se
0f00: 74 28 22 6c 69 6e 65 6e 6f 22 2c 20 56 61 6c 75 t("lineno", Valu
0f10: 65 4c 61 79 65 72 2c 20 6e 65 77 20 49 6e 74 56 eLayer, new IntV
0f20: 61 6c 75 65 28 30 29 29 3b 0d 0a 09 09 09 70 6f alue(0));.....po
0f30: 73 74 2e 73 65 74 28 22 63 6f 6c 75 6d 6e 22 2c st.set("column",
0f40: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 77 ValueLayer, new
0f50: 20 49 6e 74 56 61 6c 75 65 28 30 29 29 3b 0d 0a IntValue(0));..
0f60: 09 09 09 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 ...t.set("pos",
0f70: 56 61 6c 75 65 4c 61 79 65 72 2c 20 70 6f 73 74 ValueLayer, post
0f80: 29 3b 0d 0a 09 09 7d 0d 0a 09 09 65 6c 73 65 0d );....}....else.
0f90: 0a 09 09 09 74 2e 73 65 74 28 22 70 6f 73 22 2c ....t.set("pos",
0fa0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 61 73 74 ValueLayer, ast
0fb0: 32 74 61 62 6c 65 28 65 2e 70 6f 73 2c 72 65 63 2table(e.pos,rec
0fc0: 29 29 3b 0d 0a 09 09 74 2e 73 65 74 28 22 69 73 ));....t.set("is
0fd0: 22 20 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 " , ValueLayer,
0fe0: 6e 65 77 20 53 74 72 56 61 6c 75 65 28 74 79 70 new StrValue(typ
0ff0: 65 69 64 28 65 29 2e 6e 61 6d 65 2e 73 70 6c 69 eid(e).name.spli
1000: 74 28 22 2e 22 29 5b 24 2d 31 5d 29 29 3b 0d 0a t(".")[$-1]));..
1010: 09 09 66 6f 72 65 61 63 68 28 69 2c 6d 3b 20 65 ..foreach(i,m; e
1020: 2e 74 75 70 6c 65 6f 66 29 0d 0a 09 09 09 73 74 .tupleof).....st
1030: 61 74 69 63 20 69 66 28 69 73 28 74 79 70 65 6f atic if(is(typeo
1040: 66 28 6d 29 20 3a 20 41 53 54 29 29 0d 0a 09 09 f(m) : AST))....
1050: 09 09 74 2e 73 65 74 28 65 2e 74 75 70 6c 65 6f ..t.set(e.tupleo
1060: 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 2e 73 70 f[i].stringof.sp
1070: 6c 69 74 28 22 2e 22 29 5b 24 2d 31 5d 2c 20 56 lit(".")[$-1], V
1080: 61 6c 75 65 4c 61 79 65 72 2c 20 72 65 63 28 6d alueLayer, rec(m
1090: 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 ));.....else....
10a0: 09 09 74 2e 73 65 74 28 65 2e 74 75 70 6c 65 6f ..t.set(e.tupleo
10b0: 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 2e 73 70 f[i].stringof.sp
10c0: 6c 69 74 28 22 2e 22 29 5b 24 2d 31 5d 2c 20 56 lit(".")[$-1], V
10d0: 61 6c 75 65 4c 61 79 65 72 2c 20 61 73 74 32 74 alueLayer, ast2t
10e0: 61 62 6c 65 28 6d 2c 72 65 63 29 29 3b 0d 0a 09 able(m,rec));...
10f0: 09 72 65 74 75 72 6e 20 74 3b 0d 0a 09 7d 0d 0a .return t;...}..
1100: 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 .else...static i
1110: 66 28 69 73 28 54 20 3d 3d 20 63 6c 61 73 73 29 f(is(T == class)
1120: 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 74 20 )...{....auto t
1130: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 = new Table;....
1140: 66 6f 72 65 61 63 68 28 69 2c 6d 3b 20 65 2e 74 foreach(i,m; e.t
1150: 75 70 6c 65 6f 66 29 0d 0a 09 09 09 73 74 61 74 upleof).....stat
1160: 69 63 20 69 66 28 69 73 28 74 79 70 65 6f 66 28 ic if(is(typeof(
1170: 6d 29 20 3a 20 41 53 54 29 29 0d 0a 09 09 09 09 m) : AST))......
1180: 74 2e 73 65 74 28 65 2e 74 75 70 6c 65 6f 66 5b t.set(e.tupleof[
1190: 69 5d 2e 73 74 72 69 6e 67 6f 66 5b 32 2e 2e 24 i].stringof[2..$
11a0: 5d 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 72 ], ValueLayer, r
11b0: 65 63 28 6d 29 29 3b 0d 0a 09 09 09 65 6c 73 65 ec(m));.....else
11c0: 0d 0a 09 09 09 09 74 2e 73 65 74 28 65 2e 74 75 ......t.set(e.tu
11d0: 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f pleof[i].stringo
11e0: 66 5b 32 2e 2e 24 5d 2c 20 56 61 6c 75 65 4c 61 f[2..$], ValueLa
11f0: 79 65 72 2c 20 61 73 74 32 74 61 62 6c 65 28 6d yer, ast2table(m
1200: 2c 72 65 63 29 29 3b 0d 0a 09 09 72 65 74 75 72 ,rec));....retur
1210: 6e 20 74 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d n t;...}...else.
1220: 0a 09 09 73 74 61 74 69 63 20 61 73 73 65 72 74 ...static assert
1230: 28 66 61 6c 73 65 2c 20 22 75 6e 6b 6e 6f 77 6e (false, "unknown
1240: 20 74 79 70 65 20 3c 22 7e 54 2e 73 74 72 69 6e type <"~T.strin
1250: 67 6f 66 7e 22 3e 20 64 75 72 69 6e 67 20 41 53 gof~"> during AS
1260: 54 20 65 6e 63 6f 64 69 6e 67 22 29 3b 0d 0a 7d T encoding");..}
1270: 0d 0a ..