Artifact dd714695d64176f90e092e86ffd98656d791a0bd:
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 61 62 73 74 72 61 63 74 20 63 6c 61 73 ...abstract clas
00d0: 73 20 41 53 54 0a 7b 0a 09 69 6d 6d 75 74 61 62 s AST.{..immutab
00e0: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
00f0: 6f 73 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c os;..mixin Simpl
0100: 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 7d 0a eConstructor;.}.
0110: 0a 63 6c 61 73 73 20 53 74 72 4c 69 74 65 72 61 .class StrLitera
0120: 6c 20 3a 20 41 53 54 0a 7b 0a 09 73 74 72 69 6e l : AST.{..strin
0130: 67 20 64 61 74 61 3b 0a 09 6d 69 78 69 6e 20 53 g data;..mixin S
0140: 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0a 0a impleClass;..}..
0150: 63 6c 61 73 73 20 49 6e 74 4c 69 74 65 72 61 6c class IntLiteral
0160: 20 3a 20 41 53 54 0a 7b 0a 09 42 69 67 49 6e 74 : AST.{..BigInt
0170: 20 64 61 74 61 3b 0d 0a 09 6d 69 78 69 6e 20 53 data;...mixin S
0180: 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 74 68 impleClass;...th
0190: 69 73 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 is(immutable Lex
01a0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 6c 6f Position pos, lo
01b0: 6e 67 20 6e 29 20 7b 73 75 70 65 72 28 70 6f 73 ng n) {super(pos
01c0: 29 3b 20 64 61 74 61 20 3d 20 6e 3b 7d 0d 0a 09 ); data = n;}...
01d0: 74 68 69 73 28 69 6d 6d 75 74 61 62 6c 65 20 4c this(immutable L
01e0: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 exPosition pos,
01f0: 42 69 67 49 6e 74 20 6e 29 20 7b 73 75 70 65 72 BigInt n) {super
0200: 28 70 6f 73 29 3b 20 64 61 74 61 20 3d 20 6e 3b (pos); data = n;
0210: 7d 0d 0a 09 74 68 69 73 28 69 6d 6d 75 74 61 62 }...this(immutab
0220: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 le LexPosition p
0230: 6f 73 2c 20 73 74 72 69 6e 67 20 6e 29 20 7b 73 os, string n) {s
0240: 75 70 65 72 28 70 6f 73 29 3b 20 64 61 74 61 20 uper(pos); data
0250: 3d 20 42 69 67 49 6e 74 28 6e 29 3b 7d 0d 0a 7d = BigInt(n);}..}
0260: 0a 0a 63 6c 61 73 73 20 56 61 72 45 78 70 72 65 ..class VarExpre
0270: 73 73 69 6f 6e 20 3a 20 41 53 54 0d 0a 7b 0d 0a ssion : AST..{..
0280: 09 73 74 72 69 6e 67 20 76 61 72 3b 0d 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 0d 0a 0d 0a 63 6c 61 73 73 20 4c 61 ;..}....class La
02b0: 79 65 72 65 64 45 78 70 72 65 73 73 69 6f 6e 20 yeredExpression
02c0: 3a 20 41 53 54 0d 0a 7b 0d 0a 09 73 74 72 69 6e : AST..{...strin
02d0: 67 20 6c 61 79 3b 0d 0a 09 41 53 54 20 20 20 20 g lay;...AST
02e0: 65 78 70 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 expr;...mixin Si
02f0: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d mpleClass;..}...
0300: 0a 63 6c 61 73 73 20 4c 65 74 45 78 70 72 65 73 .class LetExpres
0310: 73 69 6f 6e 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 sion : AST..{...
0320: 73 74 72 69 6e 67 20 76 61 72 3b 0d 0a 09 73 74 string var;...st
0330: 72 69 6e 67 20 6c 61 79 65 72 3b 0d 0a 09 41 53 ring layer;...AS
0340: 54 20 20 20 20 69 6e 69 74 3b 0d 0a 09 41 53 54 T init;...AST
0350: 20 20 20 20 65 78 70 72 3b 0d 0a 09 6d 69 78 69 expr;...mixi
0360: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
0370: 7d 0d 0a 0d 0a 63 6c 61 73 73 20 46 75 6e 63 61 }....class Funca
0380: 6c 6c 45 78 70 72 65 73 73 69 6f 6e 20 3a 20 41 llExpression : A
0390: 53 54 0a 7b 0a 09 41 53 54 20 20 20 66 75 6e 3b ST.{..AST fun;
03a0: 0a 09 41 53 54 5b 5d 20 61 72 67 73 3b 0a 09 74 ..AST[] args;..t
03b0: 68 69 73 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 his(immutable Le
03c0: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 41 xPosition pos, A
03d0: 53 54 20 66 75 6e 2c 20 41 53 54 5b 5d 20 61 72 ST fun, AST[] ar
03e0: 67 73 2e 2e 2e 29 0a 09 09 7b 20 73 75 70 65 72 gs...)...{ super
03f0: 28 70 6f 73 29 3b 20 74 68 69 73 2e 66 75 6e 3d (pos); this.fun=
0400: 66 75 6e 3b 20 74 68 69 73 2e 61 72 67 73 3d 61 fun; this.args=a
0410: 72 67 73 2e 64 75 70 3b 20 7d 0a 09 6d 69 78 69 rgs.dup; }..mixi
0420: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
0430: 7d 0a 0d 0a 63 6c 61 73 73 20 46 75 6e 4c 69 74 }...class FunLit
0440: 65 72 61 6c 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 eral : AST..{...
0450: 73 74 72 69 6e 67 5b 5d 20 70 61 72 61 6d 73 3b string[] params;
0460: 0d 0a 09 41 53 54 20 20 20 20 20 20 66 75 6e 62 ...AST funb
0470: 6f 64 79 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d ody;...mixin Sim
0480: 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a pleClass;..}....
0490: 2f 2f 2f 20 48 61 6e 64 79 20 47 65 6e 65 72 61 /// Handy Genera
04a0: 74 6f 72 20 66 6f 72 20 41 53 54 20 6e 6f 64 65 tor for AST node
04b0: 73 2e 20 54 6f 20 75 73 65 20 74 68 69 73 2c 20 s. To use this,
04c0: 6d 69 78 69 6e 20 45 61 73 79 41 73 74 3b 0d 0a mixin EasyAst;..
04d0: 0d 0a 2f 2a 6d 69 78 69 6e 2a 2f 0d 0a 74 65 6d ../*mixin*/..tem
04e0: 70 6c 61 74 65 20 45 61 73 79 41 53 54 28 29 0d plate EasyAST().
04f0: 0a 7b 0d 0a 09 74 65 6d 70 6c 61 74 65 20 67 65 .{...template ge
0500: 6e 45 61 73 74 28 54 29 0d 0a 09 09 7b 20 54 20 nEast(T)....{ T
0510: 67 65 6e 45 61 73 74 28 50 2e 2e 2e 29 28 50 20 genEast(P...)(P
0520: 70 73 29 20 7b 20 72 65 74 75 72 6e 20 6e 65 77 ps) { return new
0530: 20 54 28 4c 65 78 50 6f 73 69 74 69 6f 6e 2e 64 T(LexPosition.d
0540: 75 6d 6d 79 2c 20 70 73 29 3b 20 7d 20 7d 0d 0a ummy, ps); } }..
0550: 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 ...alias genEast
0560: 21 53 74 72 4c 69 74 65 72 61 6c 20 73 74 72 6c !StrLiteral strl
0570: 3b 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 ;...alias genEas
0580: 74 21 49 6e 74 4c 69 74 65 72 61 6c 20 69 6e 74 t!IntLiteral int
0590: 6c 3b 0d 0a 09 61 75 74 6f 20 66 75 6e 28 73 74 l;...auto fun(st
05a0: 72 69 6e 67 5b 5d 20 78 73 2c 20 41 53 54 20 70 ring[] xs, AST p
05b0: 73 29 20 7b 20 72 65 74 75 72 6e 20 67 65 6e 45 s) { return genE
05c0: 61 73 74 21 46 75 6e 4c 69 74 65 72 61 6c 28 78 ast!FunLiteral(x
05d0: 73 2c 70 73 29 3b 20 7d 20 2f 2f 20 74 6f 20 68 s,ps); } // to h
05e0: 65 6c 70 20 74 79 70 65 20 69 6e 66 65 72 65 6e elp type inferen
05f0: 63 65 20 6f 66 20 44 0d 0a 09 61 6c 69 61 73 20 ce of D...alias
0600: 67 65 6e 45 61 73 74 21 56 61 72 45 78 70 72 65 genEast!VarExpre
0610: 73 73 69 6f 6e 20 76 61 72 3b 0d 0a 09 61 6c 69 ssion var;...ali
0620: 61 73 20 67 65 6e 45 61 73 74 21 4c 61 79 65 72 as genEast!Layer
0630: 65 64 45 78 70 72 65 73 73 69 6f 6e 20 6c 61 79 edExpression lay
0640: 3b 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 ;...alias genEas
0650: 74 21 4c 65 74 45 78 70 72 65 73 73 69 6f 6e 20 t!LetExpression
0660: 6c 65 74 3b 0d 0a 09 61 6c 69 61 73 20 67 65 6e let;...alias gen
0670: 45 61 73 74 21 46 75 6e 63 61 6c 6c 45 78 70 72 East!FuncallExpr
0680: 65 73 73 69 6f 6e 20 63 61 6c 6c 3b 0d 0a 7d 0d ession call;..}.
0690: 0a .