Artifact ceae1b272549ae1ad3906fe7a3a2a71a8859f08e:
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: 63 6c 61 73 73 20 4c 65 78 50 6f 73 69 74 69 6f class LexPositio
0100: 6e 0d 0a 7b 0d 0a 09 69 6d 6d 75 74 61 62 6c 65 n..{...immutable
0110: 20 73 74 72 69 6e 67 20 66 69 6c 65 6e 61 6d 65 string filename
0120: 3b 20 2f 2f 2f 20 6e 61 6d 65 20 6f 66 20 74 68 ; /// name of th
0130: 65 20 73 6f 75 72 63 65 20 66 69 6c 65 0d 0a 09 e source file...
0140: 69 6d 6d 75 74 61 62 6c 65 20 69 6e 74 20 20 20 immutable int
0150: 20 6c 69 6e 65 6e 6f 3b 20 20 20 2f 2f 2f 20 31 lineno; /// 1
0160: 2d 6f 72 69 67 69 6e 0d 0a 09 69 6d 6d 75 74 61 -origin...immuta
0170: 62 6c 65 20 69 6e 74 20 20 20 20 63 6f 6c 75 6d ble int colum
0180: 6e 3b 20 20 20 2f 2f 2f 20 31 2d 6f 72 69 67 69 n; /// 1-origi
0190: 6e 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 6d 70 n.....mixin Simp
01a0: 6c 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 72 72 leClass;...overr
01b0: 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 74 72 ide string toStr
01c0: 69 6e 67 28 29 20 63 6f 6e 73 74 0d 0a 09 7b 0d ing() const...{.
01d0: 0a 09 09 72 65 74 75 72 6e 20 73 70 72 69 6e 74 ...return sprint
01e0: 66 21 28 22 25 73 3a 25 64 3a 25 64 22 29 28 66 f!("%s:%d:%d")(f
01f0: 69 6c 65 6e 61 6d 65 2c 20 6c 69 6e 65 6e 6f 2c ilename, lineno,
0200: 20 63 6f 6c 75 6d 6e 29 3b 0d 0a 09 7d 0d 0a 0d column);...}...
0210: 0a 09 73 74 61 74 69 63 20 69 6d 6d 75 74 61 62 ..static immutab
0220: 6c 65 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 64 le LexPosition d
0230: 75 6d 6d 79 3b 0d 0a 09 73 74 61 74 69 63 20 74 ummy;...static t
0240: 68 69 73 28 29 7b 20 64 75 6d 6d 79 20 3d 20 6e his(){ dummy = n
0250: 65 77 20 69 6d 6d 75 74 61 62 6c 65 28 4c 65 78 ew immutable(Lex
0260: 50 6f 73 69 74 69 6f 6e 29 28 22 3c 75 6e 6e 61 Position)("<unna
0270: 6d 65 64 3e 22 2c 30 2c 30 29 3b 20 7d 0d 0a 7d med>",0,0); }..}
0280: 0d 0a 0d 0a 75 6e 69 74 74 65 73 74 0d 0a 7b 0d ....unittest..{.
0290: 0a 09 61 75 74 6f 20 70 20 3d 20 6e 65 77 20 4c ..auto p = new L
02a0: 65 78 50 6f 73 69 74 69 6f 6e 28 22 68 65 6c 6c exPosition("hell
02b0: 6f 2e 63 70 70 22 2c 20 31 32 33 2c 20 34 35 29 o.cpp", 123, 45)
02c0: 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 ;.....assert_eq(
02d0: 20 70 2e 66 69 6c 65 6e 61 6d 65 2c 20 22 68 65 p.filename, "he
02e0: 6c 6c 6f 2e 63 70 70 22 20 29 3b 0d 0a 09 61 73 llo.cpp" );...as
02f0: 73 65 72 74 5f 65 71 28 20 70 2e 6c 69 6e 65 6e sert_eq( p.linen
0300: 6f 2c 20 31 32 33 20 29 3b 0d 0a 09 61 73 73 65 o, 123 );...asse
0310: 72 74 5f 65 71 28 20 70 2e 63 6f 6c 75 6d 6e 2c rt_eq( p.column,
0320: 20 34 35 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 45 );...assert_
0330: 65 71 28 20 74 65 78 74 28 70 29 2c 20 22 68 65 eq( text(p), "he
0340: 6c 6c 6f 2e 63 70 70 3a 31 32 33 3a 34 35 22 20 llo.cpp:123:45"
0350: 29 3b 0d 0a 0d 0a 09 61 73 73 65 72 74 28 20 21 );.....assert( !
0360: 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 __traits(compile
0370: 73 2c 20 6e 65 77 20 4c 65 78 50 6f 73 69 74 69 s, new LexPositi
0380: 6f 6e 29 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 on) );...assert(
0390: 20 21 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 !__traits(compi
03a0: 6c 65 73 2c 20 70 2e 66 69 6c 65 6e 61 6d 65 3d les, p.filename=
03b0: 22 66 6f 6f 22 29 20 29 3b 0d 0a 09 61 73 73 65 "foo") );...asse
03c0: 72 74 28 20 21 5f 5f 74 72 61 69 74 73 28 63 6f rt( !__traits(co
03d0: 6d 70 69 6c 65 73 2c 20 70 2e 6c 69 6e 65 6e 6f mpiles, p.lineno
03e0: 20 20 3d 37 38 39 29 20 29 3b 0d 0a 09 61 73 73 =789) );...ass
03f0: 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 28 63 ert( !__traits(c
0400: 6f 6d 70 69 6c 65 73 2c 20 70 2e 63 6f 6c 75 6d ompiles, p.colum
0410: 6e 20 20 3d 32 32 32 29 20 29 3b 0d 0a 0d 0a 09 n =222) );.....
0420: 61 75 74 6f 20 71 20 3d 20 6e 65 77 20 4c 65 78 auto q = new Lex
0430: 50 6f 73 69 74 69 6f 6e 28 22 68 65 6c 6c 6f 2e Position("hello.
0440: 63 70 70 22 2c 20 31 32 33 2c 20 34 36 29 3b 0d cpp", 123, 46);.
0450: 0a 09 61 73 73 65 72 74 5f 6c 74 28 20 70 2c 20 ..assert_lt( p,
0460: 71 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 6e 65 q );...assert_ne
0470: 28 20 70 2c 20 71 20 29 3b 0d 0a 7d 0d 0a 0d 0a ( p, q );..}....
0480: 2f 2a 6d 69 78 69 6e 2a 2f 0d 0a 74 65 6d 70 6c /*mixin*/..templ
0490: 61 74 65 20 45 78 63 65 70 74 69 6f 6e 57 69 74 ate ExceptionWit
04a0: 68 50 6f 73 69 74 69 6f 6e 28 29 0d 0a 7b 0d 0a hPosition()..{..
04b0: 09 63 6f 6e 73 74 20 4c 65 78 50 6f 73 69 74 69 .const LexPositi
04c0: 6f 6e 20 70 6f 73 3b 0d 0a 09 74 68 69 73 28 20 on pos;...this(
04d0: 63 6f 6e 73 74 20 4c 65 78 50 6f 73 69 74 69 6f const LexPositio
04e0: 6e 20 70 6f 73 2c 20 73 74 72 69 6e 67 20 6d 73 n pos, string ms
04f0: 67 2c 20 73 74 72 69 6e 67 20 66 69 6c 65 3d 6e g, string file=n
0500: 75 6c 6c 2c 20 73 69 7a 65 5f 74 20 6c 69 6e 65 ull, size_t line
0510: 3d 30 2c 20 54 68 72 6f 77 61 62 6c 65 20 6e 65 =0, Throwable ne
0520: 78 74 3d 6e 75 6c 6c 20 29 0d 0a 09 7b 0d 0a 09 xt=null )...{...
0530: 09 69 66 28 70 6f 73 20 69 73 20 6e 75 6c 6c 29 .if(pos is null)
0540: 0d 0a 09 09 09 73 75 70 65 72 28 73 70 72 69 6e .....super(sprin
0550: 74 66 21 28 22 5b 3f 3f 3f 3f 3f 3f 3f 5d 20 25 tf!("[???????] %
0560: 73 22 29 28 6d 73 67 29 2c 20 66 69 6c 65 2c 20 s")(msg), file,
0570: 6c 69 6e 65 2c 20 6e 65 78 74 29 3b 0d 0a 09 09 line, next);....
0580: 65 6c 73 65 0d 0a 09 09 09 73 75 70 65 72 28 73 else.....super(s
0590: 70 72 69 6e 74 66 21 28 22 5b 25 73 5d 20 25 73 printf!("[%s] %s
05a0: 22 29 28 70 6f 73 2c 20 6d 73 67 29 2c 20 66 69 ")(pos, msg), fi
05b0: 6c 65 2c 20 6c 69 6e 65 2c 20 6e 65 78 74 29 3b le, line, next);
05c0: 0d 0a 09 09 74 68 69 73 2e 70 6f 73 20 3d 20 70 ....this.pos = p
05d0: 6f 73 3b 0d 0a 09 7d 0d 0a 7d 0d 0a 0d 0a 63 6c os;...}..}....cl
05e0: 61 73 73 20 55 6e 65 78 70 65 63 74 65 64 45 4f ass UnexpectedEO
05f0: 46 20 3a 20 45 78 63 65 70 74 69 6f 6e 20 7b 20 F : Exception {
0600: 6d 69 78 69 6e 20 45 78 63 65 70 74 69 6f 6e 57 mixin ExceptionW
0610: 69 74 68 50 6f 73 69 74 69 6f 6e 3b 20 7d 20 2f ithPosition; } /
0620: 2f 2f 20 45 4f 46 20 64 75 72 69 6e 67 20 6c 65 // EOF during le
0630: 78 69 6e 67 2f 70 61 72 73 69 6e 67 0d 0a 63 6c xing/parsing..cl
0640: 61 73 73 20 4c 65 78 45 78 63 65 70 74 69 6f 6e ass LexException
0650: 20 3a 20 45 78 63 65 70 74 69 6f 6e 20 7b 20 6d : Exception { m
0660: 69 78 69 6e 20 45 78 63 65 70 74 69 6f 6e 57 69 ixin ExceptionWi
0670: 74 68 50 6f 73 69 74 69 6f 6e 3b 20 7d 20 2f 2f thPosition; } //
0680: 2f 20 4c 65 78 65 72 20 65 72 72 6f 72 73 0d 0a / Lexer errors..
0690: 63 6c 61 73 73 20 50 61 72 73 65 45 78 63 65 70 class ParseExcep
06a0: 74 69 6f 6e 20 3a 20 45 78 63 65 70 74 69 6f 6e tion : Exception
06b0: 20 7b 20 6d 69 78 69 6e 20 45 78 63 65 70 74 69 { mixin Excepti
06c0: 6f 6e 57 69 74 68 50 6f 73 69 74 69 6f 6e 3b 20 onWithPosition;
06d0: 7d 20 2f 2f 2f 20 50 61 72 73 65 72 20 65 72 72 } /// Parser err
06e0: 6f 72 73 0d 0a 63 6c 61 73 73 20 52 75 6e 74 69 ors..class Runti
06f0: 6d 65 45 78 63 65 70 74 69 6f 6e 20 3a 20 45 78 meException : Ex
0700: 63 65 70 74 69 6f 6e 20 7b 20 6d 69 78 69 6e 20 ception { mixin
0710: 45 78 63 65 70 74 69 6f 6e 57 69 74 68 50 6f 73 ExceptionWithPos
0720: 69 74 69 6f 6e 3b 20 7d 20 2f 2f 2f 20 45 76 61 ition; } /// Eva
0730: 6c 75 61 74 6f 72 20 65 72 72 6f 72 73 0d 0a luator errors..