Artifact 7c50b0e91b8919b82850cd8e32d3f17152d207ce:
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: 61 75 74 6f 20 61 73 73 65 72 74 5f 6e 6f 74 68 auto assert_noth
0310: 72 6f 77 28 54 2c 20 73 74 72 69 6e 67 20 66 6e row(T, string fn
0320: 3d 5f 5f 46 49 4c 45 5f 5f 2c 20 73 69 7a 65 5f =__FILE__, size_
0330: 74 20 6c 6e 3d 5f 5f 4c 49 4e 45 5f 5f 29 28 6c t ln=__LINE__)(l
0340: 61 7a 79 20 54 20 74 2c 20 73 74 72 69 6e 67 20 azy T t, string
0350: 6d 73 67 3d 22 22 29 0a 7b 0a 09 74 72 79 0a 09 msg="").{..try..
0360: 09 7b 20 72 65 74 75 72 6e 20 74 28 29 3b 20 7d .{ return t(); }
0370: 0a 09 63 61 74 63 68 28 54 68 72 6f 77 61 62 6c ..catch(Throwabl
0380: 65 20 65 29 0a 09 09 7b 20 6f 6e 41 73 73 65 72 e e)...{ onAsser
0390: 74 45 72 72 6f 72 4d 73 67 28 66 6e 2c 20 6c 6e tErrorMsg(fn, ln
03a0: 2c 20 6d 73 67 2e 6c 65 6e 67 74 68 20 3f 20 6d , msg.length ? m
03b0: 73 67 20 3a 20 22 62 61 64 20 65 78 63 65 70 74 sg : "bad except
03c0: 69 6f 6e 5c 6e 20 3e 3e 20 22 7e 65 2e 74 6f 53 ion\n >> "~e.toS
03d0: 74 72 69 6e 67 28 29 29 3b 20 7d 0d 0a 09 61 73 tring()); }...as
03e0: 73 65 72 74 28 66 61 6c 73 65 29 3b 0a 7d 0a 0a sert(false);.}..
03f0: 75 6e 69 74 74 65 73 74 0a 7b 0a 09 61 75 74 6f unittest.{..auto
0400: 20 65 72 72 6f 72 20 3d 20 7b 74 68 72 6f 77 20 error = {throw
0410: 6e 65 77 20 45 72 72 6f 72 28 22 68 65 6c 6c 6f new Error("hello
0420: 22 29 3b 7d 3b 0a 09 61 75 74 6f 20 6e 6f 74 68 ");};..auto noth
0430: 69 6e 67 20 3d 20 28 29 7b 7d 3b 0a 09 61 75 74 ing = (){};..aut
0440: 6f 20 61 73 73 65 72 74 45 72 72 6f 72 20 3d 20 o assertError =
0450: 7b 61 73 73 65 72 74 28 30 29 3b 7d 3b 0a 0a 09 {assert(0);};...
0460: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 20 20 assert_nothrow
0470: 20 20 20 20 20 20 20 20 28 20 61 73 73 65 72 74 ( assert
0480: 5f 6e 6f 74 68 72 6f 77 28 6e 6f 74 68 69 6e 67 _nothrow(nothing
0490: 28 29 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 ()) );..assert_t
04a0: 68 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 hrow!AssertError
04b0: 28 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ( assert_nothrow
04c0: 28 65 72 72 6f 72 28 29 29 20 29 3b 0a 09 61 73 (error()) );..as
04d0: 73 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 sert_throw!Asser
04e0: 74 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f 6e tError( assert_n
04f0: 6f 74 68 72 6f 77 28 61 73 73 65 72 74 45 72 72 othrow(assertErr
0500: 6f 72 28 29 29 20 29 3b 0a 0a 09 61 73 73 65 72 or()) );...asser
0510: 74 5f 6e 6f 74 68 72 6f 77 20 20 20 20 20 20 20 t_nothrow
0520: 20 20 20 28 20 61 73 73 65 72 74 5f 74 68 72 6f ( assert_thro
0530: 77 21 45 72 72 6f 72 28 65 72 72 6f 72 28 29 29 w!Error(error())
0540: 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );..assert_thro
0550: 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 61 w!AssertError( a
0560: 73 73 65 72 74 5f 74 68 72 6f 77 21 45 72 72 6f ssert_throw!Erro
0570: 72 28 6e 6f 74 68 69 6e 67 28 29 29 20 29 3b 0a r(nothing()) );.
0580: 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 20 .assert_nothrow
0590: 20 20 20 20 20 20 20 20 20 28 20 61 73 73 65 72 ( asser
05a0: 74 5f 74 68 72 6f 77 21 45 72 72 6f 72 28 61 73 t_throw!Error(as
05b0: 73 65 72 74 45 72 72 6f 72 28 29 29 20 29 3b 0a sertError()) );.
05c0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 .assert_throw!As
05d0: 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 65 72 sertError( asser
05e0: 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 t_throw!AssertEr
05f0: 72 6f 72 28 65 72 72 6f 72 28 29 29 20 29 3b 0d ror(error()) );.
0600: 0a 7d 0a 0a 2f 2f 2f 20 55 6e 69 74 74 65 73 74 .}../// Unittest
0610: 20 68 65 6c 70 65 72 73 20 61 73 73 65 72 74 69 helpers asserti
0620: 6e 67 20 74 77 6f 20 76 61 6c 75 65 73 20 61 72 ng two values ar
0630: 65 20 69 6e 20 73 6f 6d 65 20 72 65 6c 61 74 69 e in some relati
0640: 6f 6e 20 3d 3d 2c 20 21 3d 2c 20 3c 2c 20 3c 3d on ==, !=, <, <=
0650: 2c 20 3e 2c 20 3e 3d 0a 0a 74 65 6d 70 6c 61 74 , >, >=..templat
0660: 65 20 61 73 73 65 72 74 4f 70 28 73 74 72 69 6e e assertOp(strin
0670: 67 20 6f 70 29 0a 7b 0a 09 76 6f 69 64 20 61 73 g op).{..void as
0680: 73 65 72 74 4f 70 28 41 2c 20 42 2c 20 73 74 72 sertOp(A, B, str
0690: 69 6e 67 20 66 6e 3d 5f 5f 46 49 4c 45 5f 5f 2c ing fn=__FILE__,
06a0: 20 73 69 7a 65 5f 74 20 6c 6e 3d 5f 5f 4c 49 4e size_t ln=__LIN
06b0: 45 5f 5f 29 28 41 20 61 2c 20 42 20 62 2c 20 73 E__)(A a, B b, s
06c0: 74 72 69 6e 67 20 6d 73 67 3d 22 22 29 0a 09 7b tring msg="")..{
06d0: 0a 09 09 74 72 79 0a 09 09 09 7b 20 69 66 28 20 ...try....{ if(
06e0: 6d 69 78 69 6e 28 22 61 22 7e 6f 70 7e 22 62 22 mixin("a"~op~"b"
06f0: 29 20 29 20 72 65 74 75 72 6e 3b 20 7d 0a 09 09 ) ) return; }...
0700: 63 61 74 63 68 28 54 68 72 6f 77 61 62 6c 65 20 catch(Throwable
0710: 65 29 0a 09 09 09 7b 20 6f 6e 41 73 73 65 72 74 e)....{ onAssert
0720: 45 72 72 6f 72 4d 73 67 28 66 6e 2c 20 6c 6e 2c ErrorMsg(fn, ln,
0730: 20 6d 73 67 2e 6c 65 6e 67 74 68 20 3f 20 6d 73 msg.length ? ms
0740: 67 20 3a 20 22 65 78 63 65 70 74 69 6f 6e 20 5b g : "exception [
0750: 22 7e 65 2e 74 6f 53 74 72 69 6e 67 28 29 7e 22 "~e.toString()~"
0760: 5d 22 29 3b 20 7d 0a 09 09 6f 6e 41 73 73 65 72 ]"); }...onAsser
0770: 74 45 72 72 6f 72 4d 73 67 28 66 6e 2c 20 6c 6e tErrorMsg(fn, ln
0780: 2c 20 6d 73 67 2e 6c 65 6e 67 74 68 20 3f 20 6d , msg.length ? m
0790: 73 67 20 3a 20 74 6f 21 73 74 72 69 6e 67 28 61 sg : to!string(a
07a0: 29 7e 22 20 21 22 7e 6f 70 7e 22 20 22 7e 74 6f )~" !"~op~" "~to
07b0: 21 73 74 72 69 6e 67 28 62 29 29 3b 0a 09 7d 0a !string(b));..}.
07c0: 7d 0a 0a 61 6c 69 61 73 20 61 73 73 65 72 74 4f }..alias assertO
07d0: 70 21 28 60 3d 3d 60 29 20 61 73 73 65 72 74 5f p!(`==`) assert_
07e0: 65 71 3b 0a 61 6c 69 61 73 20 61 73 73 65 72 74 eq;.alias assert
07f0: 4f 70 21 28 60 21 3d 60 29 20 61 73 73 65 72 74 Op!(`!=`) assert
0800: 5f 6e 65 3b 0a 61 6c 69 61 73 20 61 73 73 65 72 _ne;.alias asser
0810: 74 4f 70 21 28 60 3c 60 29 20 20 61 73 73 65 72 tOp!(`<`) asser
0820: 74 5f 6c 74 3b 0a 61 6c 69 61 73 20 61 73 73 65 t_lt;.alias asse
0830: 72 74 4f 70 21 28 60 3c 3d 60 29 20 61 73 73 65 rtOp!(`<=`) asse
0840: 72 74 5f 6c 65 3b 0a 61 6c 69 61 73 20 61 73 73 rt_le;.alias ass
0850: 65 72 74 4f 70 21 28 60 3e 60 29 20 20 61 73 73 ertOp!(`>`) ass
0860: 65 72 74 5f 67 74 3b 0a 61 6c 69 61 73 20 61 73 ert_gt;.alias as
0870: 73 65 72 74 4f 70 21 28 60 3e 3d 60 29 20 61 73 sertOp!(`>=`) as
0880: 73 65 72 74 5f 67 65 3b 0a 0a 75 6e 69 74 74 65 sert_ge;..unitte
0890: 73 74 0a 7b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 st.{..assert_not
08a0: 68 72 6f 77 28 20 61 73 73 65 72 74 5f 65 71 28 hrow( assert_eq(
08b0: 31 2c 20 31 29 20 29 3b 0a 09 61 73 73 65 72 74 1, 1) );..assert
08c0: 5f 6e 6f 74 68 72 6f 77 28 20 61 73 73 65 72 74 _nothrow( assert
08d0: 5f 6e 65 28 31 2c 20 30 29 20 29 3b 0a 09 61 73 _ne(1, 0) );..as
08e0: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 61 73 sert_nothrow( as
08f0: 73 65 72 74 5f 6c 74 28 30 2c 20 31 29 20 29 3b sert_lt(0, 1) );
0900: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
0910: 28 20 61 73 73 65 72 74 5f 6c 65 28 30 2c 20 31 ( assert_le(0, 1
0920: 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 ) );..assert_not
0930: 68 72 6f 77 28 20 61 73 73 65 72 74 5f 6c 65 28 hrow( assert_le(
0940: 30 2c 20 30 29 20 29 3b 0a 09 61 73 73 65 72 74 0, 0) );..assert
0950: 5f 6e 6f 74 68 72 6f 77 28 20 61 73 73 65 72 74 _nothrow( assert
0960: 5f 67 74 28 31 2c 20 30 29 20 29 3b 0a 09 61 73 _gt(1, 0) );..as
0970: 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 61 73 sert_nothrow( as
0980: 73 65 72 74 5f 67 65 28 31 2c 20 30 29 20 29 3b sert_ge(1, 0) );
0990: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
09a0: 28 20 61 73 73 65 72 74 5f 67 65 28 30 2c 20 30 ( assert_ge(0, 0
09b0: 29 20 29 3b 0a 0a 09 61 73 73 65 72 74 5f 74 68 ) );...assert_th
09c0: 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 row!AssertError(
09d0: 20 61 73 73 65 72 74 5f 65 71 28 31 2c 20 30 29 assert_eq(1, 0)
09e0: 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );..assert_thro
09f0: 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 61 w!AssertError( a
0a00: 73 73 65 72 74 5f 6e 65 28 31 2c 20 31 29 20 29 ssert_ne(1, 1) )
0a10: 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ;..assert_throw!
0a20: 41 73 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 AssertError( ass
0a30: 65 72 74 5f 6c 74 28 31 2c 20 31 29 20 29 3b 0a ert_lt(1, 1) );.
0a40: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 .assert_throw!As
0a50: 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 65 72 sertError( asser
0a60: 74 5f 6c 74 28 31 2c 20 30 29 20 29 3b 0a 09 61 t_lt(1, 0) );..a
0a70: 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 ssert_throw!Asse
0a80: 72 74 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f rtError( assert_
0a90: 6c 65 28 31 2c 20 30 29 20 29 3b 0a 09 61 73 73 le(1, 0) );..ass
0aa0: 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 ert_throw!Assert
0ab0: 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f 67 74 Error( assert_gt
0ac0: 28 30 2c 20 30 29 20 29 3b 0a 09 61 73 73 65 72 (0, 0) );..asser
0ad0: 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 t_throw!AssertEr
0ae0: 72 6f 72 28 20 61 73 73 65 72 74 5f 67 74 28 30 ror( assert_gt(0
0af0: 2c 20 31 29 20 29 3b 0a 09 61 73 73 65 72 74 5f , 1) );..assert_
0b00: 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f throw!AssertErro
0b10: 72 28 20 61 73 73 65 72 74 5f 67 65 28 30 2c 20 r( assert_ge(0,
0b20: 31 29 20 29 3b 0a 0a 09 63 6c 61 73 73 20 54 65 1) );...class Te
0b30: 6d 70 20 7b 20 62 6f 6f 6c 20 6f 70 45 71 75 61 mp { bool opEqua
0b40: 6c 73 28 69 6e 74 20 78 29 7b 72 65 74 75 72 6e ls(int x){return
0b50: 20 78 2f 78 3d 3d 78 3b 7d 20 7d 0a 09 61 73 73 x/x==x;} }..ass
0b60: 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 ert_throw!Assert
0b70: 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f 65 71 Error( assert_eq
0b80: 28 6e 65 77 20 54 65 6d 70 2c 20 30 29 20 29 3b (new Temp, 0) );
0b90: 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 ..assert_nothrow
0ba0: 20 20 20 20 20 20 20 20 20 20 28 20 61 73 73 65 ( asse
0bb0: 72 74 5f 65 71 28 6e 65 77 20 54 65 6d 70 2c 20 rt_eq(new Temp,
0bc0: 31 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 1) );..assert_th
0bd0: 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 row!AssertError(
0be0: 20 61 73 73 65 72 74 5f 65 71 28 6e 65 77 20 54 assert_eq(new T
0bf0: 65 6d 70 2c 20 32 29 20 29 3b 0a 7d 0a 0a 2f 2a emp, 2) );.}../*
0c00: 20 5b 54 6f 64 6f 5d 20 69 73 20 74 68 65 72 65 [Todo] is there
0c10: 20 61 6e 79 20 77 61 79 20 74 6f 20 63 6c 65 61 any way to clea
0c20: 72 6e 6c 79 20 69 6d 70 6c 65 6d 65 6e 74 20 22 rnly implement "
0c30: 61 73 73 65 72 74 5f 63 6f 6d 70 69 6c 65 73 22 assert_compiles"
0c40: 20 61 6e 64 20 22 61 73 73 65 72 74 5f 6e 6f 74 and "assert_not
0c50: 5f 63 6f 6d 70 69 6c 65 22 3f 20 2a 2f 0a _compile"? */.