Artifact 351d6a36d1e1b0e0bdbe86a347f02b65e58c3858:
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 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 re;....///..abst
00d0: 72 61 63 74 20 63 6c 61 73 73 20 41 53 54 0a 7b ract class AST.{
00e0: 0a 09 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 ..immutable LexP
00f0: 6f 73 69 74 69 6f 6e 20 70 6f 73 3b 0a 09 6d 69 osition pos;..mi
0100: 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 xin SimpleConstr
0110: 75 63 74 6f 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 uctor;...mixin S
0120: 69 6d 70 6c 65 50 61 74 74 65 72 6e 4d 61 74 63 implePatternMatc
0130: 68 3b 0a 7d 0a 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 h;.}..///..class
0140: 20 53 74 72 4c 69 74 65 72 61 6c 20 3a 20 41 53 StrLiteral : AS
0150: 54 0a 7b 0a 09 73 74 72 69 6e 67 20 64 61 74 61 T.{..string data
0160: 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 ;..mixin SimpleC
0170: 6c 61 73 73 3b 0d 0a 7d 0a 0a 2f 2f 2f 0d 0a 63 lass;..}..///..c
0180: 6c 61 73 73 20 49 6e 74 4c 69 74 65 72 61 6c 20 lass IntLiteral
0190: 3a 20 41 53 54 0a 7b 0a 09 42 69 67 49 6e 74 20 : AST.{..BigInt
01a0: 64 61 74 61 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 data;...mixin Si
01b0: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 74 68 69 mpleClass;...thi
01c0: 73 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 s(immutable LexP
01d0: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 6c 6f 6e osition pos, lon
01e0: 67 20 6e 29 20 7b 73 75 70 65 72 28 70 6f 73 29 g n) {super(pos)
01f0: 3b 20 64 61 74 61 20 3d 20 6e 3b 7d 0d 0a 09 74 ; data = n;}...t
0200: 68 69 73 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 his(immutable Le
0210: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 42 xPosition pos, B
0220: 69 67 49 6e 74 20 6e 29 20 7b 73 75 70 65 72 28 igInt n) {super(
0230: 70 6f 73 29 3b 20 64 61 74 61 20 3d 20 6e 3b 7d pos); data = n;}
0240: 0d 0a 09 74 68 69 73 28 69 6d 6d 75 74 61 62 6c ...this(immutabl
0250: 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f e LexPosition po
0260: 73 2c 20 73 74 72 69 6e 67 20 6e 29 20 7b 73 75 s, string n) {su
0270: 70 65 72 28 70 6f 73 29 3b 20 64 61 74 61 20 3d per(pos); data =
0280: 20 42 69 67 49 6e 74 28 6e 29 3b 7d 0d 0a 7d 0a BigInt(n);}..}.
0290: 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 56 61 72 45 .///..class VarE
02a0: 78 70 72 65 73 73 69 6f 6e 20 3a 20 41 53 54 0d xpression : AST.
02b0: 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 76 61 72 3b .{...string var;
02c0: 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 ...mixin SimpleC
02d0: 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d lass;..}....///.
02e0: 0a 63 6c 61 73 73 20 4c 61 79 65 72 65 64 45 78 .class LayeredEx
02f0: 70 72 65 73 73 69 6f 6e 20 3a 20 41 53 54 0d 0a pression : AST..
0300: 7b 0d 0a 09 73 74 72 69 6e 67 20 6c 61 79 3b 0d {...string lay;.
0310: 0a 09 41 53 54 20 20 20 20 65 78 70 72 3b 0d 0a ..AST expr;..
0320: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
0330: 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 ss;..}....///..c
0340: 6c 61 73 73 20 4c 65 74 45 78 70 72 65 73 73 69 lass LetExpressi
0350: 6f 6e 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 73 74 on : AST..{...st
0360: 72 69 6e 67 20 76 61 72 3b 0d 0a 09 73 74 72 69 ring var;...stri
0370: 6e 67 20 6c 61 79 65 72 3b 0d 0a 09 41 53 54 20 ng layer;...AST
0380: 20 20 20 69 6e 69 74 3b 0d 0a 09 41 53 54 20 20 init;...AST
0390: 20 20 65 78 70 72 3b 0d 0a 09 6d 69 78 69 6e 20 expr;...mixin
03a0: 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d SimpleClass;..}.
03b0: 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 46 75 ...///..class Fu
03c0: 6e 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 20 ncallExpression
03d0: 3a 20 41 53 54 0a 7b 0a 09 41 53 54 20 20 20 66 : AST.{..AST f
03e0: 75 6e 3b 0a 09 41 53 54 5b 5d 20 61 72 67 73 3b un;..AST[] args;
03f0: 0a 09 74 68 69 73 28 69 6d 6d 75 74 61 62 6c 65 ..this(immutable
0400: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 LexPosition pos
0410: 2c 20 41 53 54 20 66 75 6e 2c 20 41 53 54 5b 5d , AST fun, AST[]
0420: 20 61 72 67 73 2e 2e 2e 29 0a 09 09 7b 20 73 75 args...)...{ su
0430: 70 65 72 28 70 6f 73 29 3b 20 74 68 69 73 2e 66 per(pos); this.f
0440: 75 6e 3d 66 75 6e 3b 20 74 68 69 73 2e 61 72 67 un=fun; this.arg
0450: 73 3d 61 72 67 73 2e 64 75 70 3b 20 7d 0a 09 6d s=args.dup; }..m
0460: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 ixin SimpleClass
0470: 3b 0d 0a 7d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 ;..}...///..clas
0480: 73 20 50 61 72 61 6d 65 74 65 72 0d 0a 7b 0d 0a s Parameter..{..
0490: 09 73 74 72 69 6e 67 20 20 20 6e 61 6d 65 3b 0d .string name;.
04a0: 0a 09 73 74 72 69 6e 67 5b 5d 20 6c 61 79 65 72 ..string[] layer
04b0: 73 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c s;...mixin Simpl
04c0: 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f eClass;..}....//
04d0: 2f 0d 0a 63 6c 61 73 73 20 46 75 6e 4c 69 74 65 /..class FunLite
04e0: 72 61 6c 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 50 ral : AST..{...P
04f0: 61 72 61 6d 65 74 65 72 5b 5d 20 70 61 72 61 6d arameter[] param
0500: 73 3b 0d 0a 09 41 53 54 20 20 20 20 20 20 20 20 s;...AST
0510: 20 66 75 6e 62 6f 64 79 3b 0d 0a 09 6d 69 78 69 funbody;...mixi
0520: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
0530: 7d 0d 0a 0d 0a 2f 2f 2f 20 48 61 6e 64 79 20 47 }..../// Handy G
0540: 65 6e 65 72 61 74 6f 72 20 66 6f 72 20 41 53 54 enerator for AST
0550: 20 6e 6f 64 65 73 2e 20 54 6f 20 75 73 65 20 74 nodes. To use t
0560: 68 69 73 2c 20 6d 69 78 69 6e 20 45 61 73 79 41 his, mixin EasyA
0570: 73 74 3b 0d 0a 0d 0a 2f 2a 6d 69 78 69 6e 2a 2f st;..../*mixin*/
0580: 0d 0a 74 65 6d 70 6c 61 74 65 20 45 61 73 79 41 ..template EasyA
0590: 53 54 28 29 0d 0a 7b 0d 0a 09 2f 2f 2f 0d 0a 09 ST()..{...///...
05a0: 74 65 6d 70 6c 61 74 65 20 67 65 6e 45 61 73 74 template genEast
05b0: 28 54 29 0d 0a 09 09 7b 20 54 20 67 65 6e 45 61 (T)....{ T genEa
05c0: 73 74 28 50 2e 2e 2e 29 28 50 20 70 73 29 20 7b st(P...)(P ps) {
05d0: 20 72 65 74 75 72 6e 20 6e 65 77 20 54 28 4c 65 return new T(Le
05e0: 78 50 6f 73 69 74 69 6f 6e 2e 64 75 6d 6d 79 2c xPosition.dummy,
05f0: 20 70 73 29 3b 20 7d 20 7d 0d 0a 0d 0a 09 61 6c ps); } }.....al
0600: 69 61 73 20 67 65 6e 45 61 73 74 21 53 74 72 4c ias genEast!StrL
0610: 69 74 65 72 61 6c 20 73 74 72 6c 3b 20 2f 2f 2f iteral strl; ///
0620: 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 ...alias genEast
0630: 21 49 6e 74 4c 69 74 65 72 61 6c 20 69 6e 74 6c !IntLiteral intl
0640: 3b 20 2f 2f 2f 0d 0a 09 61 75 74 6f 20 66 75 6e ; ///...auto fun
0650: 28 73 74 72 69 6e 67 5b 5d 20 78 73 2c 20 41 53 (string[] xs, AS
0660: 54 20 70 73 29 20 7b 0d 0a 09 09 72 65 74 75 72 T ps) {....retur
0670: 6e 20 67 65 6e 45 61 73 74 21 46 75 6e 4c 69 74 n genEast!FunLit
0680: 65 72 61 6c 28 61 72 72 61 79 28 6d 61 70 21 28 eral(array(map!(
0690: 28 73 74 72 69 6e 67 20 78 29 7b 72 65 74 75 72 (string x){retur
06a0: 6e 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 n new Parameter(
06b0: 78 2c 5b 5d 29 3b 7d 29 28 78 73 29 29 2c 70 73 x,[]);})(xs)),ps
06c0: 29 3b 20 7d 0d 0a 09 61 75 74 6f 20 66 75 6e 70 ); }...auto funp
06d0: 28 50 61 72 61 6d 65 74 65 72 5b 5d 20 78 73 2c (Parameter[] xs,
06e0: 20 41 53 54 20 70 73 29 20 7b 20 72 65 74 75 72 AST ps) { retur
06f0: 6e 20 67 65 6e 45 61 73 74 21 46 75 6e 4c 69 74 n genEast!FunLit
0700: 65 72 61 6c 28 78 73 2c 70 73 29 3b 20 7d 20 2f eral(xs,ps); } /
0710: 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 //...alias genEa
0720: 73 74 21 56 61 72 45 78 70 72 65 73 73 69 6f 6e st!VarExpression
0730: 20 76 61 72 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 var; ///...alia
0740: 73 20 67 65 6e 45 61 73 74 21 4c 61 79 65 72 65 s genEast!Layere
0750: 64 45 78 70 72 65 73 73 69 6f 6e 20 6c 61 79 3b dExpression lay;
0760: 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 65 6e ///...alias gen
0770: 45 61 73 74 21 4c 65 74 45 78 70 72 65 73 73 69 East!LetExpressi
0780: 6f 6e 20 6c 65 74 3b 20 2f 2f 2f 0d 0a 09 61 6c on let; ///...al
0790: 69 61 73 20 67 65 6e 45 61 73 74 21 46 75 6e 63 ias genEast!Func
07a0: 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 20 63 61 allExpression ca
07b0: 6c 6c 3b 20 2f 2f 2f 0d 0a 09 61 75 74 6f 20 70 ll; ///...auto p
07c0: 61 72 61 6d 28 73 74 72 69 6e 67 20 6e 61 6d 65 aram(string name
07d0: 2c 20 73 74 72 69 6e 67 5b 5d 20 6c 61 79 2e 2e , string[] lay..
07e0: 2e 29 20 7b 20 72 65 74 75 72 6e 20 6e 65 77 20 .) { return new
07f0: 50 61 72 61 6d 65 74 65 72 28 6e 61 6d 65 2c 20 Parameter(name,
0800: 6c 61 79 29 3b 20 7d 20 2f 2f 2f 0d 0a 7d 0d 0a lay); } ///..}..