Artifact 73653a45c2c5d30a4037672e8a4a231b50a2fd65:
0000: 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 73 3a 20 /**. * Authors:
0010: 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 63 65 6e k.inaba. * Licen
0020: 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 32 20 se: NYSL 0.9982
0030: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f http://www.kmono
0040: 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 2a 0a 20 s.net/nysl/. *.
0050: 2a 20 53 79 6e 74 61 78 20 74 72 65 65 20 66 6f * Syntax tree fo
0060: 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 72 61 6d r Polemy program
0070: 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 2e 0a 20 ming language..
0080: 2a 2f 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 */.module polemy
0090: 2e 61 73 74 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c .ast;.import pol
00a0: 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a 69 6d 70 emy._common;.imp
00b0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 66 61 69 6c 75 ort polemy.failu
00c0: 72 65 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 re;..import pole
00d0: 6d 79 2e 6c 61 79 65 72 3b 0d 0a 0d 0a 2f 2f 2f my.layer;....///
00e0: 0d 0a 61 62 73 74 72 61 63 74 20 63 6c 61 73 73 ..abstract class
00f0: 20 41 53 54 0a 7b 0a 09 4c 65 78 50 6f 73 69 74 AST.{..LexPosit
0100: 69 6f 6e 20 70 6f 73 3b 0a 09 6d 69 78 69 6e 20 ion pos;..mixin
0110: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
0120: 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c r;...mixin Simpl
0130: 65 50 61 74 74 65 72 6e 4d 61 74 63 68 3b 0a 7d ePatternMatch;.}
0140: 0a 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 49 6e 74 ..///..class Int
0150: 4c 69 74 65 72 61 6c 20 3a 20 41 53 54 0d 0a 7b Literal : AST..{
0160: 0d 0a 09 42 69 67 49 6e 74 20 64 61 74 61 3b 0d ...BigInt data;.
0170: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c ..mixin SimpleCl
0180: 61 73 73 3b 0d 0a 09 74 68 69 73 28 4c 65 78 50 ass;...this(LexP
0190: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 69 6e 74 osition pos, int
01a0: 20 6e 29 20 7b 73 75 70 65 72 28 70 6f 73 29 3b n) {super(pos);
01b0: 20 64 61 74 61 20 3d 20 6e 3b 7d 0d 0a 09 74 68 data = n;}...th
01c0: 69 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 is(LexPosition p
01d0: 6f 73 2c 20 6c 6f 6e 67 20 6e 29 20 7b 73 75 70 os, long n) {sup
01e0: 65 72 28 70 6f 73 29 3b 20 64 61 74 61 20 3d 20 er(pos); data =
01f0: 6e 3b 7d 0d 0a 09 74 68 69 73 28 4c 65 78 50 6f n;}...this(LexPo
0200: 73 69 74 69 6f 6e 20 70 6f 73 2c 20 42 69 67 49 sition pos, BigI
0210: 6e 74 20 6e 29 20 7b 73 75 70 65 72 28 70 6f 73 nt n) {super(pos
0220: 29 3b 20 64 61 74 61 20 3d 20 6e 3b 7d 0d 0a 09 ); data = n;}...
0230: 74 68 69 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e this(LexPosition
0240: 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6e 29 20 pos, string n)
0250: 7b 73 75 70 65 72 28 70 6f 73 29 3b 20 64 61 74 {super(pos); dat
0260: 61 20 3d 20 42 69 67 49 6e 74 28 6e 29 3b 7d 0d a = BigInt(n);}.
0270: 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 .}....///..class
0280: 20 53 74 72 4c 69 74 65 72 61 6c 20 3a 20 41 53 StrLiteral : AS
0290: 54 0a 7b 0a 09 73 74 72 69 6e 67 20 64 61 74 61 T.{..string data
02a0: 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 ;..mixin SimpleC
02b0: 6c 61 73 73 3b 0d 0a 7d 0a 0a 2f 2f 2f 0d 0a 63 lass;..}..///..c
02c0: 6c 61 73 73 20 56 61 72 45 78 70 72 65 73 73 69 lass VarExpressi
02d0: 6f 6e 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 73 74 on : AST..{...st
02e0: 72 69 6e 67 20 6e 61 6d 65 3b 0d 0a 09 6d 69 78 ring name;...mix
02f0: 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d in SimpleClass;.
0300: 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 .}....///..class
0310: 20 4c 61 79 45 78 70 72 65 73 73 69 6f 6e 20 3a LayExpression :
0320: 20 41 53 54 0d 0a 7b 0d 0a 09 4c 61 79 65 72 20 AST..{...Layer
0330: 6c 61 79 65 72 3b 0d 0a 09 41 53 54 20 20 20 65 layer;...AST e
0340: 78 70 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d xpr;...mixin Sim
0350: 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a pleClass;..}....
0360: 2f 2f 2f 0d 0a 63 6c 61 73 73 20 4c 65 74 45 78 ///..class LetEx
0370: 70 72 65 73 73 69 6f 6e 20 3a 20 41 53 54 0d 0a pression : AST..
0380: 7b 0d 0a 09 73 74 72 69 6e 67 20 6e 61 6d 65 3b {...string name;
0390: 0d 0a 09 4c 61 79 65 72 20 20 6c 61 79 65 72 3b ...Layer layer;
03a0: 0d 0a 09 41 53 54 20 20 20 20 69 6e 69 74 3b 0d ...AST init;.
03b0: 0a 09 41 53 54 20 20 20 20 65 78 70 72 3b 0d 0a ..AST expr;..
03c0: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
03d0: 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 ss;..}....///..c
03e0: 6c 61 73 73 20 46 75 6e 63 61 6c 6c 45 78 70 72 lass FuncallExpr
03f0: 65 73 73 69 6f 6e 20 3a 20 41 53 54 0a 7b 0a 09 ession : AST.{..
0400: 41 53 54 20 20 20 66 75 6e 3b 0a 09 41 53 54 5b AST fun;..AST[
0410: 5d 20 61 72 67 73 3b 0a 09 74 68 69 73 28 4c 65 ] args;..this(Le
0420: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 41 xPosition pos, A
0430: 53 54 20 66 75 6e 2c 20 41 53 54 5b 5d 20 61 72 ST fun, AST[] ar
0440: 67 73 2e 2e 2e 29 0a 09 09 7b 20 73 75 70 65 72 gs...)...{ super
0450: 28 70 6f 73 29 3b 20 74 68 69 73 2e 66 75 6e 3d (pos); this.fun=
0460: 66 75 6e 3b 20 74 68 69 73 2e 61 72 67 73 3d 61 fun; this.args=a
0470: 72 67 73 2e 64 75 70 3b 20 7d 0a 09 6d 69 78 69 rgs.dup; }..mixi
0480: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
0490: 7d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 50 }...///..class P
04a0: 61 72 61 6d 65 74 65 72 0d 0a 7b 0d 0a 09 73 74 arameter..{...st
04b0: 72 69 6e 67 20 20 6e 61 6d 65 3b 0d 0a 09 4c 61 ring name;...La
04c0: 79 65 72 5b 5d 20 6c 61 79 65 72 73 3b 0d 0a 09 yer[] layers;...
04d0: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 mixin SimpleClas
04e0: 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c s;..}....///..cl
04f0: 61 73 73 20 46 75 6e 4c 69 74 65 72 61 6c 20 3a ass FunLiteral :
0500: 20 41 53 54 0d 0a 7b 0d 0a 09 50 61 72 61 6d 65 AST..{...Parame
0510: 74 65 72 5b 5d 20 70 61 72 61 6d 73 3b 0d 0a 09 ter[] params;...
0520: 41 53 54 20 20 20 20 20 20 20 20 20 66 75 6e 62 AST funb
0530: 6f 64 79 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d ody;...mixin Sim
0540: 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a pleClass;..}....
0550: 2f 2f 2f 20 48 61 6e 64 79 20 47 65 6e 65 72 61 /// Handy Genera
0560: 74 6f 72 20 66 6f 72 20 41 53 54 20 6e 6f 64 65 tor for AST node
0570: 73 2e 20 54 6f 20 75 73 65 20 74 68 69 73 2c 20 s. To use this,
0580: 6d 69 78 69 6e 20 45 61 73 79 41 73 74 3b 0d 0a mixin EasyAst;..
0590: 0d 0a 2f 2a 6d 69 78 69 6e 2a 2f 0d 0a 74 65 6d ../*mixin*/..tem
05a0: 70 6c 61 74 65 20 45 61 73 79 41 53 54 28 29 0d plate EasyAST().
05b0: 0a 7b 0d 0a 09 2f 2f 2f 0d 0a 09 74 65 6d 70 6c .{...///...templ
05c0: 61 74 65 20 67 65 6e 45 61 73 74 28 54 29 0d 0a ate genEast(T)..
05d0: 09 09 7b 20 54 20 67 65 6e 45 61 73 74 28 50 2e ..{ T genEast(P.
05e0: 2e 2e 29 28 50 20 70 73 29 20 7b 20 72 65 74 75 ..)(P ps) { retu
05f0: 72 6e 20 6e 65 77 20 54 28 4c 65 78 50 6f 73 69 rn new T(LexPosi
0600: 74 69 6f 6e 2e 64 75 6d 6d 79 2c 20 70 73 29 3b tion.dummy, ps);
0610: 20 7d 20 7d 0d 0a 0d 0a 09 61 6c 69 61 73 20 67 } }.....alias g
0620: 65 6e 45 61 73 74 21 53 74 72 4c 69 74 65 72 61 enEast!StrLitera
0630: 6c 20 73 74 72 6c 3b 20 2f 2f 2f 0d 0a 09 61 6c l strl; ///...al
0640: 69 61 73 20 67 65 6e 45 61 73 74 21 49 6e 74 4c ias genEast!IntL
0650: 69 74 65 72 61 6c 20 69 6e 74 6c 3b 20 2f 2f 2f iteral intl; ///
0660: 0d 0a 09 61 75 74 6f 20 66 75 6e 28 73 74 72 69 ...auto fun(stri
0670: 6e 67 5b 5d 20 78 73 2c 20 41 53 54 20 70 73 29 ng[] xs, AST ps)
0680: 20 7b 0d 0a 09 09 72 65 74 75 72 6e 20 67 65 6e {....return gen
0690: 45 61 73 74 21 46 75 6e 4c 69 74 65 72 61 6c 28 East!FunLiteral(
06a0: 61 72 72 61 79 28 6d 61 70 21 28 28 73 74 72 69 array(map!((stri
06b0: 6e 67 20 78 29 7b 72 65 74 75 72 6e 20 6e 65 77 ng x){return new
06c0: 20 50 61 72 61 6d 65 74 65 72 28 78 2c 5b 5d 29 Parameter(x,[])
06d0: 3b 7d 29 28 78 73 29 29 2c 70 73 29 3b 20 7d 0d ;})(xs)),ps); }.
06e0: 0a 09 61 75 74 6f 20 66 75 6e 70 28 50 61 72 61 ..auto funp(Para
06f0: 6d 65 74 65 72 5b 5d 20 78 73 2c 20 41 53 54 20 meter[] xs, AST
0700: 70 73 29 20 7b 20 72 65 74 75 72 6e 20 67 65 6e ps) { return gen
0710: 45 61 73 74 21 46 75 6e 4c 69 74 65 72 61 6c 28 East!FunLiteral(
0720: 78 73 2c 70 73 29 3b 20 7d 20 2f 2f 2f 0d 0a 09 xs,ps); } ///...
0730: 61 6c 69 61 73 20 67 65 6e 45 61 73 74 21 56 61 alias genEast!Va
0740: 72 45 78 70 72 65 73 73 69 6f 6e 20 76 61 72 3b rExpression var;
0750: 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 65 6e ///...alias gen
0760: 45 61 73 74 21 4c 61 79 45 78 70 72 65 73 73 69 East!LayExpressi
0770: 6f 6e 20 6c 61 79 3b 20 2f 2f 2f 0d 0a 09 61 6c on lay; ///...al
0780: 69 61 73 20 67 65 6e 45 61 73 74 21 4c 65 74 45 ias genEast!LetE
0790: 78 70 72 65 73 73 69 6f 6e 20 6c 65 74 3b 20 2f xpression let; /
07a0: 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 //...alias genEa
07b0: 73 74 21 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 st!FuncallExpres
07c0: 73 69 6f 6e 20 63 61 6c 6c 3b 20 2f 2f 2f 0d 0a sion call; ///..
07d0: 09 61 75 74 6f 20 70 61 72 61 6d 28 73 74 72 69 .auto param(stri
07e0: 6e 67 20 6e 61 6d 65 2c 20 73 74 72 69 6e 67 5b ng name, string[
07f0: 5d 20 6c 61 79 2e 2e 2e 29 20 7b 20 72 65 74 75 ] lay...) { retu
0800: 72 6e 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 rn new Parameter
0810: 28 6e 61 6d 65 2c 20 6c 61 79 29 3b 20 7d 20 2f (name, lay); } /
0820: 2f 2f 0d 0a 7d 0d 0a //..}..