Hex Artifact Content
Not logged in

Artifact 2e3f1e0044f7841fa7e00a9d1275ceec975c20ab:


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 69 6d 70 6f 72 74 20 70 6f 6c 65  re;..import pole
00d0: 6d 79 2e 6c 61 79 65 72 3b 0d 0a 0d 0a 2f 2f 2f  my.layer;....///
00e0: 0d 0a 61 62 73 74 72 61 63 74 20 63 6c 61 73 73  ..abstract class
00f0: 20 41 53 54 0a 7b 0a 09 4c 65 78 50 6f 73 69 74   AST.{..LexPosit
0100: 69 6f 6e 20 70 6f 73 3b 0a 0d 0a 09 6d 69 78 69  ion pos;....mixi
0110: 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63  n SimpleConstruc
0120: 74 6f 72 3b 0d 0a 7d 0a 0a 2f 2f 2f 0d 0a 63 6c  tor;..}..///..cl
0130: 61 73 73 20 49 6e 74 20 3a 20 41 53 54 0d 0a 7b  ass Int : AST..{
0140: 0d 0a 09 42 69 67 49 6e 74 20 64 61 74 61 3b 0d  ...BigInt data;.
0150: 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65  ....mixin Simple
0160: 43 6c 61 73 73 3b 0d 0a 09 74 68 69 73 28 4c 65  Class;...this(Le
0170: 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 69  xPosition pos, i
0180: 6e 74 20 6e 29 20 7b 73 75 70 65 72 28 70 6f 73  nt n) {super(pos
0190: 29 3b 20 64 61 74 61 20 3d 20 6e 3b 7d 0d 0a 09  ); data = n;}...
01a0: 74 68 69 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e  this(LexPosition
01b0: 20 70 6f 73 2c 20 6c 6f 6e 67 20 6e 29 20 7b 73   pos, long n) {s
01c0: 75 70 65 72 28 70 6f 73 29 3b 20 64 61 74 61 20  uper(pos); data 
01d0: 3d 20 6e 3b 7d 0d 0a 09 74 68 69 73 28 4c 65 78  = n;}...this(Lex
01e0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 42 69  Position pos, Bi
01f0: 67 49 6e 74 20 6e 29 20 7b 73 75 70 65 72 28 70  gInt n) {super(p
0200: 6f 73 29 3b 20 64 61 74 61 20 3d 20 6e 3b 7d 0d  os); data = n;}.
0210: 0a 09 74 68 69 73 28 4c 65 78 50 6f 73 69 74 69  ..this(LexPositi
0220: 6f 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6e  on pos, string n
0230: 29 20 7b 73 75 70 65 72 28 70 6f 73 29 3b 20 64  ) {super(pos); d
0240: 61 74 61 20 3d 20 42 69 67 49 6e 74 28 6e 29 3b  ata = BigInt(n);
0250: 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61  }..}....///..cla
0260: 73 73 20 53 74 72 20 3a 20 41 53 54 0a 7b 0a 09  ss Str : AST.{..
0270: 73 74 72 69 6e 67 20 64 61 74 61 3b 0a 0d 0a 09  string data;....
0280: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c 61 73  mixin SimpleClas
0290: 73 3b 0d 0a 7d 0a 0a 2f 2f 2f 0d 0a 63 6c 61 73  s;..}..///..clas
02a0: 73 20 56 61 72 20 3a 20 41 53 54 0d 0a 7b 0d 0a  s Var : AST..{..
02b0: 09 73 74 72 69 6e 67 20 6e 61 6d 65 3b 0d 0a 0d  .string name;...
02c0: 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6c  ..mixin SimpleCl
02d0: 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 0d 0a  ass;..}....///..
02e0: 63 6c 61 73 73 20 4c 61 79 20 3a 20 41 53 54 0d  class Lay : AST.
02f0: 0a 7b 0d 0a 09 4c 61 79 65 72 20 6c 61 79 65 72  .{...Layer layer
0300: 3b 0d 0a 09 41 53 54 20 20 20 65 78 70 72 3b 0d  ;...AST   expr;.
0310: 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65  ....mixin Simple
0320: 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f  Class;..}....///
0330: 0d 0a 63 6c 61 73 73 20 4c 65 74 20 3a 20 41 53  ..class Let : AS
0340: 54 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 6e 61  T..{...string na
0350: 6d 65 3b 0d 0a 09 4c 61 79 65 72 20 20 6c 61 79  me;...Layer  lay
0360: 65 72 3b 0d 0a 09 41 53 54 20 20 20 20 69 6e 69  er;...AST    ini
0370: 74 3b 0d 0a 09 41 53 54 20 20 20 20 65 78 70 72  t;...AST    expr
0380: 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70  ;.....mixin Simp
0390: 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d 0a 0d 0a 2f  leClass;..}..../
03a0: 2f 2f 0d 0a 63 6c 61 73 73 20 41 70 70 20 3a 20  //..class App : 
03b0: 41 53 54 0a 7b 0a 09 41 53 54 20 20 20 66 75 6e  AST.{..AST   fun
03c0: 3b 0a 09 41 53 54 5b 5d 20 61 72 67 73 3b 0d 0a  ;..AST[] args;..
03d0: 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43  ...mixin SimpleC
03e0: 6c 61 73 73 3b 0d 0a 09 74 68 69 73 28 4c 65 78  lass;...this(Lex
03f0: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 41 53  Position pos, AS
0400: 54 20 66 75 6e 2c 20 41 53 54 5b 5d 20 61 72 67  T fun, AST[] arg
0410: 73 2e 2e 2e 29 20 7b 20 73 75 70 65 72 28 70 6f  s...) { super(po
0420: 73 29 3b 20 74 68 69 73 2e 66 75 6e 3d 66 75 6e  s); this.fun=fun
0430: 3b 20 74 68 69 73 2e 61 72 67 73 3d 61 72 67 73  ; this.args=args
0440: 2e 64 75 70 3b 20 7d 0a 7d 0a 0d 0a 2f 2f 2f 0d  .dup; }.}...///.
0450: 0a 63 6c 61 73 73 20 50 61 72 61 6d 65 74 65 72  .class Parameter
0460: 0d 0a 7b 0d 0a 09 73 74 72 69 6e 67 20 20 6e 61  ..{...string  na
0470: 6d 65 3b 0d 0a 09 4c 61 79 65 72 5b 5d 20 6c 61  me;...Layer[] la
0480: 79 65 72 73 3b 0d 0a 0d 0a 09 6d 69 78 69 6e 20  yers;.....mixin 
0490: 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 7d 0d  SimpleClass;..}.
04a0: 0a 0d 0a 2f 2f 2f 0d 0a 63 6c 61 73 73 20 46 75  ...///..class Fu
04b0: 6e 20 3a 20 41 53 54 0d 0a 7b 0d 0a 09 50 61 72  n : AST..{...Par
04c0: 61 6d 65 74 65 72 5b 5d 20 70 61 72 61 6d 73 3b  ameter[] params;
04d0: 0d 0a 09 41 53 54 20 20 20 20 20 20 20 20 20 66  ...AST         f
04e0: 75 6e 62 6f 64 79 3b 0d 0a 0d 0a 09 6d 69 78 69  unbody;.....mixi
04f0: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a  n SimpleClass;..
0500: 7d 0d 0a 0d 0a 2f 2f 2f 20 4c 69 73 74 20 6f 66  }..../// List of
0510: 20 41 53 54 20 54 79 70 65 73 0d 0a 0d 0a 61 6c   AST Types....al
0520: 69 61 73 20 54 79 70 65 54 75 70 6c 65 21 28 49  ias TypeTuple!(I
0530: 6e 74 2c 53 74 72 2c 56 61 72 2c 4c 61 79 2c 4c  nt,Str,Var,Lay,L
0540: 65 74 2c 41 70 70 2c 46 75 6e 29 20 4c 69 73 74  et,App,Fun) List
0550: 4f 66 41 53 54 54 79 70 65 73 3b 0d 0a 0d 0a 2f  OfASTTypes;..../
0560: 2f 2f 20 48 61 6e 64 79 20 47 65 6e 65 72 61 74  // Handy Generat
0570: 6f 72 20 66 6f 72 20 41 53 54 20 6e 6f 64 65 73  or for AST nodes
0580: 2e 20 54 6f 20 75 73 65 20 74 68 69 73 2c 20 6d  . To use this, m
0590: 69 78 69 6e 20 45 61 73 79 41 73 74 3b 0d 0a 0d  ixin EasyAst;...
05a0: 0a 2f 2a 6d 69 78 69 6e 2a 2f 0d 0a 74 65 6d 70  ./*mixin*/..temp
05b0: 6c 61 74 65 20 45 61 73 79 41 53 54 28 29 0d 0a  late EasyAST()..
05c0: 7b 0d 0a 09 2f 2f 2f 0d 0a 09 74 65 6d 70 6c 61  {...///...templa
05d0: 74 65 20 67 65 6e 45 61 73 74 28 54 29 0d 0a 09  te genEast(T)...
05e0: 09 7b 20 54 20 67 65 6e 45 61 73 74 28 50 2e 2e  .{ T genEast(P..
05f0: 2e 29 28 50 20 70 73 29 20 7b 20 72 65 74 75 72  .)(P ps) { retur
0600: 6e 20 6e 65 77 20 54 28 4c 65 78 50 6f 73 69 74  n new T(LexPosit
0610: 69 6f 6e 2e 64 75 6d 6d 79 2c 20 70 73 29 3b 20  ion.dummy, ps); 
0620: 7d 20 7d 0d 0a 0d 0a 09 61 6c 69 61 73 20 67 65  } }.....alias ge
0630: 6e 45 61 73 74 21 53 74 72 20 73 74 72 6c 3b 20  nEast!Str strl; 
0640: 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45  ///...alias genE
0650: 61 73 74 21 49 6e 74 20 69 6e 74 6c 3b 20 2f 2f  ast!Int intl; //
0660: 2f 0d 0a 09 61 75 74 6f 20 66 75 6e 28 73 74 72  /...auto fun(str
0670: 69 6e 67 5b 5d 20 78 73 2c 20 41 53 54 20 70 73  ing[] xs, AST ps
0680: 29 20 7b 0d 0a 09 09 72 65 74 75 72 6e 20 67 65  ) {....return ge
0690: 6e 45 61 73 74 21 46 75 6e 28 61 72 72 61 79 28  nEast!Fun(array(
06a0: 6d 61 70 21 28 28 73 74 72 69 6e 67 20 78 29 7b  map!((string x){
06b0: 72 65 74 75 72 6e 20 6e 65 77 20 50 61 72 61 6d  return new Param
06c0: 65 74 65 72 28 78 2c 5b 5d 29 3b 7d 29 28 78 73  eter(x,[]);})(xs
06d0: 29 29 2c 70 73 29 3b 20 7d 0d 0a 09 61 75 74 6f  )),ps); }...auto
06e0: 20 66 75 6e 70 28 50 61 72 61 6d 65 74 65 72 5b   funp(Parameter[
06f0: 5d 20 78 73 2c 20 41 53 54 20 70 73 29 20 7b 20  ] xs, AST ps) { 
0700: 72 65 74 75 72 6e 20 67 65 6e 45 61 73 74 21 46  return genEast!F
0710: 75 6e 28 78 73 2c 70 73 29 3b 20 7d 20 2f 2f 2f  un(xs,ps); } ///
0720: 0d 0a 09 61 6c 69 61 73 20 67 65 6e 45 61 73 74  ...alias genEast
0730: 21 56 61 72 20 76 61 72 3b 20 2f 2f 2f 0d 0a 09  !Var var; ///...
0740: 61 6c 69 61 73 20 67 65 6e 45 61 73 74 21 4c 61  alias genEast!La
0750: 79 20 6c 61 79 3b 20 2f 2f 2f 0d 0a 09 61 6c 69  y lay; ///...ali
0760: 61 73 20 67 65 6e 45 61 73 74 21 4c 65 74 20 6c  as genEast!Let l
0770: 65 74 3b 20 2f 2f 2f 0d 0a 09 61 6c 69 61 73 20  et; ///...alias 
0780: 67 65 6e 45 61 73 74 21 41 70 70 20 63 61 6c 6c  genEast!App call
0790: 3b 20 2f 2f 2f 0d 0a 09 61 75 74 6f 20 70 61 72  ; ///...auto par
07a0: 61 6d 28 73 74 72 69 6e 67 20 6e 61 6d 65 2c 20  am(string name, 
07b0: 73 74 72 69 6e 67 5b 5d 20 6c 61 79 2e 2e 2e 29  string[] lay...)
07c0: 20 7b 20 72 65 74 75 72 6e 20 6e 65 77 20 50 61   { return new Pa
07d0: 72 61 6d 65 74 65 72 28 6e 61 6d 65 2c 20 6c 61  rameter(name, la
07e0: 79 29 3b 20 7d 20 2f 2f 2f 0d 0a 7d 0d 0a        y); } ///..}..