Hex Artifact Content
Not logged in

Artifact 14a3f0cd527958ce60520086d67b2004782fd9e1:


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 28 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d  2 (http://www.km
0040: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0d 0a  onos.net/nysl/..
0050: 20 2a 0d 0a 20 2a 20 45 6e 74 72 79 20 70 6f 69   *.. * Entry poi
0060: 6e 74 20 66 6f 72 20 50 6f 6c 65 6d 79 20 69 6e  nt for Polemy in
0070: 74 65 72 70 72 65 74 65 72 2e 0d 0a 20 2a 2f 0d  terpreter... */.
0080: 0a 0d 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 74  ...import std.st
0090: 64 69 6f 3b 0d 0a 69 6d 70 6f 72 74 20 73 74 64  dio;..import std
00a0: 2e 61 6c 67 6f 72 69 74 68 6d 3b 0d 0a 69 6d 70  .algorithm;..imp
00b0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 76 61 6c 75 65  ort polemy.value
00c0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79  ;..import polemy
00d0: 2e 6c 65 78 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f  .lex;..import po
00e0: 6c 65 6d 79 2e 70 61 72 73 65 3b 0d 0a 69 6d 70  lemy.parse;..imp
00f0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 61 73 74 3b 0a  ort polemy.ast;.
0100: 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 65 76  import polemy.ev
0110: 61 6c 3b 0d 0a 0d 0a 63 6c 61 73 73 20 52 45 50  al;....class REP
0120: 4c 0d 0a 7b 0d 0a 09 54 61 62 6c 65 20 63 74 78  L..{...Table ctx
0130: 3b 0d 0a 09 73 74 72 69 6e 67 20 62 75 66 3b 0d  ;...string buf;.
0140: 0a 09 56 61 6c 75 65 20 20 6c 61 73 74 56 61 6c  ..Value  lastVal
0150: 3b 0d 0a 09 69 6e 74 20 6c 69 6e 65 6e 6f 20 3d  ;...int lineno =
0160: 20 31 3b 0d 0a 09 69 6e 74 20 6e 65 78 74 6c 69   1;...int nextli
0170: 6e 65 6e 6f 20 3d 20 31 3b 0d 0a 09 74 68 69 73  neno = 1;...this
0180: 28 29 20 7b 20 63 74 78 20 3d 20 63 72 65 61 74  () { ctx = creat
0190: 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78 74 28 29  eGlobalContext()
01a0: 3b 20 7d 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79  ; }.....bool try
01b0: 52 75 6e 28 20 73 74 72 69 6e 67 20 73 20 29 0d  Run( string s ).
01c0: 0a 09 7b 0d 0a 09 09 6e 65 78 74 6c 69 6e 65 6e  ..{....nextlinen
01d0: 6f 20 2b 2b 3b 0d 0a 09 09 62 75 66 20 7e 3d 20  o ++;....buf ~= 
01e0: 73 3b 0d 0a 09 09 74 72 79 20 7b 0d 0a 09 09 09  s;....try {.....
01f0: 41 53 54 20 61 20 3d 20 70 61 72 73 65 53 74 72  AST a = parseStr
0200: 69 6e 67 28 62 75 66 2c 20 22 3c 52 45 50 4c 3e  ing(buf, "<REPL>
0210: 22 2c 20 6c 69 6e 65 6e 6f 29 3b 0d 0a 09 09 09  ", lineno);.....
0220: 62 75 66 20 3d 20 22 22 3b 0d 0a 09 09 09 6c 69  buf = "";.....li
0230: 6e 65 6e 6f 20 3d 20 6e 65 78 74 6c 69 6e 65 6e  neno = nextlinen
0240: 6f 3b 0d 0a 09 09 09 6c 61 73 74 56 61 6c 20 3d  o;.....lastVal =
0250: 20 65 76 61 6c 28 61 2c 20 63 74 78 29 3b 0d 0a   eval(a, ctx);..
0260: 09 09 7d 20 63 61 74 63 68 28 20 4c 65 78 45 78  ..} catch( LexEx
0270: 63 65 70 74 69 6f 6e 20 29 20 7b 0d 0a 09 09 09  ception ) {.....
0280: 2f 2f 20 61 6c 77 61 79 73 20 45 4f 46 20 65 78  // always EOF ex
0290: 63 65 70 74 69 6f 6e 2c 20 73 6f 20 77 61 69 74  ception, so wait
02a0: 20 6e 65 78 74 0d 0a 09 09 09 72 65 74 75 72 6e   next.....return
02b0: 20 66 61 6c 73 65 3b 0d 0a 09 09 7d 20 63 61 74   false;....} cat
02c0: 63 68 28 20 50 61 72 73 65 45 78 63 65 70 74 69  ch( ParseExcepti
02d0: 6f 6e 20 65 20 29 20 7b 0d 0a 09 09 09 69 66 28  on e ) {.....if(
02e0: 20 66 69 6e 64 28 65 2e 6d 73 67 2c 20 22 45 4f   find(e.msg, "EO
02f0: 46 22 29 20 29 20 2f 2f 20 75 6c 74 72 61 20 61  F") ) // ultra a
0300: 64 2d 68 6f 63 0d 0a 09 09 09 09 72 65 74 75 72  d-hoc......retur
0310: 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 09 74 68 72  n false;.....thr
0320: 6f 77 20 65 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65  ow e;....}....re
0330: 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d 0a  turn true;...}..
0340: 0d 0a 09 62 6f 6f 6c 20 73 69 6e 67 6c 65 49 6e  ...bool singleIn
0350: 74 65 72 61 63 74 69 6f 6e 28 29 0d 0a 09 7b 0d  teraction()...{.
0360: 0a 09 09 77 72 69 74 65 66 28 22 3e 3e 20 22 2c  ...writef(">> ",
0370: 20 6c 69 6e 65 6e 6f 29 3b 0d 0a 09 09 73 74 72   lineno);....str
0380: 69 6e 67 20 6c 69 6e 65 20 3d 20 72 65 61 64 6c  ing line = readl
0390: 6e 28 29 3b 0d 0a 09 09 69 66 28 20 6c 69 6e 65  n();....if( line
03a0: 2e 73 74 61 72 74 73 57 69 74 68 28 22 65 78 69  .startsWith("exi
03b0: 74 22 29 20 7c 7c 20 6c 69 6e 65 2e 73 74 61 72  t") || line.star
03c0: 74 73 57 69 74 68 28 22 71 75 69 74 22 29 20 29  tsWith("quit") )
03d0: 0d 0a 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73  .....return fals
03e0: 65 3b 0d 0a 09 09 74 72 79 20 7b 0d 0a 09 09 09  e;....try {.....
03f0: 69 66 28 20 74 72 79 52 75 6e 28 6c 69 6e 65 29  if( tryRun(line)
0400: 20 29 0d 0a 09 09 09 09 77 72 69 74 65 6c 6e 28   )......writeln(
0410: 6c 61 73 74 56 61 6c 29 3b 0d 0a 09 09 7d 20 63  lastVal);....} c
0420: 61 74 63 68 28 54 68 72 6f 77 61 62 6c 65 20 65  atch(Throwable e
0430: 29 20 7b 0d 0a 09 09 09 77 72 69 74 65 6c 6e 28  ) {.....writeln(
0440: 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75  e);....}....retu
0450: 72 6e 20 74 72 75 65 3b 0d 0a 09 7d 0d 0a 7d 0d  rn true;...}..}.
0460: 0a 0d 0a 76 6f 69 64 20 6d 61 69 6e 28 20 73 74  ...void main( st
0470: 72 69 6e 67 5b 5d 20 61 72 67 73 20 29 0a 7b 0d  ring[] args ).{.
0480: 0a 09 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 74  ..if( args.lengt
0490: 68 20 3c 3d 20 31 20 29 0d 0a 09 7b 0d 0a 09 09  h <= 1 )...{....
04a0: 77 72 69 74 65 6c 6e 28 22 57 65 6c 63 6f 6d 65  writeln("Welcome
04b0: 20 74 6f 20 50 6f 6c 65 6d 79 20 30 2e 31 2e 30   to Polemy 0.1.0
04c0: 22 29 3b 0d 0a 09 09 66 6f 72 28 61 75 74 6f 20  ");....for(auto 
04d0: 72 20 3d 20 6e 65 77 20 52 45 50 4c 3b 20 72 2e  r = new REPL; r.
04e0: 73 69 6e 67 6c 65 49 6e 74 65 72 61 63 74 69 6f  singleInteractio
04f0: 6e 28 29 3b 29 20 7b 7d 0d 0a 09 7d 0d 0a 09 65  n();) {}...}...e
0500: 6c 73 65 0d 0a 09 7b 0d 0a 09 09 65 76 61 6c 46  lse...{....evalF
0510: 69 6c 65 28 61 72 67 73 5b 31 5d 29 3b 0d 0a 09  ile(args[1]);...
0520: 7d 0d 0a 7d 0d 0a                                }..}..