Artifact 1bc945d1d318d4171aa8c16162b208946b3034cd:
0000: ef bb bf 2f 2a 2a 0d 0a 20 2a 20 41 75 74 68 6f .../**.. * Autho
0010: 72 73 3a 20 6b 2e 69 6e 61 62 61 0d 0a 20 2a 20 rs: k.inaba.. *
0020: 4c 69 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e License: NYSL 0.
0030: 39 39 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 9982 http://www.
0040: 6b 6d 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f kmonos.net/nysl/
0050: 0d 0a 20 2a 0d 0a 20 2a 20 45 72 72 6f 72 20 49 .. *.. * Error I
0060: 6e 66 6f 72 6d 61 74 69 6f 6e 20 66 6f 72 20 50 nformation for P
0070: 6f 6c 65 6d 79 20 50 72 6f 67 72 61 6d 6d 69 6e olemy Programmin
0080: 67 20 4c 61 6e 67 75 61 67 65 0d 0a 20 2a 2f 0d g Language.. */.
0090: 0a 6d 6f 64 75 6c 65 20 70 6f 6c 65 6d 79 2e 66 .module polemy.f
00a0: 61 69 6c 75 72 65 3b 0d 0a 69 6d 70 6f 72 74 20 ailure;..import
00b0: 70 6f 6c 65 6d 79 2e 5f 63 6f 6d 6d 6f 6e 3b 0d polemy._common;.
00c0: 0a 0d 0a 2f 2f 2f 20 52 65 70 72 65 73 65 6e 74 .../// Represent
00d0: 73 20 61 20 70 6f 73 69 74 69 6f 6e 20 69 6e 20 s a position in
00e0: 73 6f 75 72 63 65 20 63 6f 64 65 73 0d 0a 0d 0a source codes....
00f0: 61 6c 69 61 73 20 69 6d 6d 75 74 61 62 6c 65 28 alias immutable(
0100: 4c 65 78 50 6f 73 69 74 69 6f 6e 5f 74 29 20 4c LexPosition_t) L
0110: 65 78 50 6f 73 69 74 69 6f 6e 3b 0d 0a 0d 0a 2f exPosition;..../
0120: 2f 2f 20 52 65 70 72 65 73 65 6e 74 73 20 61 20 // Represents a
0130: 70 6f 73 69 74 69 6f 6e 20 69 6e 20 73 6f 75 72 position in sour
0140: 63 65 20 63 6f 64 65 73 0d 0a 0d 0a 63 6c 61 73 ce codes....clas
0150: 73 20 4c 65 78 50 6f 73 69 74 69 6f 6e 5f 74 0d s LexPosition_t.
0160: 0a 7b 0d 0a 09 69 6d 6d 75 74 61 62 6c 65 20 73 .{...immutable s
0170: 74 72 69 6e 67 20 66 69 6c 65 6e 61 6d 65 3b 20 tring filename;
0180: 2f 2f 2f 20 6e 61 6d 65 20 6f 66 20 74 68 65 20 /// name of the
0190: 73 6f 75 72 63 65 20 66 69 6c 65 0d 0a 09 69 6d source file...im
01a0: 6d 75 74 61 62 6c 65 20 69 6e 74 20 20 20 20 6c mutable int l
01b0: 69 6e 65 6e 6f 3b 20 20 20 2f 2f 2f 20 31 2d 6f ineno; /// 1-o
01c0: 72 69 67 69 6e 0d 0a 09 69 6d 6d 75 74 61 62 6c rigin...immutabl
01d0: 65 20 69 6e 74 20 20 20 20 63 6f 6c 75 6d 6e 3b e int column;
01e0: 20 20 20 2f 2f 2f 20 31 2d 6f 72 69 67 69 6e 0d /// 1-origin.
01f0: 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ....mixin Simple
0200: 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 72 72 69 64 Class;...overrid
0210: 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e e string toStrin
0220: 67 28 29 20 63 6f 6e 73 74 0d 0a 09 09 7b 20 72 g() const....{ r
0230: 65 74 75 72 6e 20 73 70 72 69 6e 74 66 21 28 22 eturn sprintf!("
0240: 25 73 3a 25 64 3a 25 64 22 29 28 66 69 6c 65 6e %s:%d:%d")(filen
0250: 61 6d 65 2c 20 6c 69 6e 65 6e 6f 2c 20 63 6f 6c ame, lineno, col
0260: 75 6d 6e 29 3b 20 7d 0d 0a 09 73 74 61 74 69 63 umn); }...static
0270: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 64 75 6d LexPosition dum
0280: 6d 79 3b 0d 0a 09 73 74 61 74 69 63 20 74 68 69 my;...static thi
0290: 73 28 29 7b 20 64 75 6d 6d 79 20 3d 20 6e 65 77 s(){ dummy = new
02a0: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 28 22 3c 75 LexPosition("<u
02b0: 6e 6e 61 6d 65 64 3e 22 2c 30 2c 30 29 3b 20 7d nnamed>",0,0); }
02c0: 0d 0a 7d 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d ..}....unittest.
02d0: 0a 7b 0d 0a 09 61 75 74 6f 20 70 20 3d 20 6e 65 .{...auto p = ne
02e0: 77 20 4c 65 78 50 6f 73 69 74 69 6f 6e 28 22 68 w LexPosition("h
02f0: 65 6c 6c 6f 2e 63 70 70 22 2c 20 31 32 33 2c 20 ello.cpp", 123,
0300: 34 35 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 45);.....assert_
0310: 65 71 28 20 70 2e 66 69 6c 65 6e 61 6d 65 2c 20 eq( p.filename,
0320: 22 68 65 6c 6c 6f 2e 63 70 70 22 20 29 3b 0d 0a "hello.cpp" );..
0330: 09 61 73 73 65 72 74 5f 65 71 28 20 70 2e 6c 69 .assert_eq( p.li
0340: 6e 65 6e 6f 2c 20 31 32 33 20 29 3b 0d 0a 09 61 neno, 123 );...a
0350: 73 73 65 72 74 5f 65 71 28 20 70 2e 63 6f 6c 75 ssert_eq( p.colu
0360: 6d 6e 2c 20 34 35 20 29 3b 0d 0a 09 61 73 73 65 mn, 45 );...asse
0370: 72 74 5f 65 71 28 20 74 65 78 74 28 70 29 2c 20 rt_eq( text(p),
0380: 22 68 65 6c 6c 6f 2e 63 70 70 3a 31 32 33 3a 34 "hello.cpp:123:4
0390: 35 22 20 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5" );.....assert
03a0: 28 20 21 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 ( !__traits(comp
03b0: 69 6c 65 73 2c 20 6e 65 77 20 4c 65 78 50 6f 73 iles, new LexPos
03c0: 69 74 69 6f 6e 29 20 29 3b 0d 0a 09 61 73 73 65 ition) );...asse
03d0: 72 74 28 20 21 5f 5f 74 72 61 69 74 73 28 63 6f rt( !__traits(co
03e0: 6d 70 69 6c 65 73 2c 20 70 2e 66 69 6c 65 6e 61 mpiles, p.filena
03f0: 6d 65 3d 22 66 6f 6f 22 29 20 29 3b 0d 0a 09 61 me="foo") );...a
0400: 73 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 ssert( !__traits
0410: 28 63 6f 6d 70 69 6c 65 73 2c 20 70 2e 6c 69 6e (compiles, p.lin
0420: 65 6e 6f 20 20 3d 37 38 39 29 20 29 3b 0d 0a 09 eno =789) );...
0430: 61 73 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 assert( !__trait
0440: 73 28 63 6f 6d 70 69 6c 65 73 2c 20 70 2e 63 6f s(compiles, p.co
0450: 6c 75 6d 6e 20 20 3d 32 32 32 29 20 29 3b 0d 0a lumn =222) );..
0460: 0d 0a 09 61 75 74 6f 20 71 20 3d 20 6e 65 77 20 ...auto q = new
0470: 4c 65 78 50 6f 73 69 74 69 6f 6e 28 22 68 65 6c LexPosition("hel
0480: 6c 6f 2e 63 70 70 22 2c 20 31 32 33 2c 20 34 36 lo.cpp", 123, 46
0490: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6c 74 28 20 );...assert_lt(
04a0: 70 2c 20 71 20 29 3b 0d 0a 09 61 73 73 65 72 74 p, q );...assert
04b0: 5f 6e 65 28 20 70 2c 20 71 20 29 3b 0d 0a 7d 0d _ne( p, q );..}.
04c0: 0a 0d 0a 2f 2a 6d 69 78 69 6e 2a 2f 0d 0a 74 65 .../*mixin*/..te
04d0: 6d 70 6c 61 74 65 20 45 78 63 65 70 74 69 6f 6e mplate Exception
04e0: 57 69 74 68 50 6f 73 69 74 69 6f 6e 28 29 0d 0a WithPosition()..
04f0: 7b 0d 0a 09 4c 65 78 50 6f 73 69 74 69 6f 6e 20 {...LexPosition
0500: 70 6f 73 3b 0d 0a 09 74 68 69 73 28 20 4c 65 78 pos;...this( Lex
0510: 50 6f 73 69 74 69 6f 6e 20 70 6f 73 2c 20 73 74 Position pos, st
0520: 72 69 6e 67 20 6d 73 67 2c 20 73 74 72 69 6e 67 ring msg, string
0530: 20 66 69 6c 65 3d 6e 75 6c 6c 2c 20 73 69 7a 65 file=null, size
0540: 5f 74 20 6c 69 6e 65 3d 30 2c 20 54 68 72 6f 77 _t line=0, Throw
0550: 61 62 6c 65 20 6e 65 78 74 3d 6e 75 6c 6c 20 29 able next=null )
0560: 0d 0a 09 7b 0d 0a 09 09 73 74 72 69 6e 67 20 66 ...{....string f
0570: 75 6c 6c 6d 73 67 20 3d 20 70 6f 73 20 69 73 20 ullmsg = pos is
0580: 6e 75 6c 6c 20 3f 20 73 70 72 69 6e 74 66 21 28 null ? sprintf!(
0590: 22 5c 6e 5b 3f 3f 5d 20 25 73 22 29 28 6d 73 67 "\n[??] %s")(msg
05a0: 29 0d 0a 09 09 20 20 20 20 20 20 20 20 20 20 20 )....
05b0: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
05c0: 20 20 3a 20 73 70 72 69 6e 74 66 21 28 22 5c 6e : sprintf!("\n
05d0: 5b 25 73 5d 20 25 73 22 29 28 70 6f 73 2c 20 6d [%s] %s")(pos, m
05e0: 73 67 29 3b 0d 0a 09 09 66 6f 72 28 69 6e 74 20 sg);....for(int
05f0: 69 3d 30 3b 20 69 3c 63 61 6c 6c 73 74 61 63 6b i=0; i<callstack
0600: 5f 70 6f 73 2e 6c 65 6e 67 74 68 20 7c 7c 20 69 _pos.length || i
0610: 3c 63 61 6c 6c 73 74 61 63 6b 5f 6d 73 67 2e 6c <callstack_msg.l
0620: 65 6e 67 74 68 3b 20 2b 2b 69 29 0d 0a 09 09 7b ength; ++i)....{
0630: 0d 0a 09 09 09 4c 65 78 50 6f 73 69 74 69 6f 6e .....LexPosition
0640: 20 70 20 3d 20 28 69 3c 63 61 6c 6c 73 74 61 63 p = (i<callstac
0650: 6b 5f 70 6f 73 2e 6c 65 6e 67 74 68 20 3f 20 63 k_pos.length ? c
0660: 61 6c 6c 73 74 61 63 6b 5f 70 6f 73 5b 69 5d 20 allstack_pos[i]
0670: 3a 20 6e 75 6c 6c 29 3b 0d 0a 09 09 09 73 74 72 : null);.....str
0680: 69 6e 67 20 20 20 20 20 20 6d 20 3d 20 28 69 3c ing m = (i<
0690: 63 61 6c 6c 73 74 61 63 6b 5f 6d 73 67 2e 6c 65 callstack_msg.le
06a0: 6e 67 74 68 20 3f 20 63 61 6c 6c 73 74 61 63 6b ngth ? callstack
06b0: 5f 6d 73 67 5b 69 5d 20 3a 20 6e 75 6c 6c 29 3b _msg[i] : null);
06c0: 0d 0a 09 09 09 66 75 6c 6c 6d 73 67 20 7e 3d 20 .....fullmsg ~=
06d0: 70 20 69 73 20 6e 75 6c 6c 20 3f 20 73 70 72 69 p is null ? spri
06e0: 6e 74 66 21 28 22 5c 6e 5b 3f 3f 5d 20 25 73 22 ntf!("\n[??] %s"
06f0: 29 28 6d 29 0d 0a 09 09 20 20 20 20 20 20 20 20 )(m)....
0700: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0710: 20 3a 20 73 70 72 69 6e 74 66 21 28 22 5c 6e 5b : sprintf!("\n[
0720: 25 73 5d 20 25 73 22 29 28 70 2c 20 6d 29 3b 0d %s] %s")(p, m);.
0730: 0a 09 09 7d 0d 0a 09 09 73 75 70 65 72 28 66 75 ...}....super(fu
0740: 6c 6c 6d 73 67 2c 20 66 69 6c 65 2c 20 6c 69 6e llmsg, file, lin
0750: 65 2c 20 6e 65 78 74 29 3b 0d 0a 09 09 74 68 69 e, next);....thi
0760: 73 2e 70 6f 73 20 3d 20 70 6f 73 3b 0d 0a 09 7d s.pos = pos;...}
0770: 0d 0a 09 74 68 69 73 28 20 73 74 72 69 6e 67 20 ...this( string
0780: 6d 73 67 2c 20 73 74 72 69 6e 67 20 66 69 6c 65 msg, string file
0790: 3d 6e 75 6c 6c 2c 20 73 69 7a 65 5f 74 20 6c 69 =null, size_t li
07a0: 6e 65 3d 30 2c 20 54 68 72 6f 77 61 62 6c 65 20 ne=0, Throwable
07b0: 6e 65 78 74 3d 6e 75 6c 6c 20 29 0d 0a 09 7b 0d next=null )...{.
07c0: 0a 09 09 74 68 69 73 28 6e 75 6c 6c 2c 20 6d 73 ...this(null, ms
07d0: 67 2c 20 66 69 6c 65 2c 20 6c 69 6e 65 2c 20 6e g, file, line, n
07e0: 65 78 74 29 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a ext);...}..}....
07f0: 63 6c 61 73 73 20 55 6e 65 78 70 65 63 74 65 64 class Unexpected
0800: 45 4f 46 20 20 20 20 3a 20 45 78 63 65 70 74 69 EOF : Excepti
0810: 6f 6e 20 7b 20 6d 69 78 69 6e 20 45 78 63 65 70 on { mixin Excep
0820: 74 69 6f 6e 57 69 74 68 50 6f 73 69 74 69 6f 6e tionWithPosition
0830: 3b 20 7d 20 2f 2f 2f 20 45 4f 46 20 64 75 72 69 ; } /// EOF duri
0840: 6e 67 20 6c 65 78 69 6e 67 2f 70 61 72 73 69 6e ng lexing/parsin
0850: 67 0d 0a 63 6c 61 73 73 20 4c 65 78 45 78 63 65 g..class LexExce
0860: 70 74 69 6f 6e 20 20 20 20 20 3a 20 45 78 63 65 ption : Exce
0870: 70 74 69 6f 6e 20 7b 20 6d 69 78 69 6e 20 45 78 ption { mixin Ex
0880: 63 65 70 74 69 6f 6e 57 69 74 68 50 6f 73 69 74 ceptionWithPosit
0890: 69 6f 6e 3b 20 7d 20 2f 2f 2f 20 4c 65 78 65 72 ion; } /// Lexer
08a0: 20 65 72 72 6f 72 73 0d 0a 63 6c 61 73 73 20 50 errors..class P
08b0: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 20 20 20 arseException
08c0: 3a 20 45 78 63 65 70 74 69 6f 6e 20 7b 20 6d 69 : Exception { mi
08d0: 78 69 6e 20 45 78 63 65 70 74 69 6f 6e 57 69 74 xin ExceptionWit
08e0: 68 50 6f 73 69 74 69 6f 6e 3b 20 7d 20 2f 2f 2f hPosition; } ///
08f0: 20 50 61 72 73 65 72 20 65 72 72 6f 72 73 0d 0a Parser errors..
0900: 63 6c 61 73 73 20 52 75 6e 74 69 6d 65 45 78 63 class RuntimeExc
0910: 65 70 74 69 6f 6e 20 3a 20 45 78 63 65 70 74 69 eption : Excepti
0920: 6f 6e 20 7b 20 6d 69 78 69 6e 20 45 78 63 65 70 on { mixin Excep
0930: 74 69 6f 6e 57 69 74 68 50 6f 73 69 74 69 6f 6e tionWithPosition
0940: 3b 20 7d 20 2f 2f 2f 20 45 76 61 6c 75 61 74 6f ; } /// Evaluato
0950: 72 20 65 72 72 6f 72 73 0d 0a 0d 0a 2f 2f 2f 20 r errors....///
0960: 50 65 72 2d 74 68 72 65 61 64 20 63 61 6c 6c 20 Per-thread call
0970: 73 74 61 63 6b 20 6d 61 6e 61 67 65 6d 65 6e 74 stack management
0980: 2e 0d 0a 2f 2f 2f 20 54 68 69 73 20 73 63 6f 70 .../// This scop
0990: 65 64 20 63 6c 61 73 73 27 73 20 63 74 6f 72 26 ed class's ctor&
09a0: 64 74 6f 72 20 6d 61 69 6e 74 61 69 6e 20 74 68 dtor maintain th
09b0: 65 20 63 61 6c 6c 73 74 61 63 6b 2e 0d 0a 2f 2f e callstack...//
09c0: 2f 20 54 4f 44 4f 3a 20 6d 61 6b 65 20 69 74 20 / TODO: make it
09d0: 22 70 65 72 2d 65 76 61 6c 75 61 74 6f 72 22 20 "per-evaluator"
09e0: 21 21 21 21 21 21 21 21 21 21 21 0d 0a 0d 0a 73 !!!!!!!!!!!....s
09f0: 63 6f 70 65 20 63 6c 61 73 73 20 50 75 73 68 43 cope class PushC
0a00: 61 6c 6c 53 74 61 63 6b 0d 0a 7b 0d 0a 09 74 68 allStack..{...th
0a10: 69 73 28 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 is(LexPosition p
0a20: 6f 73 2c 20 73 74 72 69 6e 67 20 6d 73 67 29 20 os, string msg)
0a30: 7b 20 63 61 6c 6c 73 74 61 63 6b 45 6e 74 65 72 { callstackEnter
0a40: 46 75 6e 63 74 69 6f 6e 28 70 6f 73 2c 6d 73 67 Function(pos,msg
0a50: 29 3b 20 7d 0d 0a 09 7e 74 68 69 73 28 29 20 7b ); }...~this() {
0a60: 20 63 61 6c 6c 73 74 61 63 6b 4c 65 61 76 65 46 callstackLeaveF
0a70: 75 6e 63 74 69 6f 6e 28 29 3b 20 7d 0d 0a 7d 0d unction(); }..}.
0a80: 0a 0d 0a 4c 65 78 50 6f 73 69 74 69 6f 6e 5b 5d ...LexPosition[]
0a90: 20 63 61 6c 6c 73 74 61 63 6b 5f 70 6f 73 3b 0d callstack_pos;.
0aa0: 0a 73 74 72 69 6e 67 5b 5d 20 20 20 20 20 20 63 .string[] c
0ab0: 61 6c 6c 73 74 61 63 6b 5f 6d 73 67 3b 0d 0a 0d allstack_msg;...
0ac0: 0a 70 72 69 76 61 74 65 20 76 6f 69 64 20 63 61 .private void ca
0ad0: 6c 6c 73 74 61 63 6b 45 6e 74 65 72 46 75 6e 63 llstackEnterFunc
0ae0: 74 69 6f 6e 28 4c 65 78 50 6f 73 69 74 69 6f 6e tion(LexPosition
0af0: 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6d 73 67 pos, string msg
0b00: 29 0d 0a 7b 0d 0a 09 63 61 6c 6c 73 74 61 63 6b )..{...callstack
0b10: 5f 70 6f 73 20 7e 3d 20 70 6f 73 3b 0d 0a 09 63 _pos ~= pos;...c
0b20: 61 6c 6c 73 74 61 63 6b 5f 6d 73 67 20 7e 3d 20 allstack_msg ~=
0b30: 6d 73 67 3b 0d 0a 7d 0d 0a 0d 0a 70 72 69 76 61 msg;..}....priva
0b40: 74 65 20 76 6f 69 64 20 63 61 6c 6c 73 74 61 63 te void callstac
0b50: 6b 4c 65 61 76 65 46 75 6e 63 74 69 6f 6e 28 29 kLeaveFunction()
0b60: 0d 0a 7b 0d 0a 09 63 61 6c 6c 73 74 61 63 6b 5f ..{...callstack_
0b70: 70 6f 73 2e 6c 65 6e 67 74 68 20 2d 3d 20 31 3b pos.length -= 1;
0b80: 0d 0a 09 63 61 6c 6c 73 74 61 63 6b 5f 6d 73 67 ...callstack_msg
0b90: 2e 6c 65 6e 67 74 68 20 2d 3d 20 31 3b 0d 0a 7d .length -= 1;..}
0ba0: 0d 0a ..