Artifact 02291a629f0b15b617b805d36d97e50d2aa0b0aa:
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 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f ..LexPosition po
00f0: 73 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 s;..mixin Simple
0100: 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0d 0a 09 6d Constructor;...m
0110: 69 78 69 6e 20 53 69 6d 70 6c 65 50 61 74 74 65 ixin SimplePatte
0120: 72 6e 4d 61 74 63 68 3b 0a 7d 0a 0a 2f 2f 2f 0d rnMatch;.}..///.
0130: 0a 63 6c 61 73 73 20 53 74 72 4c 69 74 65 72 61 .class StrLitera
0140: 6c 20 3a 20 41 53 54 0a 7b 0a 09 73 74 72 69 6e l : AST.{..strin
0150: 67 20 64 61 74 61 3b 0a 09 6d 69 78 69 6e 20 53 g data;..mixin S
0160: 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0a 0a impleClass;..}..
0170: 2f 2f 2f 0d 0a 63 6c 61 73 73 20 49 6e 74 4c 69 ///..class IntLi
0180: 74 65 72 61 6c 20 3a 20 41 53 54 0a 7b 0a 09 42 teral : AST.{..B
0190: 69 67 49 6e 74 20 64 61 74 61 3b 0d 0a 09 6d 69 igInt data;...mi
01a0: 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b xin SimpleClass;
01b0: 0d 0a 09 74 68 69 73 28 69 6d 6d 75 74 61 62 6c ...this(immutabl
01c0: 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f e LexPosition po
01d0: 73 2c 20 6c 6f 6e 67 20 6e 29 20 7b 73 75 70 65 s, long n) {supe
01e0: 72 28 70 6f 73 29 3b 20 64 61 74 61 20 3d 20 6e r(pos); data = n
01f0: 3b 7d 0d 0a 09 74 68 69 73 28 69 6d 6d 75 74 61 ;}...this(immuta
0200: 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ble LexPosition
0210: 70 6f 73 2c 20 42 69 67 49 6e 74 20 6e 29 20 7b pos, BigInt n) {
0220: 73 75 70 65 72 28 70 6f 73 29 3b 20 64 61 74 61 super(pos); data
0230: 20 3d 20 6e 3b 7d 0d 0a 09 74 68 69 73 28 69 6d = n;}...this(im
0240: 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 mutable LexPosit
0250: 69 6f 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 ion pos, string
0260: 6e 29 20 7b 73 75 70 65 72 28 70 6f 73 29 3b 20 n) {super(pos);
0270: 64 61 74 61 20 3d 20 42 69 67 49 6e 74 28 6e 29 data = BigInt(n)
0280: 3b 7d 0d 0a 7d 0a 0a 2f 2f 2f 0d 0a 63 6c 61 73 ;}..}..///..clas
0290: 73 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 20 s VarExpression
02a0: 3a 20 41 53 54 0d 0a 7b 0d 0a 09 73 74 72 69 6e : AST..{...strin
02b0: 67 20 76 61 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 g var;...mixin S
02c0: 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a impleClass;..}..
02d0: 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 4c 61 79 ..///..class Lay
02e0: 65 72 65 64 45 78 70 72 65 73 73 69 6f 6e 20 3a eredExpression :
02f0: 20 41 53 54 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 AST..{...string
0300: 20 6c 61 79 3b 0d 0a 09 41 53 54 20 20 20 20 65 lay;...AST e
0310: 78 70 72 3b 0d 0a 09 6d 69 78 69 6e 20 53 69 6d xpr;...mixin Sim
0320: 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a pleClass;..}....
0330: 2f 2f 2f 0d 0a 63 6c 61 73 73 20 4c 65 74 45 78 ///..class LetEx
0340: 70 72 65 73 73 69 6f 6e 20 3a 20 41 53 54 0d 0a pression : AST..
0350: 7b 0d 0a 09 73 74 72 69 6e 67 20 76 61 72 3b 0d {...string var;.
0360: 0a 09 73 74 72 69 6e 67 20 6c 61 79 65 72 3b 0d ..string layer;.
0370: 0a 09 41 53 54 20 20 20 20 69 6e 69 74 3b 0d 0a ..AST init;..
0380: 09 41 53 54 20 20 20 20 65 78 70 72 3b 0d 0a 09 .AST expr;...
0390: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 mixin SimpleClas
03a0: 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c s;..}....///..cl
03b0: 61 73 73 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 ass FuncallExpre
03c0: 73 73 69 6f 6e 20 3a 20 41 53 54 0a 7b 0a 09 41 ssion : AST.{..A
03d0: 53 54 20 20 20 66 75 6e 3b 0a 09 41 53 54 5b 5d ST fun;..AST[]
03e0: 20 61 72 67 73 3b 0a 09 74 68 69 73 28 69 6d 6d args;..this(imm
03f0: 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 utable LexPositi
0400: 6f 6e 20 70 6f 73 2c 20 41 53 54 20 66 75 6e 2c on pos, AST fun,
0410: 20 41 53 54 5b 5d 20 61 72 67 73 2e 2e 2e 29 0a AST[] args...).
0420: 09 09 7b 20 73 75 70 65 72 28 70 6f 73 29 3b 20 ..{ super(pos);
0430: 74 68 69 73 2e 66 75 6e 3d 66 75 6e 3b 20 74 68 this.fun=fun; th
0440: 69 73 2e 61 72 67 73 3d 61 72 67 73 2e 64 75 70 is.args=args.dup
0450: 3b 20 7d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c ; }..mixin Simpl
0460: 65 43 6c 61 73 73 3b 0d 0a 7d 0a 0d 0a 2f 2f 2f eClass;..}...///
0470: 0d 0a 63 6c 61 73 73 20 50 61 72 61 6d 65 74 65 ..class Paramete
0480: 72 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 20 20 r..{...string
0490: 6e 61 6d 65 3b 0d 0a 09 73 74 72 69 6e 67 5b 5d name;...string[]
04a0: 20 6c 61 79 65 72 73 3b 0d 0a 09 6d 69 78 69 6e layers;...mixin
04b0: 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d SimpleClass;..}
04c0: 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 46 ....///..class F
04d0: 75 6e 4c 69 74 65 72 61 6c 20 3a 20 41 53 54 0d unLiteral : AST.
04e0: 0a 7b 0d 0a 09 50 61 72 61 6d 65 74 65 72 5b 5d .{...Parameter[]
04f0: 20 70 61 72 61 6d 73 3b 0d 0a 09 41 53 54 20 20 params;...AST
0500: 20 20 20 20 20 20 20 66 75 6e 62 6f 64 79 3b 0d funbody;.
0510: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c ..mixin SimpleCl
0520: 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 48 ass;..}..../// H
0530: 61 6e 64 79 20 47 65 6e 65 72 61 74 6f 72 20 66 andy Generator f
0540: 6f 72 20 41 53 54 20 6e 6f 64 65 73 2e 20 54 6f or AST nodes. To
0550: 20 75 73 65 20 74 68 69 73 2c 20 6d 69 78 69 6e use this, mixin
0560: 20 45 61 73 79 41 73 74 3b 0d 0a 0d 0a 2f 2a 6d EasyAst;..../*m
0570: 69 78 69 6e 2a 2f 0d 0a 74 65 6d 70 6c 61 74 65 ixin*/..template
0580: 20 45 61 73 79 41 53 54 28 29 0d 0a 7b 0d 0a 09 EasyAST()..{...
0590: 2f 2f 2f 0d 0a 09 74 65 6d 70 6c 61 74 65 20 67 ///...template g
05a0: 65 6e 45 61 73 74 28 54 29 0d 0a 09 09 7b 20 54 enEast(T)....{ T
05b0: 20 67 65 6e 45 61 73 74 28 50 2e 2e 2e 29 28 50 genEast(P...)(P
05c0: 20 70 73 29 20 7b 20 72 65 74 75 72 6e 20 6e 65 ps) { return ne
05d0: 77 20 54 28 4c 65 78 50 6f 73 69 74 69 6f 6e 2e w T(LexPosition.
05e0: 64 75 6d 6d 79 2c 20 70 73 29 3b 20 7d 20 7d 0d dummy, ps); } }.
05f0: 0a 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 ....alias genEas
0600: 74 21 53 74 72 4c 69 74 65 72 61 6c 20 73 74 72 t!StrLiteral str
0610: 6c 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 l; ///...alias g
0620: 65 6e 45 61 73 74 21 49 6e 74 4c 69 74 65 72 61 enEast!IntLitera
0630: 6c 20 69 6e 74 6c 3b 20 2f 2f 2f 0d 0a 09 61 75 l intl; ///...au
0640: 74 6f 20 66 75 6e 28 73 74 72 69 6e 67 5b 5d 20 to fun(string[]
0650: 78 73 2c 20 41 53 54 20 70 73 29 20 7b 0d 0a 09 xs, AST ps) {...
0660: 09 72 65 74 75 72 6e 20 67 65 6e 45 61 73 74 21 .return genEast!
0670: 46 75 6e 4c 69 74 65 72 61 6c 28 61 72 72 61 79 FunLiteral(array
0680: 28 6d 61 70 21 28 28 73 74 72 69 6e 67 20 78 29 (map!((string x)
0690: 7b 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61 {return new Para
06a0: 6d 65 74 65 72 28 78 2c 5b 5d 29 3b 7d 29 28 78 meter(x,[]);})(x
06b0: 73 29 29 2c 70 73 29 3b 20 7d 0d 0a 09 61 75 74 s)),ps); }...aut
06c0: 6f 20 66 75 6e 70 28 50 61 72 61 6d 65 74 65 72 o funp(Parameter
06d0: 5b 5d 20 78 73 2c 20 41 53 54 20 70 73 29 20 7b [] xs, AST ps) {
06e0: 20 72 65 74 75 72 6e 20 67 65 6e 45 61 73 74 21 return genEast!
06f0: 46 75 6e 4c 69 74 65 72 61 6c 28 78 73 2c 70 73 FunLiteral(xs,ps
0700: 29 3b 20 7d 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 ); } ///...alias
0710: 20 67 65 6e 45 61 73 74 21 56 61 72 45 78 70 72 genEast!VarExpr
0720: 65 73 73 69 6f 6e 20 76 61 72 3b 20 2f 2f 2f 0d ession var; ///.
0730: 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 21 ..alias genEast!
0740: 4c 61 79 65 72 65 64 45 78 70 72 65 73 73 69 6f LayeredExpressio
0750: 6e 20 6c 61 79 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 n lay; ///...ali
0760: 61 73 20 67 65 6e 45 61 73 74 21 4c 65 74 45 78 as genEast!LetEx
0770: 70 72 65 73 73 69 6f 6e 20 6c 65 74 3b 20 2f 2f pression let; //
0780: 2f 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 /...alias genEas
0790: 74 21 46 75 6e 63 61 6c 6c 45 78 70 72 65 73 73 t!FuncallExpress
07a0: 69 6f 6e 20 63 61 6c 6c 3b 20 2f 2f 2f 0d 0a 09 ion call; ///...
07b0: 61 75 74 6f 20 70 61 72 61 6d 28 73 74 72 69 6e auto param(strin
07c0: 67 20 6e 61 6d 65 2c 20 73 74 72 69 6e 67 5b 5d g name, string[]
07d0: 20 6c 61 79 2e 2e 2e 29 20 7b 20 72 65 74 75 72 lay...) { retur
07e0: 6e 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 28 n new Parameter(
07f0: 6e 61 6d 65 2c 20 6c 61 79 29 3b 20 7d 20 2f 2f name, lay); } //
0800: 2f 0d 0a 7d 0d 0a /..}..