Artifact 81cf3e2a44d632391bc8befb1e80183ef0434748:
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 21 3d 22 22 20 29 20 2f 2f 20 75 6c 74 F")!="" ) // ult
0300: 72 61 20 61 64 2d 68 6f 63 0d 0a 09 09 09 09 72 ra ad-hoc......r
0310: 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 eturn false;....
0320: 09 62 75 66 20 3d 20 22 22 3b 0d 0a 09 09 09 6c .buf = "";.....l
0330: 69 6e 65 6e 6f 20 3d 20 6e 65 78 74 6c 69 6e 65 ineno = nextline
0340: 6e 6f 3b 0d 0a 09 09 09 74 68 72 6f 77 20 65 3b no;.....throw e;
0350: 0d 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 ....}....return
0360: 74 72 75 65 3b 0d 0a 09 7d 0d 0a 0d 0a 09 62 6f true;...}.....bo
0370: 6f 6c 20 73 69 6e 67 6c 65 49 6e 74 65 72 61 63 ol singleInterac
0380: 74 69 6f 6e 28 29 0d 0a 09 7b 0d 0a 09 09 77 72 tion()...{....wr
0390: 69 74 65 66 28 22 3e 3e 20 22 2c 20 6c 69 6e 65 itef(">> ", line
03a0: 6e 6f 29 3b 0d 0a 09 09 73 74 72 69 6e 67 20 6c no);....string l
03b0: 69 6e 65 20 3d 20 72 65 61 64 6c 6e 28 29 3b 0d ine = readln();.
03c0: 0a 09 09 69 66 28 20 6c 69 6e 65 2e 73 74 61 72 ...if( line.star
03d0: 74 73 57 69 74 68 28 22 65 78 69 74 22 29 20 7c tsWith("exit") |
03e0: 7c 20 6c 69 6e 65 2e 73 74 61 72 74 73 57 69 74 | line.startsWit
03f0: 68 28 22 71 75 69 74 22 29 20 29 0d 0a 09 09 09 h("quit") ).....
0400: 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 return false;...
0410: 09 74 72 79 20 7b 0d 0a 09 09 09 69 66 28 20 74 .try {.....if( t
0420: 72 79 52 75 6e 28 6c 69 6e 65 29 20 29 0d 0a 09 ryRun(line) )...
0430: 09 09 09 77 72 69 74 65 6c 6e 28 6c 61 73 74 56 ...writeln(lastV
0440: 61 6c 29 3b 0d 0a 09 09 7d 20 63 61 74 63 68 28 al);....} catch(
0450: 54 68 72 6f 77 61 62 6c 65 20 65 29 20 7b 0d 0a Throwable e) {..
0460: 09 09 09 77 72 69 74 65 6c 6e 28 65 29 3b 0d 0a ...writeln(e);..
0470: 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 ..}....return tr
0480: 75 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 76 65 ue;...}..}....ve
0490: 72 73 69 6f 6e 28 75 6e 69 74 74 65 73 74 29 20 rsion(unittest)
04a0: 7b 0d 0a 09 62 6f 6f 6c 20 73 75 63 63 65 73 73 {...bool success
04b0: 20 3d 20 66 61 6c 73 65 3b 0d 0a 09 73 74 61 74 = false;...stat
04c0: 69 63 20 7e 74 68 69 73 28 29 7b 20 69 66 28 21 ic ~this(){ if(!
04d0: 73 75 63 63 65 73 73 29 7b 77 72 69 74 65 6c 6e success){writeln
04e0: 28 22 28 70 72 65 73 73 20 65 6e 74 65 72 20 74 ("(press enter t
04f0: 6f 20 65 78 69 74 29 22 29 3b 20 72 65 61 64 6c o exit)"); readl
0500: 6e 28 29 3b 7d 20 7d 0d 0a 7d 0d 0a 0d 0a 76 6f n();} }..}....vo
0510: 69 64 20 6d 61 69 6e 28 20 73 74 72 69 6e 67 5b id main( string[
0520: 5d 20 61 72 67 73 20 29 0a 7b 0d 0a 09 76 65 72 ] args ).{...ver
0530: 73 69 6f 6e 28 75 6e 69 74 74 65 73 74 29 20 73 sion(unittest) s
0540: 75 63 63 65 73 73 3d 74 72 75 65 3b 0d 0a 0d 0a uccess=true;....
0550: 09 69 66 28 20 61 72 67 73 2e 6c 65 6e 67 74 68 .if( args.length
0560: 20 3c 3d 20 31 20 29 0d 0a 09 7b 0d 0a 09 09 77 <= 1 )...{....w
0570: 72 69 74 65 6c 6e 28 22 57 65 6c 63 6f 6d 65 20 riteln("Welcome
0580: 74 6f 20 50 6f 6c 65 6d 79 20 30 2e 31 2e 30 22 to Polemy 0.1.0"
0590: 29 3b 0d 0a 09 09 66 6f 72 28 61 75 74 6f 20 72 );....for(auto r
05a0: 20 3d 20 6e 65 77 20 52 45 50 4c 3b 20 72 2e 73 = new REPL; r.s
05b0: 69 6e 67 6c 65 49 6e 74 65 72 61 63 74 69 6f 6e ingleInteraction
05c0: 28 29 3b 29 20 7b 7d 0d 0a 09 7d 0d 0a 09 65 6c ();) {}...}...el
05d0: 73 65 0d 0a 09 7b 0d 0a 09 09 65 76 61 6c 46 69 se...{....evalFi
05e0: 6c 65 28 61 72 67 73 5b 31 5d 29 3b 0d 0a 09 7d le(args[1]);...}
05f0: 0d 0a 7d 0d 0a ..}..