Artifact cf8f245149fce4dc41692e149081c5e7e4a9bcbf:
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: 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 42 69 67 49 : AST..{...BigI
0160: 6e 74 20 64 61 74 61 3b 0d 0a 09 6d 69 78 69 6e nt data;...mixin
0170: 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 SimpleClass;...
0180: 74 68 69 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e this(LexPosition
0190: 20 70 6f 73 2c 20 69 6e 74 20 6e 29 20 7b 73 75 pos, int n) {su
01a0: 70 65 72 28 70 6f 73 29 3b 20 64 61 74 61 20 3d per(pos); data =
01b0: 20 6e 3b 7d 0d 0a 09 74 68 69 73 28 4c 65 78 50 n;}...this(LexP
01c0: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 6c 6f 6e osition pos, lon
01d0: 67 20 6e 29 20 7b 73 75 70 65 72 28 70 6f 73 29 g n) {super(pos)
01e0: 3b 20 64 61 74 61 20 3d 20 6e 3b 7d 0d 0a 09 74 ; data = n;}...t
01f0: 68 69 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 his(LexPosition
0200: 70 6f 73 2c 20 42 69 67 49 6e 74 20 6e 29 20 7b pos, BigInt n) {
0210: 73 75 70 65 72 28 70 6f 73 29 3b 20 64 61 74 61 super(pos); data
0220: 20 3d 20 6e 3b 7d 0d 0a 09 74 68 69 73 28 4c 65 = n;}...this(Le
0230: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 73 xPosition pos, s
0240: 74 72 69 6e 67 20 6e 29 20 7b 73 75 70 65 72 28 tring n) {super(
0250: 70 6f 73 29 3b 20 64 61 74 61 20 3d 20 42 69 67 pos); data = Big
0260: 49 6e 74 28 6e 29 3b 7d 0d 0a 7d 0d 0a 0d 0a 2f Int(n);}..}..../
0270: 2f 2f 0d 0a 63 6c 61 73 73 20 53 74 72 20 3a 20 //..class Str :
0280: 41 53 54 0a 7b 0a 09 73 74 72 69 6e 67 20 64 61 AST.{..string da
0290: 74 61 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c ta;..mixin Simpl
02a0: 65 43 6c 61 73 73 3b 0d 0a 7d 0a 0a 2f 2f 2f 0d eClass;..}..///.
02b0: 0a 63 6c 61 73 73 20 56 61 72 20 3a 20 41 53 54 .class Var : AST
02c0: 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 6e 61 6d ..{...string nam
02d0: 65 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c e;...mixin Simpl
02e0: 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f eClass;..}....//
02f0: 2f 0d 0a 63 6c 61 73 73 20 4c 61 79 20 3a 20 41 /..class Lay : A
0300: 53 54 0d 0a 7b 0d 0a 09 4c 61 79 65 72 20 6c 61 ST..{...Layer la
0310: 79 65 72 3b 0d 0a 09 41 53 54 20 20 20 65 78 70 yer;...AST exp
0320: 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c r;...mixin Simpl
0330: 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f eClass;..}....//
0340: 2f 0d 0a 63 6c 61 73 73 20 4c 65 74 20 3a 20 41 /..class Let : A
0350: 53 54 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 6e ST..{...string n
0360: 61 6d 65 3b 0d 0a 09 4c 61 79 65 72 20 20 6c 61 ame;...Layer la
0370: 79 65 72 3b 0d 0a 09 41 53 54 20 20 20 20 69 6e yer;...AST in
0380: 69 74 3b 0d 0a 09 41 53 54 20 20 20 20 65 78 70 it;...AST exp
0390: 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c r;...mixin Simpl
03a0: 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f eClass;..}....//
03b0: 2f 0d 0a 63 6c 61 73 73 20 41 70 70 20 3a 20 41 /..class App : A
03c0: 53 54 0a 7b 0a 09 41 53 54 20 20 20 66 75 6e 3b ST.{..AST fun;
03d0: 0a 09 41 53 54 5b 5d 20 61 72 67 73 3b 0a 09 74 ..AST[] args;..t
03e0: 68 69 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 his(LexPosition
03f0: 70 6f 73 2c 20 41 53 54 20 66 75 6e 2c 20 41 53 pos, AST fun, AS
0400: 54 5b 5d 20 61 72 67 73 2e 2e 2e 29 0a 09 09 7b T[] args...)...{
0410: 20 73 75 70 65 72 28 70 6f 73 29 3b 20 74 68 69 super(pos); thi
0420: 73 2e 66 75 6e 3d 66 75 6e 3b 20 74 68 69 73 2e s.fun=fun; this.
0430: 61 72 67 73 3d 61 72 67 73 2e 64 75 70 3b 20 7d args=args.dup; }
0440: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c ..mixin SimpleCl
0450: 61 73 73 3b 0d 0a 7d 0a 0d 0a 2f 2f 2f 0d 0a 63 ass;..}...///..c
0460: 6c 61 73 73 20 50 61 72 61 6d 65 74 65 72 0d 0a lass Parameter..
0470: 7b 0d 0a 09 73 74 72 69 6e 67 20 20 6e 61 6d 65 {...string name
0480: 3b 0d 0a 09 4c 61 79 65 72 5b 5d 20 6c 61 79 65 ;...Layer[] laye
0490: 72 73 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 rs;...mixin Simp
04a0: 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f leClass;..}..../
04b0: 2f 2f 0d 0a 63 6c 61 73 73 20 46 75 6e 20 3a 20 //..class Fun :
04c0: 41 53 54 0d 0a 7b 0d 0a 09 50 61 72 61 6d 65 74 AST..{...Paramet
04d0: 65 72 5b 5d 20 70 61 72 61 6d 73 3b 0d 0a 09 41 er[] params;...A
04e0: 53 54 20 20 20 20 20 20 20 20 20 66 75 6e 62 6f ST funbo
04f0: 64 79 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 dy;...mixin Simp
0500: 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f leClass;..}..../
0510: 2f 2f 20 48 61 6e 64 79 20 47 65 6e 65 72 61 74 // Handy Generat
0520: 6f 72 20 66 6f 72 20 41 53 54 20 6e 6f 64 65 73 or for AST nodes
0530: 2e 20 54 6f 20 75 73 65 20 74 68 69 73 2c 20 6d . To use this, m
0540: 69 78 69 6e 20 45 61 73 79 41 73 74 3b 0d 0a 0d ixin EasyAst;...
0550: 0a 2f 2a 6d 69 78 69 6e 2a 2f 0d 0a 74 65 6d 70 ./*mixin*/..temp
0560: 6c 61 74 65 20 45 61 73 79 41 53 54 28 29 0d 0a late EasyAST()..
0570: 7b 0d 0a 09 2f 2f 2f 0d 0a 09 74 65 6d 70 6c 61 {...///...templa
0580: 74 65 20 67 65 6e 45 61 73 74 28 54 29 0d 0a 09 te genEast(T)...
0590: 09 7b 20 54 20 67 65 6e 45 61 73 74 28 50 2e 2e .{ T genEast(P..
05a0: 2e 29 28 50 20 70 73 29 20 7b 20 72 65 74 75 72 .)(P ps) { retur
05b0: 6e 20 6e 65 77 20 54 28 4c 65 78 50 6f 73 69 74 n new T(LexPosit
05c0: 69 6f 6e 2e 64 75 6d 6d 79 2c 20 70 73 29 3b 20 ion.dummy, ps);
05d0: 7d 20 7d 0d 0a 0d 0a 09 61 6c 69 61 73 20 67 65 } }.....alias ge
05e0: 6e 45 61 73 74 21 53 74 72 20 73 74 72 6c 3b 20 nEast!Str strl;
05f0: 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 ///...alias genE
0600: 61 73 74 21 49 6e 74 20 69 6e 74 6c 3b 20 2f 2f ast!Int intl; //
0610: 2f 0d 0a 09 61 75 74 6f 20 66 75 6e 28 73 74 72 /...auto fun(str
0620: 69 6e 67 5b 5d 20 78 73 2c 20 41 53 54 20 70 73 ing[] xs, AST ps
0630: 29 20 7b 0d 0a 09 09 72 65 74 75 72 6e 20 67 65 ) {....return ge
0640: 6e 45 61 73 74 21 46 75 6e 28 61 72 72 61 79 28 nEast!Fun(array(
0650: 6d 61 70 21 28 28 73 74 72 69 6e 67 20 78 29 7b map!((string x){
0660: 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61 6d return new Param
0670: 65 74 65 72 28 78 2c 5b 5d 29 3b 7d 29 28 78 73 eter(x,[]);})(xs
0680: 29 29 2c 70 73 29 3b 20 7d 0d 0a 09 61 75 74 6f )),ps); }...auto
0690: 20 66 75 6e 70 28 50 61 72 61 6d 65 74 65 72 5b funp(Parameter[
06a0: 5d 20 78 73 2c 20 41 53 54 20 70 73 29 20 7b 20 ] xs, AST ps) {
06b0: 72 65 74 75 72 6e 20 67 65 6e 45 61 73 74 21 46 return genEast!F
06c0: 75 6e 28 78 73 2c 70 73 29 3b 20 7d 20 2f 2f 2f un(xs,ps); } ///
06d0: 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 ...alias genEast
06e0: 21 56 61 72 20 76 61 72 3b 20 2f 2f 2f 0d 0a 09 !Var var; ///...
06f0: 61 6c 69 61 73 20 67 65 6e 45 61 73 74 21 4c 61 alias genEast!La
0700: 79 20 6c 61 79 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 y lay; ///...ali
0710: 61 73 20 67 65 6e 45 61 73 74 21 4c 65 74 20 6c as genEast!Let l
0720: 65 74 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 et; ///...alias
0730: 67 65 6e 45 61 73 74 21 41 70 70 20 63 61 6c 6c genEast!App call
0740: 3b 20 2f 2f 2f 0d 0a 09 61 75 74 6f 20 70 61 72 ; ///...auto par
0750: 61 6d 28 73 74 72 69 6e 67 20 6e 61 6d 65 2c 20 am(string name,
0760: 73 74 72 69 6e 67 5b 5d 20 6c 61 79 2e 2e 2e 29 string[] lay...)
0770: 20 7b 20 72 65 74 75 72 6e 20 6e 65 77 20 50 61 { return new Pa
0780: 72 61 6d 65 74 65 72 28 6e 61 6d 65 2c 20 6c 61 rameter(name, la
0790: 79 29 3b 20 7d 20 2f 2f 2f 0d 0a 7d 0d 0a y); } ///..}..