Artifact 55043f61f436485acee029c5fc311b61b366ea16:
0000: 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f 72 73 3a /**.. * Authors:
0010: 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 4c 69 63 k.inaba.. * Lic
0020: 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 ense: NYSL 0.998
0030: 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 2 http://www.kmo
0040: 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a 20 nos.net/nysl/..
0050: 2a 0d 0a 20 2a 20 53 79 6e 74 61 78 20 74 72 65 *.. * Syntax tre
0060: 65 20 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f e for Polemy pro
0070: 67 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 gramming languag
0080: 65 2e 0d 0a 20 2a 2f 0d 0a 6d 6f 64 75 6c 65 20 e... */..module
0090: 70 6f 6c 65 6d 79 2e 61 73 74 3b 0d 0a 69 6d 70 polemy.ast;..imp
00a0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d ort polemy._comm
00b0: 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 on;..import pole
00c0: 6d 79 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 my.failure;..imp
00d0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 79 65 72 ort polemy.layer
00e0: 3b 0d 0a 0d 0a 2f 2f 2f 0d 0a 61 62 73 74 72 61 ;....///..abstra
00f0: 63 74 20 63 6c 61 73 73 20 41 53 54 0d 0a 7b 0d ct class AST..{.
0100: 0a 09 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f ..LexPosition po
0110: 73 3b 20 2f 2f 2f 0d 0a 0d 0a 09 6d 69 78 69 6e s; ///.....mixin
0120: 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 SimpleConstruct
0130: 6f 72 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 41 53 or;..}..../// AS
0140: 54 20 6e 6f 64 65 20 66 6f 72 20 69 6e 74 65 67 T node for integ
0150: 65 72 20 6c 69 74 65 72 61 6c 0d 0a 63 6c 61 73 er literal..clas
0160: 73 20 49 6e 74 20 3a 20 41 53 54 0d 0a 7b 0d 0a s Int : AST..{..
0170: 09 42 69 67 49 6e 74 20 64 61 74 61 3b 20 2f 2f .BigInt data; //
0180: 2f 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 /.....mixin Simp
0190: 6c 65 43 6c 61 73 73 3b 0d 0a 09 74 68 69 73 28 leClass;...this(
01a0: 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c LexPosition pos,
01b0: 20 69 6e 74 20 6e 29 20 7b 73 75 70 65 72 28 70 int n) {super(p
01c0: 6f 73 29 3b 20 64 61 74 61 20 3d 20 6e 3b 7d 0d os); data = n;}.
01d0: 0a 09 74 68 69 73 28 4c 65 78 50 6f 73 69 74 69 ..this(LexPositi
01e0: 6f 6e 20 70 6f 73 2c 20 6c 6f 6e 67 20 6e 29 20 on pos, long n)
01f0: 7b 73 75 70 65 72 28 70 6f 73 29 3b 20 64 61 74 {super(pos); dat
0200: 61 20 3d 20 6e 3b 7d 0d 0a 09 74 68 69 73 28 4c a = n;}...this(L
0210: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 exPosition pos,
0220: 42 69 67 49 6e 74 20 6e 29 20 7b 73 75 70 65 72 BigInt n) {super
0230: 28 70 6f 73 29 3b 20 64 61 74 61 20 3d 20 6e 3b (pos); data = n;
0240: 7d 0d 0a 09 74 68 69 73 28 4c 65 78 50 6f 73 69 }...this(LexPosi
0250: 74 69 6f 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 tion pos, string
0260: 20 6e 29 20 7b 73 75 70 65 72 28 70 6f 73 29 3b n) {super(pos);
0270: 20 64 61 74 61 20 3d 20 42 69 67 49 6e 74 28 6e data = BigInt(n
0280: 29 3b 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 41 53 );}..}..../// AS
0290: 54 20 6e 6f 64 65 20 66 6f 72 20 73 74 72 69 6e T node for strin
02a0: 67 20 6c 69 74 65 72 61 6c 0d 0a 63 6c 61 73 73 g literal..class
02b0: 20 53 74 72 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 Str : AST..{...
02c0: 73 74 72 69 6e 67 20 64 61 74 61 3b 20 2f 2f 2f string data; ///
02d0: 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c .....mixin Simpl
02e0: 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f eClass;..}....//
02f0: 2f 20 41 53 54 20 6e 6f 64 65 20 66 6f 72 20 76 / AST node for v
0300: 61 72 69 61 62 6c 65 20 72 65 66 65 72 65 6e 63 ariable referenc
0310: 65 0d 0a 63 6c 61 73 73 20 56 61 72 20 3a 20 41 e..class Var : A
0320: 53 54 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 6e ST..{...string n
0330: 61 6d 65 3b 20 2f 2f 2f 0d 0a 0d 0a 09 6d 69 78 ame; ///.....mix
0340: 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d in SimpleClass;.
0350: 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 41 53 54 20 6e 6f .}..../// AST no
0360: 64 65 20 66 6f 72 20 40 6c 61 79 65 72 65 64 28 de for @layered(
0370: 65 78 70 72 65 73 73 69 6f 6e 29 0d 0a 63 6c 61 expression)..cla
0380: 73 73 20 4c 61 79 20 3a 20 41 53 54 0d 0a 7b 0d ss Lay : AST..{.
0390: 0a 09 4c 61 79 65 72 20 6c 61 79 65 72 3b 20 2f ..Layer layer; /
03a0: 2f 2f 0d 0a 09 41 53 54 20 20 20 65 78 70 72 3b //...AST expr;
03b0: 20 20 2f 2f 2f 0d 0a 0d 0a 09 6d 69 78 69 6e 20 ///.....mixin
03c0: 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d SimpleClass;..}.
03d0: 0a 0d 0a 2f 2f 2f 20 41 53 54 20 6e 6f 64 65 20 .../// AST node
03e0: 66 6f 72 20 76 61 72 69 61 62 6c 65 20 64 65 63 for variable dec
03f0: 6c 61 72 61 74 69 6f 6e 0d 0a 63 6c 61 73 73 20 laration..class
0400: 4c 65 74 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 73 Let : AST..{...s
0410: 74 72 69 6e 67 20 6e 61 6d 65 3b 20 20 2f 2f 2f tring name; ///
0420: 0d 0a 09 4c 61 79 65 72 20 20 6c 61 79 65 72 3b ...Layer layer;
0430: 20 2f 2f 2f 0d 0a 09 41 53 54 20 20 20 20 69 6e ///...AST in
0440: 69 74 3b 20 20 2f 2f 2f 0d 0a 09 41 53 54 20 20 it; ///...AST
0450: 20 20 65 78 70 72 3b 20 20 2f 2f 2f 0d 0a 0d 0a expr; ///....
0460: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 .mixin SimpleCla
0470: 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 41 53 ss;..}..../// AS
0480: 54 20 6e 6f 64 65 20 66 6f 72 20 66 75 6e 63 74 T node for funct
0490: 69 6f 6e 20 61 70 70 6c 69 63 61 74 69 6f 6e 0d ion application.
04a0: 0a 63 6c 61 73 73 20 41 70 70 20 3a 20 41 53 54 .class App : AST
04b0: 0d 0a 7b 0d 0a 09 41 53 54 20 20 20 66 75 6e 3b ..{...AST fun;
04c0: 20 20 2f 2f 2f 0d 0a 09 41 53 54 5b 5d 20 61 72 ///...AST[] ar
04d0: 67 73 3b 20 2f 2f 2f 0d 0a 0d 0a 09 6d 69 78 69 gs; ///.....mixi
04e0: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a n SimpleClass;..
04f0: 09 74 68 69 73 28 4c 65 78 50 6f 73 69 74 69 6f .this(LexPositio
0500: 6e 20 70 6f 73 2c 20 41 53 54 20 66 75 6e 2c 20 n pos, AST fun,
0510: 41 53 54 5b 5d 20 61 72 67 73 2e 2e 2e 29 20 7b AST[] args...) {
0520: 20 73 75 70 65 72 28 70 6f 73 29 3b 20 74 68 69 super(pos); thi
0530: 73 2e 66 75 6e 3d 66 75 6e 3b 20 74 68 69 73 2e s.fun=fun; this.
0540: 61 72 67 73 3d 61 72 67 73 2e 64 75 70 3b 20 7d args=args.dup; }
0550: 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 ..}....///..clas
0560: 73 20 50 61 72 61 6d 65 74 65 72 0d 0a 7b 0d 0a s Parameter..{..
0570: 09 73 74 72 69 6e 67 20 20 6e 61 6d 65 3b 20 20 .string name;
0580: 20 2f 2f 2f 0d 0a 09 4c 61 79 65 72 5b 5d 20 6c ///...Layer[] l
0590: 61 79 65 72 73 3b 20 2f 2f 2f 0d 0a 0d 0a 09 6d ayers; ///.....m
05a0: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 ixin SimpleClass
05b0: 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 41 53 54 20 ;..}..../// AST
05c0: 6e 6f 64 65 20 66 6f 72 20 66 75 6e 63 74 69 6f node for functio
05d0: 6e 20 6c 69 74 65 72 61 6c 0d 0a 63 6c 61 73 73 n literal..class
05e0: 20 46 75 6e 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 Fun : AST..{...
05f0: 50 61 72 61 6d 65 74 65 72 5b 5d 20 70 61 72 61 Parameter[] para
0600: 6d 73 3b 20 20 2f 2f 2f 0d 0a 09 41 53 54 20 20 ms; ///...AST
0610: 20 20 20 20 20 20 20 66 75 6e 62 6f 64 79 3b 20 funbody;
0620: 2f 2f 2f 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 ///.....mixin Si
0630: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d mpleClass;..}...
0640: 0a 2f 2f 2f 20 4c 69 73 74 20 6f 66 20 41 53 54 ./// List of AST
0650: 20 54 79 70 65 73 0d 0a 0d 0a 61 6c 69 61 73 20 Types....alias
0660: 54 79 70 65 54 75 70 6c 65 21 28 49 6e 74 2c 53 TypeTuple!(Int,S
0670: 74 72 2c 56 61 72 2c 4c 61 79 2c 4c 65 74 2c 41 tr,Var,Lay,Let,A
0680: 70 70 2c 46 75 6e 29 20 4c 69 73 74 4f 66 41 53 pp,Fun) ListOfAS
0690: 54 54 79 70 65 73 3b 0d 0a 0d 0a 2f 2f 2f 20 48 TTypes;..../// H
06a0: 61 6e 64 79 20 47 65 6e 65 72 61 74 6f 72 20 66 andy Generator f
06b0: 6f 72 20 41 53 54 20 6e 6f 64 65 73 2e 20 54 6f or AST nodes. To
06c0: 20 75 73 65 20 74 68 69 73 2c 20 6d 69 78 69 6e use this, mixin
06d0: 20 45 61 73 79 41 73 74 3b 0d 0a 0d 0a 2f 2a 6d EasyAst;..../*m
06e0: 69 78 69 6e 2a 2f 0d 0a 74 65 6d 70 6c 61 74 65 ixin*/..template
06f0: 20 45 61 73 79 41 53 54 28 29 0d 0a 7b 0d 0a 09 EasyAST()..{...
0700: 2f 2f 2f 0d 0a 09 74 65 6d 70 6c 61 74 65 20 67 ///...template g
0710: 65 6e 45 61 73 74 28 54 29 0d 0a 09 09 7b 20 54 enEast(T)....{ T
0720: 20 67 65 6e 45 61 73 74 28 50 2e 2e 2e 29 28 50 genEast(P...)(P
0730: 20 70 73 29 20 7b 20 72 65 74 75 72 6e 20 6e 65 ps) { return ne
0740: 77 20 54 28 4c 65 78 50 6f 73 69 74 69 6f 6e 2e w T(LexPosition.
0750: 64 75 6d 6d 79 2c 20 70 73 29 3b 20 7d 20 7d 0d dummy, ps); } }.
0760: 0a 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 ....alias genEas
0770: 74 21 53 74 72 20 73 74 72 6c 3b 20 2f 2f 2f 0d t!Str strl; ///.
0780: 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74 21 ..alias genEast!
0790: 49 6e 74 20 69 6e 74 6c 3b 20 2f 2f 2f 0d 0a 09 Int intl; ///...
07a0: 61 75 74 6f 20 66 75 6e 28 73 74 72 69 6e 67 5b auto fun(string[
07b0: 5d 20 78 73 2c 20 41 53 54 20 70 73 29 20 7b 0d ] xs, AST ps) {.
07c0: 0a 09 09 72 65 74 75 72 6e 20 67 65 6e 45 61 73 ...return genEas
07d0: 74 21 46 75 6e 28 61 72 72 61 79 28 6d 61 70 21 t!Fun(array(map!
07e0: 28 28 73 74 72 69 6e 67 20 78 29 7b 72 65 74 75 ((string x){retu
07f0: 72 6e 20 6e 65 77 20 50 61 72 61 6d 65 74 65 72 rn new Parameter
0800: 28 78 2c 5b 5d 29 3b 7d 29 28 78 73 29 29 2c 70 (x,[]);})(xs)),p
0810: 73 29 3b 20 7d 0d 0a 09 61 75 74 6f 20 66 75 6e s); }...auto fun
0820: 70 28 50 61 72 61 6d 65 74 65 72 5b 5d 20 78 73 p(Parameter[] xs
0830: 2c 20 41 53 54 20 70 73 29 20 7b 20 72 65 74 75 , AST ps) { retu
0840: 72 6e 20 67 65 6e 45 61 73 74 21 46 75 6e 28 78 rn genEast!Fun(x
0850: 73 2c 70 73 29 3b 20 7d 20 2f 2f 2f 0d 0a 09 61 s,ps); } ///...a
0860: 6c 69 61 73 20 67 65 6e 45 61 73 74 21 56 61 72 lias genEast!Var
0870: 20 76 61 72 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 var; ///...alia
0880: 73 20 67 65 6e 45 61 73 74 21 4c 61 79 20 6c 61 s genEast!Lay la
0890: 79 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 y; ///...alias g
08a0: 65 6e 45 61 73 74 21 4c 65 74 20 6c 65 74 3b 20 enEast!Let let;
08b0: 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 ///...alias genE
08c0: 61 73 74 21 41 70 70 20 63 61 6c 6c 3b 20 2f 2f ast!App call; //
08d0: 2f 0d 0a 09 61 75 74 6f 20 70 61 72 61 6d 28 73 /...auto param(s
08e0: 74 72 69 6e 67 20 6e 61 6d 65 2c 20 73 74 72 69 tring name, stri
08f0: 6e 67 5b 5d 20 6c 61 79 2e 2e 2e 29 20 7b 20 72 ng[] lay...) { r
0900: 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61 6d 65 eturn new Parame
0910: 74 65 72 28 6e 61 6d 65 2c 20 6c 61 79 29 3b 20 ter(name, lay);
0920: 7d 20 2f 2f 2f 0d 0a 7d 0d 0a } ///..}..