Artifact 9b22488b3393157f8a276d5c40d20c612e8d36f5:
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 0d 0a 7d 0a 0a 63 6c 61 73 73 mpare;..}..class
01c0: 20 45 78 70 72 53 74 61 74 65 6d 65 6e 74 20 3a ExprStatement :
01d0: 20 53 74 61 74 65 6d 65 6e 74 0a 7b 0a 09 45 78 Statement.{..Ex
01e0: 70 72 65 73 73 69 6f 6e 20 65 78 70 72 3b 0a 09 pression expr;..
01f0: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 mixin SimpleCons
0200: 74 72 75 63 74 6f 72 3b 0a 09 6d 69 78 69 6e 20 tructor;..mixin
0210: 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 0d 0a SimpleCompare;..
0220: 7d 0a 0a 61 62 73 74 72 61 63 74 20 63 6c 61 73 }..abstract clas
0230: 73 20 45 78 70 72 65 73 73 69 6f 6e 0a 7b 0a 09 s Expression.{..
0240: 69 6d 6d 75 74 61 62 6c 65 20 4c 65 78 50 6f 73 immutable LexPos
0250: 69 74 69 6f 6e 20 70 6f 73 3b 0a 09 6d 69 78 69 ition pos;..mixi
0260: 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 n SimpleConstruc
0270: 74 6f 72 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 tor;..mixin Simp
0280: 6c 65 43 6f 6d 70 61 72 65 3b 0d 0a 7d 0a 0a 63 leCompare;..}..c
0290: 6c 61 73 73 20 53 74 72 4c 69 74 65 72 61 6c 45 lass StrLiteralE
02a0: 78 70 72 65 73 73 69 6f 6e 20 3a 20 45 78 70 72 xpression : Expr
02b0: 65 73 73 69 6f 6e 0a 7b 0a 09 73 74 72 69 6e 67 ession.{..string
02c0: 20 64 61 74 61 3b 0a 09 6d 69 78 69 6e 20 53 69 data;..mixin Si
02d0: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
02e0: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
02f0: 6d 70 61 72 65 3b 0d 0a 7d 0a 0a 63 6c 61 73 73 mpare;..}..class
0300: 20 49 6e 74 4c 69 74 65 72 61 6c 45 78 70 72 65 IntLiteralExpre
0310: 73 73 69 6f 6e 20 3a 20 45 78 70 72 65 73 73 69 ssion : Expressi
0320: 6f 6e 0a 7b 0a 09 42 69 67 49 6e 74 20 64 61 74 on.{..BigInt dat
0330: 61 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 a;..mixin Simple
0340: 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 6d 69 Constructor;..mi
0350: 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 xin SimpleCompar
0360: 65 3b 0d 0a 7d 0a 0a 63 6c 61 73 73 20 56 61 72 e;..}..class Var
0370: 45 78 70 72 65 73 73 69 6f 6e 20 3a 20 45 78 70 Expression : Exp
0380: 72 65 73 73 69 6f 6e 0a 7b 0a 09 73 74 72 69 6e ression.{..strin
0390: 67 20 76 61 72 3b 0a 09 6d 69 78 69 6e 20 53 69 g var;..mixin Si
03a0: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
03b0: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
03c0: 6d 70 61 72 65 3b 0d 0a 7d 0a 0a 63 6c 61 73 73 mpare;..}..class
03d0: 20 41 73 73 69 67 6e 45 78 70 72 65 73 73 69 6f AssignExpressio
03e0: 6e 20 3a 20 45 78 70 72 65 73 73 69 6f 6e 0a 7b n : Expression.{
03f0: 0a 09 45 78 70 72 65 73 73 69 6f 6e 20 6c 68 73 ..Expression lhs
0400: 3b 0a 09 45 78 70 72 65 73 73 69 6f 6e 20 72 68 ;..Expression rh
0410: 73 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 s;..mixin Simple
0420: 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 6d 69 Constructor;..mi
0430: 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 xin SimpleCompar
0440: 65 3b 0d 0a 7d 0a 0a 63 6c 61 73 73 20 46 75 6e e;..}..class Fun
0450: 63 61 6c 6c 45 78 70 72 65 73 73 69 6f 6e 20 3a callExpression :
0460: 20 45 78 70 72 65 73 73 69 6f 6e 0a 7b 0a 09 45 Expression.{..E
0470: 78 70 72 65 73 73 69 6f 6e 20 20 20 66 75 6e 3b xpression fun;
0480: 0a 09 45 78 70 72 65 73 73 69 6f 6e 5b 5d 20 61 ..Expression[] a
0490: 72 67 73 3b 0a 09 74 68 69 73 28 69 6d 6d 75 74 rgs;..this(immut
04a0: 61 62 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e able LexPosition
04b0: 20 70 6f 73 2c 20 45 78 70 72 65 73 73 69 6f 6e pos, Expression
04c0: 20 66 75 6e 2c 20 45 78 70 72 65 73 73 69 6f 6e fun, Expression
04d0: 5b 5d 20 61 72 67 73 2e 2e 2e 29 0a 09 09 7b 20 [] args...)...{
04e0: 73 75 70 65 72 28 70 6f 73 29 3b 20 74 68 69 73 super(pos); this
04f0: 2e 66 75 6e 3d 66 75 6e 3b 20 74 68 69 73 2e 61 .fun=fun; this.a
0500: 72 67 73 3d 61 72 67 73 2e 64 75 70 3b 20 7d 0a rgs=args.dup; }.
0510: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d .mixin SimpleCom
0520: 70 61 72 65 3b 0d 0a 7d 0a 0a 63 6c 61 73 73 20 pare;..}..class
0530: 46 75 6e 4c 69 74 65 72 61 6c 45 78 70 72 65 73 FunLiteralExpres
0540: 73 69 6f 6e 20 3a 20 45 78 70 72 65 73 73 69 6f sion : Expressio
0550: 6e 0a 7b 0a 09 73 74 72 69 6e 67 5b 5d 20 70 61 n.{..string[] pa
0560: 72 61 6d 73 3b 0a 09 50 72 6f 67 72 61 6d 20 20 rams;..Program
0570: 66 75 6e 62 6f 64 79 3b 0a 09 6d 69 78 69 6e 20 funbody;..mixin
0580: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
0590: 72 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 r;..mixin Simple
05a0: 43 6f 6d 70 61 72 65 3b 0a 7d 0a Compare;.}.