Artifact f8a685431329b03dbf2b34be97eb2942b0460058:
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 6c 65 78 3b 0d ort polemy.lex;.
00c0: 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 72 61 63 74 ...///..abstract
00d0: 20 63 6c 61 73 73 20 41 53 54 0a 7b 0a 09 69 6d class AST.{..im
00e0: 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 mutable LexPosit
00f0: 69 6f 6e 20 70 6f 73 3b 0a 09 6d 69 78 69 6e 20 ion pos;..mixin
0100: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
0110: 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c r;...mixin Simpl
0120: 65 50 61 74 74 65 72 6e 4d 61 74 63 68 3b 0a 7d ePatternMatch;.}
0130: 0a 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 53 74 72 ..///..class Str
0140: 4c 69 74 65 72 61 6c 20 3a 20 41 53 54 0a 7b 0a Literal : AST.{.
0150: 09 73 74 72 69 6e 67 20 64 61 74 61 3b 0a 09 6d .string data;..m
0160: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 ixin SimpleClass
0170: 3b 0d 0a 7d 0a 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 ;..}..///..class
0180: 20 49 6e 74 4c 69 74 65 72 61 6c 20 3a 20 41 53 IntLiteral : AS
0190: 54 0a 7b 0a 09 42 69 67 49 6e 74 20 64 61 74 61 T.{..BigInt data
01a0: 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ;...mixin Simple
01b0: 43 6c 61 73 73 3b 0d 0a 09 74 68 69 73 28 69 6d Class;...this(im
01c0: 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 mutable LexPosit
01d0: 69 6f 6e 20 70 6f 73 2c 20 6c 6f 6e 67 20 6e 29 ion pos, long n)
01e0: 20 7b 73 75 70 65 72 28 70 6f 73 29 3b 20 64 61 {super(pos); da
01f0: 74 61 20 3d 20 6e 3b 7d 0d 0a 09 74 68 69 73 28 ta = n;}...this(
0200: 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 immutable LexPos
0210: 69 74 69 6f 6e 20 70 6f 73 2c 20 42 69 67 49 6e ition pos, BigIn
0220: 74 20 6e 29 20 7b 73 75 70 65 72 28 70 6f 73 29 t n) {super(pos)
0230: 3b 20 64 61 74 61 20 3d 20 6e 3b 7d 0d 0a 09 74 ; data = n;}...t
0240: 68 69 73 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 his(immutable Le
0250: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 73 xPosition pos, s
0260: 74 72 69 6e 67 20 6e 29 20 7b 73 75 70 65 72 28 tring n) {super(
0270: 70 6f 73 29 3b 20 64 61 74 61 20 3d 20 42 69 67 pos); data = Big
0280: 49 6e 74 28 6e 29 3b 7d 0d 0a 7d 0a 0a 2f 2f 2f Int(n);}..}..///
0290: 0d 0a 63 6c 61 73 73 20 56 61 72 45 78 70 72 65 ..class VarExpre
02a0: 73 73 69 6f 6e 20 3a 20 41 53 54 0d 0a 7b 0d 0a ssion : AST..{..
02b0: 09 73 74 72 69 6e 67 20 76 61 72 3b 0d 0a 09 6d .string var;...m
02c0: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 ixin SimpleClass
02d0: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 ;..}....///..cla
02e0: 73 73 20 4c 61 79 65 72 65 64 45 78 70 72 65 73 ss LayeredExpres
02f0: 73 69 6f 6e 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 sion : AST..{...
0300: 73 74 72 69 6e 67 20 6c 61 79 3b 0d 0a 09 41 53 string lay;...AS
0310: 54 20 20 20 20 65 78 70 72 3b 0d 0a 09 6d 69 78 T expr;...mix
0320: 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d in SimpleClass;.
0330: 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 .}....///..class
0340: 20 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 3a LetExpression :
0350: 20 41 53 54 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 AST..{...string
0360: 20 76 61 72 3b 0d 0a 09 73 74 72 69 6e 67 20 6c var;...string l
0370: 61 79 65 72 3b 0d 0a 09 41 53 54 20 20 20 20 69 ayer;...AST i
0380: 6e 69 74 3b 0d 0a 09 41 53 54 20 20 20 20 65 78 nit;...AST ex
0390: 70 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 pr;...mixin Simp
03a0: 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f leClass;..}..../
03b0: 2f 2f 0d 0a 63 6c 61 73 73 20 46 75 6e 63 61 6c //..class Funcal
03c0: 6c 45 78 70 72 65 73 73 69 6f 6e 20 3a 20 41 53 lExpression : AS
03d0: 54 0a 7b 0a 09 41 53 54 20 20 20 66 75 6e 3b 0a T.{..AST fun;.
03e0: 09 41 53 54 5b 5d 20 61 72 67 73 3b 0a 09 74 68 .AST[] args;..th
03f0: 69 73 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 is(immutable Lex
0400: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 41 53 Position pos, AS
0410: 54 20 66 75 6e 2c 20 41 53 54 5b 5d 20 61 72 67 T fun, AST[] arg
0420: 73 2e 2e 2e 29 0a 09 09 7b 20 73 75 70 65 72 28 s...)...{ super(
0430: 70 6f 73 29 3b 20 74 68 69 73 2e 66 75 6e 3d 66 pos); this.fun=f
0440: 75 6e 3b 20 74 68 69 73 2e 61 72 67 73 3d 61 72 un; this.args=ar
0450: 67 73 2e 64 75 70 3b 20 7d 0a 09 6d 69 78 69 6e gs.dup; }..mixin
0460: 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d SimpleClass;..}
0470: 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 50 61 ...///..class Pa
0480: 72 61 6d 65 74 65 72 0d 0a 7b 0d 0a 09 73 74 72 rameter..{...str
0490: 69 6e 67 20 20 20 6e 61 6d 65 3b 0d 0a 09 73 74 ing name;...st
04a0: 72 69 6e 67 5b 5d 20 6c 61 79 65 72 73 3b 0d 0a ring[] layers;..
04b0: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
04c0: 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 ss;..}....///..c
04d0: 6c 61 73 73 20 46 75 6e 4c 69 74 65 72 61 6c 20 lass FunLiteral
04e0: 3a 20 41 53 54 0d 0a 7b 0d 0a 09 50 61 72 61 6d : AST..{...Param
04f0: 65 74 65 72 5b 5d 20 70 61 72 61 6d 73 3b 0d 0a eter[] params;..
0500: 09 41 53 54 20 20 20 20 20 20 20 20 20 66 75 6e .AST fun
0510: 62 6f 64 79 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 body;...mixin Si
0520: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d mpleClass;..}...
0530: 0a 2f 2f 2f 20 48 61 6e 64 79 20 47 65 6e 65 72 ./// Handy Gener
0540: 61 74 6f 72 20 66 6f 72 20 41 53 54 20 6e 6f 64 ator for AST nod
0550: 65 73 2e 20 54 6f 20 75 73 65 20 74 68 69 73 2c es. To use this,
0560: 20 6d 69 78 69 6e 20 45 61 73 79 41 73 74 3b 0d mixin EasyAst;.
0570: 0a 0d 0a 2f 2a 6d 69 78 69 6e 2a 2f 0d 0a 74 65 .../*mixin*/..te
0580: 6d 70 6c 61 74 65 20 45 61 73 79 41 53 54 28 29 mplate EasyAST()
0590: 0d 0a 7b 0d 0a 09 2f 2f 2f 0d 0a 09 74 65 6d 70 ..{...///...temp
05a0: 6c 61 74 65 20 67 65 6e 45 61 73 74 28 54 29 0d late genEast(T).
05b0: 0a 09 09 7b 20 54 20 67 65 6e 45 61 73 74 28 50 ...{ T genEast(P
05c0: 2e 2e 2e 29 28 50 20 70 73 29 20 7b 20 72 65 74 ...)(P ps) { ret
05d0: 75 72 6e 20 6e 65 77 20 54 28 4c 65 78 50 6f 73 urn new T(LexPos
05e0: 69 74 69 6f 6e 2e 64 75 6d 6d 79 2c 20 70 73 29 ition.dummy, ps)
05f0: 3b 20 7d 20 7d 0d 0a 0d 0a 09 61 6c 69 61 73 20 ; } }.....alias
0600: 67 65 6e 45 61 73 74 21 53 74 72 4c 69 74 65 72 genEast!StrLiter
0610: 61 6c 20 73 74 72 6c 3b 20 2f 2f 2f 0d 0a 09 61 al strl; ///...a
0620: 6c 69 61 73 20 67 65 6e 45 61 73 74 21 49 6e 74 lias genEast!Int
0630: 4c 69 74 65 72 61 6c 20 69 6e 74 6c 3b 20 2f 2f Literal intl; //
0640: 2f 0d 0a 09 61 75 74 6f 20 66 75 6e 28 73 74 72 /...auto fun(str
0650: 69 6e 67 5b 5d 20 78 73 2c 20 41 53 54 20 70 73 ing[] xs, AST ps
0660: 29 20 7b 0d 0a 09 09 72 65 74 75 72 6e 20 67 65 ) {....return ge
0670: 6e 45 61 73 74 21 46 75 6e 4c 69 74 65 72 61 6c nEast!FunLiteral
0680: 28 61 72 72 61 79 28 6d 61 70 21 28 28 73 74 72 (array(map!((str
0690: 69 6e 67 20 78 29 7b 72 65 74 75 72 6e 20 6e 65 ing x){return ne
06a0: 77 20 50 61 72 61 6d 65 74 65 72 28 78 2c 5b 5d w Parameter(x,[]
06b0: 29 3b 7d 29 28 78 73 29 29 2c 70 73 29 3b 20 7d );})(xs)),ps); }
06c0: 0d 0a 09 61 75 74 6f 20 66 75 6e 70 28 50 61 72 ...auto funp(Par
06d0: 61 6d 65 74 65 72 5b 5d 20 78 73 2c 20 41 53 54 ameter[] xs, AST
06e0: 20 70 73 29 20 7b 20 72 65 74 75 72 6e 20 67 65 ps) { return ge
06f0: 6e 45 61 73 74 21 46 75 6e 4c 69 74 65 72 61 6c nEast!FunLiteral
0700: 28 78 73 2c 70 73 29 3b 20 7d 20 2f 2f 2f 0d 0a (xs,ps); } ///..
0710: 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 21 56 .alias genEast!V
0720: 61 72 45 78 70 72 65 73 73 69 6f 6e 20 76 61 72 arExpression var
0730: 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 65 ; ///...alias ge
0740: 6e 45 61 73 74 21 4c 61 79 65 72 65 64 45 78 70 nEast!LayeredExp
0750: 72 65 73 73 69 6f 6e 20 6c 61 79 3b 20 2f 2f 2f ression lay; ///
0760: 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 ...alias genEast
0770: 21 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 6c !LetExpression l
0780: 65 74 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 et; ///...alias
0790: 67 65 6e 45 61 73 74 21 46 75 6e 63 61 6c 6c 45 genEast!FuncallE
07a0: 78 70 72 65 73 73 69 6f 6e 20 63 61 6c 6c 3b 20 xpression call;
07b0: 2f 2f 2f 0d 0a 09 61 75 74 6f 20 70 61 72 61 6d ///...auto param
07c0: 28 73 74 72 69 6e 67 20 6e 61 6d 65 2c 20 73 74 (string name, st
07d0: 72 69 6e 67 5b 5d 20 6c 61 79 2e 2e 2e 29 20 7b ring[] lay...) {
07e0: 20 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61 return new Para
07f0: 6d 65 74 65 72 28 6e 61 6d 65 2c 20 6c 61 79 29 meter(name, lay)
0800: 3b 20 7d 20 2f 2f 2f 0d 0a 7d 0d 0a ; } ///..}..