Artifact b98f6cda3b1606b700eb0230aebf5bfec2bf4862:
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 29 0d onos.net/nysl/).
0050: 0a 20 2a 0d 0a 20 2a 20 52 65 61 64 2d 45 76 61 . *.. * Read-Eva
0060: 6c 2d 50 72 69 6e 74 2d 4c 6f 6f 70 0d 0a 20 2a l-Print-Loop.. *
0070: 2f 0d 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 /..module polemy
0080: 2e 72 65 70 6c 3b 0d 0a 69 6d 70 6f 72 74 20 70 .repl;..import p
0090: 6f 6c 65 6d 79 2e 66 61 69 6c 75 72 65 3b 0d 0a olemy.failure;..
00a0: 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 6c 61 import polemy.la
00b0: 79 65 72 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c yer;..import pol
00c0: 65 6d 79 2e 65 76 61 6c 3b 0d 0a 69 6d 70 6f 72 emy.eval;..impor
00d0: 74 20 70 6f 6c 65 6d 79 2e 72 75 6e 74 69 6d 65 t polemy.runtime
00e0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 ;..import polemy
00f0: 2e 76 61 6c 75 65 3b 0d 0a 69 6d 70 6f 72 74 20 .value;..import
0100: 70 6f 6c 65 6d 79 2e 76 61 6c 75 65 63 6f 6e 76 polemy.valueconv
0110: 3b 0d 0a 69 6d 70 6f 72 74 20 73 74 64 2e 73 74 ;..import std.st
0120: 64 69 6f 3b 0d 0a 69 6d 70 6f 72 74 20 73 74 64 dio;..import std
0130: 2e 73 74 72 69 6e 67 3b 0d 0a 69 6d 70 6f 72 74 .string;..import
0140: 20 73 74 64 2e 63 73 74 72 65 61 6d 3b 0d 0a 0d std.cstream;...
0150: 0a 65 6e 75 6d 20 56 65 72 73 69 6f 6e 4e 6f 4d .enum VersionNoM
0160: 61 6a 6f 72 20 3d 20 30 3b 20 2f 2f 2f 20 56 65 ajor = 0; /// Ve
0170: 72 73 69 6f 6e 20 4e 75 6d 62 65 72 0d 0a 65 6e rsion Number..en
0180: 75 6d 20 56 65 72 73 69 6f 6e 4e 6f 4d 69 6e 6f um VersionNoMino
0190: 72 20 3d 20 31 3b 20 2f 2f 2f 20 56 65 72 73 69 r = 1; /// Versi
01a0: 6f 6e 20 4e 75 6d 62 65 72 0d 0a 65 6e 75 6d 20 on Number..enum
01b0: 56 65 72 73 69 6f 6e 4e 6f 52 65 76 20 20 20 3d VersionNoRev =
01c0: 20 30 3b 20 2f 2f 2f 20 56 65 72 73 69 6f 6e 20 0; /// Version
01d0: 4e 75 6d 62 65 72 0d 0a 0d 0a 2f 2f 2f 20 52 65 Number..../// Re
01e0: 61 64 2d 45 76 61 6c 2d 50 72 69 6e 74 2d 4c 6f ad-Eval-Print-Lo
01f0: 6f 70 0d 0a 0d 0a 63 6c 61 73 73 20 52 45 50 4c op....class REPL
0200: 0d 0a 7b 0d 0a 09 2f 2f 2f 20 4c 6f 61 64 20 74 ..{.../// Load t
0210: 68 65 20 70 72 65 6c 75 64 65 20 65 6e 76 69 72 he prelude envir
0220: 6f 6e 6d 65 6e 74 0d 0a 09 74 68 69 73 28 73 74 onment...this(st
0230: 72 69 6e 67 5b 5d 20 61 72 67 73 29 0d 0a 09 7b ring[] args)...{
0240: 0d 0a 09 09 65 76 20 3d 20 6e 65 77 20 45 76 61 ....ev = new Eva
0250: 6c 75 61 74 6f 72 3b 0d 0a 09 09 65 76 2e 67 6c luator;....ev.gl
0260: 6f 62 61 6c 43 6f 6e 74 65 78 74 2e 73 65 74 28 obalContext.set(
0270: 22 61 72 67 76 22 2c 20 56 61 6c 75 65 4c 61 79 "argv", ValueLay
0280: 65 72 2c 20 64 32 70 6f 6c 65 6d 79 28 61 72 67 er, d2polemy(arg
0290: 73 29 29 3b 0d 0a 09 09 65 6e 72 6f 6c 6c 52 75 s));....enrollRu
02a0: 6e 74 69 6d 65 4c 69 62 72 61 72 79 28 65 76 29 ntimeLibrary(ev)
02b0: 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 50 72 ;...}...../// Pr
02c0: 69 6e 74 20 74 68 65 20 76 65 72 73 69 6f 6e 20 int the version
02d0: 6e 75 6d 62 65 72 20 65 74 63 2e 0d 0a 09 76 6f number etc....vo
02e0: 69 64 20 67 72 65 65 74 28 29 0d 0a 09 7b 0d 0a id greet()...{..
02f0: 09 09 77 72 69 74 65 66 6c 6e 28 22 57 65 6c 63 ..writefln("Welc
0300: 6f 6d 65 20 74 6f 20 50 6f 6c 65 6d 79 20 25 64 ome to Polemy %d
0310: 2e 25 64 2e 25 64 22 2c 20 56 65 72 73 69 6f 6e .%d.%d", Version
0320: 4e 6f 4d 61 6a 6f 72 2c 20 56 65 72 73 69 6f 6e NoMajor, Version
0330: 4e 6f 4d 69 6e 6f 72 2c 20 56 65 72 73 69 6f 6e NoMinor, Version
0340: 4e 6f 52 65 76 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 NoRev);...}.....
0350: 2f 2f 2f 20 52 75 6e 20 6f 6e 65 20 66 69 6c 65 /// Run one file
0360: 20 6f 6e 20 74 68 65 20 67 6c 6f 62 61 6c 20 73 on the global s
0370: 63 6f 70 65 0d 0a 09 76 6f 69 64 20 72 75 6e 46 cope...void runF
0380: 69 6c 65 28 73 74 72 69 6e 67 20 66 69 6c 65 6e ile(string filen
0390: 61 6d 65 29 0d 0a 09 7b 0d 0a 09 09 65 76 2e 65 ame)...{....ev.e
03a0: 76 61 6c 46 69 6c 65 28 66 69 6c 65 6e 61 6d 65 valFile(filename
03b0: 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 52 );...}...../// R
03c0: 65 70 65 61 74 20 74 68 65 20 73 69 6e 67 6c 65 epeat the single
03d0: 49 6e 74 65 72 61 63 74 69 6f 6e 0d 0a 09 76 6f Interaction...vo
03e0: 69 64 20 72 65 70 6c 4c 6f 6f 70 28 29 0d 0a 09 id replLoop()...
03f0: 7b 0d 0a 09 09 77 68 69 6c 65 28 20 73 69 6e 67 {....while( sing
0400: 6c 65 49 6e 74 65 72 61 63 74 69 6f 6e 28 29 20 leInteraction()
0410: 29 20 7b 7d 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f ) {}...}.....///
0420: 20 52 65 61 64 20 6f 6e 65 20 6c 69 6e 65 20 66 Read one line f
0430: 72 6f 6d 20 73 74 64 69 6e 2c 20 61 6e 64 20 64 rom stdin, and d
0440: 6f 20 73 6f 6d 65 20 72 65 61 63 74 69 6f 6e 0d o some reaction.
0450: 0a 09 62 6f 6f 6c 20 73 69 6e 67 6c 65 49 6e 74 ..bool singleInt
0460: 65 72 61 63 74 69 6f 6e 28 29 0d 0a 09 7b 0d 0a eraction()...{..
0470: 09 09 77 72 69 74 65 66 28 22 3e 3e 20 22 2c 20 ..writef(">> ",
0480: 6c 69 6e 65 6e 6f 29 3b 0d 0a 09 09 73 74 72 69 lineno);....stri
0490: 6e 67 20 6c 69 6e 65 20 3d 20 72 65 61 64 6c 6e ng line = readln
04a0: 28 29 3b 0d 0a 09 09 69 66 28 20 6c 69 6e 65 2e ();....if( line.
04b0: 73 74 61 72 74 73 57 69 74 68 28 22 65 78 69 74 startsWith("exit
04c0: 22 29 20 7c 7c 20 6c 69 6e 65 2e 73 74 61 72 74 ") || line.start
04d0: 73 57 69 74 68 28 22 71 75 69 74 22 29 20 7c 7c sWith("quit") ||
04e0: 20 64 69 6e 2e 65 6f 66 28 29 20 29 0d 0a 09 09 din.eof() )....
04f0: 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b 0d 0a .return false;..
0500: 09 09 74 72 79 20 7b 0d 0a 09 09 09 69 66 28 20 ..try {.....if(
0510: 74 72 79 52 75 6e 28 6c 69 6e 65 29 20 29 0d 0a tryRun(line) )..
0520: 09 09 09 09 77 72 69 74 65 6c 6e 28 6c 61 73 74 ....writeln(last
0530: 56 61 6c 29 3b 0d 0a 09 09 7d 20 63 61 74 63 68 Val);....} catch
0540: 28 54 68 72 6f 77 61 62 6c 65 20 65 29 20 7b 0d (Throwable e) {.
0550: 0a 09 09 09 77 72 69 74 65 6c 6e 28 65 29 3b 0d ....writeln(e);.
0560: 0a 09 09 7d 0d 0a 09 09 72 65 74 75 72 6e 20 74 ...}....return t
0570: 72 75 65 3b 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 rue;...}....priv
0580: 61 74 65 3a 0d 0a 09 45 76 61 6c 75 61 74 6f 72 ate:...Evaluator
0590: 20 65 76 3b 0d 0a 09 54 61 62 6c 65 20 63 74 78 ev;...Table ctx
05a0: 3b 0d 0a 09 73 74 72 69 6e 67 20 62 75 66 3b 0d ;...string buf;.
05b0: 0a 09 56 61 6c 75 65 20 20 6c 61 73 74 56 61 6c ..Value lastVal
05c0: 3b 0d 0a 09 69 6e 74 20 6c 69 6e 65 6e 6f 20 3d ;...int lineno =
05d0: 20 31 3b 0d 0a 09 69 6e 74 20 6e 65 78 74 6c 69 1;...int nextli
05e0: 6e 65 6e 6f 20 3d 20 31 3b 0d 0a 0d 0a 09 62 6f neno = 1;.....bo
05f0: 6f 6c 20 74 72 79 52 75 6e 28 20 73 74 72 69 6e ol tryRun( strin
0600: 67 20 73 20 29 0d 0a 09 7b 0d 0a 09 09 73 63 6f g s )...{....sco
0610: 70 65 28 66 61 69 6c 75 72 65 29 0d 0a 09 09 09 pe(failure).....
0620: 7b 20 62 75 66 20 3d 20 22 22 3b 20 6c 69 6e 65 { buf = ""; line
0630: 6e 6f 20 3d 20 6e 65 78 74 6c 69 6e 65 6e 6f 3b no = nextlineno;
0640: 20 7d 0d 0a 0d 0a 09 09 62 75 66 20 7e 3d 20 73 }......buf ~= s
0650: 3b 0d 0a 09 09 6e 65 78 74 6c 69 6e 65 6e 6f 20 ;....nextlineno
0660: 2b 2b 3b 0d 0a 09 09 74 72 79 20 0d 0a 09 09 09 ++;....try .....
0670: 7b 20 6c 61 73 74 56 61 6c 20 3d 20 65 76 2e 65 { lastVal = ev.e
0680: 76 61 6c 53 74 72 69 6e 67 28 62 75 66 2c 20 22 valString(buf, "
0690: 3c 52 45 50 4c 3e 22 2c 20 6c 69 6e 65 6e 6f 29 <REPL>", lineno)
06a0: 3b 20 7d 0d 0a 09 09 63 61 74 63 68 28 20 55 6e ; }....catch( Un
06b0: 65 78 70 65 63 74 65 64 45 4f 46 20 29 0d 0a 09 expectedEOF )...
06c0: 09 09 7b 20 72 65 74 75 72 6e 20 66 61 6c 73 65 ..{ return false
06d0: 3b 20 7d 20 2f 2f 20 77 61 69 74 0d 0a 09 09 62 ; } // wait....b
06e0: 75 66 20 3d 20 22 22 3b 0d 0a 09 09 6c 69 6e 65 uf = "";....line
06f0: 6e 6f 20 3d 20 6e 65 78 74 6c 69 6e 65 6e 6f 3b no = nextlineno;
0700: 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b ....return true;
0710: 0d 0a 09 7d 0d 0a 7d 0d 0a ...}..}..