Artifact 79741a318661128808458af9a3d74b5ee2dae560:
0000: ef bb bf 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 .../**. * Author
0010: 73 3a 20 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 s: k.inaba. * Li
0020: 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 cense: NYSL 0.99
0030: 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 82 http://www.km
0040: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 onos.net/nysl/.
0050: 2a 0a 20 2a 20 53 79 6e 74 61 78 20 74 72 65 65 *. * Syntax tree
0060: 20 66 6f 72 20 50 6f 6c 65 6d 79 20 70 72 6f 67 for Polemy prog
0070: 72 61 6d 6d 69 6e 67 20 6c 61 6e 67 75 61 67 65 ramming language
0080: 2e 0a 20 2a 2f 0a 6d 6f 64 75 6c 65 20 70 6f 6c .. */.module pol
0090: 65 6d 79 2e 61 73 74 3b 0a 69 6d 70 6f 72 74 20 emy.ast;.import
00a0: 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0a polemy._common;.
00b0: 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 65 import polemy.le
00c0: 78 20 3a 20 4c 65 78 50 6f 73 69 74 69 6f 6e 3b x : LexPosition;
00d0: 0a 0a 61 6c 69 61 73 20 53 74 61 74 65 6d 65 6e ..alias Statemen
00e0: 74 5b 5d 20 50 72 6f 67 72 61 6d 3b 0a 0a 61 62 t[] Program;..ab
00f0: 73 74 72 61 63 74 20 63 6c 61 73 73 20 53 74 61 stract class Sta
0100: 74 65 6d 65 6e 74 0a 7b 0a 09 69 6d 6d 75 74 61 tement.{..immuta
0110: 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 ble LexPosition
0120: 70 6f 73 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 pos;..mixin Simp
0130: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 7d leConstructor;.}
0140: 0a 0a 63 6c 61 73 73 20 44 65 63 6c 53 74 61 74 ..class DeclStat
0150: 65 6d 65 6e 74 20 3a 20 53 74 61 74 65 6d 65 6e ement : Statemen
0160: 74 0a 7b 0a 09 73 74 72 69 6e 67 20 20 20 20 20 t.{..string
0170: 76 61 72 3b 0a 09 45 78 70 72 65 73 73 69 6f 6e var;..Expression
0180: 20 65 78 70 72 3b 0a 09 6d 69 78 69 6e 20 53 69 expr;..mixin Si
0190: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
01a0: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
01b0: 6d 70 61 72 65 3b 20 2f 2f 20 64 6f 20 6e 6f 74 mpare; // do not
01c0: 20 74 61 6b 65 20 22 70 6f 73 22 20 69 6e 74 6f take "pos" into
01d0: 20 61 63 63 6f 75 6e 74 0a 7d 0a 0a 63 6c 61 73 account.}..clas
01e0: 73 20 45 78 70 72 53 74 61 74 65 6d 65 6e 74 20 s ExprStatement
01f0: 3a 20 53 74 61 74 65 6d 65 6e 74 0a 7b 0a 09 45 : Statement.{..E
0200: 78 70 72 65 73 73 69 6f 6e 20 65 78 70 72 3b 0a xpression expr;.
0210: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e .mixin SimpleCon
0220: 73 74 72 75 63 74 6f 72 3b 0a 09 6d 69 78 69 6e structor;..mixin
0230: 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 20 SimpleCompare;
0240: 2f 2f 20 64 6f 20 6e 6f 74 20 74 61 6b 65 20 22 // do not take "
0250: 70 6f 73 22 20 69 6e 74 6f 20 61 63 63 6f 75 6e pos" into accoun
0260: 74 0a 7d 0a 0a 61 62 73 74 72 61 63 74 20 63 6c t.}..abstract cl
0270: 61 73 73 20 45 78 70 72 65 73 73 69 6f 6e 0a 7b ass Expression.{
0280: 0a 09 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 ..immutable LexP
0290: 6f 73 69 74 69 6f 6e 20 70 6f 73 3b 0a 09 6d 69 osition pos;..mi
02a0: 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 xin SimpleConstr
02b0: 75 63 74 6f 72 3b 0a 09 6d 69 78 69 6e 20 53 69 uctor;..mixin Si
02c0: 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 20 2f 2f 20 mpleCompare; //
02d0: 64 6f 20 6e 6f 74 20 74 61 6b 65 20 22 70 6f 73 do not take "pos
02e0: 22 20 69 6e 74 6f 20 61 63 63 6f 75 6e 74 0a 7d " into account.}
02f0: 0a 0a 63 6c 61 73 73 20 53 74 72 4c 69 74 65 72 ..class StrLiter
0300: 61 6c 45 78 70 72 65 73 73 69 6f 6e 20 3a 20 45 alExpression : E
0310: 78 70 72 65 73 73 69 6f 6e 0a 7b 0a 09 73 74 72 xpression.{..str
0320: 69 6e 67 20 64 61 74 61 3b 0a 09 6d 69 78 69 6e ing data;..mixin
0330: 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 SimpleConstruct
0340: 6f 72 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c or;..mixin Simpl
0350: 65 43 6f 6d 70 61 72 65 3b 20 2f 2f 20 64 6f 20 eCompare; // do
0360: 6e 6f 74 20 74 61 6b 65 20 22 70 6f 73 22 20 69 not take "pos" i
0370: 6e 74 6f 20 61 63 63 6f 75 6e 74 0a 7d 0a 0a 63 nto account.}..c
0380: 6c 61 73 73 20 49 6e 74 4c 69 74 65 72 61 6c 45 lass IntLiteralE
0390: 78 70 72 65 73 73 69 6f 6e 20 3a 20 45 78 70 72 xpression : Expr
03a0: 65 73 73 69 6f 6e 0a 7b 0a 09 42 69 67 49 6e 74 ession.{..BigInt
03b0: 20 64 61 74 61 3b 0a 09 6d 69 78 69 6e 20 53 69 data;..mixin Si
03c0: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
03d0: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
03e0: 6d 70 61 72 65 3b 20 2f 2f 20 64 6f 20 6e 6f 74 mpare; // do not
03f0: 20 74 61 6b 65 20 22 70 6f 73 22 20 69 6e 74 6f take "pos" into
0400: 20 61 63 63 6f 75 6e 74 0a 7d 0a 0a 63 6c 61 73 account.}..clas
0410: 73 20 56 61 72 45 78 70 72 65 73 73 69 6f 6e 20 s VarExpression
0420: 3a 20 45 78 70 72 65 73 73 69 6f 6e 0a 7b 0a 09 : Expression.{..
0430: 73 74 72 69 6e 67 20 76 61 72 3b 0a 09 6d 69 78 string var;..mix
0440: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
0450: 63 74 6f 72 3b 0a 09 6d 69 78 69 6e 20 53 69 6d ctor;..mixin Sim
0460: 70 6c 65 43 6f 6d 70 61 72 65 3b 20 2f 2f 20 64 pleCompare; // d
0470: 6f 20 6e 6f 74 20 74 61 6b 65 20 22 70 6f 73 22 o not take "pos"
0480: 20 69 6e 74 6f 20 61 63 63 6f 75 6e 74 0a 7d 0a into account.}.
0490: 0a 63 6c 61 73 73 20 41 73 73 69 67 6e 45 78 70 .class AssignExp
04a0: 72 65 73 73 69 6f 6e 20 3a 20 45 78 70 72 65 73 ression : Expres
04b0: 73 69 6f 6e 0a 7b 0a 09 45 78 70 72 65 73 73 69 sion.{..Expressi
04c0: 6f 6e 20 6c 68 73 3b 0a 09 45 78 70 72 65 73 73 on lhs;..Express
04d0: 69 6f 6e 20 72 68 73 3b 0a 09 6d 69 78 69 6e 20 ion rhs;..mixin
04e0: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
04f0: 72 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 r;..mixin Simple
0500: 43 6f 6d 70 61 72 65 3b 20 2f 2f 20 64 6f 20 6e Compare; // do n
0510: 6f 74 20 74 61 6b 65 20 22 70 6f 73 22 20 69 6e ot take "pos" in
0520: 74 6f 20 61 63 63 6f 75 6e 74 0a 7d 0a 0a 63 6c to account.}..cl
0530: 61 73 73 20 46 75 6e 63 61 6c 6c 45 78 70 72 65 ass FuncallExpre
0540: 73 73 69 6f 6e 20 3a 20 45 78 70 72 65 73 73 69 ssion : Expressi
0550: 6f 6e 0a 7b 0a 09 45 78 70 72 65 73 73 69 6f 6e on.{..Expression
0560: 20 20 20 66 75 6e 3b 0a 09 45 78 70 72 65 73 73 fun;..Express
0570: 69 6f 6e 5b 5d 20 61 72 67 73 3b 0a 09 74 68 69 ion[] args;..thi
0580: 73 28 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 s(immutable LexP
0590: 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 45 78 70 osition pos, Exp
05a0: 72 65 73 73 69 6f 6e 20 66 75 6e 2c 20 45 78 70 ression fun, Exp
05b0: 72 65 73 73 69 6f 6e 5b 5d 20 61 72 67 73 2e 2e ression[] args..
05c0: 2e 29 0a 09 09 7b 20 73 75 70 65 72 28 70 6f 73 .)...{ super(pos
05d0: 29 3b 20 74 68 69 73 2e 66 75 6e 3d 66 75 6e 3b ); this.fun=fun;
05e0: 20 74 68 69 73 2e 61 72 67 73 3d 61 72 67 73 2e this.args=args.
05f0: 64 75 70 3b 20 7d 0a 09 6d 69 78 69 6e 20 53 69 dup; }..mixin Si
0600: 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 20 2f 2f 20 mpleCompare; //
0610: 64 6f 20 6e 6f 74 20 74 61 6b 65 20 22 70 6f 73 do not take "pos
0620: 22 20 69 6e 74 6f 20 61 63 63 6f 75 6e 74 0a 7d " into account.}
0630: 0a 0a 63 6c 61 73 73 20 46 75 6e 4c 69 74 65 72 ..class FunLiter
0640: 61 6c 45 78 70 72 65 73 73 69 6f 6e 20 3a 20 45 alExpression : E
0650: 78 70 72 65 73 73 69 6f 6e 0a 7b 0a 09 73 74 72 xpression.{..str
0660: 69 6e 67 5b 5d 20 70 61 72 61 6d 73 3b 0a 09 50 ing[] params;..P
0670: 72 6f 67 72 61 6d 20 20 66 75 6e 62 6f 64 79 3b rogram funbody;
0680: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
0690: 6e 73 74 72 75 63 74 6f 72 3b 0a 09 6d 69 78 69 nstructor;..mixi
06a0: 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 3b n SimpleCompare;
06b0: 20 2f 2f 20 64 6f 20 6e 6f 74 20 74 61 6b 65 20 // do not take
06c0: 22 70 6f 73 22 20 69 6e 74 6f 20 61 63 63 6f 75 "pos" into accou
06d0: 6e 74 0a 7d 0a nt.}.