Artifact 594acaf3ac60594c1b609615e9d9c5fb21370f2c:
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 5f 74 0d 0a 7b 0d 0a 09 69 6d 6d 75 74 61 62 n_t..{...immutab
0110: 6c 65 20 73 74 72 69 6e 67 20 66 69 6c 65 6e 61 le string filena
0120: 6d 65 3b 20 2f 2f 2f 20 6e 61 6d 65 20 6f 66 20 me; /// name of
0130: 74 68 65 20 73 6f 75 72 63 65 20 66 69 6c 65 0d the source file.
0140: 0a 09 69 6d 6d 75 74 61 62 6c 65 20 69 6e 74 20 ..immutable int
0150: 20 20 20 6c 69 6e 65 6e 6f 3b 20 20 20 2f 2f 2f lineno; ///
0160: 20 31 2d 6f 72 69 67 69 6e 0d 0a 09 69 6d 6d 75 1-origin...immu
0170: 74 61 62 6c 65 20 69 6e 74 20 20 20 20 63 6f 6c table int col
0180: 75 6d 6e 3b 20 20 20 2f 2f 2f 20 31 2d 6f 72 69 umn; /// 1-ori
0190: 67 69 6e 0d 0a 0d 0a 09 6d 69 78 69 6e 20 53 69 gin.....mixin Si
01a0: 6d 70 6c 65 43 6c 61 73 73 3b 0d 0a 09 6f 76 65 mpleClass;...ove
01b0: 72 72 69 64 65 20 73 74 72 69 6e 67 20 74 6f 53 rride string toS
01c0: 74 72 69 6e 67 28 29 20 63 6f 6e 73 74 0d 0a 09 tring() const...
01d0: 7b 0d 0a 09 09 72 65 74 75 72 6e 20 73 70 72 69 {....return spri
01e0: 6e 74 66 21 28 22 25 73 3a 25 64 3a 25 64 22 29 ntf!("%s:%d:%d")
01f0: 28 66 69 6c 65 6e 61 6d 65 2c 20 6c 69 6e 65 6e (filename, linen
0200: 6f 2c 20 63 6f 6c 75 6d 6e 29 3b 0d 0a 09 7d 0d o, column);...}.
0210: 0a 0d 0a 09 73 74 61 74 69 63 20 4c 65 78 50 6f ....static LexPo
0220: 73 69 74 69 6f 6e 20 64 75 6d 6d 79 3b 0d 0a 09 sition dummy;...
0230: 73 74 61 74 69 63 20 74 68 69 73 28 29 7b 20 64 static this(){ d
0240: 75 6d 6d 79 20 3d 20 6e 65 77 20 4c 65 78 50 6f ummy = new LexPo
0250: 73 69 74 69 6f 6e 28 22 3c 75 6e 6e 61 6d 65 64 sition("<unnamed
0260: 3e 22 2c 30 2c 30 29 3b 20 7d 0d 0a 7d 0d 0a 0d >",0,0); }..}...
0270: 0a 2f 2f 2f 20 52 65 70 72 65 73 65 6e 74 73 20 ./// Represents
0280: 61 20 70 6f 73 69 74 69 6f 6e 20 69 6e 20 73 6f a position in so
0290: 75 72 63 65 20 63 6f 64 65 73 0d 0a 0d 0a 61 6c urce codes....al
02a0: 69 61 73 20 69 6d 6d 75 74 61 62 6c 65 28 4c 65 ias immutable(Le
02b0: 78 50 6f 73 69 74 69 6f 6e 5f 74 29 20 4c 65 78 xPosition_t) Lex
02c0: 50 6f 73 69 74 69 6f 6e 3b 0d 0a 0d 0a 75 6e 69 Position;....uni
02d0: 74 74 65 73 74 0d 0a 7b 0d 0a 09 61 75 74 6f 20 ttest..{...auto
02e0: 70 20 3d 20 6e 65 77 20 4c 65 78 50 6f 73 69 74 p = new LexPosit
02f0: 69 6f 6e 28 22 68 65 6c 6c 6f 2e 63 70 70 22 2c ion("hello.cpp",
0300: 20 31 32 33 2c 20 34 35 29 3b 0d 0a 0d 0a 09 61 123, 45);.....a
0310: 73 73 65 72 74 5f 65 71 28 20 70 2e 66 69 6c 65 ssert_eq( p.file
0320: 6e 61 6d 65 2c 20 22 68 65 6c 6c 6f 2e 63 70 70 name, "hello.cpp
0330: 22 20 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 " );...assert_eq
0340: 28 20 70 2e 6c 69 6e 65 6e 6f 2c 20 31 32 33 20 ( p.lineno, 123
0350: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
0360: 70 2e 63 6f 6c 75 6d 6e 2c 20 34 35 20 29 3b 0d p.column, 45 );.
0370: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 74 65 78 ..assert_eq( tex
0380: 74 28 70 29 2c 20 22 68 65 6c 6c 6f 2e 63 70 70 t(p), "hello.cpp
0390: 3a 31 32 33 3a 34 35 22 20 29 3b 0d 0a 0d 0a 09 :123:45" );.....
03a0: 61 73 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 assert( !__trait
03b0: 73 28 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 20 s(compiles, new
03c0: 4c 65 78 50 6f 73 69 74 69 6f 6e 29 20 29 3b 0d LexPosition) );.
03d0: 0a 09 61 73 73 65 72 74 28 20 21 5f 5f 74 72 61 ..assert( !__tra
03e0: 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 70 2e its(compiles, p.
03f0: 66 69 6c 65 6e 61 6d 65 3d 22 66 6f 6f 22 29 20 filename="foo")
0400: 29 3b 0d 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 6c 69 6e 65 6e 6f 20 20 3d 37 38 39 29 p.lineno =789)
0430: 20 29 3b 0d 0a 09 61 73 73 65 72 74 28 20 21 5f );...assert( !_
0440: 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 _traits(compiles
0450: 2c 20 70 2e 63 6f 6c 75 6d 6e 20 20 3d 32 32 32 , p.column =222
0460: 29 20 29 3b 0d 0a 0d 0a 09 61 75 74 6f 20 71 20 ) );.....auto q
0470: 3d 20 6e 65 77 20 4c 65 78 50 6f 73 69 74 69 6f = new LexPositio
0480: 6e 28 22 68 65 6c 6c 6f 2e 63 70 70 22 2c 20 31 n("hello.cpp", 1
0490: 32 33 2c 20 34 36 29 3b 0d 0a 09 61 73 73 65 72 23, 46);...asser
04a0: 74 5f 6c 74 28 20 70 2c 20 71 20 29 3b 0d 0a 09 t_lt( p, q );...
04b0: 61 73 73 65 72 74 5f 6e 65 28 20 70 2c 20 71 20 assert_ne( p, q
04c0: 29 3b 0d 0a 7d 0d 0a 0d 0a 2f 2a 6d 69 78 69 6e );..}..../*mixin
04d0: 2a 2f 0d 0a 74 65 6d 70 6c 61 74 65 20 45 78 63 */..template Exc
04e0: 65 70 74 69 6f 6e 57 69 74 68 50 6f 73 69 74 69 eptionWithPositi
04f0: 6f 6e 28 29 0d 0a 7b 0d 0a 09 4c 65 78 50 6f 73 on()..{...LexPos
0500: 69 74 69 6f 6e 20 70 6f 73 3b 0d 0a 09 74 68 69 ition pos;...thi
0510: 73 28 20 4c 65 78 50 6f 73 69 74 69 6f 6e 20 70 s( LexPosition p
0520: 6f 73 2c 20 73 74 72 69 6e 67 20 6d 73 67 2c 20 os, string msg,
0530: 73 74 72 69 6e 67 20 66 69 6c 65 3d 6e 75 6c 6c string file=null
0540: 2c 20 73 69 7a 65 5f 74 20 6c 69 6e 65 3d 30 2c , size_t line=0,
0550: 20 54 68 72 6f 77 61 62 6c 65 20 6e 65 78 74 3d Throwable next=
0560: 6e 75 6c 6c 20 29 0d 0a 09 7b 0d 0a 09 09 69 66 null )...{....if
0570: 28 70 6f 73 20 69 73 20 6e 75 6c 6c 29 0d 0a 09 (pos is null)...
0580: 09 09 73 75 70 65 72 28 73 70 72 69 6e 74 66 21 ..super(sprintf!
0590: 28 22 5b 3f 3f 5d 20 25 73 22 29 28 6d 73 67 29 ("[??] %s")(msg)
05a0: 2c 20 66 69 6c 65 2c 20 6c 69 6e 65 2c 20 6e 65 , file, line, ne
05b0: 78 74 29 3b 0d 0a 09 09 65 6c 73 65 0d 0a 09 09 xt);....else....
05c0: 09 73 75 70 65 72 28 73 70 72 69 6e 74 66 21 28 .super(sprintf!(
05d0: 22 5b 25 73 5d 20 25 73 22 29 28 70 6f 73 2c 20 "[%s] %s")(pos,
05e0: 6d 73 67 29 2c 20 66 69 6c 65 2c 20 6c 69 6e 65 msg), file, line
05f0: 2c 20 6e 65 78 74 29 3b 0d 0a 09 09 74 68 69 73 , next);....this
0600: 2e 70 6f 73 20 3d 20 70 6f 73 3b 0d 0a 09 7d 0d .pos = pos;...}.
0610: 0a 7d 0d 0a 0d 0a 63 6c 61 73 73 20 55 6e 65 78 .}....class Unex
0620: 70 65 63 74 65 64 45 4f 46 20 3a 20 45 78 63 65 pectedEOF : Exce
0630: 70 74 69 6f 6e 20 7b 20 6d 69 78 69 6e 20 45 78 ption { mixin Ex
0640: 63 65 70 74 69 6f 6e 57 69 74 68 50 6f 73 69 74 ceptionWithPosit
0650: 69 6f 6e 3b 20 7d 20 2f 2f 2f 20 45 4f 46 20 64 ion; } /// EOF d
0660: 75 72 69 6e 67 20 6c 65 78 69 6e 67 2f 70 61 72 uring lexing/par
0670: 73 69 6e 67 0d 0a 63 6c 61 73 73 20 4c 65 78 45 sing..class LexE
0680: 78 63 65 70 74 69 6f 6e 20 3a 20 45 78 63 65 70 xception : Excep
0690: 74 69 6f 6e 20 7b 20 6d 69 78 69 6e 20 45 78 63 tion { mixin Exc
06a0: 65 70 74 69 6f 6e 57 69 74 68 50 6f 73 69 74 69 eptionWithPositi
06b0: 6f 6e 3b 20 7d 20 2f 2f 2f 20 4c 65 78 65 72 20 on; } /// Lexer
06c0: 65 72 72 6f 72 73 0d 0a 63 6c 61 73 73 20 50 61 errors..class Pa
06d0: 72 73 65 45 78 63 65 70 74 69 6f 6e 20 3a 20 45 rseException : E
06e0: 78 63 65 70 74 69 6f 6e 20 7b 20 6d 69 78 69 6e xception { mixin
06f0: 20 45 78 63 65 70 74 69 6f 6e 57 69 74 68 50 6f ExceptionWithPo
0700: 73 69 74 69 6f 6e 3b 20 7d 20 2f 2f 2f 20 50 61 sition; } /// Pa
0710: 72 73 65 72 20 65 72 72 6f 72 73 0d 0a 63 6c 61 rser errors..cla
0720: 73 73 20 52 75 6e 74 69 6d 65 45 78 63 65 70 74 ss RuntimeExcept
0730: 69 6f 6e 20 3a 20 45 78 63 65 70 74 69 6f 6e 20 ion : Exception
0740: 7b 20 6d 69 78 69 6e 20 45 78 63 65 70 74 69 6f { mixin Exceptio
0750: 6e 57 69 74 68 50 6f 73 69 74 69 6f 6e 3b 20 7d nWithPosition; }
0760: 20 2f 2f 2f 20 45 76 61 6c 75 61 74 6f 72 20 65 /// Evaluator e
0770: 72 72 6f 72 73 0d 0a rrors..