Hex Artifact Content
Not logged in

Artifact 636370f08c051cf2b13d8cae1cbfc2e8adfb9937:


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 45 6e 74 72 79 20 70 6f  . *.. * Entry po
0060: 69 6e 74 20 66 6f 72 20 50 6f 6c 65 6d 79 20 69  int for Polemy i
0070: 6e 74 65 72 70 72 65 74 65 72 2e 0d 0a 20 2a 2f  nterpreter... */
0080: 0d 0a 6d 6f 64 75 6c 65 20 6d 61 69 6e 3b 0d 0a  ..module main;..
0090: 69 6d 70 6f 72 74 20 73 74 64 2e 73 74 64 69 6f  import std.stdio
00a0: 3b 0d 0a 69 6d 70 6f 72 74 20 73 74 64 2e 61 6c  ;..import std.al
00b0: 67 6f 72 69 74 68 6d 3b 0d 0a 69 6d 70 6f 72 74  gorithm;..import
00c0: 20 73 74 64 2e 61 72 72 61 79 3b 0d 0a 69 6d 70   std.array;..imp
00d0: 6f 72 74 20 70 6f 6c 65 6d 79 2e 76 61 6c 75 65  ort polemy.value
00e0: 3b 0d 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79  ;..import polemy
00f0: 2e 66 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72  .failure;..impor
0100: 74 20 70 6f 6c 65 6d 79 2e 70 61 72 73 65 3b 0d  t polemy.parse;.
0110: 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 61  .import polemy.a
0120: 73 74 3b 0a 69 6d 70 6f 72 74 20 70 6f 6c 65 6d  st;.import polem
0130: 79 2e 65 76 61 6c 3b 0d 0a 69 6d 70 6f 72 74 20  y.eval;..import 
0140: 70 6f 6c 65 6d 79 2e 6c 61 79 65 72 3b 0d 0a 0d  polemy.layer;...
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 0d 0a 65 6e 75 6d 20  ajor = 0;..enum 
0170: 56 65 72 73 69 6f 6e 4e 6f 4d 69 6e 6f 72 20 3d  VersionNoMinor =
0180: 20 31 3b 0d 0a 65 6e 75 6d 20 56 65 72 73 69 6f   1;..enum Versio
0190: 6e 4e 6f 52 65 76 20 20 20 3d 20 30 3b 0d 0a 0d  nNoRev   = 0;...
01a0: 0a 2f 2f 2f 20 52 65 61 64 2d 45 76 61 6c 2d 50  ./// Read-Eval-P
01b0: 72 69 6e 74 2d 4c 6f 6f 70 0d 0a 0d 0a 63 6c 61  rint-Loop....cla
01c0: 73 73 20 52 45 50 4c 0d 0a 7b 0d 0a 09 2f 2f 2f  ss REPL..{...///
01d0: 20 4c 6f 61 64 20 74 68 65 20 70 72 65 6c 75 64   Load the prelud
01e0: 65 20 65 6e 76 69 72 6f 6e 6d 65 6e 74 0d 0a 09  e environment...
01f0: 74 68 69 73 28 29 0d 0a 09 7b 0d 0a 09 09 63 74  this()...{....ct
0200: 78 20 3d 20 63 72 65 61 74 65 47 6c 6f 62 61 6c  x = createGlobal
0210: 43 6f 6e 74 65 78 74 28 29 3b 0d 0a 09 7d 0d 0a  Context();...}..
0220: 0d 0a 09 2f 2f 2f 20 50 72 69 6e 74 20 74 68 65  .../// Print the
0230: 20 76 65 72 73 69 6f 6e 20 6e 75 6d 62 65 72 20   version number 
0240: 65 74 63 2e 0d 0a 09 76 6f 69 64 20 67 72 65 65  etc....void gree
0250: 74 28 29 0d 0a 09 7b 0d 0a 09 09 77 72 69 74 65  t()...{....write
0260: 66 6c 6e 28 22 57 65 6c 63 6f 6d 65 20 74 6f 20  fln("Welcome to 
0270: 50 6f 6c 65 6d 79 20 25 64 2e 25 64 2e 25 64 22  Polemy %d.%d.%d"
0280: 2c 20 56 65 72 73 69 6f 6e 4e 6f 4d 61 6a 6f 72  , VersionNoMajor
0290: 2c 20 56 65 72 73 69 6f 6e 4e 6f 4d 69 6e 6f 72  , VersionNoMinor
02a0: 2c 20 56 65 72 73 69 6f 6e 4e 6f 52 65 76 29 3b  , VersionNoRev);
02b0: 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f 20 52 75 6e  ...}...../// Run
02c0: 20 6f 6e 65 20 66 69 6c 65 20 6f 6e 20 74 68 65   one file on the
02d0: 20 67 6c 6f 62 61 6c 20 73 63 6f 70 65 0d 0a 09   global scope...
02e0: 76 6f 69 64 20 72 75 6e 46 69 6c 65 28 73 74 72  void runFile(str
02f0: 69 6e 67 20 66 69 6c 65 6e 61 6d 65 29 0d 0a 09  ing filename)...
0300: 7b 0d 0a 09 09 65 76 61 6c 28 70 61 72 73 65 46  {....eval(parseF
0310: 69 6c 65 28 66 69 6c 65 6e 61 6d 65 29 2c 20 63  ile(filename), c
0320: 74 78 2c 20 66 61 6c 73 65 2c 20 56 61 6c 75 65  tx, false, Value
0330: 4c 61 79 65 72 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09  Layer);...}.....
0340: 2f 2f 2f 20 52 65 70 65 61 74 20 74 68 65 20 73  /// Repeat the s
0350: 69 6e 67 6c 65 49 6e 74 65 72 61 63 74 69 6f 6e  ingleInteraction
0360: 0d 0a 09 76 6f 69 64 20 72 65 70 6c 4c 6f 6f 70  ...void replLoop
0370: 28 29 0d 0a 09 7b 0d 0a 09 09 77 68 69 6c 65 28  ()...{....while(
0380: 20 73 69 6e 67 6c 65 49 6e 74 65 72 61 63 74 69   singleInteracti
0390: 6f 6e 28 29 20 29 20 7b 7d 0d 0a 09 7d 0d 0a 0d  on() ) {}...}...
03a0: 0a 09 2f 2f 2f 20 52 65 61 64 20 6f 6e 65 20 6c  ../// Read one l
03b0: 69 6e 65 20 66 72 6f 6d 20 73 74 64 69 6e 2c 20  ine from stdin, 
03c0: 61 6e 64 20 64 6f 20 73 6f 6d 65 20 72 65 61 63  and do some reac
03d0: 74 69 6f 6e 0d 0a 09 62 6f 6f 6c 20 73 69 6e 67  tion...bool sing
03e0: 6c 65 49 6e 74 65 72 61 63 74 69 6f 6e 28 29 0d  leInteraction().
03f0: 0a 09 7b 0d 0a 09 09 77 72 69 74 65 66 28 22 3e  ..{....writef(">
0400: 3e 20 22 2c 20 6c 69 6e 65 6e 6f 29 3b 0d 0a 09  > ", lineno);...
0410: 09 73 74 72 69 6e 67 20 6c 69 6e 65 20 3d 20 72  .string line = r
0420: 65 61 64 6c 6e 28 29 3b 0d 0a 09 09 69 66 28 20  eadln();....if( 
0430: 6c 69 6e 65 2e 73 74 61 72 74 73 57 69 74 68 28  line.startsWith(
0440: 22 65 78 69 74 22 29 20 7c 7c 20 6c 69 6e 65 2e  "exit") || line.
0450: 73 74 61 72 74 73 57 69 74 68 28 22 71 75 69 74  startsWith("quit
0460: 22 29 20 29 0d 0a 09 09 09 72 65 74 75 72 6e 20  ") ).....return 
0470: 66 61 6c 73 65 3b 0d 0a 09 09 74 72 79 20 7b 0d  false;....try {.
0480: 0a 09 09 09 69 66 28 20 74 72 79 52 75 6e 28 6c  ....if( tryRun(l
0490: 69 6e 65 29 20 29 0d 0a 09 09 09 09 77 72 69 74  ine) )......writ
04a0: 65 6c 6e 28 6c 61 73 74 56 61 6c 29 3b 0d 0a 09  eln(lastVal);...
04b0: 09 7d 20 63 61 74 63 68 28 54 68 72 6f 77 61 62  .} catch(Throwab
04c0: 6c 65 20 65 29 20 7b 0d 0a 09 09 09 77 72 69 74  le e) {.....writ
04d0: 65 6c 6e 28 65 29 3b 0d 0a 09 09 7d 0d 0a 09 09  eln(e);....}....
04e0: 72 65 74 75 72 6e 20 74 72 75 65 3b 0d 0a 09 7d  return true;...}
04f0: 0d 0a 0d 0a 70 72 69 76 61 74 65 3a 0d 0a 09 54  ....private:...T
0500: 61 62 6c 65 20 63 74 78 3b 0d 0a 09 73 74 72 69  able ctx;...stri
0510: 6e 67 20 62 75 66 3b 0d 0a 09 56 61 6c 75 65 20  ng buf;...Value 
0520: 20 6c 61 73 74 56 61 6c 3b 0d 0a 09 69 6e 74 20   lastVal;...int 
0530: 6c 69 6e 65 6e 6f 20 3d 20 31 3b 0d 0a 09 69 6e  lineno = 1;...in
0540: 74 20 6e 65 78 74 6c 69 6e 65 6e 6f 20 3d 20 31  t nextlineno = 1
0550: 3b 0d 0a 0d 0a 09 62 6f 6f 6c 20 74 72 79 52 75  ;.....bool tryRu
0560: 6e 28 20 73 74 72 69 6e 67 20 73 20 29 0d 0a 09  n( string s )...
0570: 7b 0d 0a 09 09 73 63 6f 70 65 28 66 61 69 6c 75  {....scope(failu
0580: 72 65 29 0d 0a 09 09 09 7b 20 62 75 66 20 3d 20  re).....{ buf = 
0590: 22 22 3b 20 6c 69 6e 65 6e 6f 20 3d 20 6e 65 78  ""; lineno = nex
05a0: 74 6c 69 6e 65 6e 6f 3b 20 7d 0d 0a 0d 0a 09 09  tlineno; }......
05b0: 62 75 66 20 7e 3d 20 73 3b 0d 0a 09 09 6e 65 78  buf ~= s;....nex
05c0: 74 6c 69 6e 65 6e 6f 20 2b 2b 3b 0d 0a 09 09 74  tlineno ++;....t
05d0: 72 79 20 0d 0a 09 09 09 7b 20 6c 61 73 74 56 61  ry .....{ lastVa
05e0: 6c 20 3d 20 65 76 61 6c 28 70 61 72 73 65 53 74  l = eval(parseSt
05f0: 72 69 6e 67 28 62 75 66 2c 20 22 3c 52 45 50 4c  ring(buf, "<REPL
0600: 3e 22 2c 20 6c 69 6e 65 6e 6f 29 2c 20 63 74 78  >", lineno), ctx
0610: 2c 20 66 61 6c 73 65 2c 20 56 61 6c 75 65 4c 61  , false, ValueLa
0620: 79 65 72 29 3b 20 7d 0d 0a 09 09 63 61 74 63 68  yer); }....catch
0630: 28 20 55 6e 65 78 70 65 63 74 65 64 45 4f 46 20  ( UnexpectedEOF 
0640: 29 0d 0a 09 09 09 7b 20 72 65 74 75 72 6e 20 66  ).....{ return f
0650: 61 6c 73 65 3b 20 7d 20 2f 2f 20 77 61 69 74 0d  alse; } // wait.
0660: 0a 09 09 62 75 66 20 3d 20 22 22 3b 0d 0a 09 09  ...buf = "";....
0670: 6c 69 6e 65 6e 6f 20 3d 20 6e 65 78 74 6c 69 6e  lineno = nextlin
0680: 65 6e 6f 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74  eno;....return t
0690: 72 75 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 2f  rue;...}..}..../
06a0: 2f 2f 20 41 64 76 61 6e 63 65 20 61 72 67 73 5b  // Advance args[
06b0: 5d 20 74 6f 20 70 6f 69 6e 74 20 74 68 65 20 61  ] to point the a
06c0: 72 67 75 6d 65 6e 74 20 6c 69 73 74 20 66 65 64  rgument list fed
06d0: 20 74 6f 20 74 68 65 20 73 63 72 69 70 74 2e 0d   to the script..
06e0: 0a 2f 2f 2f 20 52 65 74 75 72 6e 73 20 74 68 65  ./// Returns the
06f0: 20 6e 61 6d 65 20 6f 66 20 74 68 65 20 73 6f 75   name of the sou
0700: 72 63 65 20 66 69 6c 65 20 74 6f 20 72 75 6e 2c  rce file to run,
0710: 20 6f 72 20 72 65 74 75 72 6e 73 20 22 22 20 69   or returns "" i
0720: 66 0d 0a 2f 2f 2f 20 6e 6f 20 66 69 6c 65 6e 61  f../// no filena
0730: 6d 65 20 77 61 73 20 67 69 76 65 6e 2e 20 41 6c  me was given. Al
0740: 73 6f 2c 20 72 65 74 75 72 6e 73 20 74 6f 20 6c  so, returns to l
0750: 69 62 73 5b 5d 20 74 68 65 20 6c 69 73 74 20 6f  ibs[] the list o
0760: 66 0d 0a 2f 2f 2f 20 6c 69 62 72 61 72 79 20 73  f../// library s
0770: 6f 75 72 63 65 20 74 6f 20 6c 6f 61 64 2e 0d 0a  ource to load...
0780: 0d 0a 73 74 72 69 6e 67 20 70 61 72 73 65 41 72  ..string parseAr
0790: 67 76 28 72 65 66 20 73 74 72 69 6e 67 5b 5d 20  gv(ref string[] 
07a0: 61 72 67 73 2c 20 6f 75 74 20 73 74 72 69 6e 67  args, out string
07b0: 5b 5d 20 6c 69 62 73 29 0d 0a 7b 0d 0a 09 61 72  [] libs)..{...ar
07c0: 67 73 2e 70 6f 70 46 72 6f 6e 74 28 29 3b 0d 0a  gs.popFront();..
07d0: 0d 0a 09 77 68 69 6c 65 28 20 21 61 72 67 73 2e  ...while( !args.
07e0: 65 6d 70 74 79 20 26 26 20 61 72 67 73 2e 66 72  empty && args.fr
07f0: 6f 6e 74 3d 3d 22 2d 6c 22 20 29 20 7b 0d 0a 09  ont=="-l" ) {...
0800: 09 61 72 67 73 2e 70 6f 70 46 72 6f 6e 74 28 29  .args.popFront()
0810: 3b 0d 0a 09 09 69 66 28 20 21 61 72 67 73 2e 65  ;....if( !args.e
0820: 6d 70 74 79 20 29 20 7b 0d 0a 09 09 09 6c 69 62  mpty ) {.....lib
0830: 73 20 7e 3d 20 61 72 67 73 2e 66 72 6f 6e 74 28  s ~= args.front(
0840: 29 3b 0d 0a 09 09 09 61 72 67 73 2e 70 6f 70 46  );.....args.popF
0850: 72 6f 6e 74 28 29 3b 0d 0a 09 09 7d 0d 0a 09 7d  ront();....}...}
0860: 0d 0a 0d 0a 09 69 66 28 20 61 72 67 73 2e 65 6d  .....if( args.em
0870: 70 74 79 20 29 0d 0a 09 09 72 65 74 75 72 6e 20  pty )....return 
0880: 22 22 3b 0d 0a 09 65 6c 73 65 20 7b 0d 0a 09 09  "";...else {....
0890: 73 63 6f 70 65 28 65 78 69 74 29 20 61 72 67 73  scope(exit) args
08a0: 2e 70 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65  .popFront;....re
08b0: 74 75 72 6e 20 61 72 67 73 2e 66 72 6f 6e 74 3b  turn args.front;
08c0: 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 45  ...}..}..../// E
08d0: 6e 74 72 79 20 70 6f 69 6e 74 2e 0d 0a 0d 0a 76  ntry point.....v
08e0: 6f 69 64 20 6d 61 69 6e 28 20 73 74 72 69 6e 67  oid main( string
08f0: 5b 5d 20 61 72 67 73 20 29 0a 7b 0d 0a 09 73 74  [] args ).{...st
0900: 72 69 6e 67 5b 5d 20 6c 69 62 73 3b 0d 0a 09 73  ring[] libs;...s
0910: 74 72 69 6e 67 20 20 20 73 72 63 20 3d 20 70 61  tring   src = pa
0920: 72 73 65 41 72 67 76 28 61 72 67 73 2c 20 6c 69  rseArgv(args, li
0930: 62 73 29 3b 0d 0a 0d 0a 09 61 75 74 6f 20 72 20  bs);.....auto r 
0940: 3d 20 6e 65 77 20 52 45 50 4c 3b 0d 0a 09 69 66  = new REPL;...if
0950: 28 20 73 72 63 2e 65 6d 70 74 79 20 29 0d 0a 09  ( src.empty )...
0960: 09 72 2e 67 72 65 65 74 28 29 3b 0d 0a 09 66 6f  .r.greet();...fo
0970: 72 65 61 63 68 28 6c 62 3b 20 6c 69 62 73 29 0d  reach(lb; libs).
0980: 0a 09 09 72 2e 72 75 6e 46 69 6c 65 28 6c 62 29  ...r.runFile(lb)
0990: 3b 0d 0a 09 69 66 28 20 73 72 63 2e 65 6d 70 74  ;...if( src.empt
09a0: 79 20 29 0d 0a 09 09 72 2e 72 65 70 6c 4c 6f 6f  y )....r.replLoo
09b0: 70 28 29 3b 0d 0a 09 65 6c 73 65 0d 0a 09 09 72  p();...else....r
09c0: 2e 72 75 6e 46 69 6c 65 28 73 72 63 29 3b 0d 0a  .runFile(src);..
09d0: 7d 0d 0a                                         }..