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 74 65 78 74 28 60 49 6e 76 61 ption(text(`Inva
0600: 6c 69 64 20 41 53 54 20 28 6e 6f 20 22 69 73 22 lid AST (no "is"
0610: 20 66 69 65 6c 64 29 3a 20 60 2c 20 5f 76 29 29 field): `, _v))
0620: 3b 0d 0a 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 ;.......foreach(
0630: 41 54 3b 20 4c 69 73 74 4f 66 41 53 54 54 79 70 AT; ListOfASTTyp
0640: 65 73 29 0d 0a 09 09 09 09 69 66 28 74 79 70 2e es)......if(typ.
0650: 64 61 74 61 20 3d 3d 20 74 79 70 65 69 64 28 41 data == typeid(A
0660: 54 29 2e 6e 61 6d 65 2e 73 70 6c 69 74 28 22 2e T).name.split(".
0670: 22 29 5b 24 2d 31 5d 2e 74 6f 6c 6f 77 65 72 28 ")[$-1].tolower(
0680: 29 29 0d 0a 09 09 09 09 7b 0d 0a 09 09 09 09 09 ))......{.......
0690: 74 79 70 65 6f 66 28 41 54 2e 74 75 70 6c 65 6f typeof(AT.tupleo
06a0: 66 29 20 6d 65 6d 73 3b 0d 0a 09 09 09 09 09 66 f) mems;.......f
06b0: 6f 72 65 61 63 68 28 69 2c 6d 3b 20 6d 65 6d 73 oreach(i,m; mems
06c0: 29 0d 0a 09 09 09 09 09 7b 0d 0a 09 09 09 09 09 ).......{.......
06d0: 09 73 74 72 69 6e 67 20 6e 61 6d 65 20 3d 20 41 .string name = A
06e0: 54 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 T.tupleof[i].str
06f0: 69 6e 67 6f 66 2e 73 70 6c 69 74 28 22 2e 22 29 ingof.split(".")
0700: 5b 24 2d 31 5d 3b 0d 0a 09 09 09 09 09 09 56 61 [$-1];........Va
0710: 6c 75 65 20 76 6d 20 3d 20 74 2e 61 63 63 65 73 lue vm = t.acces
0720: 73 21 56 61 6c 75 65 28 56 61 6c 75 65 4c 61 79 s!Value(ValueLay
0730: 65 72 2c 20 6e 61 6d 65 29 3b 0d 0a 09 09 09 09 er, name);......
0740: 09 09 69 66 28 20 76 6d 20 69 73 20 6e 75 6c 6c ..if( vm is null
0750: 20 29 0d 0a 09 09 09 09 09 09 09 74 68 72 6f 77 ).........throw
0760: 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 genex!RuntimeEx
0770: 63 65 70 74 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c ception(callpos,
0780: 20 0d 0a 09 09 09 09 09 09 09 09 74 65 78 74 28 ..........text(
0790: 60 49 6e 76 61 6c 69 64 20 41 53 54 20 28 6e 6f `Invalid AST (no
07a0: 20 22 60 2c 6e 61 6d 65 2c 60 22 20 66 69 65 6c "`,name,`" fiel
07b0: 64 29 20 66 6f 72 20 22 60 2c 20 74 79 70 2c 20 d) for "`, typ,
07c0: 60 22 20 6e 6f 64 65 3a 20 60 2c 20 5f 76 29 29 `" node: `, _v))
07d0: 3b 0d 0a 09 09 09 09 09 09 6d 65 6d 73 5b 69 5d ;........mems[i]
07e0: 20 3d 20 70 6f 6c 65 6d 79 32 64 21 28 74 79 70 = polemy2d!(typ
07f0: 65 6f 66 28 6d 29 29 28 76 6d 2c 20 63 61 6c 6c eof(m))(vm, call
0800: 70 6f 73 29 3b 0d 0a 09 09 09 09 09 7d 0d 0a 09 pos);.......}...
0810: 09 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 41 ....return new A
0820: 54 28 70 6f 73 2c 6d 65 6d 73 29 3b 0d 0a 09 09 T(pos,mems);....
0830: 09 09 7d 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 ..}.....throw ge
0840: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
0850: 74 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 74 65 tion(callpos, te
0860: 78 74 28 60 49 6e 76 61 6c 69 64 20 41 53 54 20 xt(`Invalid AST
0870: 28 75 6e 6b 6e 6f 77 6e 20 22 69 73 22 20 66 69 (unknown "is" fi
0880: 65 6c 64 29 3a 20 60 2c 20 74 79 70 29 29 3b 0d eld): `, typ));.
0890: 0a 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 65 ...}....throw ge
08a0: 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 nex!RuntimeExcep
08b0: 74 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 74 65 tion(callpos, te
08c0: 78 74 28 60 49 6e 76 61 6c 69 64 20 41 53 54 20 xt(`Invalid AST
08d0: 28 6e 6f 74 20 61 20 74 61 62 6c 65 29 3a 20 60 (not a table): `
08e0: 2c 20 5f 76 29 29 3b 0d 0a 09 7d 0d 0a 09 65 6c , _v));...}...el
08f0: 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 69 se...static if(i
0900: 73 28 54 20 3d 3d 20 63 6c 61 73 73 29 29 0d 0a s(T == class))..
0910: 09 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 74 20 .{....if(auto t
0920: 3d 20 63 61 73 74 28 54 61 62 6c 65 29 5f 76 29 = cast(Table)_v)
0930: 0d 0a 09 09 7b 0d 0a 09 09 09 74 79 70 65 6f 66 ....{.....typeof
0940: 28 54 2e 74 75 70 6c 65 6f 66 29 20 6d 65 6d 73 (T.tupleof) mems
0950: 3b 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 69 2c ;.....foreach(i,
0960: 6d 3b 20 6d 65 6d 73 29 0d 0a 09 09 09 09 6d 65 m; mems)......me
0970: 6d 73 5b 69 5d 20 3d 20 70 6f 6c 65 6d 79 32 64 ms[i] = polemy2d
0980: 21 28 74 79 70 65 6f 66 28 6d 29 29 28 74 2e 67 !(typeof(m))(t.g
0990: 65 74 28 54 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e et(T.tupleof[i].
09a0: 73 74 72 69 6e 67 6f 66 2e 73 70 6c 69 74 28 22 stringof.split("
09b0: 2e 22 29 5b 24 2d 31 5d 2c 20 56 61 6c 75 65 4c .")[$-1], ValueL
09c0: 61 79 65 72 29 2c 20 63 61 6c 6c 70 6f 73 29 3b ayer), callpos);
09d0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 .....return new
09e0: 54 28 6d 65 6d 73 29 3b 0d 0a 09 09 7d 0d 0a 09 T(mems);....}...
09f0: 7d 0d 0a 09 65 6c 73 65 0d 0a 09 09 73 74 61 74 }...else....stat
0a00: 69 63 20 61 73 73 65 72 74 28 66 61 6c 73 65 2c ic assert(false,
0a10: 20 22 75 6e 6b 6e 6f 77 6e 20 74 79 70 65 20 3c "unknown type <
0a20: 22 7e 54 2e 73 74 72 69 6e 67 6f 66 7e 22 3e 20 "~T.stringof~">
0a30: 64 75 72 69 6e 67 20 70 6f 6c 65 6d 79 32 64 20 during polemy2d
0a40: 64 65 63 6f 64 69 6e 67 22 29 3b 0d 0a 09 74 68 decoding");...th
0a50: 72 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d row genex!Runtim
0a60: 65 45 78 63 65 70 74 69 6f 6e 28 63 61 6c 6c 70 eException(callp
0a70: 6f 73 2c 20 74 65 78 74 28 22 43 61 6e 6e 6f 74 os, text("Cannot
0a80: 20 63 6f 6e 76 65 72 74 20 22 2c 5f 76 2c 22 20 convert ",_v,"
0a90: 74 6f 20 22 2c 54 2e 73 74 72 69 6e 67 6f 66 29 to ",T.stringof)
0aa0: 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e );..}..../// Con
0ab0: 73 20 6f 66 20 74 77 6f 20 70 61 69 72 73 0d 0a s of two pairs..
0ac0: 0d 0a 54 61 62 6c 65 20 6d 61 6b 65 43 6f 6e 73 ..Table makeCons
0ad0: 28 56 61 6c 75 65 20 61 2c 20 56 61 6c 75 65 20 (Value a, Value
0ae0: 64 29 0d 0a 7b 0d 0a 09 54 61 62 6c 65 20 74 20 d)..{...Table t
0af0: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 74 = new Table;...t
0b00: 2e 73 65 74 28 22 63 61 72 22 2c 20 56 61 6c 75 .set("car", Valu
0b10: 65 4c 61 79 65 72 2c 20 61 29 3b 0d 0a 09 74 2e eLayer, a);...t.
0b20: 73 65 74 28 22 63 64 72 22 2c 20 56 61 6c 75 65 set("cdr", Value
0b30: 4c 61 79 65 72 2c 20 64 29 3b 0d 0a 09 72 65 74 Layer, d);...ret
0b40: 75 72 6e 20 74 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f urn t;..}....///
0b50: 20 45 78 70 65 72 69 6d 65 6e 74 61 6c 21 21 20 Experimental!!
0b60: 43 6f 6e 76 65 72 74 20 44 20 76 61 6c 75 65 20 Convert D value
0b70: 28 65 78 63 65 70 74 20 41 53 54 29 20 74 6f 20 (except AST) to
0b80: 20 50 6f 6c 65 6d 79 20 56 61 6c 75 65 0d 0a 0d Polemy Value...
0b90: 0a 56 61 6c 75 65 20 64 32 70 6f 6c 65 6d 79 28 .Value d2polemy(
0ba0: 54 29 28 54 20 65 29 0d 0a 7b 0d 0a 09 72 65 74 T)(T e)..{...ret
0bb0: 75 72 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c urn ast2table(e,
0bc0: 20 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 delegate Value(
0bd0: 41 53 54 29 7b 20 61 73 73 65 72 74 28 66 61 6c AST){ assert(fal
0be0: 73 65 29 3b 20 7d 29 3b 0d 0a 7d 0d 0a 0d 0a 2f se); });..}..../
0bf0: 2f 2f 20 43 6f 6e 76 65 72 74 20 41 53 54 20 74 // Convert AST t
0c00: 6f 20 54 61 62 6c 65 20 73 6f 20 74 68 61 74 20 o Table so that
0c10: 69 74 20 63 61 6e 20 62 65 20 75 73 65 64 20 69 it can be used i
0c20: 6e 20 50 6f 6c 65 6d 79 0d 0a 0d 0a 56 61 6c 75 n Polemy....Valu
0c30: 65 20 61 73 74 32 74 61 62 6c 65 28 54 29 28 54 e ast2table(T)(T
0c40: 20 65 2c 20 56 61 6c 75 65 20 64 65 6c 65 67 61 e, Value delega
0c50: 74 65 28 41 53 54 29 20 72 65 63 29 0d 0a 7b 0d te(AST) rec)..{.
0c60: 0a 09 73 74 61 74 69 63 20 69 66 28 69 73 28 54 ..static if(is(T
0c70: 3d 3d 42 69 67 49 6e 74 29 20 7c 7c 20 69 73 49 ==BigInt) || isI
0c80: 6e 74 65 67 72 61 6c 21 28 54 29 29 0d 0a 09 09 ntegral!(T))....
0c90: 72 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 return new IntVa
0ca0: 6c 75 65 28 65 29 3b 0d 0a 09 65 6c 73 65 0d 0a lue(e);...else..
0cb0: 09 73 74 61 74 69 63 20 69 66 28 69 73 28 55 6e .static if(is(Un
0cc0: 71 75 61 6c 21 28 54 29 3d 3d 73 74 72 69 6e 67 qual!(T)==string
0cd0: 29 29 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 ))....return new
0ce0: 20 53 74 72 56 61 6c 75 65 28 65 29 3b 0d 0a 09 StrValue(e);...
0cf0: 65 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 else...static if
0d00: 28 69 73 28 54 20 53 20 3a 20 53 5b 5d 29 29 0d (is(T S : S[])).
0d10: 0a 09 7b 0d 0a 09 09 54 61 62 6c 65 20 6c 73 74 ..{....Table lst
0d20: 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 = new Table;...
0d30: 09 66 6f 72 65 61 63 68 5f 72 65 76 65 72 73 65 .foreach_reverse
0d40: 28 61 3b 20 65 29 0d 0a 09 09 09 73 74 61 74 69 (a; e).....stati
0d50: 63 20 69 66 28 69 73 28 53 20 3a 20 41 53 54 29 c if(is(S : AST)
0d60: 29 0d 0a 09 09 09 09 6c 73 74 20 3d 20 6d 61 6b )......lst = mak
0d70: 65 43 6f 6e 73 28 72 65 63 28 61 29 2c 20 6c 73 eCons(rec(a), ls
0d80: 74 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 t);.....else....
0d90: 09 09 6c 73 74 20 3d 20 6d 61 6b 65 43 6f 6e 73 ..lst = makeCons
0da0: 28 61 73 74 32 74 61 62 6c 65 28 61 2c 72 65 63 (ast2table(a,rec
0db0: 29 2c 20 6c 73 74 29 3b 0d 0a 09 09 72 65 74 75 ), lst);....retu
0dc0: 72 6e 20 6c 73 74 3b 0d 0a 09 7d 0d 0a 09 65 6c rn lst;...}...el
0dd0: 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 69 se...static if(i
0de0: 73 28 54 20 3a 20 41 53 54 29 29 0d 0a 09 7b 0d s(T : AST))...{.
0df0: 0a 09 09 61 73 73 65 72 74 28 20 74 79 70 65 69 ...assert( typei
0e00: 64 28 65 29 20 3d 3d 20 74 79 70 65 69 64 28 54 d(e) == typeid(T
0e10: 29 2c 20 74 65 78 74 28 22 61 62 73 74 72 61 63 ), text("abstrac
0e20: 74 65 64 3a 20 22 2c 20 74 79 70 65 69 64 28 65 ted: ", typeid(e
0e30: 29 2c 20 22 20 76 73 20 22 2c 20 74 79 70 65 69 ), " vs ", typei
0e40: 64 28 54 29 29 20 29 3b 0d 0a 09 09 61 75 74 6f d(T)) );....auto
0e50: 20 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d t = new Table;.
0e60: 0a 09 09 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 ...t.set("pos",
0e70: 56 61 6c 75 65 4c 61 79 65 72 2c 20 61 73 74 32 ValueLayer, ast2
0e80: 74 61 62 6c 65 28 65 2e 70 6f 73 2c 72 65 63 29 table(e.pos,rec)
0e90: 29 3b 0d 0a 09 09 74 2e 73 65 74 28 22 69 73 22 );....t.set("is"
0ea0: 20 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e , ValueLayer, n
0eb0: 65 77 20 53 74 72 56 61 6c 75 65 28 74 79 70 65 ew StrValue(type
0ec0: 69 64 28 65 29 2e 6e 61 6d 65 2e 73 70 6c 69 74 id(e).name.split
0ed0: 28 22 2e 22 29 5b 24 2d 31 5d 2e 74 6f 6c 6f 77 (".")[$-1].tolow
0ee0: 65 72 28 29 29 29 3b 0d 0a 09 09 66 6f 72 65 61 er()));....forea
0ef0: 63 68 28 69 2c 6d 3b 20 65 2e 74 75 70 6c 65 6f ch(i,m; e.tupleo
0f00: 66 29 0d 0a 09 09 09 73 74 61 74 69 63 20 69 66 f).....static if
0f10: 28 69 73 28 74 79 70 65 6f 66 28 6d 29 20 3a 20 (is(typeof(m) :
0f20: 41 53 54 29 29 0d 0a 09 09 09 09 74 2e 73 65 74 AST))......t.set
0f30: 28 65 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 74 (e.tupleof[i].st
0f40: 72 69 6e 67 6f 66 2e 73 70 6c 69 74 28 22 2e 22 ringof.split("."
0f50: 29 5b 24 2d 31 5d 2c 20 56 61 6c 75 65 4c 61 79 )[$-1], ValueLay
0f60: 65 72 2c 20 72 65 63 28 6d 29 29 3b 0d 0a 09 09 er, rec(m));....
0f70: 09 65 6c 73 65 0d 0a 09 09 09 09 74 2e 73 65 74 .else......t.set
0f80: 28 65 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 74 (e.tupleof[i].st
0f90: 72 69 6e 67 6f 66 2e 73 70 6c 69 74 28 22 2e 22 ringof.split("."
0fa0: 29 5b 24 2d 31 5d 2c 20 56 61 6c 75 65 4c 61 79 )[$-1], ValueLay
0fb0: 65 72 2c 20 61 73 74 32 74 61 62 6c 65 28 6d 2c er, ast2table(m,
0fc0: 72 65 63 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e rec));....return
0fd0: 20 74 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a t;...}...else..
0fe0: 09 73 74 61 74 69 63 20 69 66 28 69 73 28 54 20 .static if(is(T
0ff0: 3d 3d 20 63 6c 61 73 73 29 29 0d 0a 09 7b 0d 0a == class))...{..
1000: 09 09 61 75 74 6f 20 74 20 3d 20 6e 65 77 20 54 ..auto t = new T
1010: 61 62 6c 65 3b 0d 0a 09 09 66 6f 72 65 61 63 68 able;....foreach
1020: 28 69 2c 6d 3b 20 65 2e 74 75 70 6c 65 6f 66 29 (i,m; e.tupleof)
1030: 0d 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 69 .....static if(i
1040: 73 28 74 79 70 65 6f 66 28 6d 29 20 3a 20 41 53 s(typeof(m) : AS
1050: 54 29 29 0d 0a 09 09 09 09 74 2e 73 65 74 28 65 T))......t.set(e
1060: 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 69 .tupleof[i].stri
1070: 6e 67 6f 66 5b 32 2e 2e 24 5d 2c 20 56 61 6c 75 ngof[2..$], Valu
1080: 65 4c 61 79 65 72 2c 20 72 65 63 28 6d 29 29 3b eLayer, rec(m));
1090: 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 74 .....else......t
10a0: 2e 73 65 74 28 65 2e 74 75 70 6c 65 6f 66 5b 69 .set(e.tupleof[i
10b0: 5d 2e 73 74 72 69 6e 67 6f 66 5b 32 2e 2e 24 5d ].stringof[2..$]
10c0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 61 73 , ValueLayer, as
10d0: 74 32 74 61 62 6c 65 28 6d 2c 72 65 63 29 29 3b t2table(m,rec));
10e0: 0d 0a 09 09 72 65 74 75 72 6e 20 74 3b 0d 0a 09 ....return t;...
10f0: 7d 0d 0a 09 65 6c 73 65 0d 0a 09 09 73 74 61 74 }...else....stat
1100: 69 63 20 61 73 73 65 72 74 28 66 61 6c 73 65 2c ic assert(false,
1110: 20 22 75 6e 6b 6e 6f 77 6e 20 74 79 70 65 20 3c "unknown type <
1120: 22 7e 54 2e 73 74 72 69 6e 67 6f 66 7e 22 3e 20 "~T.stringof~">
1130: 64 75 72 69 6e 67 20 41 53 54 20 65 6e 63 6f 64 during AST encod
1140: 69 6e 67 22 29 3b 0d 0a 7d 0d 0a ing");..}..