Hex Artifact Content
Not logged in

Artifact 3594122dc7a67c3c24c2950d360a517b461f1540:


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 0d 0a 65 6e 75 6d 20  y.eval;....enum 
0140: 56 65 72 73 69 6f 6e 4e 6f 4d 61 6a 6f 72 20 3d  VersionNoMajor =
0150: 20 30 3b 0d 0a 65 6e 75 6d 20 56 65 72 73 69 6f   0;..enum Versio
0160: 6e 4e 6f 4d 69 6e 6f 72 20 3d 20 31 3b 0d 0a 65  nNoMinor = 1;..e
0170: 6e 75 6d 20 56 65 72 73 69 6f 6e 4e 6f 52 65 76  num VersionNoRev
0180: 20 20 20 3d 20 30 3b 0d 0a 0d 0a 2f 2f 2f 20 52     = 0;..../// R
0190: 65 61 64 2d 45 76 61 6c 2d 50 72 69 6e 74 2d 4c  ead-Eval-Print-L
01a0: 6f 6f 70 0d 0a 0d 0a 63 6c 61 73 73 20 52 45 50  oop....class REP
01b0: 4c 0d 0a 7b 0d 0a 09 2f 2f 2f 20 4c 6f 61 64 20  L..{.../// Load 
01c0: 74 68 65 20 70 72 65 6c 75 64 65 20 65 6e 76 69  the prelude envi
01d0: 72 6f 6e 6d 65 6e 74 0d 0a 09 74 68 69 73 28 29  ronment...this()
01e0: 0d 0a 09 7b 0d 0a 09 09 63 74 78 20 3d 20 63 72  ...{....ctx = cr
01f0: 65 61 74 65 47 6c 6f 62 61 6c 43 6f 6e 74 65 78  eateGlobalContex
0200: 74 28 29 3b 0d 0a 09 7d 0d 0a 0d 0a 09 2f 2f 2f  t();...}.....///
0210: 20 50 72 69 6e 74 20 74 68 65 20 76 65 72 73 69   Print the versi
0220: 6f 6e 20 6e 75 6d 62 65 72 20 65 74 63 2e 0d 0a  on number etc...
0230: 09 76 6f 69 64 20 67 72 65 65 74 28 29 0d 0a 09  .void greet()...
0240: 7b 0d 0a 09 09 77 72 69 74 65 66 6c 6e 28 22 57  {....writefln("W
0250: 65 6c 63 6f 6d 65 20 74 6f 20 50 6f 6c 65 6d 79  elcome to Polemy
0260: 20 25 64 2e 25 64 2e 25 64 22 2c 20 56 65 72 73   %d.%d.%d", Vers
0270: 69 6f 6e 4e 6f 4d 61 6a 6f 72 2c 20 56 65 72 73  ionNoMajor, Vers
0280: 69 6f 6e 4e 6f 4d 69 6e 6f 72 2c 20 56 65 72 73  ionNoMinor, Vers
0290: 69 6f 6e 4e 6f 52 65 76 29 3b 0d 0a 09 7d 0d 0a  ionNoRev);...}..
02a0: 0d 0a 09 2f 2f 2f 20 52 75 6e 20 6f 6e 65 20 66  .../// Run one f
02b0: 69 6c 65 20 6f 6e 20 74 68 65 20 67 6c 6f 62 61  ile on the globa
02c0: 6c 20 73 63 6f 70 65 0d 0a 09 76 6f 69 64 20 72  l scope...void r
02d0: 75 6e 46 69 6c 65 28 73 74 72 69 6e 67 20 66 69  unFile(string fi
02e0: 6c 65 6e 61 6d 65 29 0d 0a 09 7b 0d 0a 09 09 65  lename)...{....e
02f0: 76 61 6c 28 70 61 72 73 65 46 69 6c 65 28 66 69  val(parseFile(fi
0300: 6c 65 6e 61 6d 65 29 2c 20 63 74 78 2c 20 66 61  lename), ctx, fa
0310: 6c 73 65 2c 20 22 40 76 22 29 3b 0d 0a 09 7d 0d  lse, "@v");...}.
0320: 0a 0d 0a 09 2f 2f 2f 20 52 65 70 65 61 74 20 74  ..../// Repeat t
0330: 68 65 20 73 69 6e 67 6c 65 49 6e 74 65 72 61 63  he singleInterac
0340: 74 69 6f 6e 0d 0a 09 76 6f 69 64 20 72 65 70 6c  tion...void repl
0350: 4c 6f 6f 70 28 29 0d 0a 09 7b 0d 0a 09 09 77 68  Loop()...{....wh
0360: 69 6c 65 28 20 73 69 6e 67 6c 65 49 6e 74 65 72  ile( singleInter
0370: 61 63 74 69 6f 6e 28 29 20 29 20 7b 7d 0d 0a 09  action() ) {}...
0380: 7d 0d 0a 0d 0a 09 2f 2f 2f 20 52 65 61 64 20 6f  }...../// Read o
0390: 6e 65 20 6c 69 6e 65 20 66 72 6f 6d 20 73 74 64  ne line from std
03a0: 69 6e 2c 20 61 6e 64 20 64 6f 20 73 6f 6d 65 20  in, and do some 
03b0: 72 65 61 63 74 69 6f 6e 0d 0a 09 62 6f 6f 6c 20  reaction...bool 
03c0: 73 69 6e 67 6c 65 49 6e 74 65 72 61 63 74 69 6f  singleInteractio
03d0: 6e 28 29 0d 0a 09 7b 0d 0a 09 09 77 72 69 74 65  n()...{....write
03e0: 66 28 22 3e 3e 20 22 2c 20 6c 69 6e 65 6e 6f 29  f(">> ", lineno)
03f0: 3b 0d 0a 09 09 73 74 72 69 6e 67 20 6c 69 6e 65  ;....string line
0400: 20 3d 20 72 65 61 64 6c 6e 28 29 3b 0d 0a 09 09   = readln();....
0410: 69 66 28 20 6c 69 6e 65 2e 73 74 61 72 74 73 57  if( line.startsW
0420: 69 74 68 28 22 65 78 69 74 22 29 20 7c 7c 20 6c  ith("exit") || l
0430: 69 6e 65 2e 73 74 61 72 74 73 57 69 74 68 28 22  ine.startsWith("
0440: 71 75 69 74 22 29 20 29 0d 0a 09 09 09 72 65 74  quit") ).....ret
0450: 75 72 6e 20 66 61 6c 73 65 3b 0d 0a 09 09 74 72  urn false;....tr
0460: 79 20 7b 0d 0a 09 09 09 69 66 28 20 74 72 79 52  y {.....if( tryR
0470: 75 6e 28 6c 69 6e 65 29 20 29 0d 0a 09 09 09 09  un(line) )......
0480: 77 72 69 74 65 6c 6e 28 6c 61 73 74 56 61 6c 29  writeln(lastVal)
0490: 3b 0d 0a 09 09 7d 20 63 61 74 63 68 28 54 68 72  ;....} catch(Thr
04a0: 6f 77 61 62 6c 65 20 65 29 20 7b 0d 0a 09 09 09  owable e) {.....
04b0: 77 72 69 74 65 6c 6e 28 65 29 3b 0d 0a 09 09 7d  writeln(e);....}
04c0: 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b  ....return true;
04d0: 0d 0a 09 7d 0d 0a 0d 0a 70 72 69 76 61 74 65 3a  ...}....private:
04e0: 0d 0a 09 54 61 62 6c 65 20 63 74 78 3b 0d 0a 09  ...Table ctx;...
04f0: 73 74 72 69 6e 67 20 62 75 66 3b 0d 0a 09 56 61  string buf;...Va
0500: 6c 75 65 20 20 6c 61 73 74 56 61 6c 3b 0d 0a 09  lue  lastVal;...
0510: 69 6e 74 20 6c 69 6e 65 6e 6f 20 3d 20 31 3b 0d  int lineno = 1;.
0520: 0a 09 69 6e 74 20 6e 65 78 74 6c 69 6e 65 6e 6f  ..int nextlineno
0530: 20 3d 20 31 3b 0d 0a 0d 0a 09 62 6f 6f 6c 20 74   = 1;.....bool t
0540: 72 79 52 75 6e 28 20 73 74 72 69 6e 67 20 73 20  ryRun( string s 
0550: 29 0d 0a 09 7b 0d 0a 09 09 73 63 6f 70 65 28 66  )...{....scope(f
0560: 61 69 6c 75 72 65 29 0d 0a 09 09 09 7b 20 62 75  ailure).....{ bu
0570: 66 20 3d 20 22 22 3b 20 6c 69 6e 65 6e 6f 20 3d  f = ""; lineno =
0580: 20 6e 65 78 74 6c 69 6e 65 6e 6f 3b 20 7d 0d 0a   nextlineno; }..
0590: 0d 0a 09 09 62 75 66 20 7e 3d 20 73 3b 0d 0a 09  ....buf ~= s;...
05a0: 09 6e 65 78 74 6c 69 6e 65 6e 6f 20 2b 2b 3b 0d  .nextlineno ++;.
05b0: 0a 09 09 74 72 79 20 0d 0a 09 09 09 7b 20 6c 61  ...try .....{ la
05c0: 73 74 56 61 6c 20 3d 20 65 76 61 6c 28 70 61 72  stVal = eval(par
05d0: 73 65 53 74 72 69 6e 67 28 62 75 66 2c 20 22 3c  seString(buf, "<
05e0: 52 45 50 4c 3e 22 2c 20 6c 69 6e 65 6e 6f 29 2c  REPL>", lineno),
05f0: 20 63 74 78 2c 20 66 61 6c 73 65 2c 20 22 40 76   ctx, false, "@v
0600: 22 29 3b 20 7d 0d 0a 09 09 63 61 74 63 68 28 20  "); }....catch( 
0610: 55 6e 65 78 70 65 63 74 65 64 45 4f 46 20 29 0d  UnexpectedEOF ).
0620: 0a 09 09 09 7b 20 72 65 74 75 72 6e 20 66 61 6c  ....{ return fal
0630: 73 65 3b 20 7d 20 2f 2f 20 77 61 69 74 0d 0a 09  se; } // wait...
0640: 09 62 75 66 20 3d 20 22 22 3b 0d 0a 09 09 6c 69  .buf = "";....li
0650: 6e 65 6e 6f 20 3d 20 6e 65 78 74 6c 69 6e 65 6e  neno = nextlinen
0660: 6f 3b 0d 0a 09 09 72 65 74 75 72 6e 20 74 72 75  o;....return tru
0670: 65 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f  e;...}..}....///
0680: 20 41 64 76 61 6e 63 65 20 61 72 67 73 5b 5d 20   Advance args[] 
0690: 74 6f 20 70 6f 69 6e 74 20 74 68 65 20 61 72 67  to point the arg
06a0: 75 6d 65 6e 74 20 6c 69 73 74 20 66 65 64 20 74  ument list fed t
06b0: 6f 20 74 68 65 20 73 63 72 69 70 74 2e 0d 0a 2f  o the script.../
06c0: 2f 2f 20 52 65 74 75 72 6e 73 20 74 68 65 20 6e  // Returns the n
06d0: 61 6d 65 20 6f 66 20 74 68 65 20 73 6f 75 72 63  ame of the sourc
06e0: 65 20 66 69 6c 65 20 74 6f 20 72 75 6e 2c 20 6f  e file to run, o
06f0: 72 20 72 65 74 75 72 6e 73 20 22 22 20 69 66 0d  r returns "" if.
0700: 0a 2f 2f 2f 20 6e 6f 20 66 69 6c 65 6e 61 6d 65  ./// no filename
0710: 20 77 61 73 20 67 69 76 65 6e 2e 20 41 6c 73 6f   was given. Also
0720: 2c 20 72 65 74 75 72 6e 73 20 74 6f 20 6c 69 62  , returns to lib
0730: 73 5b 5d 20 74 68 65 20 6c 69 73 74 20 6f 66 0d  s[] the list of.
0740: 0a 2f 2f 2f 20 6c 69 62 72 61 72 79 20 73 6f 75  ./// library sou
0750: 72 63 65 20 74 6f 20 6c 6f 61 64 2e 0d 0a 0d 0a  rce to load.....
0760: 73 74 72 69 6e 67 20 70 61 72 73 65 41 72 67 76  string parseArgv
0770: 28 72 65 66 20 73 74 72 69 6e 67 5b 5d 20 61 72  (ref string[] ar
0780: 67 73 2c 20 6f 75 74 20 73 74 72 69 6e 67 5b 5d  gs, out string[]
0790: 20 6c 69 62 73 29 0d 0a 7b 0d 0a 09 61 72 67 73   libs)..{...args
07a0: 2e 70 6f 70 46 72 6f 6e 74 28 29 3b 0d 0a 0d 0a  .popFront();....
07b0: 09 77 68 69 6c 65 28 20 21 61 72 67 73 2e 65 6d  .while( !args.em
07c0: 70 74 79 20 26 26 20 61 72 67 73 2e 66 72 6f 6e  pty && args.fron
07d0: 74 3d 3d 22 2d 6c 22 20 29 20 7b 0d 0a 09 09 61  t=="-l" ) {....a
07e0: 72 67 73 2e 70 6f 70 46 72 6f 6e 74 28 29 3b 0d  rgs.popFront();.
07f0: 0a 09 09 69 66 28 20 21 61 72 67 73 2e 65 6d 70  ...if( !args.emp
0800: 74 79 20 29 20 7b 0d 0a 09 09 09 6c 69 62 73 20  ty ) {.....libs 
0810: 7e 3d 20 61 72 67 73 2e 66 72 6f 6e 74 28 29 3b  ~= args.front();
0820: 0d 0a 09 09 09 61 72 67 73 2e 70 6f 70 46 72 6f  .....args.popFro
0830: 6e 74 28 29 3b 0d 0a 09 09 7d 0d 0a 09 7d 0d 0a  nt();....}...}..
0840: 0d 0a 09 69 66 28 20 61 72 67 73 2e 65 6d 70 74  ...if( args.empt
0850: 79 20 29 0d 0a 09 09 72 65 74 75 72 6e 20 22 22  y )....return ""
0860: 3b 0d 0a 09 65 6c 73 65 20 7b 0d 0a 09 09 73 63  ;...else {....sc
0870: 6f 70 65 28 65 78 69 74 29 20 61 72 67 73 2e 70  ope(exit) args.p
0880: 6f 70 46 72 6f 6e 74 3b 0d 0a 09 09 72 65 74 75  opFront;....retu
0890: 72 6e 20 61 72 67 73 2e 66 72 6f 6e 74 3b 0d 0a  rn args.front;..
08a0: 09 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 45 6e 74  .}..}..../// Ent
08b0: 72 79 20 70 6f 69 6e 74 2e 0d 0a 0d 0a 76 6f 69  ry point.....voi
08c0: 64 20 6d 61 69 6e 28 20 73 74 72 69 6e 67 5b 5d  d main( string[]
08d0: 20 61 72 67 73 20 29 0a 7b 0d 0a 09 73 74 72 69   args ).{...stri
08e0: 6e 67 5b 5d 20 6c 69 62 73 3b 0d 0a 09 73 74 72  ng[] libs;...str
08f0: 69 6e 67 20 20 20 73 72 63 20 3d 20 70 61 72 73  ing   src = pars
0900: 65 41 72 67 76 28 61 72 67 73 2c 20 6c 69 62 73  eArgv(args, libs
0910: 29 3b 0d 0a 0d 0a 09 61 75 74 6f 20 72 20 3d 20  );.....auto r = 
0920: 6e 65 77 20 52 45 50 4c 3b 0d 0a 09 69 66 28 20  new REPL;...if( 
0930: 73 72 63 2e 65 6d 70 74 79 20 29 0d 0a 09 09 72  src.empty )....r
0940: 2e 67 72 65 65 74 28 29 3b 0d 0a 09 66 6f 72 65  .greet();...fore
0950: 61 63 68 28 6c 62 3b 20 6c 69 62 73 29 0d 0a 09  ach(lb; libs)...
0960: 09 72 2e 72 75 6e 46 69 6c 65 28 6c 62 29 3b 0d  .r.runFile(lb);.
0970: 0a 09 69 66 28 20 73 72 63 2e 65 6d 70 74 79 20  ..if( src.empty 
0980: 29 0d 0a 09 09 72 2e 72 65 70 6c 4c 6f 6f 70 28  )....r.replLoop(
0990: 29 3b 0d 0a 09 65 6c 73 65 0d 0a 09 09 72 2e 72  );...else....r.r
09a0: 75 6e 46 69 6c 65 28 73 72 63 29 3b 0d 0a 7d 0d  unFile(src);..}.
09b0: 0a                                               .