Artifact 442c0afd591f3c6aa12c9e1f6777562cd5fd25d4:
0000: 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 73 3a 20 /**. * Authors:
0010: 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 63 65 6e k.inaba. * Licen
0020: 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 38 32 20 se: NYSL 0.9982
0030: 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 6f 6e 6f http://www.kmono
0040: 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 2a 0a 20 s.net/nysl/. *.
0050: 2a 20 45 72 72 6f 72 20 49 6e 66 6f 72 6d 61 74 * Error Informat
0060: 69 6f 6e 20 66 6f 72 20 50 6f 6c 65 6d 79 20 50 ion for Polemy P
0070: 72 6f 67 72 61 6d 6d 69 6e 67 20 4c 61 6e 67 75 rogramming Langu
0080: 61 67 65 0a 20 2a 2f 0a 6d 6f 64 75 6c 65 20 70 age. */.module p
0090: 6f 6c 65 6d 79 2e 66 61 69 6c 75 72 65 3b 0a 69 olemy.failure;.i
00a0: 6d 70 6f 72 74 20 70 6f 6c 65 6d 79 2e 5f 63 6f mport polemy._co
00b0: 6d 6d 6f 6e 3b 0a 0a 2f 2f 2f 20 52 65 70 72 65 mmon;../// Repre
00c0: 73 65 6e 74 73 20 61 20 70 6f 73 69 74 69 6f 6e sents a position
00d0: 20 69 6e 20 73 6f 75 72 63 65 20 63 6f 64 65 73 in source codes
00e0: 0a 0a 61 6c 69 61 73 20 69 6d 6d 75 74 61 62 6c ..alias immutabl
00f0: 65 28 4c 65 78 50 6f 73 69 74 69 6f 6e 5f 74 29 e(LexPosition_t)
0100: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 3b 0a 0a 2f LexPosition;../
0110: 2f 2f 20 52 65 70 72 65 73 65 6e 74 73 20 61 20 // Represents a
0120: 70 6f 73 69 74 69 6f 6e 20 69 6e 20 73 6f 75 72 position in sour
0130: 63 65 20 63 6f 64 65 73 0a 0a 63 6c 61 73 73 20 ce codes..class
0140: 4c 65 78 50 6f 73 69 74 69 6f 6e 5f 74 0a 7b 0a LexPosition_t.{.
0150: 09 69 6d 6d 75 74 61 62 6c 65 20 73 74 72 69 6e .immutable strin
0160: 67 20 66 69 6c 65 6e 61 6d 65 3b 20 2f 2f 2f 20 g filename; ///
0170: 6e 61 6d 65 20 6f 66 20 74 68 65 20 73 6f 75 72 name of the sour
0180: 63 65 20 66 69 6c 65 0a 09 69 6d 6d 75 74 61 62 ce file..immutab
0190: 6c 65 20 69 6e 74 20 20 20 20 6c 69 6e 65 6e 6f le int lineno
01a0: 3b 20 20 20 2f 2f 2f 20 31 2d 6f 72 69 67 69 6e ; /// 1-origin
01b0: 0a 09 69 6d 6d 75 74 61 62 6c 65 20 69 6e 74 20 ..immutable int
01c0: 20 20 20 63 6f 6c 75 6d 6e 3b 20 20 20 2f 2f 2f column; ///
01d0: 20 31 2d 6f 72 69 67 69 6e 0a 0a 09 6d 69 78 69 1-origin...mixi
01e0: 6e 20 53 69 6d 70 6c 65 43 6c 61 73 73 3b 0a 09 n SimpleClass;..
01f0: 6f 76 65 72 72 69 64 65 20 73 74 72 69 6e 67 20 override string
0200: 74 6f 53 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 toString() const
0210: 0a 09 09 7b 20 72 65 74 75 72 6e 20 73 70 72 69 ...{ return spri
0220: 6e 74 66 21 28 22 25 73 3a 25 64 3a 25 64 22 29 ntf!("%s:%d:%d")
0230: 28 66 69 6c 65 6e 61 6d 65 2c 20 6c 69 6e 65 6e (filename, linen
0240: 6f 2c 20 63 6f 6c 75 6d 6e 29 3b 20 7d 0a 09 73 o, column); }..s
0250: 74 61 74 69 63 20 4c 65 78 50 6f 73 69 74 69 6f tatic LexPositio
0260: 6e 20 64 75 6d 6d 79 3b 0a 09 73 74 61 74 69 63 n dummy;..static
0270: 20 74 68 69 73 28 29 7b 20 64 75 6d 6d 79 20 3d this(){ dummy =
0280: 20 6e 65 77 20 4c 65 78 50 6f 73 69 74 69 6f 6e new LexPosition
0290: 28 22 3c 6e 6f 77 68 65 72 65 3e 22 2c 30 2c 30 ("<nowhere>",0,0
02a0: 29 3b 20 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 ); }.}..unittest
02b0: 0a 7b 0a 09 61 75 74 6f 20 70 20 3d 20 6e 65 77 .{..auto p = new
02c0: 20 4c 65 78 50 6f 73 69 74 69 6f 6e 28 22 68 65 LexPosition("he
02d0: 6c 6c 6f 2e 63 70 70 22 2c 20 31 32 33 2c 20 34 llo.cpp", 123, 4
02e0: 35 29 3b 0a 0a 09 61 73 73 65 72 74 5f 65 71 28 5);...assert_eq(
02f0: 20 70 2e 66 69 6c 65 6e 61 6d 65 2c 20 22 68 65 p.filename, "he
0300: 6c 6c 6f 2e 63 70 70 22 20 29 3b 0a 09 61 73 73 llo.cpp" );..ass
0310: 65 72 74 5f 65 71 28 20 70 2e 6c 69 6e 65 6e 6f ert_eq( p.lineno
0320: 2c 20 31 32 33 20 29 3b 0a 09 61 73 73 65 72 74 , 123 );..assert
0330: 5f 65 71 28 20 70 2e 63 6f 6c 75 6d 6e 2c 20 34 _eq( p.column, 4
0340: 35 20 29 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 5 );..assert_eq(
0350: 20 74 65 78 74 28 70 29 2c 20 22 68 65 6c 6c 6f text(p), "hello
0360: 2e 63 70 70 3a 31 32 33 3a 34 35 22 20 29 3b 0a .cpp:123:45" );.
0370: 0a 09 61 73 73 65 72 74 28 20 21 5f 5f 74 72 61 ..assert( !__tra
0380: 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 its(compiles, ne
0390: 77 20 4c 65 78 50 6f 73 69 74 69 6f 6e 29 20 29 w LexPosition) )
03a0: 3b 0a 09 61 73 73 65 72 74 28 20 21 5f 5f 74 72 ;..assert( !__tr
03b0: 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 70 aits(compiles, p
03c0: 2e 66 69 6c 65 6e 61 6d 65 3d 22 66 6f 6f 22 29 .filename="foo")
03d0: 20 29 3b 0a 09 61 73 73 65 72 74 28 20 21 5f 5f );..assert( !__
03e0: 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c traits(compiles,
03f0: 20 70 2e 6c 69 6e 65 6e 6f 20 20 3d 37 38 39 29 p.lineno =789)
0400: 20 29 3b 0a 09 61 73 73 65 72 74 28 20 21 5f 5f );..assert( !__
0410: 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c traits(compiles,
0420: 20 70 2e 63 6f 6c 75 6d 6e 20 20 3d 32 32 32 29 p.column =222)
0430: 20 29 3b 0a 0a 09 61 75 74 6f 20 71 20 3d 20 6e );...auto q = n
0440: 65 77 20 4c 65 78 50 6f 73 69 74 69 6f 6e 28 22 ew LexPosition("
0450: 68 65 6c 6c 6f 2e 63 70 70 22 2c 20 31 32 33 2c hello.cpp", 123,
0460: 20 34 36 29 3b 0a 09 61 73 73 65 72 74 5f 6c 74 46);..assert_lt
0470: 28 20 70 2c 20 71 20 29 3b 0a 09 61 73 73 65 72 ( p, q );..asser
0480: 74 5f 6e 65 28 20 70 2c 20 71 20 29 3b 0a 7d 0a t_ne( p, q );.}.
0490: 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c ./*mixin*/.templ
04a0: 61 74 65 20 45 78 63 65 70 74 69 6f 6e 57 69 74 ate ExceptionWit
04b0: 68 50 6f 73 69 74 69 6f 6e 28 29 0a 7b 0a 09 4c hPosition().{..L
04c0: 65 78 50 6f 73 69 74 69 6f 6e 20 70 6f 73 3b 0a exPosition pos;.
04d0: 09 74 68 69 73 28 20 4c 65 78 50 6f 73 69 74 69 .this( LexPositi
04e0: 6f 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6d on pos, string m
04f0: 73 67 2c 20 73 74 72 69 6e 67 20 66 69 6c 65 3d sg, string file=
0500: 6e 75 6c 6c 2c 20 73 69 7a 65 5f 74 20 6c 69 6e null, size_t lin
0510: 65 3d 30 2c 20 54 68 72 6f 77 61 62 6c 65 20 6e e=0, Throwable n
0520: 65 78 74 3d 6e 75 6c 6c 20 29 0a 09 7b 0a 09 09 ext=null )..{...
0530: 73 74 72 69 6e 67 20 66 75 6c 6c 6d 73 67 20 3d string fullmsg =
0540: 20 70 6f 73 20 69 73 20 6e 75 6c 6c 20 3f 20 73 pos is null ? s
0550: 70 72 69 6e 74 66 21 28 22 5c 6e 5b 3f 3f 5d 20 printf!("\n[??]
0560: 25 73 22 29 28 6d 73 67 29 0a 09 09 20 20 20 20 %s")(msg)...
0570: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20 20
0580: 20 20 20 20 20 20 20 20 20 3a 20 73 70 72 69 6e : sprin
0590: 74 66 21 28 22 5c 6e 5b 25 73 5d 20 25 73 22 29 tf!("\n[%s] %s")
05a0: 28 70 6f 73 2c 20 6d 73 67 29 3b 0a 09 09 66 6f (pos, msg);...fo
05b0: 72 65 61 63 68 5f 72 65 76 65 72 73 65 28 69 2c reach_reverse(i,
05c0: 5f 3b 20 63 61 6c 6c 73 74 61 63 6b 5f 70 6f 73 _; callstack_pos
05d0: 29 0a 09 09 7b 0a 09 09 09 4c 65 78 50 6f 73 69 )...{....LexPosi
05e0: 74 69 6f 6e 20 70 20 3d 20 63 61 6c 6c 73 74 61 tion p = callsta
05f0: 63 6b 5f 70 6f 73 5b 69 5d 3b 0a 09 09 09 73 74 ck_pos[i];....st
0600: 72 69 6e 67 20 20 20 20 20 20 6d 20 3d 20 63 61 ring m = ca
0610: 6c 6c 73 74 61 63 6b 5f 6d 73 67 5b 69 5d 3b 0a llstack_msg[i];.
0620: 09 09 09 66 75 6c 6c 6d 73 67 20 7e 3d 20 70 20 ...fullmsg ~= p
0630: 69 73 20 6e 75 6c 6c 20 3f 20 73 70 72 69 6e 74 is null ? sprint
0640: 66 21 28 22 5c 6e 5b 3f 3f 5d 20 25 73 22 29 28 f!("\n[??] %s")(
0650: 6d 29 0a 09 09 20 20 20 20 20 20 20 20 20 20 20 m)...
0660: 20 20 20 20 20 20 20 20 20 20 20 20 20 20 3a 20 :
0670: 73 70 72 69 6e 74 66 21 28 22 5c 6e 5b 25 73 5d sprintf!("\n[%s]
0680: 20 25 73 22 29 28 70 2c 20 6d 29 3b 0a 09 09 7d %s")(p, m);...}
0690: 0a 09 09 73 75 70 65 72 28 66 75 6c 6c 6d 73 67 ...super(fullmsg
06a0: 2c 20 66 69 6c 65 2c 20 6c 69 6e 65 2c 20 6e 65 , file, line, ne
06b0: 78 74 29 3b 0a 09 09 74 68 69 73 2e 70 6f 73 20 xt);...this.pos
06c0: 3d 20 70 6f 73 3b 0a 09 7d 0a 09 74 68 69 73 28 = pos;..}..this(
06d0: 20 73 74 72 69 6e 67 20 6d 73 67 2c 20 73 74 72 string msg, str
06e0: 69 6e 67 20 66 69 6c 65 3d 6e 75 6c 6c 2c 20 73 ing file=null, s
06f0: 69 7a 65 5f 74 20 6c 69 6e 65 3d 30 2c 20 54 68 ize_t line=0, Th
0700: 72 6f 77 61 62 6c 65 20 6e 65 78 74 3d 6e 75 6c rowable next=nul
0710: 6c 20 29 0a 09 7b 0a 09 09 74 68 69 73 28 6e 75 l )..{...this(nu
0720: 6c 6c 2c 20 6d 73 67 2c 20 66 69 6c 65 2c 20 6c ll, msg, file, l
0730: 69 6e 65 2c 20 6e 65 78 74 29 3b 0a 09 7d 0a 7d ine, next);..}.}
0740: 0a 0a 63 6c 61 73 73 20 55 6e 65 78 70 65 63 74 ..class Unexpect
0750: 65 64 45 4f 46 20 20 20 20 3a 20 45 78 63 65 70 edEOF : Excep
0760: 74 69 6f 6e 20 7b 20 6d 69 78 69 6e 20 45 78 63 tion { mixin Exc
0770: 65 70 74 69 6f 6e 57 69 74 68 50 6f 73 69 74 69 eptionWithPositi
0780: 6f 6e 3b 20 7d 20 2f 2f 2f 20 45 4f 46 20 64 75 on; } /// EOF du
0790: 72 69 6e 67 20 6c 65 78 69 6e 67 2f 70 61 72 73 ring lexing/pars
07a0: 69 6e 67 0a 63 6c 61 73 73 20 4c 65 78 45 78 63 ing.class LexExc
07b0: 65 70 74 69 6f 6e 20 20 20 20 20 3a 20 45 78 63 eption : Exc
07c0: 65 70 74 69 6f 6e 20 7b 20 6d 69 78 69 6e 20 45 eption { mixin E
07d0: 78 63 65 70 74 69 6f 6e 57 69 74 68 50 6f 73 69 xceptionWithPosi
07e0: 74 69 6f 6e 3b 20 7d 20 2f 2f 2f 20 4c 65 78 65 tion; } /// Lexe
07f0: 72 20 65 72 72 6f 72 73 0a 63 6c 61 73 73 20 50 r errors.class P
0800: 61 72 73 65 45 78 63 65 70 74 69 6f 6e 20 20 20 arseException
0810: 3a 20 45 78 63 65 70 74 69 6f 6e 20 7b 20 6d 69 : Exception { mi
0820: 78 69 6e 20 45 78 63 65 70 74 69 6f 6e 57 69 74 xin ExceptionWit
0830: 68 50 6f 73 69 74 69 6f 6e 3b 20 7d 20 2f 2f 2f hPosition; } ///
0840: 20 50 61 72 73 65 72 20 65 72 72 6f 72 73 0a 63 Parser errors.c
0850: 6c 61 73 73 20 52 75 6e 74 69 6d 65 45 78 63 65 lass RuntimeExce
0860: 70 74 69 6f 6e 20 3a 20 45 78 63 65 70 74 69 6f ption : Exceptio
0870: 6e 20 7b 20 6d 69 78 69 6e 20 45 78 63 65 70 74 n { mixin Except
0880: 69 6f 6e 57 69 74 68 50 6f 73 69 74 69 6f 6e 3b ionWithPosition;
0890: 20 7d 20 2f 2f 2f 20 45 76 61 6c 75 61 74 6f 72 } /// Evaluator
08a0: 20 65 72 72 6f 72 73 0a 0a 2f 2f 2f 20 50 65 72 errors../// Per
08b0: 2d 74 68 72 65 61 64 20 63 61 6c 6c 20 73 74 61 -thread call sta
08c0: 63 6b 20 6d 61 6e 61 67 65 6d 65 6e 74 2e 0a 2f ck management../
08d0: 2f 2f 20 54 68 69 73 20 73 63 6f 70 65 64 20 63 // This scoped c
08e0: 6c 61 73 73 27 73 20 63 74 6f 72 26 64 74 6f 72 lass's ctor&dtor
08f0: 20 6d 61 69 6e 74 61 69 6e 20 74 68 65 20 63 61 maintain the ca
0900: 6c 6c 73 74 61 63 6b 2e 0a 2f 2f 2f 20 54 4f 44 llstack../// TOD
0910: 4f 3a 20 6d 61 6b 65 20 69 74 20 22 70 65 72 2d O: make it "per-
0920: 65 76 61 6c 75 61 74 6f 72 22 20 21 21 21 21 21 evaluator" !!!!!
0930: 21 21 21 21 21 21 0a 0a 73 63 6f 70 65 20 63 6c !!!!!!..scope cl
0940: 61 73 73 20 50 75 73 68 43 61 6c 6c 53 74 61 63 ass PushCallStac
0950: 6b 0a 7b 0a 09 74 68 69 73 28 4c 65 78 50 6f 73 k.{..this(LexPos
0960: 69 74 69 6f 6e 20 70 6f 73 2c 20 73 74 72 69 6e ition pos, strin
0970: 67 20 6d 73 67 29 20 7b 20 63 61 6c 6c 73 74 61 g msg) { callsta
0980: 63 6b 45 6e 74 65 72 46 75 6e 63 74 69 6f 6e 28 ckEnterFunction(
0990: 70 6f 73 2c 6d 73 67 29 3b 20 7d 0a 09 7e 74 68 pos,msg); }..~th
09a0: 69 73 28 29 20 7b 20 63 61 6c 6c 73 74 61 63 6b is() { callstack
09b0: 4c 65 61 76 65 46 75 6e 63 74 69 6f 6e 28 29 3b LeaveFunction();
09c0: 20 7d 0a 7d 0a 0a 4c 65 78 50 6f 73 69 74 69 6f }.}..LexPositio
09d0: 6e 5b 5d 20 63 61 6c 6c 73 74 61 63 6b 5f 70 6f n[] callstack_po
09e0: 73 3b 0a 73 74 72 69 6e 67 5b 5d 20 20 20 20 20 s;.string[]
09f0: 20 63 61 6c 6c 73 74 61 63 6b 5f 6d 73 67 3b 0a callstack_msg;.
0a00: 0a 70 72 69 76 61 74 65 20 76 6f 69 64 20 63 61 .private void ca
0a10: 6c 6c 73 74 61 63 6b 45 6e 74 65 72 46 75 6e 63 llstackEnterFunc
0a20: 74 69 6f 6e 28 4c 65 78 50 6f 73 69 74 69 6f 6e tion(LexPosition
0a30: 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6d 73 67 pos, string msg
0a40: 29 0a 7b 0a 09 63 61 6c 6c 73 74 61 63 6b 5f 70 ).{..callstack_p
0a50: 6f 73 20 7e 3d 20 70 6f 73 3b 0a 09 63 61 6c 6c os ~= pos;..call
0a60: 73 74 61 63 6b 5f 6d 73 67 20 7e 3d 20 6d 73 67 stack_msg ~= msg
0a70: 3b 0a 7d 0a 0a 70 72 69 76 61 74 65 20 76 6f 69 ;.}..private voi
0a80: 64 20 63 61 6c 6c 73 74 61 63 6b 4c 65 61 76 65 d callstackLeave
0a90: 46 75 6e 63 74 69 6f 6e 28 29 0a 7b 0a 09 63 61 Function().{..ca
0aa0: 6c 6c 73 74 61 63 6b 5f 70 6f 73 2e 6c 65 6e 67 llstack_pos.leng
0ab0: 74 68 20 2d 3d 20 31 3b 0a 09 63 61 6c 6c 73 74 th -= 1;..callst
0ac0: 61 63 6b 5f 6d 73 67 2e 6c 65 6e 67 74 68 20 2d ack_msg.length -
0ad0: 3d 20 31 3b 0a 7d 0a = 1;.}.