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 6e 75 6c 6c 3b 0d 0a 7d 0d 0a 0d 0a 2f rn null;..}..../
02c0: 2f 2f 20 45 78 70 65 72 69 6d 65 6e 74 61 6c 21 // Experimental!
02d0: 21 20 43 6f 6e 76 65 72 74 20 50 6f 6c 65 6d 79 ! Convert Polemy
02e0: 20 76 61 6c 75 65 20 74 6f 20 44 20 56 61 6c 75 value to D Valu
02f0: 65 0d 0a 0d 0a 54 20 70 6f 6c 65 6d 79 32 64 28 e....T polemy2d(
0300: 54 29 28 56 61 6c 75 65 20 5f 76 2c 20 4c 65 78 T)(Value _v, Lex
0310: 50 6f 73 69 74 69 6f 6e 20 63 61 6c 6c 70 6f 73 Position callpos
0320: 3d 6e 75 6c 6c 29 0d 0a 7b 0d 0a 09 73 74 61 74 =null)..{...stat
0330: 69 63 20 69 66 28 69 73 28 54 3d 3d 42 69 67 49 ic if(is(T==BigI
0340: 6e 74 29 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 nt))...{....if(a
0350: 75 74 6f 20 76 20 3d 20 63 61 73 74 28 49 6e 74 uto v = cast(Int
0360: 56 61 6c 75 65 29 5f 76 29 0d 0a 09 09 09 72 65 Value)_v).....re
0370: 74 75 72 6e 20 76 2e 64 61 74 61 3b 0d 0a 09 7d turn v.data;...}
0380: 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 ...else...static
0390: 20 69 66 28 69 73 49 6e 74 65 67 72 61 6c 21 28 if(isIntegral!(
03a0: 54 29 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 T))...{....if(au
03b0: 74 6f 20 76 20 3d 20 63 61 73 74 28 49 6e 74 56 to v = cast(IntV
03c0: 61 6c 75 65 29 5f 76 29 0d 0a 09 09 09 72 65 74 alue)_v).....ret
03d0: 75 72 6e 20 63 61 73 74 28 54 29 20 76 2e 64 61 urn cast(T) v.da
03e0: 74 61 2e 74 6f 4c 6f 6e 67 28 29 3b 0d 0a 09 7d ta.toLong();...}
03f0: 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 ...else...static
0400: 20 69 66 28 69 73 28 54 3d 3d 73 74 72 69 6e 67 if(is(T==string
0410: 29 29 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 74 ))...{....if(aut
0420: 6f 20 76 20 3d 20 63 61 73 74 28 53 74 72 56 61 o v = cast(StrVa
0430: 6c 75 65 29 5f 76 29 0d 0a 09 09 09 72 65 74 75 lue)_v).....retu
0440: 72 6e 20 76 2e 64 61 74 61 3b 0d 0a 09 7d 0d 0a rn v.data;...}..
0450: 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 .else...static i
0460: 66 28 69 73 28 54 20 53 20 3a 20 53 5b 5d 29 29 f(is(T S : S[]))
0470: 0d 0a 09 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 ...{....if(auto
0480: 74 20 3d 20 63 61 73 74 28 54 61 62 6c 65 29 5f t = cast(Table)_
0490: 76 29 0d 0a 09 09 7b 0d 0a 09 09 09 53 5b 5d 20 v)....{.....S[]
04a0: 72 65 73 75 6c 74 3b 0d 0a 09 09 09 66 6f 72 65 result;.....fore
04b0: 61 63 68 28 65 3b 20 74 2e 74 6f 4c 69 73 74 28 ach(e; t.toList(
04c0: 29 29 0d 0a 09 09 09 09 72 65 73 75 6c 74 20 7e ))......result ~
04d0: 3d 20 70 6f 6c 65 6d 79 32 64 21 28 53 29 28 65 = polemy2d!(S)(e
04e0: 2c 20 63 61 6c 6c 70 6f 73 29 3b 0d 0a 09 09 09 , callpos);.....
04f0: 72 65 74 75 72 6e 20 72 65 73 75 6c 74 3b 0d 0a return result;..
0500: 09 09 7d 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a ..}...}...else..
0510: 09 73 74 61 74 69 63 20 69 66 28 69 73 28 54 20 .static if(is(T
0520: 3d 3d 20 41 53 54 29 29 0d 0a 09 7b 0d 0a 09 09 == AST))...{....
0530: 69 66 28 61 75 74 6f 20 74 20 3d 20 63 61 73 74 if(auto t = cast
0540: 28 54 61 62 6c 65 29 5f 76 29 0d 0a 09 09 7b 0d (Table)_v)....{.
0550: 0a 09 09 09 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ....LexPosition
0560: 70 6f 73 20 3d 20 65 78 74 72 61 63 74 50 6f 73 pos = extractPos
0570: 28 74 29 3b 0d 0a 0d 0a 09 09 09 53 74 72 56 61 (t);.......StrVa
0580: 6c 75 65 20 74 79 70 20 3d 20 63 61 73 74 28 53 lue typ = cast(S
0590: 74 72 56 61 6c 75 65 29 20 74 2e 61 63 63 65 73 trValue) t.acces
05a0: 73 21 53 74 72 56 61 6c 75 65 28 56 61 6c 75 65 s!StrValue(Value
05b0: 4c 61 79 65 72 2c 20 22 69 73 22 29 3b 0d 0a 09 Layer, "is");...
05c0: 09 09 69 66 28 20 74 79 70 20 69 73 20 6e 75 6c ..if( typ is nul
05d0: 6c 20 29 0d 0a 09 09 09 09 74 68 72 6f 77 20 67 l )......throw g
05e0: 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 enex!RuntimeExce
05f0: 70 74 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 74 ption(callpos, t
0600: 65 78 74 28 60 49 6e 76 61 6c 69 64 20 41 53 54 ext(`Invalid AST
0610: 20 28 6e 6f 20 22 69 73 22 20 66 69 65 6c 64 29 (no "is" field)
0620: 3a 20 60 2c 20 5f 76 29 29 3b 0d 0a 0d 0a 09 09 : `, _v));......
0630: 09 66 6f 72 65 61 63 68 28 41 54 3b 20 4c 69 73 .foreach(AT; Lis
0640: 74 4f 66 41 53 54 54 79 70 65 73 29 0d 0a 09 09 tOfASTTypes)....
0650: 09 09 69 66 28 74 79 70 2e 64 61 74 61 20 3d 3d ..if(typ.data ==
0660: 20 74 79 70 65 69 64 28 41 54 29 2e 6e 61 6d 65 typeid(AT).name
0670: 2e 73 70 6c 69 74 28 22 2e 22 29 5b 24 2d 31 5d .split(".")[$-1]
0680: 2e 74 6f 6c 6f 77 65 72 28 29 29 0d 0a 09 09 09 .tolower()).....
0690: 09 7b 0d 0a 09 09 09 09 09 74 79 70 65 6f 66 28 .{.......typeof(
06a0: 41 54 2e 74 75 70 6c 65 6f 66 29 20 6d 65 6d 73 AT.tupleof) mems
06b0: 3b 0d 0a 09 09 09 09 09 66 6f 72 65 61 63 68 28 ;.......foreach(
06c0: 69 2c 6d 3b 20 6d 65 6d 73 29 0d 0a 09 09 09 09 i,m; mems)......
06d0: 09 7b 0d 0a 09 09 09 09 09 09 73 74 72 69 6e 67 .{........string
06e0: 20 6e 61 6d 65 20 3d 20 41 54 2e 74 75 70 6c 65 name = AT.tuple
06f0: 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 2e 73 of[i].stringof.s
0700: 70 6c 69 74 28 22 2e 22 29 5b 24 2d 31 5d 3b 0d plit(".")[$-1];.
0710: 0a 09 09 09 09 09 09 56 61 6c 75 65 20 76 6d 20 .......Value vm
0720: 3d 20 74 2e 61 63 63 65 73 73 21 56 61 6c 75 65 = t.access!Value
0730: 28 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 61 6d (ValueLayer, nam
0740: 65 29 3b 0d 0a 09 09 09 09 09 09 69 66 28 20 76 e);........if( v
0750: 6d 20 69 73 20 6e 75 6c 6c 20 29 0d 0a 09 09 09 m is null ).....
0760: 09 09 09 09 74 68 72 6f 77 20 67 65 6e 65 78 21 ....throw genex!
0770: 52 75 6e 74 69 6d 65 45 78 63 65 70 74 69 6f 6e RuntimeException
0780: 28 63 61 6c 6c 70 6f 73 2c 20 0d 0a 09 09 09 09 (callpos, ......
0790: 09 09 09 09 74 65 78 74 28 60 49 6e 76 61 6c 69 ....text(`Invali
07a0: 64 20 41 53 54 20 28 6e 6f 20 22 60 2c 6e 61 6d d AST (no "`,nam
07b0: 65 2c 60 22 20 66 69 65 6c 64 29 20 66 6f 72 20 e,`" field) for
07c0: 22 60 2c 20 74 79 70 2c 20 60 22 20 6e 6f 64 65 "`, typ, `" node
07d0: 3a 20 60 2c 20 5f 76 29 29 3b 0d 0a 09 09 09 09 : `, _v));......
07e0: 09 09 6d 65 6d 73 5b 69 5d 20 3d 20 70 6f 6c 65 ..mems[i] = pole
07f0: 6d 79 32 64 21 28 74 79 70 65 6f 66 28 6d 29 29 my2d!(typeof(m))
0800: 28 76 6d 2c 20 63 61 6c 6c 70 6f 73 29 3b 0d 0a (vm, callpos);..
0810: 09 09 09 09 09 7d 0d 0a 09 09 09 09 09 72 65 74 .....}.......ret
0820: 75 72 6e 20 6e 65 77 20 41 54 28 70 6f 73 2c 6d urn new AT(pos,m
0830: 65 6d 73 29 3b 0d 0a 09 09 09 09 7d 0d 0a 09 09 ems);......}....
0840: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
0850: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 timeException(ca
0860: 6c 6c 70 6f 73 2c 20 74 65 78 74 28 60 49 6e 76 llpos, text(`Inv
0870: 61 6c 69 64 20 41 53 54 20 28 75 6e 6b 6e 6f 77 alid AST (unknow
0880: 6e 20 22 69 73 22 20 66 69 65 6c 64 29 3a 20 60 n "is" field): `
0890: 2c 20 74 79 70 29 29 3b 0d 0a 09 09 7d 0d 0a 09 , typ));....}...
08a0: 09 74 68 72 6f 77 20 67 65 6e 65 78 21 52 75 6e .throw genex!Run
08b0: 74 69 6d 65 45 78 63 65 70 74 69 6f 6e 28 63 61 timeException(ca
08c0: 6c 6c 70 6f 73 2c 20 74 65 78 74 28 60 49 6e 76 llpos, text(`Inv
08d0: 61 6c 69 64 20 41 53 54 20 28 6e 6f 74 20 61 20 alid AST (not a
08e0: 74 61 62 6c 65 29 3a 20 60 2c 20 5f 76 29 29 3b table): `, _v));
08f0: 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 ...}...else...st
0900: 61 74 69 63 20 69 66 28 69 73 28 54 20 3d 3d 20 atic if(is(T ==
0910: 63 6c 61 73 73 29 29 0d 0a 09 7b 0d 0a 09 09 69 class))...{....i
0920: 66 28 61 75 74 6f 20 74 20 3d 20 63 61 73 74 28 f(auto t = cast(
0930: 54 61 62 6c 65 29 5f 76 29 0d 0a 09 09 7b 0d 0a Table)_v)....{..
0940: 09 09 09 74 79 70 65 6f 66 28 54 2e 74 75 70 6c ...typeof(T.tupl
0950: 65 6f 66 29 20 6d 65 6d 73 3b 0d 0a 09 09 09 66 eof) mems;.....f
0960: 6f 72 65 61 63 68 28 69 2c 6d 3b 20 6d 65 6d 73 oreach(i,m; mems
0970: 29 0d 0a 09 09 09 09 6d 65 6d 73 5b 69 5d 20 3d )......mems[i] =
0980: 20 70 6f 6c 65 6d 79 32 64 21 28 74 79 70 65 6f polemy2d!(typeo
0990: 66 28 6d 29 29 28 74 2e 67 65 74 28 54 2e 74 75 f(m))(t.get(T.tu
09a0: 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f pleof[i].stringo
09b0: 66 2e 73 70 6c 69 74 28 22 2e 22 29 5b 24 2d 31 f.split(".")[$-1
09c0: 5d 2c 20 56 61 6c 75 65 4c 61 79 65 72 29 2c 20 ], ValueLayer),
09d0: 63 61 6c 6c 70 6f 73 29 3b 0d 0a 09 09 09 72 65 callpos);.....re
09e0: 74 75 72 6e 20 6e 65 77 20 54 28 6d 65 6d 73 29 turn new T(mems)
09f0: 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a 09 65 6c 73 ;....}...}...els
0a00: 65 0d 0a 09 09 73 74 61 74 69 63 20 61 73 73 65 e....static asse
0a10: 72 74 28 66 61 6c 73 65 2c 20 22 75 6e 6b 6e 6f rt(false, "unkno
0a20: 77 6e 20 74 79 70 65 20 3c 22 7e 54 2e 73 74 72 wn type <"~T.str
0a30: 69 6e 67 6f 66 7e 22 3e 20 64 75 72 69 6e 67 20 ingof~"> during
0a40: 70 6f 6c 65 6d 79 32 64 20 64 65 63 6f 64 69 6e polemy2d decodin
0a50: 67 22 29 3b 0d 0a 09 74 68 72 6f 77 20 67 65 6e g");...throw gen
0a60: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
0a70: 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 74 65 78 ion(callpos, tex
0a80: 74 28 22 43 61 6e 6e 6f 74 20 63 6f 6e 76 65 72 t("Cannot conver
0a90: 74 20 22 2c 5f 76 2c 22 20 74 6f 20 22 2c 54 2e t ",_v," to ",T.
0aa0: 73 74 72 69 6e 67 6f 66 29 29 3b 0d 0a 7d 0d 0a stringof));..}..
0ab0: 0d 0a 2f 2f 2f 20 43 6f 6e 73 20 6f 66 20 74 77 ../// Cons of tw
0ac0: 6f 20 70 61 69 72 73 0d 0a 0d 0a 54 61 62 6c 65 o pairs....Table
0ad0: 20 6d 61 6b 65 43 6f 6e 73 28 56 61 6c 75 65 20 makeCons(Value
0ae0: 61 2c 20 56 61 6c 75 65 20 64 29 0d 0a 7b 0d 0a a, Value d)..{..
0af0: 09 54 61 62 6c 65 20 74 20 3d 20 6e 65 77 20 54 .Table t = new T
0b00: 61 62 6c 65 3b 0d 0a 09 74 2e 73 65 74 28 22 63 able;...t.set("c
0b10: 61 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c ar", ValueLayer,
0b20: 20 61 29 3b 0d 0a 09 74 2e 73 65 74 28 22 63 64 a);...t.set("cd
0b30: 72 22 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 r", ValueLayer,
0b40: 64 29 3b 0d 0a 09 72 65 74 75 72 6e 20 74 3b 0d d);...return t;.
0b50: 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 45 78 70 65 72 69 .}..../// Experi
0b60: 6d 65 6e 74 61 6c 21 21 20 43 6f 6e 76 65 72 74 mental!! Convert
0b70: 20 44 20 76 61 6c 75 65 20 28 65 78 63 65 70 74 D value (except
0b80: 20 41 53 54 29 20 74 6f 20 20 50 6f 6c 65 6d 79 AST) to Polemy
0b90: 20 56 61 6c 75 65 0d 0a 0d 0a 56 61 6c 75 65 20 Value....Value
0ba0: 64 32 70 6f 6c 65 6d 79 28 54 29 28 54 20 65 29 d2polemy(T)(T e)
0bb0: 0d 0a 7b 0d 0a 09 72 65 74 75 72 6e 20 61 73 74 ..{...return ast
0bc0: 32 74 61 62 6c 65 28 65 2c 20 64 65 6c 65 67 61 2table(e, delega
0bd0: 74 65 20 56 61 6c 75 65 28 41 53 54 29 7b 20 61 te Value(AST){ a
0be0: 73 73 65 72 74 28 66 61 6c 73 65 29 3b 20 7d 29 ssert(false); })
0bf0: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 76 ;..}..../// Conv
0c00: 65 72 74 20 41 53 54 20 74 6f 20 54 61 62 6c 65 ert AST to Table
0c10: 20 73 6f 20 74 68 61 74 20 69 74 20 63 61 6e 20 so that it can
0c20: 62 65 20 75 73 65 64 20 69 6e 20 50 6f 6c 65 6d be used in Polem
0c30: 79 0d 0a 0d 0a 56 61 6c 75 65 20 61 73 74 32 74 y....Value ast2t
0c40: 61 62 6c 65 28 54 29 28 54 20 65 2c 20 56 61 6c able(T)(T e, Val
0c50: 75 65 20 64 65 6c 65 67 61 74 65 28 41 53 54 29 ue delegate(AST)
0c60: 20 72 65 63 29 0d 0a 7b 0d 0a 09 73 74 61 74 69 rec)..{...stati
0c70: 63 20 69 66 28 69 73 28 54 3d 3d 42 69 67 49 6e c if(is(T==BigIn
0c80: 74 29 20 7c 7c 20 69 73 49 6e 74 65 67 72 61 6c t) || isIntegral
0c90: 21 28 54 29 29 0d 0a 09 09 72 65 74 75 72 6e 20 !(T))....return
0ca0: 6e 65 77 20 49 6e 74 56 61 6c 75 65 28 65 29 3b new IntValue(e);
0cb0: 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 ...else...static
0cc0: 20 69 66 28 69 73 28 55 6e 71 75 61 6c 21 28 54 if(is(Unqual!(T
0cd0: 29 3d 3d 73 74 72 69 6e 67 29 29 0d 0a 09 09 72 )==string))....r
0ce0: 65 74 75 72 6e 20 6e 65 77 20 53 74 72 56 61 6c eturn new StrVal
0cf0: 75 65 28 65 29 3b 0d 0a 09 65 6c 73 65 0d 0a 09 ue(e);...else...
0d00: 73 74 61 74 69 63 20 69 66 28 69 73 28 54 20 53 static if(is(T S
0d10: 20 3a 20 53 5b 5d 29 29 0d 0a 09 7b 0d 0a 09 09 : S[]))...{....
0d20: 54 61 62 6c 65 20 6c 73 74 20 3d 20 6e 65 77 20 Table lst = new
0d30: 54 61 62 6c 65 3b 0d 0a 09 09 66 6f 72 65 61 63 Table;....foreac
0d40: 68 5f 72 65 76 65 72 73 65 28 61 3b 20 65 29 0d h_reverse(a; e).
0d50: 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 69 73 ....static if(is
0d60: 28 53 20 3a 20 41 53 54 29 29 0d 0a 09 09 09 09 (S : AST))......
0d70: 6c 73 74 20 3d 20 6d 61 6b 65 43 6f 6e 73 28 72 lst = makeCons(r
0d80: 65 63 28 61 29 2c 20 6c 73 74 29 3b 0d 0a 09 09 ec(a), lst);....
0d90: 09 65 6c 73 65 0d 0a 09 09 09 09 6c 73 74 20 3d .else......lst =
0da0: 20 6d 61 6b 65 43 6f 6e 73 28 61 73 74 32 74 61 makeCons(ast2ta
0db0: 62 6c 65 28 61 2c 72 65 63 29 2c 20 6c 73 74 29 ble(a,rec), lst)
0dc0: 3b 0d 0a 09 09 72 65 74 75 72 6e 20 6c 73 74 3b ;....return lst;
0dd0: 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 ...}...else...st
0de0: 61 74 69 63 20 69 66 28 69 73 28 54 20 3a 20 41 atic if(is(T : A
0df0: 53 54 29 29 0d 0a 09 7b 0d 0a 09 09 61 73 73 65 ST))...{....asse
0e00: 72 74 28 20 74 79 70 65 69 64 28 65 29 20 3d 3d rt( typeid(e) ==
0e10: 20 74 79 70 65 69 64 28 54 29 2c 20 74 65 78 74 typeid(T), text
0e20: 28 22 61 62 73 74 72 61 63 74 65 64 3a 20 22 2c ("abstracted: ",
0e30: 20 74 79 70 65 69 64 28 65 29 2c 20 22 20 76 73 typeid(e), " vs
0e40: 20 22 2c 20 74 79 70 65 69 64 28 54 29 29 20 29 ", typeid(T)) )
0e50: 3b 0d 0a 09 09 61 75 74 6f 20 74 20 3d 20 6e 65 ;....auto t = ne
0e60: 77 20 54 61 62 6c 65 3b 0d 0a 09 09 74 2e 73 65 w Table;....t.se
0e70: 74 28 22 70 6f 73 22 2c 20 56 61 6c 75 65 4c 61 t("pos", ValueLa
0e80: 79 65 72 2c 20 61 73 74 32 74 61 62 6c 65 28 65 yer, ast2table(e
0e90: 2e 70 6f 73 2c 72 65 63 29 29 3b 0d 0a 09 09 74 .pos,rec));....t
0ea0: 2e 73 65 74 28 22 69 73 22 20 2c 20 56 61 6c 75 .set("is" , Valu
0eb0: 65 4c 61 79 65 72 2c 20 6e 65 77 20 53 74 72 56 eLayer, new StrV
0ec0: 61 6c 75 65 28 74 79 70 65 69 64 28 65 29 2e 6e alue(typeid(e).n
0ed0: 61 6d 65 2e 73 70 6c 69 74 28 22 2e 22 29 5b 24 ame.split(".")[$
0ee0: 2d 31 5d 2e 74 6f 6c 6f 77 65 72 28 29 29 29 3b -1].tolower()));
0ef0: 0d 0a 09 09 66 6f 72 65 61 63 68 28 69 2c 6d 3b ....foreach(i,m;
0f00: 20 65 2e 74 75 70 6c 65 6f 66 29 0d 0a 09 09 09 e.tupleof).....
0f10: 73 74 61 74 69 63 20 69 66 28 69 73 28 74 79 70 static if(is(typ
0f20: 65 6f 66 28 6d 29 20 3a 20 41 53 54 29 29 0d 0a eof(m) : AST))..
0f30: 09 09 09 09 74 2e 73 65 74 28 65 2e 74 75 70 6c ....t.set(e.tupl
0f40: 65 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 2e eof[i].stringof.
0f50: 73 70 6c 69 74 28 22 2e 22 29 5b 24 2d 31 5d 2c split(".")[$-1],
0f60: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 72 65 63 ValueLayer, rec
0f70: 28 6d 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a (m));.....else..
0f80: 09 09 09 09 74 2e 73 65 74 28 65 2e 74 75 70 6c ....t.set(e.tupl
0f90: 65 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 2e eof[i].stringof.
0fa0: 73 70 6c 69 74 28 22 2e 22 29 5b 24 2d 31 5d 2c split(".")[$-1],
0fb0: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 61 73 74 ValueLayer, ast
0fc0: 32 74 61 62 6c 65 28 6d 2c 72 65 63 29 29 3b 0d 2table(m,rec));.
0fd0: 0a 09 09 72 65 74 75 72 6e 20 74 3b 0d 0a 09 7d ...return t;...}
0fe0: 0d 0a 09 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 ...else...static
0ff0: 20 69 66 28 69 73 28 54 20 3d 3d 20 63 6c 61 73 if(is(T == clas
1000: 73 29 29 0d 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 s))...{....auto
1010: 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a t = new Table;..
1020: 09 09 66 6f 72 65 61 63 68 28 69 2c 6d 3b 20 65 ..foreach(i,m; e
1030: 2e 74 75 70 6c 65 6f 66 29 0d 0a 09 09 09 73 74 .tupleof).....st
1040: 61 74 69 63 20 69 66 28 69 73 28 74 79 70 65 6f atic if(is(typeo
1050: 66 28 6d 29 20 3a 20 41 53 54 29 29 0d 0a 09 09 f(m) : AST))....
1060: 09 09 74 2e 73 65 74 28 65 2e 74 75 70 6c 65 6f ..t.set(e.tupleo
1070: 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 5b 32 2e f[i].stringof[2.
1080: 2e 24 5d 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c .$], ValueLayer,
1090: 20 72 65 63 28 6d 29 29 3b 0d 0a 09 09 09 65 6c rec(m));.....el
10a0: 73 65 0d 0a 09 09 09 09 74 2e 73 65 74 28 65 2e se......t.set(e.
10b0: 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 69 6e tupleof[i].strin
10c0: 67 6f 66 5b 32 2e 2e 24 5d 2c 20 56 61 6c 75 65 gof[2..$], Value
10d0: 4c 61 79 65 72 2c 20 61 73 74 32 74 61 62 6c 65 Layer, ast2table
10e0: 28 6d 2c 72 65 63 29 29 3b 0d 0a 09 09 72 65 74 (m,rec));....ret
10f0: 75 72 6e 20 74 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 urn t;...}...els
1100: 65 0d 0a 09 09 73 74 61 74 69 63 20 61 73 73 65 e....static asse
1110: 72 74 28 66 61 6c 73 65 2c 20 22 75 6e 6b 6e 6f rt(false, "unkno
1120: 77 6e 20 74 79 70 65 20 3c 22 7e 54 2e 73 74 72 wn type <"~T.str
1130: 69 6e 67 6f 66 7e 22 3e 20 64 75 72 69 6e 67 20 ingof~"> during
1140: 41 53 54 20 65 6e 63 6f 64 69 6e 67 22 29 3b 0d AST encoding");.
1150: 0a 7d 0d 0a .}..