Artifact 1483c10390a22fc3a9b42d844bdbe0d3cc07faa6:
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 55 6e 69 74 74 65 73 74 20 68 65 6c 70 65 * Unittest helpe
0060: 72 73 2e 0a 20 2a 2f 0a 6d 6f 64 75 6c 65 20 74 rs.. */.module t
0070: 72 69 63 6b 73 2e 74 65 73 74 3b 0d 0a 69 6d 70 ricks.test;..imp
0080: 6f 72 74 20 73 74 64 2e 63 6f 6e 76 20 3a 20 74 ort std.conv : t
0090: 6f 3b 0a 69 6d 70 6f 72 74 20 63 6f 72 65 2e 65 o;.import core.e
00a0: 78 63 65 70 74 69 6f 6e 3b 0a 0a 2f 2f 2f 20 55 xception;../// U
00b0: 6e 69 74 74 65 73 74 20 68 65 6c 70 65 72 20 74 nittest helper t
00c0: 68 61 74 20 61 73 73 65 72 74 73 20 61 6e 20 65 hat asserts an e
00d0: 78 70 72 65 73 73 69 6f 6e 20 6d 75 73 74 20 74 xpression must t
00e0: 68 72 6f 77 20 73 6f 6d 65 74 68 69 6e 67 0a 0a hrow something..
00f0: 76 6f 69 64 20 61 73 73 65 72 74 5f 74 68 72 6f void assert_thro
0100: 77 28 45 78 63 65 70 74 69 6f 6e 54 79 70 65 3d w(ExceptionType=
0110: 54 68 72 6f 77 61 62 6c 65 2c 0d 0a 09 54 2c 20 Throwable,...T,
0120: 73 74 72 69 6e 67 20 66 6e 3d 5f 5f 46 49 4c 45 string fn=__FILE
0130: 5f 5f 2c 20 73 69 7a 65 5f 74 20 6c 6e 3d 5f 5f __, size_t ln=__
0140: 4c 49 4e 45 5f 5f 29 28 6c 61 7a 79 20 54 20 74 LINE__)(lazy T t
0150: 2c 20 73 74 72 69 6e 67 20 6d 73 67 3d 22 22 29 , string msg="")
0160: 0a 7b 0d 0a 09 73 74 61 74 69 63 20 69 66 28 20 .{...static if(
0170: 69 73 28 45 78 63 65 70 74 69 6f 6e 54 79 70 65 is(ExceptionType
0180: 20 3d 3d 20 54 68 72 6f 77 61 62 6c 65 29 20 29 == Throwable) )
0190: 0a 09 09 74 72 79 0d 0a 09 09 09 7b 20 74 28 29 ...try.....{ t()
01a0: 3b 20 7d 0d 0a 09 09 63 61 74 63 68 28 45 78 63 ; }....catch(Exc
01b0: 65 70 74 69 6f 6e 54 79 70 65 29 0d 0a 09 09 09 eptionType).....
01c0: 7b 20 72 65 74 75 72 6e 3b 20 7d 0d 0a 09 65 6c { return; }...el
01d0: 73 65 0d 0a 09 09 74 72 79 0a 09 09 09 7b 20 74 se....try....{ t
01e0: 28 29 3b 20 7d 0a 09 09 63 61 74 63 68 28 45 78 (); }...catch(Ex
01f0: 63 65 70 74 69 6f 6e 54 79 70 65 29 0a 09 09 09 ceptionType)....
0200: 7b 20 72 65 74 75 72 6e 3b 20 7d 0a 09 09 63 61 { return; }...ca
0210: 74 63 68 28 54 68 72 6f 77 61 62 6c 65 20 65 29 tch(Throwable e)
0220: 0a 09 09 09 7b 20 6f 6e 41 73 73 65 72 74 45 72 ....{ onAssertEr
0230: 72 6f 72 4d 73 67 28 66 6e 2c 20 6c 6e 2c 20 6d rorMsg(fn, ln, m
0240: 73 67 2e 6c 65 6e 67 74 68 20 3f 20 6d 73 67 20 sg.length ? msg
0250: 3a 20 22 62 61 64 20 65 78 63 65 70 74 69 6f 6e : "bad exception
0260: 5c 6e 20 3e 3e 20 22 7e 65 2e 74 6f 53 74 72 69 \n >> "~e.toStri
0270: 6e 67 28 29 29 3b 20 7d 0a 09 6f 6e 41 73 73 65 ng()); }..onAsse
0280: 72 74 45 72 72 6f 72 4d 73 67 28 66 6e 2c 20 6c rtErrorMsg(fn, l
0290: 6e 2c 20 6d 73 67 2e 6c 65 6e 67 74 68 20 3f 20 n, msg.length ?
02a0: 6d 73 67 20 3a 20 22 6e 6f 74 20 74 68 72 6f 77 msg : "not throw
02b0: 6e 22 29 3b 0a 7d 0a 0a 2f 2f 2f 20 55 6e 69 74 n");.}../// Unit
02c0: 74 65 73 74 20 68 65 6c 70 65 72 20 74 68 61 74 test helper that
02d0: 20 61 73 73 65 72 74 73 20 61 6e 20 65 78 70 72 asserts an expr
02e0: 65 73 73 69 6f 6e 20 6d 75 73 74 20 6e 6f 74 20 ession must not
02f0: 74 68 72 6f 77 20 61 6e 79 74 68 69 6e 67 0a 0a throw anything..
0300: 54 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 T assert_nothrow
0310: 28 54 2c 20 73 74 72 69 6e 67 20 66 6e 3d 5f 5f (T, string fn=__
0320: 46 49 4c 45 5f 5f 2c 20 73 69 7a 65 5f 74 20 6c FILE__, size_t l
0330: 6e 3d 5f 5f 4c 49 4e 45 5f 5f 29 28 6c 61 7a 79 n=__LINE__)(lazy
0340: 20 54 20 74 2c 20 73 74 72 69 6e 67 20 6d 73 67 T t, string msg
0350: 3d 22 22 29 0a 7b 0a 09 74 72 79 0a 09 09 7b 20 ="").{..try...{
0360: 72 65 74 75 72 6e 20 74 28 29 3b 20 7d 0a 09 63 return t(); }..c
0370: 61 74 63 68 28 54 68 72 6f 77 61 62 6c 65 20 65 atch(Throwable e
0380: 29 0a 09 09 7b 20 6f 6e 41 73 73 65 72 74 45 72 )...{ onAssertEr
0390: 72 6f 72 4d 73 67 28 66 6e 2c 20 6c 6e 2c 20 6d rorMsg(fn, ln, m
03a0: 73 67 2e 6c 65 6e 67 74 68 20 3f 20 6d 73 67 20 sg.length ? msg
03b0: 3a 20 22 62 61 64 20 65 78 63 65 70 74 69 6f 6e : "bad exception
03c0: 5c 6e 20 3e 3e 20 22 7e 65 2e 74 6f 53 74 72 69 \n >> "~e.toStri
03d0: 6e 67 28 29 29 3b 20 7d 0d 0a 09 61 73 73 65 72 ng()); }...asser
03e0: 74 28 66 61 6c 73 65 29 3b 0a 7d 0a 0a 75 6e 69 t(false);.}..uni
03f0: 74 74 65 73 74 0a 7b 0a 09 61 75 74 6f 20 65 72 ttest.{..auto er
0400: 72 6f 72 20 3d 20 7b 74 68 72 6f 77 20 6e 65 77 ror = {throw new
0410: 20 45 72 72 6f 72 28 22 68 65 6c 6c 6f 22 29 3b Error("hello");
0420: 7d 3b 0a 09 61 75 74 6f 20 6e 6f 74 68 69 6e 67 };..auto nothing
0430: 20 3d 20 28 29 7b 7d 3b 0a 09 61 75 74 6f 20 61 = (){};..auto a
0440: 73 73 65 72 74 45 72 72 6f 72 20 3d 20 7b 61 73 ssertError = {as
0450: 73 65 72 74 28 30 29 3b 7d 3b 0a 0a 09 61 73 73 sert(0);};...ass
0460: 65 72 74 5f 6e 6f 74 68 72 6f 77 20 20 20 20 20 ert_nothrow
0470: 20 20 20 20 20 28 20 61 73 73 65 72 74 5f 6e 6f ( assert_no
0480: 74 68 72 6f 77 28 6e 6f 74 68 69 6e 67 28 29 29 throw(nothing())
0490: 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );..assert_thro
04a0: 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 61 w!AssertError( a
04b0: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 65 72 ssert_nothrow(er
04c0: 72 6f 72 28 29 29 20 29 3b 0a 09 61 73 73 65 72 ror()) );..asser
04d0: 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 t_throw!AssertEr
04e0: 72 6f 72 28 20 61 73 73 65 72 74 5f 6e 6f 74 68 ror( assert_noth
04f0: 72 6f 77 28 61 73 73 65 72 74 45 72 72 6f 72 28 row(assertError(
0500: 29 29 20 29 3b 0a 0a 09 61 73 73 65 72 74 5f 6e )) );...assert_n
0510: 6f 74 68 72 6f 77 20 20 20 20 20 20 20 20 20 20 othrow
0520: 28 20 61 73 73 65 72 74 5f 74 68 72 6f 77 21 45 ( assert_throw!E
0530: 72 72 6f 72 28 65 72 72 6f 72 28 29 29 20 29 3b rror(error()) );
0540: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 41 ..assert_throw!A
0550: 73 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 65 ssertError( asse
0560: 72 74 5f 74 68 72 6f 77 21 45 72 72 6f 72 28 6e rt_throw!Error(n
0570: 6f 74 68 69 6e 67 28 29 29 20 29 3b 0a 09 61 73 othing()) );..as
0580: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 20 20 20 20 sert_nothrow
0590: 20 20 20 20 20 20 28 20 61 73 73 65 72 74 5f 74 ( assert_t
05a0: 68 72 6f 77 21 45 72 72 6f 72 28 61 73 73 65 72 hrow!Error(asser
05b0: 74 45 72 72 6f 72 28 29 29 20 29 3b 0a 09 61 73 tError()) );..as
05c0: 73 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 sert_throw!Asser
05d0: 74 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f 74 tError( assert_t
05e0: 68 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 hrow!AssertError
05f0: 28 65 72 72 6f 72 28 29 29 20 29 3b 0d 0a 7d 0a (error()) );..}.
0600: 0a 74 65 6d 70 6c 61 74 65 20 61 73 73 65 72 74 .template assert
0610: 4f 70 28 73 74 72 69 6e 67 20 6f 70 29 0a 7b 0a Op(string op).{.
0620: 09 76 6f 69 64 20 61 73 73 65 72 74 4f 70 28 41 .void assertOp(A
0630: 2c 20 42 2c 20 73 74 72 69 6e 67 20 66 6e 3d 5f , B, string fn=_
0640: 5f 46 49 4c 45 5f 5f 2c 20 73 69 7a 65 5f 74 20 _FILE__, size_t
0650: 6c 6e 3d 5f 5f 4c 49 4e 45 5f 5f 29 28 41 20 61 ln=__LINE__)(A a
0660: 2c 20 42 20 62 2c 20 73 74 72 69 6e 67 20 6d 73 , B b, string ms
0670: 67 3d 22 22 29 0a 09 7b 0a 09 09 74 72 79 0a 09 g="")..{...try..
0680: 09 09 7b 20 69 66 28 20 6d 69 78 69 6e 28 22 61 ..{ if( mixin("a
0690: 22 7e 6f 70 7e 22 62 22 29 20 29 20 72 65 74 75 "~op~"b") ) retu
06a0: 72 6e 3b 20 7d 0a 09 09 63 61 74 63 68 28 54 68 rn; }...catch(Th
06b0: 72 6f 77 61 62 6c 65 20 65 29 0a 09 09 09 7b 20 rowable e)....{
06c0: 6f 6e 41 73 73 65 72 74 45 72 72 6f 72 4d 73 67 onAssertErrorMsg
06d0: 28 66 6e 2c 20 6c 6e 2c 20 6d 73 67 2e 6c 65 6e (fn, ln, msg.len
06e0: 67 74 68 20 3f 20 6d 73 67 20 3a 20 22 65 78 63 gth ? msg : "exc
06f0: 65 70 74 69 6f 6e 20 5b 22 7e 65 2e 74 6f 53 74 eption ["~e.toSt
0700: 72 69 6e 67 28 29 7e 22 5d 22 29 3b 20 7d 0a 09 ring()~"]"); }..
0710: 09 6f 6e 41 73 73 65 72 74 45 72 72 6f 72 4d 73 .onAssertErrorMs
0720: 67 28 66 6e 2c 20 6c 6e 2c 20 6d 73 67 2e 6c 65 g(fn, ln, msg.le
0730: 6e 67 74 68 20 3f 20 6d 73 67 20 3a 20 74 6f 21 ngth ? msg : to!
0740: 73 74 72 69 6e 67 28 61 29 7e 22 20 21 22 7e 6f string(a)~" !"~o
0750: 70 7e 22 20 22 7e 74 6f 21 73 74 72 69 6e 67 28 p~" "~to!string(
0760: 62 29 29 3b 0a 09 7d 0a 7d 0a 0a 61 6c 69 61 73 b));..}.}..alias
0770: 20 61 73 73 65 72 74 4f 70 21 28 60 3d 3d 60 29 assertOp!(`==`)
0780: 20 61 73 73 65 72 74 5f 65 71 3b 20 2f 2f 2f 20 assert_eq; ///
0790: 61 73 73 65 72 74 73 20 74 77 6f 20 6f 70 65 72 asserts two oper
07a0: 61 6e 64 73 20 61 72 65 20 3d 3d 0a 61 6c 69 61 ands are ==.alia
07b0: 73 20 61 73 73 65 72 74 4f 70 21 28 60 21 3d 60 s assertOp!(`!=`
07c0: 29 20 61 73 73 65 72 74 5f 6e 65 3b 20 2f 2f 2f ) assert_ne; ///
07d0: 20 61 73 73 65 72 74 73 20 74 77 6f 20 6f 70 65 asserts two ope
07e0: 72 61 6e 64 73 20 61 72 65 20 21 3d 0a 61 6c 69 rands are !=.ali
07f0: 61 73 20 61 73 73 65 72 74 4f 70 21 28 60 3c 60 as assertOp!(`<`
0800: 29 20 20 61 73 73 65 72 74 5f 6c 74 3b 20 2f 2f ) assert_lt; //
0810: 2f 20 61 73 73 65 72 74 73 20 74 77 6f 20 6f 70 / asserts two op
0820: 65 72 61 6e 64 73 20 61 72 65 20 3c 0a 61 6c 69 erands are <.ali
0830: 61 73 20 61 73 73 65 72 74 4f 70 21 28 60 3c 3d as assertOp!(`<=
0840: 60 29 20 61 73 73 65 72 74 5f 6c 65 3b 20 2f 2f `) assert_le; //
0850: 2f 20 61 73 73 65 72 74 73 20 74 77 6f 20 6f 70 / asserts two op
0860: 65 72 61 6e 64 73 20 61 72 65 20 3c 3d 0a 61 6c erands are <=.al
0870: 69 61 73 20 61 73 73 65 72 74 4f 70 21 28 60 3e ias assertOp!(`>
0880: 60 29 20 20 61 73 73 65 72 74 5f 67 74 3b 20 2f `) assert_gt; /
0890: 2f 2f 20 61 73 73 65 72 74 73 20 74 77 6f 20 6f // asserts two o
08a0: 70 65 72 61 6e 64 73 20 61 72 65 20 3e 0a 61 6c perands are >.al
08b0: 69 61 73 20 61 73 73 65 72 74 4f 70 21 28 60 3e ias assertOp!(`>
08c0: 3d 60 29 20 61 73 73 65 72 74 5f 67 65 3b 20 2f =`) assert_ge; /
08d0: 2f 2f 20 61 73 73 65 72 74 73 20 74 77 6f 20 6f // asserts two o
08e0: 70 65 72 61 6e 64 73 20 61 72 65 20 3e 3d 0a 0a perands are >=..
08f0: 75 6e 69 74 74 65 73 74 0a 7b 0a 09 61 73 73 65 unittest.{..asse
0900: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 61 73 73 65 rt_nothrow( asse
0910: 72 74 5f 65 71 28 31 2c 20 31 29 20 29 3b 0a 09 rt_eq(1, 1) );..
0920: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 assert_nothrow(
0930: 61 73 73 65 72 74 5f 6e 65 28 31 2c 20 30 29 20 assert_ne(1, 0)
0940: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 );..assert_nothr
0950: 6f 77 28 20 61 73 73 65 72 74 5f 6c 74 28 30 2c ow( assert_lt(0,
0960: 20 31 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 1) );..assert_n
0970: 6f 74 68 72 6f 77 28 20 61 73 73 65 72 74 5f 6c othrow( assert_l
0980: 65 28 30 2c 20 31 29 20 29 3b 0a 09 61 73 73 65 e(0, 1) );..asse
0990: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 61 73 73 65 rt_nothrow( asse
09a0: 72 74 5f 6c 65 28 30 2c 20 30 29 20 29 3b 0a 09 rt_le(0, 0) );..
09b0: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 assert_nothrow(
09c0: 61 73 73 65 72 74 5f 67 74 28 31 2c 20 30 29 20 assert_gt(1, 0)
09d0: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 );..assert_nothr
09e0: 6f 77 28 20 61 73 73 65 72 74 5f 67 65 28 31 2c ow( assert_ge(1,
09f0: 20 30 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 0) );..assert_n
0a00: 6f 74 68 72 6f 77 28 20 61 73 73 65 72 74 5f 67 othrow( assert_g
0a10: 65 28 30 2c 20 30 29 20 29 3b 0a 0a 09 61 73 73 e(0, 0) );...ass
0a20: 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 ert_throw!Assert
0a30: 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f 65 71 Error( assert_eq
0a40: 28 31 2c 20 30 29 20 29 3b 0a 09 61 73 73 65 72 (1, 0) );..asser
0a50: 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 t_throw!AssertEr
0a60: 72 6f 72 28 20 61 73 73 65 72 74 5f 6e 65 28 31 ror( assert_ne(1
0a70: 2c 20 31 29 20 29 3b 0a 09 61 73 73 65 72 74 5f , 1) );..assert_
0a80: 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f throw!AssertErro
0a90: 72 28 20 61 73 73 65 72 74 5f 6c 74 28 31 2c 20 r( assert_lt(1,
0aa0: 31 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 1) );..assert_th
0ab0: 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 row!AssertError(
0ac0: 20 61 73 73 65 72 74 5f 6c 74 28 31 2c 20 30 29 assert_lt(1, 0)
0ad0: 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );..assert_thro
0ae0: 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 61 w!AssertError( a
0af0: 73 73 65 72 74 5f 6c 65 28 31 2c 20 30 29 20 29 ssert_le(1, 0) )
0b00: 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ;..assert_throw!
0b10: 41 73 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 AssertError( ass
0b20: 65 72 74 5f 67 74 28 30 2c 20 30 29 20 29 3b 0a ert_gt(0, 0) );.
0b30: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 .assert_throw!As
0b40: 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 65 72 sertError( asser
0b50: 74 5f 67 74 28 30 2c 20 31 29 20 29 3b 0a 09 61 t_gt(0, 1) );..a
0b60: 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 ssert_throw!Asse
0b70: 72 74 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f rtError( assert_
0b80: 67 65 28 30 2c 20 31 29 20 29 3b 0a 0a 09 63 6c ge(0, 1) );...cl
0b90: 61 73 73 20 54 65 6d 70 20 7b 20 62 6f 6f 6c 20 ass Temp { bool
0ba0: 6f 70 45 71 75 61 6c 73 28 69 6e 74 20 78 29 7b opEquals(int x){
0bb0: 72 65 74 75 72 6e 20 78 2f 78 3d 3d 78 3b 7d 20 return x/x==x;}
0bc0: 7d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 }..assert_throw!
0bd0: 41 73 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 AssertError( ass
0be0: 65 72 74 5f 65 71 28 6e 65 77 20 54 65 6d 70 2c ert_eq(new Temp,
0bf0: 20 30 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 0) );..assert_n
0c00: 6f 74 68 72 6f 77 20 20 20 20 20 20 20 20 20 20 othrow
0c10: 28 20 61 73 73 65 72 74 5f 65 71 28 6e 65 77 20 ( assert_eq(new
0c20: 54 65 6d 70 2c 20 31 29 20 29 3b 0a 09 61 73 73 Temp, 1) );..ass
0c30: 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 ert_throw!Assert
0c40: 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f 65 71 Error( assert_eq
0c50: 28 6e 65 77 20 54 65 6d 70 2c 20 32 29 20 29 3b (new Temp, 2) );
0c60: 0a 7d 0a 0a 2f 2a 20 5b 54 6f 64 6f 5d 20 69 73 .}../* [Todo] is
0c70: 20 74 68 65 72 65 20 61 6e 79 20 77 61 79 20 74 there any way t
0c80: 6f 20 63 6c 65 61 72 6e 6c 79 20 69 6d 70 6c 65 o clearnly imple
0c90: 6d 65 6e 74 20 22 61 73 73 65 72 74 5f 63 6f 6d ment "assert_com
0ca0: 70 69 6c 65 73 22 20 61 6e 64 20 22 61 73 73 65 piles" and "asse
0cb0: 72 74 5f 6e 6f 74 5f 63 6f 6d 70 69 6c 65 22 3f rt_not_compile"?
0cc0: 20 2a 2f 0a */.