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: 29 0d 0a 09 09 09 09 7b 0d 0a 09 09 09 09 09 74 )......{.......t
0690: 79 70 65 6f 66 28 41 54 2e 74 75 70 6c 65 6f 66 ypeof(AT.tupleof
06a0: 29 20 6d 65 6d 73 3b 0d 0a 09 09 09 09 09 66 6f ) mems;.......fo
06b0: 72 65 61 63 68 28 69 2c 6d 3b 20 6d 65 6d 73 29 reach(i,m; mems)
06c0: 0d 0a 09 09 09 09 09 7b 0d 0a 09 09 09 09 09 09 .......{........
06d0: 73 74 72 69 6e 67 20 6e 61 6d 65 20 3d 20 41 54 string name = AT
06e0: 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 74 72 69 .tupleof[i].stri
06f0: 6e 67 6f 66 2e 73 70 6c 69 74 28 22 2e 22 29 5b ngof.split(".")[
0700: 24 2d 31 5d 3b 0d 0a 09 09 09 09 09 09 56 61 6c $-1];........Val
0710: 75 65 20 76 6d 20 3d 20 74 2e 61 63 63 65 73 73 ue vm = t.access
0720: 21 56 61 6c 75 65 28 56 61 6c 75 65 4c 61 79 65 !Value(ValueLaye
0730: 72 2c 20 6e 61 6d 65 29 3b 0d 0a 09 09 09 09 09 r, name);.......
0740: 09 69 66 28 20 76 6d 20 69 73 20 6e 75 6c 6c 20 .if( vm is null
0750: 29 0d 0a 09 09 09 09 09 09 09 74 68 72 6f 77 20 ).........throw
0760: 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 45 78 63 genex!RuntimeExc
0770: 65 70 74 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 eption(callpos,
0780: 0d 0a 09 09 09 09 09 09 09 09 74 65 78 74 28 60 ..........text(`
0790: 49 6e 76 61 6c 69 64 20 41 53 54 20 28 6e 6f 20 Invalid AST (no
07a0: 22 60 2c 6e 61 6d 65 2c 60 22 20 66 69 65 6c 64 "`,name,`" field
07b0: 29 20 66 6f 72 20 22 60 2c 20 74 79 70 2c 20 60 ) for "`, typ, `
07c0: 22 20 6e 6f 64 65 3a 20 60 2c 20 5f 76 29 29 3b " node: `, _v));
07d0: 0d 0a 09 09 09 09 09 09 6d 65 6d 73 5b 69 5d 20 ........mems[i]
07e0: 3d 20 70 6f 6c 65 6d 79 32 64 21 28 74 79 70 65 = polemy2d!(type
07f0: 6f 66 28 6d 29 29 28 76 6d 2c 20 63 61 6c 6c 70 of(m))(vm, callp
0800: 6f 73 29 3b 0d 0a 09 09 09 09 09 7d 0d 0a 09 09 os);.......}....
0810: 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 41 54 ...return new AT
0820: 28 70 6f 73 2c 6d 65 6d 73 29 3b 0d 0a 09 09 09 (pos,mems);.....
0830: 09 7d 0d 0a 09 09 09 74 68 72 6f 77 20 67 65 6e .}.....throw gen
0840: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
0850: 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 74 65 78 ion(callpos, tex
0860: 74 28 60 49 6e 76 61 6c 69 64 20 41 53 54 20 28 t(`Invalid AST (
0870: 75 6e 6b 6e 6f 77 6e 20 22 69 73 22 20 66 69 65 unknown "is" fie
0880: 6c 64 29 3a 20 60 2c 20 74 79 70 29 29 3b 0d 0a ld): `, typ));..
0890: 09 09 7d 0d 0a 09 09 74 68 72 6f 77 20 67 65 6e ..}....throw gen
08a0: 65 78 21 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ex!RuntimeExcept
08b0: 69 6f 6e 28 63 61 6c 6c 70 6f 73 2c 20 74 65 78 ion(callpos, tex
08c0: 74 28 60 49 6e 76 61 6c 69 64 20 41 53 54 20 28 t(`Invalid AST (
08d0: 6e 6f 74 20 61 20 74 61 62 6c 65 29 3a 20 60 2c not a table): `,
08e0: 20 5f 76 29 29 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 _v));...}...els
08f0: 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 69 73 e...static if(is
0900: 28 54 20 3d 3d 20 63 6c 61 73 73 29 29 0d 0a 09 (T == class))...
0910: 7b 0d 0a 09 09 69 66 28 61 75 74 6f 20 74 20 3d {....if(auto t =
0920: 20 63 61 73 74 28 54 61 62 6c 65 29 5f 76 29 0d cast(Table)_v).
0930: 0a 09 09 7b 0d 0a 09 09 09 74 79 70 65 6f 66 28 ...{.....typeof(
0940: 54 2e 74 75 70 6c 65 6f 66 29 20 6d 65 6d 73 3b T.tupleof) mems;
0950: 0d 0a 09 09 09 66 6f 72 65 61 63 68 28 69 2c 6d .....foreach(i,m
0960: 3b 20 6d 65 6d 73 29 0d 0a 09 09 09 09 6d 65 6d ; mems)......mem
0970: 73 5b 69 5d 20 3d 20 70 6f 6c 65 6d 79 32 64 21 s[i] = polemy2d!
0980: 28 74 79 70 65 6f 66 28 6d 29 29 28 74 2e 67 65 (typeof(m))(t.ge
0990: 74 28 54 2e 74 75 70 6c 65 6f 66 5b 69 5d 2e 73 t(T.tupleof[i].s
09a0: 74 72 69 6e 67 6f 66 2e 73 70 6c 69 74 28 22 2e tringof.split(".
09b0: 22 29 5b 24 2d 31 5d 2c 20 56 61 6c 75 65 4c 61 ")[$-1], ValueLa
09c0: 79 65 72 29 2c 20 63 61 6c 6c 70 6f 73 29 3b 0d yer), callpos);.
09d0: 0a 09 09 09 72 65 74 75 72 6e 20 6e 65 77 20 54 ....return new T
09e0: 28 6d 65 6d 73 29 3b 0d 0a 09 09 7d 0d 0a 09 7d (mems);....}...}
09f0: 0d 0a 09 65 6c 73 65 0d 0a 09 09 73 74 61 74 69 ...else....stati
0a00: 63 20 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 c assert(false,
0a10: 22 75 6e 6b 6e 6f 77 6e 20 74 79 70 65 20 3c 22 "unknown type <"
0a20: 7e 54 2e 73 74 72 69 6e 67 6f 66 7e 22 3e 20 64 ~T.stringof~"> d
0a30: 75 72 69 6e 67 20 70 6f 6c 65 6d 79 32 64 20 64 uring polemy2d d
0a40: 65 63 6f 64 69 6e 67 22 29 3b 0d 0a 09 74 68 72 ecoding");...thr
0a50: 6f 77 20 67 65 6e 65 78 21 52 75 6e 74 69 6d 65 ow genex!Runtime
0a60: 45 78 63 65 70 74 69 6f 6e 28 63 61 6c 6c 70 6f Exception(callpo
0a70: 73 2c 20 74 65 78 74 28 22 43 61 6e 6e 6f 74 20 s, text("Cannot
0a80: 63 6f 6e 76 65 72 74 20 22 2c 5f 76 2c 22 20 74 convert ",_v," t
0a90: 6f 20 22 2c 54 2e 73 74 72 69 6e 67 6f 66 29 29 o ",T.stringof))
0aa0: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 43 6f 6e 73 ;..}..../// Cons
0ab0: 20 6f 66 20 74 77 6f 20 70 61 69 72 73 0d 0a 0d of two pairs...
0ac0: 0a 54 61 62 6c 65 20 6d 61 6b 65 43 6f 6e 73 28 .Table makeCons(
0ad0: 56 61 6c 75 65 20 61 2c 20 56 61 6c 75 65 20 64 Value a, Value d
0ae0: 29 0d 0a 7b 0d 0a 09 54 61 62 6c 65 20 74 20 3d )..{...Table t =
0af0: 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 74 2e new Table;...t.
0b00: 73 65 74 28 22 63 61 72 22 2c 20 56 61 6c 75 65 set("car", Value
0b10: 4c 61 79 65 72 2c 20 61 29 3b 0d 0a 09 74 2e 73 Layer, a);...t.s
0b20: 65 74 28 22 63 64 72 22 2c 20 56 61 6c 75 65 4c et("cdr", ValueL
0b30: 61 79 65 72 2c 20 64 29 3b 0d 0a 09 72 65 74 75 ayer, d);...retu
0b40: 72 6e 20 74 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 rn t;..}....///
0b50: 45 78 70 65 72 69 6d 65 6e 74 61 6c 21 21 20 43 Experimental!! C
0b60: 6f 6e 76 65 72 74 20 44 20 76 61 6c 75 65 20 28 onvert D value (
0b70: 65 78 63 65 70 74 20 41 53 54 29 20 74 6f 20 20 except AST) to
0b80: 50 6f 6c 65 6d 79 20 56 61 6c 75 65 0d 0a 0d 0a Polemy Value....
0b90: 56 61 6c 75 65 20 64 32 70 6f 6c 65 6d 79 28 54 Value d2polemy(T
0ba0: 29 28 54 20 65 29 0d 0a 7b 0d 0a 09 72 65 74 75 )(T e)..{...retu
0bb0: 72 6e 20 61 73 74 32 74 61 62 6c 65 28 65 2c 20 rn ast2table(e,
0bc0: 64 65 6c 65 67 61 74 65 20 56 61 6c 75 65 28 41 delegate Value(A
0bd0: 53 54 29 7b 20 61 73 73 65 72 74 28 66 61 6c 73 ST){ assert(fals
0be0: 65 29 3b 20 7d 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f e); });..}....//
0bf0: 2f 20 43 6f 6e 76 65 72 74 20 41 53 54 20 74 6f / Convert AST to
0c00: 20 54 61 62 6c 65 20 73 6f 20 74 68 61 74 20 69 Table so that i
0c10: 74 20 63 61 6e 20 62 65 20 75 73 65 64 20 69 6e t can be used in
0c20: 20 50 6f 6c 65 6d 79 0d 0a 0d 0a 56 61 6c 75 65 Polemy....Value
0c30: 20 61 73 74 32 74 61 62 6c 65 28 54 29 28 54 20 ast2table(T)(T
0c40: 65 2c 20 56 61 6c 75 65 20 64 65 6c 65 67 61 74 e, Value delegat
0c50: 65 28 41 53 54 29 20 72 65 63 29 0d 0a 7b 0d 0a e(AST) rec)..{..
0c60: 09 73 74 61 74 69 63 20 69 66 28 69 73 28 54 3d .static if(is(T=
0c70: 3d 42 69 67 49 6e 74 29 20 7c 7c 20 69 73 49 6e =BigInt) || isIn
0c80: 74 65 67 72 61 6c 21 28 54 29 29 0d 0a 09 09 72 tegral!(T))....r
0c90: 65 74 75 72 6e 20 6e 65 77 20 49 6e 74 56 61 6c eturn new IntVal
0ca0: 75 65 28 65 29 3b 0d 0a 09 65 6c 73 65 0d 0a 09 ue(e);...else...
0cb0: 73 74 61 74 69 63 20 69 66 28 69 73 28 55 6e 71 static if(is(Unq
0cc0: 75 61 6c 21 28 54 29 3d 3d 73 74 72 69 6e 67 29 ual!(T)==string)
0cd0: 29 0d 0a 09 09 72 65 74 75 72 6e 20 6e 65 77 20 )....return new
0ce0: 53 74 72 56 61 6c 75 65 28 65 29 3b 0d 0a 09 65 StrValue(e);...e
0cf0: 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 lse...static if(
0d00: 69 73 28 54 20 53 20 3a 20 53 5b 5d 29 29 0d 0a is(T S : S[]))..
0d10: 09 7b 0d 0a 09 09 54 61 62 6c 65 20 6c 73 74 20 .{....Table lst
0d20: 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 = new Table;....
0d30: 66 6f 72 65 61 63 68 5f 72 65 76 65 72 73 65 28 foreach_reverse(
0d40: 61 3b 20 65 29 0d 0a 09 09 09 73 74 61 74 69 63 a; e).....static
0d50: 20 69 66 28 69 73 28 53 20 3a 20 41 53 54 29 29 if(is(S : AST))
0d60: 0d 0a 09 09 09 09 6c 73 74 20 3d 20 6d 61 6b 65 ......lst = make
0d70: 43 6f 6e 73 28 72 65 63 28 61 29 2c 20 6c 73 74 Cons(rec(a), lst
0d80: 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 );.....else.....
0d90: 09 6c 73 74 20 3d 20 6d 61 6b 65 43 6f 6e 73 28 .lst = makeCons(
0da0: 61 73 74 32 74 61 62 6c 65 28 61 2c 72 65 63 29 ast2table(a,rec)
0db0: 2c 20 6c 73 74 29 3b 0d 0a 09 09 72 65 74 75 72 , lst);....retur
0dc0: 6e 20 6c 73 74 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 n lst;...}...els
0dd0: 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 69 73 e...static if(is
0de0: 28 54 20 3a 20 41 53 54 29 29 0d 0a 09 7b 0d 0a (T : AST))...{..
0df0: 09 09 61 73 73 65 72 74 28 20 74 79 70 65 69 64 ..assert( typeid
0e00: 28 65 29 20 3d 3d 20 74 79 70 65 69 64 28 54 29 (e) == typeid(T)
0e10: 2c 20 74 65 78 74 28 22 61 62 73 74 72 61 63 74 , text("abstract
0e20: 65 64 3a 20 22 2c 20 74 79 70 65 69 64 28 65 29 ed: ", typeid(e)
0e30: 2c 20 22 20 76 73 20 22 2c 20 74 79 70 65 69 64 , " vs ", typeid
0e40: 28 54 29 29 20 29 3b 0d 0a 09 09 61 75 74 6f 20 (T)) );....auto
0e50: 74 20 3d 20 6e 65 77 20 54 61 62 6c 65 3b 0d 0a t = new Table;..
0e60: 09 09 74 2e 73 65 74 28 22 70 6f 73 22 2c 20 56 ..t.set("pos", V
0e70: 61 6c 75 65 4c 61 79 65 72 2c 20 61 73 74 32 74 alueLayer, ast2t
0e80: 61 62 6c 65 28 65 2e 70 6f 73 2c 72 65 63 29 29 able(e.pos,rec))
0e90: 3b 0d 0a 09 09 74 2e 73 65 74 28 22 69 73 22 20 ;....t.set("is"
0ea0: 2c 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 6e 65 , ValueLayer, ne
0eb0: 77 20 53 74 72 56 61 6c 75 65 28 74 79 70 65 69 w StrValue(typei
0ec0: 64 28 65 29 2e 6e 61 6d 65 2e 73 70 6c 69 74 28 d(e).name.split(
0ed0: 22 2e 22 29 5b 24 2d 31 5d 29 29 3b 0d 0a 09 09 ".")[$-1]));....
0ee0: 66 6f 72 65 61 63 68 28 69 2c 6d 3b 20 65 2e 74 foreach(i,m; e.t
0ef0: 75 70 6c 65 6f 66 29 0d 0a 09 09 09 73 74 61 74 upleof).....stat
0f00: 69 63 20 69 66 28 69 73 28 74 79 70 65 6f 66 28 ic if(is(typeof(
0f10: 6d 29 20 3a 20 41 53 54 29 29 0d 0a 09 09 09 09 m) : AST))......
0f20: 74 2e 73 65 74 28 65 2e 74 75 70 6c 65 6f 66 5b t.set(e.tupleof[
0f30: 69 5d 2e 73 74 72 69 6e 67 6f 66 2e 73 70 6c 69 i].stringof.spli
0f40: 74 28 22 2e 22 29 5b 24 2d 31 5d 2c 20 56 61 6c t(".")[$-1], Val
0f50: 75 65 4c 61 79 65 72 2c 20 72 65 63 28 6d 29 29 ueLayer, rec(m))
0f60: 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 09 ;.....else......
0f70: 74 2e 73 65 74 28 65 2e 74 75 70 6c 65 6f 66 5b t.set(e.tupleof[
0f80: 69 5d 2e 73 74 72 69 6e 67 6f 66 2e 73 70 6c 69 i].stringof.spli
0f90: 74 28 22 2e 22 29 5b 24 2d 31 5d 2c 20 56 61 6c t(".")[$-1], Val
0fa0: 75 65 4c 61 79 65 72 2c 20 61 73 74 32 74 61 62 ueLayer, ast2tab
0fb0: 6c 65 28 6d 2c 72 65 63 29 29 3b 0d 0a 09 09 72 le(m,rec));....r
0fc0: 65 74 75 72 6e 20 74 3b 0d 0a 09 7d 0d 0a 09 65 eturn t;...}...e
0fd0: 6c 73 65 0d 0a 09 73 74 61 74 69 63 20 69 66 28 lse...static if(
0fe0: 69 73 28 54 20 3d 3d 20 63 6c 61 73 73 29 29 0d is(T == class)).
0ff0: 0a 09 7b 0d 0a 09 09 61 75 74 6f 20 74 20 3d 20 ..{....auto t =
1000: 6e 65 77 20 54 61 62 6c 65 3b 0d 0a 09 09 66 6f new Table;....fo
1010: 72 65 61 63 68 28 69 2c 6d 3b 20 65 2e 74 75 70 reach(i,m; e.tup
1020: 6c 65 6f 66 29 0d 0a 09 09 09 73 74 61 74 69 63 leof).....static
1030: 20 69 66 28 69 73 28 74 79 70 65 6f 66 28 6d 29 if(is(typeof(m)
1040: 20 3a 20 41 53 54 29 29 0d 0a 09 09 09 09 74 2e : AST))......t.
1050: 73 65 74 28 65 2e 74 75 70 6c 65 6f 66 5b 69 5d set(e.tupleof[i]
1060: 2e 73 74 72 69 6e 67 6f 66 5b 32 2e 2e 24 5d 2c .stringof[2..$],
1070: 20 56 61 6c 75 65 4c 61 79 65 72 2c 20 72 65 63 ValueLayer, rec
1080: 28 6d 29 29 3b 0d 0a 09 09 09 65 6c 73 65 0d 0a (m));.....else..
1090: 09 09 09 09 74 2e 73 65 74 28 65 2e 74 75 70 6c ....t.set(e.tupl
10a0: 65 6f 66 5b 69 5d 2e 73 74 72 69 6e 67 6f 66 5b eof[i].stringof[
10b0: 32 2e 2e 24 5d 2c 20 56 61 6c 75 65 4c 61 79 65 2..$], ValueLaye
10c0: 72 2c 20 61 73 74 32 74 61 62 6c 65 28 6d 2c 72 r, ast2table(m,r
10d0: 65 63 29 29 3b 0d 0a 09 09 72 65 74 75 72 6e 20 ec));....return
10e0: 74 3b 0d 0a 09 7d 0d 0a 09 65 6c 73 65 0d 0a 09 t;...}...else...
10f0: 09 73 74 61 74 69 63 20 61 73 73 65 72 74 28 66 .static assert(f
1100: 61 6c 73 65 2c 20 22 75 6e 6b 6e 6f 77 6e 20 74 alse, "unknown t
1110: 79 70 65 20 3c 22 7e 54 2e 73 74 72 69 6e 67 6f ype <"~T.stringo
1120: 66 7e 22 3e 20 64 75 72 69 6e 67 20 41 53 54 20 f~"> during AST
1130: 65 6e 63 6f 64 69 6e 67 22 29 3b 0d 0a 7d 0d 0a encoding");..}..