Artifact 35d37c6aa0a6531eb5c17afe1b0035b0d1621d80:
0000: ef bb bf 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 .../**. * Author
0010: 73 3a 20 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 s: k.inaba. * Li
0020: 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 cense: NYSL 0.99
0030: 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 82 http://www.km
0040: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 onos.net/nysl/.
0050: 2a 0a 20 2a 20 53 79 6e 74 61 78 20 74 72 65 65 *. * Syntax tree
0060: 20 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 for Polemy prog
0070: 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 ramming language
0080: 2e 0a 20 2a 2f 0a 6d 6f 64 75 6c 65 20 70 6f 6c .. */.module pol
0090: 65 6d 79 2e 61 73 74 3b 0a 69 6d 70 6f 72 74 20 emy.ast;.import
00a0: 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a polemy._common;.
00b0: 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 65 import polemy.le
00c0: 78 3b 0d 0a 0d 0a 61 62 73 74 72 61 63 74 20 63 x;....abstract c
00d0: 6c 61 73 73 20 41 53 54 0a 7b 0a 09 69 6d 6d 75 lass AST.{..immu
00e0: 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f table LexPositio
00f0: 6e 20 70 6f 73 3b 0a 09 6d 69 78 69 6e 20 53 69 n pos;..mixin Si
0100: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
0110: 0a 7d 0a 0a 63 6c 61 73 73 20 53 74 72 4c 69 74 .}..class StrLit
0120: 65 72 61 6c 20 3a 20 41 53 54 0a 7b 0a 09 73 74 eral : AST.{..st
0130: 72 69 6e 67 20 64 61 74 61 3b 0a 09 6d 69 78 69 ring data;..mixi
0140: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
0150: 7d 0a 0a 63 6c 61 73 73 20 49 6e 74 4c 69 74 65 }..class IntLite
0160: 72 61 6c 20 3a 20 41 53 54 0a 7b 0a 09 42 69 67 ral : AST.{..Big
0170: 49 6e 74 20 64 61 74 61 3b 0d 0a 09 6d 69 78 69 Int data;...mixi
0180: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
0190: 09 74 68 69 73 28 69 6d 6d 75 74 61 62 6c 65 20 .this(immutable
01a0: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c LexPosition pos,
01b0: 20 6c 6f 6e 67 20 6e 29 20 7b 73 75 70 65 72 28 long n) {super(
01c0: 70 6f 73 29 3b 20 64 61 74 61 20 3d 20 6e 3b 7d pos); data = n;}
01d0: 0d 0a 09 74 68 69 73 28 69 6d 6d 75 74 61 62 6c ...this(immutabl
01e0: 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f e LexPosition po
01f0: 73 2c 20 42 69 67 49 6e 74 20 6e 29 20 7b 73 75 s, BigInt n) {su
0200: 70 65 72 28 70 6f 73 29 3b 20 64 61 74 61 20 3d per(pos); data =
0210: 20 6e 3b 7d 0d 0a 09 74 68 69 73 28 69 6d 6d 75 n;}...this(immu
0220: 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f table LexPositio
0230: 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6e 29 n pos, string n)
0240: 20 7b 73 75 70 65 72 28 70 6f 73 29 3b 20 64 61 {super(pos); da
0250: 74 61 20 3d 20 42 69 67 49 6e 74 28 6e 29 3b 7d ta = BigInt(n);}
0260: 0d 0a 7d 0a 0a 63 6c 61 73 73 20 56 61 72 45 78 ..}..class VarEx
0270: 70 72 65 73 73 69 6f 6e 20 3a 20 41 53 54 0a 7b pression : AST.{
0280: 0a 09 73 74 72 69 6e 67 20 76 61 72 3b 0a 09 6d ..string var;..m
0290: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 ixin SimpleClass
02a0: 3b 0d 0a 7d 0a 0a 63 6c 61 73 73 20 4c 65 74 45 ;..}..class LetE
02b0: 78 70 72 65 73 73 69 6f 6e 20 3a 20 41 53 54 0d xpression : AST.
02c0: 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 76 61 72 3b .{...string var;
02d0: 0d 0a 09 73 74 72 69 6e 67 20 6c 61 79 65 72 3b ...string layer;
02e0: 0d 0a 09 41 53 54 20 20 20 20 69 6e 69 74 3b 0d ...AST init;.
02f0: 0a 09 41 53 54 20 20 20 20 65 78 70 72 3b 0d 0a ..AST expr;..
0300: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
0310: 73 73 3b 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20 ss;..}....class
0320: 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f FuncallExpressio
0330: 6e 20 3a 20 41 53 54 0a 7b 0a 09 41 53 54 20 20 n : AST.{..AST
0340: 20 66 75 6e 3b 0a 09 41 53 54 5b 5d 20 61 72 67 fun;..AST[] arg
0350: 73 3b 0a 09 74 68 69 73 28 69 6d 6d 75 74 61 62 s;..this(immutab
0360: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
0370: 6f 73 2c 20 41 53 54 20 66 75 6e 2c 20 41 53 54 os, AST fun, AST
0380: 5b 5d 20 61 72 67 73 2e 2e 2e 29 0a 09 09 7b 20 [] args...)...{
0390: 73 75 70 65 72 28 70 6f 73 29 3b 20 74 68 69 73 super(pos); this
03a0: 2e 66 75 6e 3d 66 75 6e 3b 20 74 68 69 73 2e 61 .fun=fun; this.a
03b0: 72 67 73 3d 61 72 67 73 2e 64 75 70 3b 20 7d 0a rgs=args.dup; }.
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 0a 0d 0a 63 6c 61 73 73 20 46 ss;..}...class F
03e0: 75 6e 4c 69 74 65 72 61 6c 20 3a 20 41 53 54 0d unLiteral : AST.
03f0: 0a 7b 0d 0a 09 73 74 72 69 6e 67 5b 5d 20 70 61 .{...string[] pa
0400: 72 61 6d 73 3b 0d 0a 09 41 53 54 20 20 20 20 20 rams;...AST
0410: 20 66 75 6e 62 6f 64 79 3b 0d 0a 09 6d 69 78 69 funbody;...mixi
0420: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
0430: 7d 0d 0a 0d 0a 2f 2f 2f 20 48 61 6e 64 79 20 47 }..../// Handy G
0440: 65 6e 65 72 61 74 6f 72 20 66 6f 72 20 41 53 54 enerator for AST
0450: 20 6e 6f 64 65 73 2e 20 54 6f 20 75 73 65 20 74 nodes. To use t
0460: 68 69 73 2c 20 6d 69 78 69 6e 20 45 61 73 79 41 his, mixin EasyA
0470: 73 74 3b 0d 0a 0d 0a 2f 2a 6d 69 78 69 6e 2a 2f st;..../*mixin*/
0480: 0d 0a 74 65 6d 70 6c 61 74 65 20 45 61 73 79 41 ..template EasyA
0490: 53 54 28 29 0d 0a 7b 0d 0a 09 74 65 6d 70 6c 61 ST()..{...templa
04a0: 74 65 20 67 65 6e 45 61 73 74 28 54 29 0d 0a 09 te genEast(T)...
04b0: 09 7b 20 54 20 67 65 6e 45 61 73 74 28 50 2e 2e .{ T genEast(P..
04c0: 2e 29 28 50 20 70 73 29 20 7b 20 72 65 74 75 72 .)(P ps) { retur
04d0: 6e 20 6e 65 77 20 54 28 4c 65 78 50 6f 73 69 74 n new T(LexPosit
04e0: 69 6f 6e 2e 64 75 6d 6d 79 2c 20 70 73 29 3b 20 ion.dummy, ps);
04f0: 7d 20 7d 0d 0a 0d 0a 09 61 6c 69 61 73 20 67 65 } }.....alias ge
0500: 6e 45 61 73 74 21 53 74 72 4c 69 74 65 72 61 6c nEast!StrLiteral
0510: 20 73 74 72 6c 3b 0d 0a 09 61 6c 69 61 73 20 67 strl;...alias g
0520: 65 6e 45 61 73 74 21 49 6e 74 4c 69 74 65 72 61 enEast!IntLitera
0530: 6c 20 69 6e 74 6c 3b 0d 0a 09 61 75 74 6f 20 66 l intl;...auto f
0540: 75 6e 28 73 74 72 69 6e 67 5b 5d 20 78 73 2c 20 un(string[] xs,
0550: 41 53 54 20 70 73 29 20 7b 20 72 65 74 75 72 6e AST ps) { return
0560: 20 67 65 6e 45 61 73 74 21 46 75 6e 4c 69 74 65 genEast!FunLite
0570: 72 61 6c 28 78 73 2c 70 73 29 3b 20 7d 20 2f 2f ral(xs,ps); } //
0580: 20 74 6f 20 68 65 6c 70 20 74 79 70 65 20 69 6e to help type in
0590: 66 65 72 65 6e 63 65 20 6f 66 20 44 0d 0a 09 61 ference of D...a
05a0: 6c 69 61 73 20 67 65 6e 45 61 73 74 21 56 61 72 lias genEast!Var
05b0: 45 78 70 72 65 73 73 69 6f 6e 20 76 61 72 3b 0d Expression var;.
05c0: 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 21 ..alias genEast!
05d0: 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 6c 65 LetExpression le
05e0: 74 3b 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 t;...alias genEa
05f0: 73 74 21 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 st!FuncallExpres
0600: 73 69 6f 6e 20 63 61 6c 6c 3b 0d 0a 7d 0d 0a sion call;..}..