Artifact 4e37845b6ce5021a02298a302571fba8cb2f19a7:
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 41 53 54 20 20 20 20 69 6e 69 74 3b 0d ...AST init;.
02e0: 0a 09 41 53 54 20 20 20 20 65 78 70 72 3b 0d 0a ..AST expr;..
02f0: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
0300: 73 73 3b 0d 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20 ss;..}....class
0310: 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f FuncallExpressio
0320: 6e 20 3a 20 41 53 54 0a 7b 0a 09 41 53 54 20 20 n : AST.{..AST
0330: 20 66 75 6e 3b 0a 09 41 53 54 5b 5d 20 61 72 67 fun;..AST[] arg
0340: 73 3b 0a 09 74 68 69 73 28 69 6d 6d 75 74 61 62 s;..this(immutab
0350: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
0360: 6f 73 2c 20 41 53 54 20 66 75 6e 2c 20 41 53 54 os, AST fun, AST
0370: 5b 5d 20 61 72 67 73 2e 2e 2e 29 0a 09 09 7b 20 [] args...)...{
0380: 73 75 70 65 72 28 70 6f 73 29 3b 20 74 68 69 73 super(pos); this
0390: 2e 66 75 6e 3d 66 75 6e 3b 20 74 68 69 73 2e 61 .fun=fun; this.a
03a0: 72 67 73 3d 61 72 67 73 2e 64 75 70 3b 20 7d 0a rgs=args.dup; }.
03b0: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
03c0: 73 73 3b 0d 0a 7d 0a 0d 0a 63 6c 61 73 73 20 46 ss;..}...class F
03d0: 75 6e 4c 69 74 65 72 61 6c 20 3a 20 41 53 54 0d unLiteral : AST.
03e0: 0a 7b 0d 0a 09 73 74 72 69 6e 67 5b 5d 20 70 61 .{...string[] pa
03f0: 72 61 6d 73 3b 0d 0a 09 41 53 54 20 20 20 20 20 rams;...AST
0400: 20 66 75 6e 62 6f 64 79 3b 0d 0a 09 6d 69 78 69 funbody;...mixi
0410: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
0420: 7d 0d 0a 0d 0a 2f 2f 2f 20 48 61 6e 64 79 20 47 }..../// Handy G
0430: 65 6e 65 72 61 74 6f 72 20 66 6f 72 20 41 53 54 enerator for AST
0440: 20 6e 6f 64 65 73 2e 20 54 6f 20 75 73 65 20 74 nodes. To use t
0450: 68 69 73 2c 20 6d 69 78 69 6e 20 45 61 73 79 41 his, mixin EasyA
0460: 73 74 3b 0d 0a 0d 0a 2f 2a 6d 69 78 69 6e 2a 2f st;..../*mixin*/
0470: 0d 0a 74 65 6d 70 6c 61 74 65 20 45 61 73 79 41 ..template EasyA
0480: 53 54 28 29 0d 0a 7b 0d 0a 09 74 65 6d 70 6c 61 ST()..{...templa
0490: 74 65 20 67 65 6e 45 61 73 74 28 54 29 0d 0a 09 te genEast(T)...
04a0: 09 7b 20 54 20 67 65 6e 45 61 73 74 28 50 2e 2e .{ T genEast(P..
04b0: 2e 29 28 50 20 70 73 29 20 7b 20 72 65 74 75 72 .)(P ps) { retur
04c0: 6e 20 6e 65 77 20 54 28 4c 65 78 50 6f 73 69 74 n new T(LexPosit
04d0: 69 6f 6e 2e 64 75 6d 6d 79 2c 20 70 73 29 3b 20 ion.dummy, ps);
04e0: 7d 20 7d 0d 0a 0d 0a 09 61 6c 69 61 73 20 67 65 } }.....alias ge
04f0: 6e 45 61 73 74 21 53 74 72 4c 69 74 65 72 61 6c nEast!StrLiteral
0500: 20 73 74 72 6c 3b 0d 0a 09 61 6c 69 61 73 20 67 strl;...alias g
0510: 65 6e 45 61 73 74 21 49 6e 74 4c 69 74 65 72 61 enEast!IntLitera
0520: 6c 20 69 6e 74 6c 3b 0d 0a 09 61 75 74 6f 20 66 l intl;...auto f
0530: 75 6e 28 73 74 72 69 6e 67 5b 5d 20 78 73 2c 20 un(string[] xs,
0540: 41 53 54 20 70 73 29 20 7b 20 72 65 74 75 72 6e AST ps) { return
0550: 20 67 65 6e 45 61 73 74 21 46 75 6e 4c 69 74 65 genEast!FunLite
0560: 72 61 6c 28 78 73 2c 70 73 29 3b 20 7d 0d 0a 09 ral(xs,ps); }...
0570: 61 6c 69 61 73 20 67 65 6e 45 61 73 74 21 56 61 alias genEast!Va
0580: 72 45 78 70 72 65 73 73 69 6f 6e 20 76 61 72 3b rExpression var;
0590: 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 ...alias genEast
05a0: 21 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 6c !LetExpression l
05b0: 65 74 3b 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 et;...alias genE
05c0: 61 73 74 21 46 75 6e 63 61 6c 6c 45 78 70 72 65 ast!FuncallExpre
05d0: 73 73 69 6f 6e 20 63 61 6c 6c 3b 0d 0a 7d 0d 0a ssion call;..}..