0000: ef bb bf 2f 2a 2a 0a 20 2a 20 41 75 74 68 6f 72 .../**. * Author
0010: 73 3a 20 6b 2e 69 6e 61 62 61 0a 20 2a 20 4c 69 s: k.inaba. * Li
0020: 63 65 6e 73 65 3a 20 4e 59 53 4c 20 30 2e 39 39 cense: NYSL 0.99
0030: 38 32 20 68 74 74 70 3a 2f 2f 77 77 77 2e 6b 6d 82 http://www.km
0040: 6f 6e 6f 73 2e 6e 65 74 2f 6e 79 73 6c 2f 0a 20 onos.net/nysl/.
0050: 2a 0a 20 2a 20 43 6f 6d 6d 6f 6e 20 74 72 69 63 *. * Common tric
0060: 6b 73 20 61 6e 64 20 75 74 69 6c 69 74 69 65 73 ks and utilities
0070: 20 66 6f 72 20 70 72 6f 67 72 61 6d 6d 69 6e 67 for programming
0080: 20 69 6e 20 44 2e 0a 20 2a 2f 0a 6d 6f 64 75 6c in D.. */.modul
0090: 65 20 70 6f 6c 65 6d 79 2e 74 72 69 63 6b 73 3b e polemy.tricks;
00a0: 0a 69 6d 70 6f 72 74 20 73 74 64 2e 61 72 72 61 .import std.arra
00b0: 79 20 20 20 20 20 20 3a 20 61 70 70 65 6e 64 65 y : appende
00c0: 72 3b 0a 69 6d 70 6f 72 74 20 73 74 64 2e 66 6f r;.import std.fo
00d0: 72 6d 61 74 20 20 20 20 20 3a 20 66 6f 72 6d 61 rmat : forma
00e0: 74 74 65 64 57 72 69 74 65 3b 0a 69 6d 70 6f 72 ttedWrite;.impor
00f0: 74 20 63 6f 72 65 2e 65 78 63 65 70 74 69 6f 6e t core.exception
0100: 20 3a 20 6f 6e 41 73 73 65 72 74 45 72 72 6f 72 : onAssertError
0110: 4d 73 67 2c 20 41 73 73 65 72 74 45 72 72 6f 72 Msg, AssertError
0120: 3b 0a 0a 2f 2f 2f 20 53 69 6d 70 6c 65 20 57 72 ;../// Simple Wr
0130: 61 70 70 65 72 20 66 6f 72 20 73 74 64 2e 66 6f apper for std.fo
0140: 72 6d 61 74 2e 64 6f 46 6f 72 6d 61 74 0a 0a 73 rmat.doFormat..s
0150: 74 72 69 6e 67 20 73 70 72 69 6e 74 66 28 73 74 tring sprintf(st
0160: 72 69 6e 67 20 66 6d 74 2c 20 54 2e 2e 2e 29 28 ring fmt, T...)(
0170: 54 20 70 61 72 61 6d 73 29 0a 7b 0a 09 61 75 74 T params).{..aut
0180: 6f 20 77 72 69 74 65 72 20 3d 20 61 70 70 65 6e o writer = appen
0190: 64 65 72 21 73 74 72 69 6e 67 28 29 3b 0a 09 66 der!string();..f
01a0: 6f 72 6d 61 74 74 65 64 57 72 69 74 65 28 77 72 ormattedWrite(wr
01b0: 69 74 65 72 2c 20 66 6d 74 2c 20 70 61 72 61 6d iter, fmt, param
01c0: 73 29 3b 0a 09 72 65 74 75 72 6e 20 77 72 69 74 s);..return writ
01d0: 65 72 2e 64 61 74 61 3b 0a 7d 0a 0a 75 6e 69 74 er.data;.}..unit
01e0: 74 65 73 74 0a 7b 0a 09 61 73 73 65 72 74 28 20 test.{..assert(
01f0: 73 70 72 69 6e 74 66 21 22 25 73 20 3d 3d 20 25 sprintf!"%s == %
0200: 64 22 28 22 31 2b 32 22 2c 20 33 29 20 20 20 3d d"("1+2", 3) =
0210: 3d 20 22 31 2b 32 20 3d 3d 20 33 22 20 29 3b 0a = "1+2 == 3" );.
0220: 09 61 73 73 65 72 74 28 20 73 70 72 69 6e 74 66 .assert( sprintf
0230: 21 22 25 73 20 3d 3d 20 25 30 34 64 22 28 22 31 !"%s == %04d"("1
0240: 2b 32 22 2c 20 33 29 20 3d 3d 20 22 31 2b 32 20 +2", 3) == "1+2
0250: 3d 3d 20 30 30 30 33 22 20 29 3b 0a 7d 0a 0a 2f == 0003" );.}../
0260: 2f 2f 20 55 6e 69 74 74 65 73 74 20 68 65 6c 70 // Unittest help
0270: 65 72 20 74 68 61 74 20 61 73 73 65 72 74 73 20 er that asserts
0280: 61 6e 20 65 78 70 72 65 73 73 69 6f 6e 20 6d 75 an expression mu
0290: 73 74 20 74 68 72 6f 77 20 73 6f 6d 65 74 68 69 st throw somethi
02a0: 6e 67 0a 0a 76 6f 69 64 20 61 73 73 65 72 74 5f ng..void assert_
02b0: 74 68 72 6f 77 28 45 78 63 65 70 74 69 6f 6e 54 throw(ExceptionT
02c0: 79 70 65 2c 20 54 2c 20 73 74 72 69 6e 67 20 66 ype, T, string f
02d0: 6e 3d 5f 5f 46 49 4c 45 5f 5f 2c 20 69 6e 74 20 n=__FILE__, int
02e0: 6c 6e 3d 5f 5f 4c 49 4e 45 5f 5f 29 28 6c 61 7a ln=__LINE__)(laz
02f0: 79 20 54 20 74 2c 20 73 74 72 69 6e 67 20 6d 73 y T t, string ms
0300: 67 3d 22 22 29 0a 7b 0a 09 74 72 79 20 7b 0a 09 g="").{..try {..
0310: 09 74 28 29 3b 0a 09 7d 20 63 61 74 63 68 28 45 .t();..} catch(E
0320: 78 63 65 70 74 69 6f 6e 54 79 70 65 29 20 7b 0a xceptionType) {.
0330: 09 09 72 65 74 75 72 6e 3b 0a 09 7d 20 63 61 74 ..return;..} cat
0340: 63 68 28 54 68 72 6f 77 61 62 6c 65 20 65 29 20 ch(Throwable e)
0350: 7b 0a 09 09 6f 6e 41 73 73 65 72 74 45 72 72 6f {...onAssertErro
0360: 72 4d 73 67 28 66 6e 2c 20 6c 6e 2c 20 6d 73 67 rMsg(fn, ln, msg
0370: 2e 6c 65 6e 67 74 68 20 3f 20 6d 73 67 20 3a 20 .length ? msg :
0380: 73 70 72 69 6e 74 66 21 22 65 78 63 65 70 74 69 sprintf!"excepti
0390: 6f 6e 20 5b 25 73 5d 22 28 65 29 29 3b 0a 09 7d on [%s]"(e));..}
03a0: 0a 09 6f 6e 41 73 73 65 72 74 45 72 72 6f 72 4d ..onAssertErrorM
03b0: 73 67 28 66 6e 2c 20 6c 6e 2c 20 6d 73 67 2e 6c sg(fn, ln, msg.l
03c0: 65 6e 67 74 68 20 3f 20 6d 73 67 20 3a 20 22 6e ength ? msg : "n
03d0: 6f 20 65 78 65 63 70 74 69 6f 6e 22 29 3b 0a 7d o execption");.}
03e0: 0a 0a 2f 2f 2f 20 55 6e 69 74 74 65 73 74 20 68 ../// Unittest h
03f0: 65 6c 70 65 72 20 74 68 61 74 20 61 73 73 65 72 elper that asser
0400: 74 73 20 61 6e 20 65 78 70 72 65 73 73 69 6f 6e ts an expression
0410: 20 6d 75 73 74 20 6e 6f 74 20 74 68 72 6f 77 20 must not throw
0420: 61 6e 79 74 68 69 6e 67 0a 0a 76 6f 69 64 20 61 anything..void a
0430: 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 54 2c ssert_nothrow(T,
0440: 20 73 74 72 69 6e 67 20 66 6e 3d 5f 5f 46 49 4c string fn=__FIL
0450: 45 5f 5f 2c 20 69 6e 74 20 6c 6e 3d 5f 5f 4c 49 E__, int ln=__LI
0460: 4e 45 5f 5f 29 28 6c 61 7a 79 20 54 20 74 2c 20 NE__)(lazy T t,
0470: 73 74 72 69 6e 67 20 6d 73 67 3d 22 22 29 0a 7b string msg="").{
0480: 0a 09 74 72 79 20 7b 0a 09 09 74 28 29 3b 0a 09 ..try {...t();..
0490: 7d 20 63 61 74 63 68 28 54 68 72 6f 77 61 62 6c } catch(Throwabl
04a0: 65 20 65 29 20 7b 0a 09 09 6f 6e 41 73 73 65 72 e e) {...onAsser
04b0: 74 45 72 72 6f 72 4d 73 67 28 66 6e 2c 20 6c 6e tErrorMsg(fn, ln
04c0: 2c 20 6d 73 67 2e 6c 65 6e 67 74 68 20 3f 20 6d , msg.length ? m
04d0: 73 67 20 3a 20 73 70 72 69 6e 74 66 21 22 65 78 sg : sprintf!"ex
04e0: 63 65 70 74 69 6f 6e 20 5b 25 73 5d 22 28 65 29 ception [%s]"(e)
04f0: 29 3b 0a 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 );..}.}..unittes
0500: 74 0a 7b 0a 09 61 75 74 6f 20 65 72 72 6f 72 20 t.{..auto error
0510: 3d 20 7b 74 68 72 6f 77 20 6e 65 77 20 45 72 72 = {throw new Err
0520: 6f 72 28 22 68 65 6c 6c 6f 22 29 3b 7d 3b 0a 09 or("hello");};..
0530: 61 75 74 6f 20 6e 6f 74 68 69 6e 67 20 3d 20 28 auto nothing = (
0540: 29 7b 7d 3b 0a 09 61 75 74 6f 20 61 73 73 65 72 ){};..auto asser
0550: 74 45 72 72 6f 72 20 3d 20 7b 61 73 73 65 72 74 tError = {assert
0560: 28 30 29 3b 7d 3b 0a 0a 09 61 73 73 65 72 74 5f (0);};...assert_
0570: 6e 6f 74 68 72 6f 77 20 20 20 20 20 20 20 20 20 nothrow
0580: 20 28 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f ( assert_nothro
0590: 77 28 6e 6f 74 68 69 6e 67 28 29 29 20 29 3b 0a w(nothing()) );.
05a0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 .assert_throw!As
05b0: 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 65 72 sertError( asser
05c0: 74 5f 6e 6f 74 68 72 6f 77 28 65 72 72 6f 72 28 t_nothrow(error(
05d0: 29 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 )) );..assert_th
05e0: 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 row!AssertError(
05f0: 20 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 assert_nothrow(
0600: 61 73 73 65 72 74 45 72 72 6f 72 28 29 29 20 29 assertError()) )
0610: 3b 0a 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 ;...assert_nothr
0620: 6f 77 20 20 20 20 20 20 20 20 20 20 28 20 61 73 ow ( as
0630: 73 65 72 74 5f 74 68 72 6f 77 21 45 72 72 6f 72 sert_throw!Error
0640: 28 65 72 72 6f 72 28 29 29 20 29 3b 0a 09 61 73 (error()) );..as
0650: 73 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 sert_throw!Asser
0660: 74 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f 74 tError( assert_t
0670: 68 72 6f 77 21 45 72 72 6f 72 28 6e 6f 74 68 69 hrow!Error(nothi
0680: 6e 67 28 29 29 20 29 3b 0a 09 61 73 73 65 72 74 ng()) );..assert
0690: 5f 6e 6f 74 68 72 6f 77 20 20 20 20 20 20 20 20 _nothrow
06a0: 20 20 28 20 61 73 73 65 72 74 5f 74 68 72 6f 77 ( assert_throw
06b0: 21 45 72 72 6f 72 28 61 73 73 65 72 74 45 72 72 !Error(assertErr
06c0: 6f 72 28 29 29 20 29 3b 0a 09 61 73 73 65 72 74 or()) );..assert
06d0: 5f 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 72 _throw!AssertErr
06e0: 6f 72 28 20 61 73 73 65 72 74 5f 74 68 72 6f 77 or( assert_throw
06f0: 21 41 73 73 65 72 74 45 72 72 6f 72 28 65 72 72 !AssertError(err
0700: 6f 72 28 29 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 or()) );.}..///
0710: 55 6e 69 74 74 65 73 74 20 68 65 6c 70 65 72 73 Unittest helpers
0720: 20 61 73 73 65 72 74 69 6e 67 20 74 77 6f 20 76 asserting two v
0730: 61 6c 75 65 73 20 61 72 65 20 69 6e 20 73 6f 6d alues are in som
0740: 65 20 72 65 6c 61 74 69 6f 6e 20 3d 3d 2c 20 21 e relation ==, !
0750: 3d 2c 20 3c 2c 20 3c 3d 2c 20 3e 2c 20 3e 3d 0a =, <, <=, >, >=.
0760: 0a 74 65 6d 70 6c 61 74 65 20 61 73 73 65 72 74 .template assert
0770: 4f 70 28 73 74 72 69 6e 67 20 6f 70 29 0a 7b 0a Op(string op).{.
0780: 09 76 6f 69 64 20 61 73 73 65 72 74 4f 70 28 41 .void assertOp(A
0790: 2c 20 42 2c 20 73 74 72 69 6e 67 20 66 6e 3d 5f , B, string fn=_
07a0: 5f 46 49 4c 45 5f 5f 2c 20 69 6e 74 20 6c 6e 3d _FILE__, int ln=
07b0: 5f 5f 4c 49 4e 45 5f 5f 29 28 41 20 61 2c 20 42 __LINE__)(A a, B
07c0: 20 62 2c 20 73 74 72 69 6e 67 20 6d 73 67 3d 22 b, string msg="
07d0: 22 29 0a 09 7b 0a 09 09 74 72 79 20 7b 0a 09 09 ")..{...try {...
07e0: 09 69 66 28 20 6d 69 78 69 6e 28 22 61 22 7e 6f .if( mixin("a"~o
07f0: 70 7e 22 62 22 29 20 29 20 72 65 74 75 72 6e 3b p~"b") ) return;
0800: 0a 09 09 7d 20 63 61 74 63 68 28 54 68 72 6f 77 ...} catch(Throw
0810: 61 62 6c 65 20 65 29 20 7b 0a 09 09 09 6f 6e 41 able e) {....onA
0820: 73 73 65 72 74 45 72 72 6f 72 4d 73 67 28 66 6e ssertErrorMsg(fn
0830: 2c 20 6c 6e 2c 20 6d 73 67 2e 6c 65 6e 67 74 68 , ln, msg.length
0840: 20 3f 20 6d 73 67 20 3a 20 73 70 72 69 6e 74 66 ? msg : sprintf
0850: 21 22 65 78 63 65 70 74 69 6f 6e 20 5b 25 73 5d !"exception [%s]
0860: 22 28 65 29 29 3b 0a 09 09 7d 0a 09 09 6f 6e 41 "(e));...}...onA
0870: 73 73 65 72 74 45 72 72 6f 72 4d 73 67 28 66 6e ssertErrorMsg(fn
0880: 2c 20 6c 6e 2c 20 6d 73 67 2e 6c 65 6e 67 74 68 , ln, msg.length
0890: 20 3f 20 6d 73 67 20 3a 20 73 70 72 69 6e 74 66 ? msg : sprintf
08a0: 21 22 25 73 20 21 25 73 20 25 73 22 28 61 2c 6f !"%s !%s %s"(a,o
08b0: 70 2c 62 29 29 3b 0a 09 7d 0a 7d 0a 0a 61 6c 69 p,b));..}.}..ali
08c0: 61 73 20 61 73 73 65 72 74 4f 70 21 28 60 3d 3d as assertOp!(`==
08d0: 60 29 20 61 73 73 65 72 74 5f 65 71 3b 0a 61 6c `) assert_eq;.al
08e0: 69 61 73 20 61 73 73 65 72 74 4f 70 21 28 60 21 ias assertOp!(`!
08f0: 3d 60 29 20 61 73 73 65 72 74 5f 6e 65 3b 0a 61 =`) assert_ne;.a
0900: 6c 69 61 73 20 61 73 73 65 72 74 4f 70 21 28 60 lias assertOp!(`
0910: 3c 60 29 20 20 61 73 73 65 72 74 5f 6c 74 3b 0a <`) assert_lt;.
0920: 61 6c 69 61 73 20 61 73 73 65 72 74 4f 70 21 28 alias assertOp!(
0930: 60 3c 3d 60 29 20 61 73 73 65 72 74 5f 6c 65 3b `<=`) assert_le;
0940: 0a 61 6c 69 61 73 20 61 73 73 65 72 74 4f 70 21 .alias assertOp!
0950: 28 60 3e 60 29 20 20 61 73 73 65 72 74 5f 67 74 (`>`) assert_gt
0960: 3b 0a 61 6c 69 61 73 20 61 73 73 65 72 74 4f 70 ;.alias assertOp
0970: 21 28 60 3e 3d 60 29 20 61 73 73 65 72 74 5f 67 !(`>=`) assert_g
0980: 65 3b 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 e;..unittest.{..
0990: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 assert_nothrow(
09a0: 61 73 73 65 72 74 5f 65 71 28 31 2c 20 31 29 20 assert_eq(1, 1)
09b0: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 );..assert_nothr
09c0: 6f 77 28 20 61 73 73 65 72 74 5f 6e 65 28 31 2c ow( assert_ne(1,
09d0: 20 30 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 0) );..assert_n
09e0: 6f 74 68 72 6f 77 28 20 61 73 73 65 72 74 5f 6c othrow( assert_l
09f0: 74 28 30 2c 20 31 29 20 29 3b 0a 09 61 73 73 65 t(0, 1) );..asse
0a00: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 61 73 73 65 rt_nothrow( asse
0a10: 72 74 5f 6c 65 28 30 2c 20 31 29 20 29 3b 0a 09 rt_le(0, 1) );..
0a20: 61 73 73 65 72 74 5f 6e 6f 74 68 72 6f 77 28 20 assert_nothrow(
0a30: 61 73 73 65 72 74 5f 6c 65 28 30 2c 20 30 29 20 assert_le(0, 0)
0a40: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 6f 74 68 72 );..assert_nothr
0a50: 6f 77 28 20 61 73 73 65 72 74 5f 67 74 28 31 2c ow( assert_gt(1,
0a60: 20 30 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 0) );..assert_n
0a70: 6f 74 68 72 6f 77 28 20 61 73 73 65 72 74 5f 67 othrow( assert_g
0a80: 65 28 31 2c 20 30 29 20 29 3b 0a 09 61 73 73 65 e(1, 0) );..asse
0a90: 72 74 5f 6e 6f 74 68 72 6f 77 28 20 61 73 73 65 rt_nothrow( asse
0aa0: 72 74 5f 67 65 28 30 2c 20 30 29 20 29 3b 0a 0a rt_ge(0, 0) );..
0ab0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 .assert_throw!As
0ac0: 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 65 72 sertError( asser
0ad0: 74 5f 65 71 28 31 2c 20 30 29 20 29 3b 0a 09 61 t_eq(1, 0) );..a
0ae0: 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 ssert_throw!Asse
0af0: 72 74 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f rtError( assert_
0b00: 6e 65 28 31 2c 20 31 29 20 29 3b 0a 09 61 73 73 ne(1, 1) );..ass
0b10: 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 ert_throw!Assert
0b20: 45 72 72 6f 72 28 20 61 73 73 65 72 74 5f 6c 74 Error( assert_lt
0b30: 28 31 2c 20 31 29 20 29 3b 0a 09 61 73 73 65 72 (1, 1) );..asser
0b40: 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 t_throw!AssertEr
0b50: 72 6f 72 28 20 61 73 73 65 72 74 5f 6c 74 28 31 ror( assert_lt(1
0b60: 2c 20 30 29 20 29 3b 0a 09 61 73 73 65 72 74 5f , 0) );..assert_
0b70: 74 68 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f throw!AssertErro
0b80: 72 28 20 61 73 73 65 72 74 5f 6c 65 28 31 2c 20 r( assert_le(1,
0b90: 30 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 0) );..assert_th
0ba0: 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 row!AssertError(
0bb0: 20 61 73 73 65 72 74 5f 67 74 28 30 2c 20 30 29 assert_gt(0, 0)
0bc0: 20 29 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );..assert_thro
0bd0: 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 61 w!AssertError( a
0be0: 73 73 65 72 74 5f 67 74 28 30 2c 20 31 29 20 29 ssert_gt(0, 1) )
0bf0: 3b 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ;..assert_throw!
0c00: 41 73 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 AssertError( ass
0c10: 65 72 74 5f 67 65 28 30 2c 20 31 29 20 29 3b 0a ert_ge(0, 1) );.
0c20: 0a 09 63 6c 61 73 73 20 54 65 6d 70 20 7b 20 62 ..class Temp { b
0c30: 6f 6f 6c 20 6f 70 45 71 75 61 6c 73 28 69 6e 74 ool opEquals(int
0c40: 20 78 29 7b 72 65 74 75 72 6e 20 78 2f 78 3d 3d x){return x/x==
0c50: 78 3b 7d 20 7d 0a 09 61 73 73 65 72 74 5f 74 68 x;} }..assert_th
0c60: 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 row!AssertError(
0c70: 20 61 73 73 65 72 74 5f 65 71 28 6e 65 77 20 54 assert_eq(new T
0c80: 65 6d 70 2c 20 30 29 20 29 3b 0a 09 61 73 73 65 emp, 0) );..asse
0c90: 72 74 5f 6e 6f 74 68 72 6f 77 20 20 20 20 20 20 rt_nothrow
0ca0: 20 20 20 20 28 20 61 73 73 65 72 74 5f 65 71 28 ( assert_eq(
0cb0: 6e 65 77 20 54 65 6d 70 2c 20 31 29 20 29 3b 0a new Temp, 1) );.
0cc0: 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 41 73 .assert_throw!As
0cd0: 73 65 72 74 45 72 72 6f 72 28 20 61 73 73 65 72 sertError( asser
0ce0: 74 5f 65 71 28 6e 65 77 20 54 65 6d 70 2c 20 32 t_eq(new Temp, 2
0cf0: 29 20 29 3b 0a 7d 0a 0a 2f 2a 20 5b 54 6f 64 6f ) );.}../* [Todo
0d00: 5d 20 69 73 20 74 68 65 72 65 20 61 6e 79 20 77 ] is there any w
0d10: 61 79 20 74 6f 20 63 6c 65 61 72 6e 6c 79 20 69 ay to clearnly i
0d20: 6d 70 6c 65 6d 65 6e 74 20 22 61 73 73 65 72 74 mplement "assert
0d30: 5f 63 6f 6d 70 69 6c 65 73 22 20 61 6e 64 20 22 _compiles" and "
0d40: 61 73 73 65 72 74 5f 6e 6f 74 5f 63 6f 6d 70 69 assert_not_compi
0d50: 6c 65 22 3f 20 2a 2f 0a 0a 2f 2f 2f 20 4d 69 78 le"? */../// Mix
0d60: 69 6e 67 2d 69 6e 20 74 68 65 20 62 65 61 6e 20 ing-in the bean
0d70: 63 6f 6e 73 74 72 75 63 74 6f 72 20 66 6f 72 20 constructor for
0d80: 61 20 63 6c 61 73 73 0a 0a 74 65 6d 70 6c 61 74 a class..templat
0d90: 65 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 e SimpleConstruc
0da0: 74 6f 72 28 29 0a 7b 0a 09 73 74 61 74 69 63 20 tor().{..static
0db0: 69 66 28 20 69 73 28 74 79 70 65 6f 66 28 73 75 if( is(typeof(su
0dc0: 70 65 72 29 20 3d 3d 20 4f 62 6a 65 63 74 29 20 per) == Object)
0dd0: 7c 7c 20 73 75 70 65 72 2e 74 75 70 6c 65 6f 66 || super.tupleof
0de0: 2e 6c 65 6e 67 74 68 3d 3d 30 20 29 0a 09 09 74 .length==0 )...t
0df0: 68 69 73 28 20 74 79 70 65 6f 66 28 74 68 69 73 his( typeof(this
0e00: 2e 74 75 70 6c 65 6f 66 29 20 70 61 72 61 6d 73 .tupleof) params
0e10: 20 29 0a 09 09 7b 0a 09 09 09 73 74 61 74 69 63 )...{....static
0e20: 20 69 66 28 74 68 69 73 2e 74 75 70 6c 65 6f 66 if(this.tupleof
0e30: 2e 6c 65 6e 67 74 68 3e 30 29 0a 09 09 09 09 74 .length>0).....t
0e40: 68 69 73 2e 74 75 70 6c 65 6f 66 20 3d 20 70 61 his.tupleof = pa
0e50: 72 61 6d 73 3b 0a 09 09 7d 0a 09 65 6c 73 65 0a rams;...}..else.
0e60: 09 09 74 68 69 73 28 20 74 79 70 65 6f 66 28 73 ..this( typeof(s
0e70: 75 70 65 72 2e 74 75 70 6c 65 6f 66 29 20 70 73 uper.tupleof) ps
0e80: 2c 20 74 79 70 65 6f 66 28 74 68 69 73 2e 74 75 , typeof(this.tu
0e90: 70 6c 65 6f 66 29 20 70 61 72 61 6d 73 20 29 0a pleof) params ).
0ea0: 09 09 7b 0a 09 09 09 2f 2f 20 69 6e 63 6c 75 64 ..{....// includ
0eb0: 69 6e 67 20 28 6f 6e 6c 79 29 20 74 68 65 20 64 ing (only) the d
0ec0: 69 72 65 63 74 20 73 75 70 65 72 20 63 6c 61 73 irect super clas
0ed0: 73 20 6d 65 6d 62 65 72 73 0a 09 09 09 2f 2f 20 s members....//
0ee0: 6d 61 79 20 6e 6f 74 20 61 6c 77 61 79 73 20 62 may not always b
0ef0: 65 20 61 20 64 65 73 69 72 61 62 6c 65 20 63 68 e a desirable ch
0f00: 6f 69 63 65 2c 20 62 75 74 20 73 68 6f 75 6c 64 oice, but should
0f10: 20 77 6f 72 6b 20 66 6f 72 20 6d 61 6e 79 20 63 work for many c
0f20: 61 73 65 73 0a 09 09 09 73 75 70 65 72 28 70 73 ases....super(ps
0f30: 29 3b 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 );....static if(
0f40: 74 68 69 73 2e 74 75 70 6c 65 6f 66 2e 6c 65 6e this.tupleof.len
0f50: 67 74 68 3e 30 29 0a 09 09 09 09 74 68 69 73 2e gth>0).....this.
0f60: 74 75 70 6c 65 6f 66 20 3d 20 70 61 72 61 6d 73 tupleof = params
0f70: 3b 0a 09 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 ;...}.}..unittes
0f80: 74 0a 7b 0a 09 63 6c 61 73 73 20 54 65 6d 70 0a t.{..class Temp.
0f90: 09 7b 0a 09 09 69 6e 74 20 78 3b 0a 09 09 73 74 .{...int x;...st
0fa0: 72 69 6e 67 20 79 3b 0a 09 09 6d 69 78 69 6e 20 ring y;...mixin
0fb0: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
0fc0: 72 3b 0a 09 7d 0a 09 61 73 73 65 72 74 5f 65 71 r;..}..assert_eq
0fd0: 28 20 28 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 ( (new Temp(1,"f
0fe0: 6f 6f 22 29 29 2e 78 2c 20 31 20 29 3b 0a 09 61 oo")).x, 1 );..a
0ff0: 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 20 54 ssert_eq( (new T
1000: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 2e 79 2c emp(1,"foo")).y,
1010: 20 22 66 6f 6f 22 20 29 3b 0a 09 61 73 73 65 72 "foo" );..asser
1020: 74 28 20 21 5f 5f 74 72 61 69 74 73 28 63 6f 6d t( !__traits(com
1030: 70 69 6c 65 73 2c 20 6e 65 77 20 54 65 6d 70 29 piles, new Temp)
1040: 20 29 3b 0a 09 61 73 73 65 72 74 28 20 21 5f 5f );..assert( !__
1050: 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c traits(compiles,
1060: 20 6e 65 77 20 54 65 6d 70 28 31 29 29 20 29 3b new Temp(1)) );
1070: 0a 09 61 73 73 65 72 74 28 20 21 5f 5f 74 72 61 ..assert( !__tra
1080: 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 its(compiles, ne
1090: 77 20 54 65 6d 70 28 22 66 6f 6f 22 2c 31 29 29 w Temp("foo",1))
10a0: 20 29 3b 0a 0a 09 63 6c 61 73 73 20 54 6f 6d 70 );...class Tomp
10b0: 20 3a 20 54 65 6d 70 0a 09 7b 0a 09 09 72 65 61 : Temp..{...rea
10c0: 6c 20 7a 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d l z;...mixin Sim
10d0: 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a pleConstructor;.
10e0: 09 7d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 28 .}..assert_eq( (
10f0: 6e 65 77 20 54 6f 6d 70 28 31 2c 22 66 6f 6f 22 new Tomp(1,"foo"
1100: 2c 32 2e 35 29 29 2e 78 2c 20 31 20 29 3b 0a 09 ,2.5)).x, 1 );..
1110: 61 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 20 assert_eq( (new
1120: 54 6f 6d 70 28 31 2c 22 66 6f 6f 22 2c 32 2e 35 Tomp(1,"foo",2.5
1130: 29 29 2e 79 2c 20 22 66 6f 6f 22 20 29 3b 0a 09 )).y, "foo" );..
1140: 61 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 20 assert_eq( (new
1150: 54 6f 6d 70 28 31 2c 22 66 6f 6f 22 2c 32 2e 35 Tomp(1,"foo",2.5
1160: 29 29 2e 7a 2c 20 32 2e 35 20 29 3b 0a 09 61 73 )).z, 2.5 );..as
1170: 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 28 sert( !__traits(
1180: 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 20 54 6f compiles, new To
1190: 6d 70 28 33 2e 31 34 29 29 20 29 3b 0a 0a 09 2f mp(3.14)) );.../
11a0: 2f 20 73 68 69 79 6f 2d 20 64 65 73 75 2e 20 44 / shiyo- desu. D
11b0: 6f 6e 27 74 20 75 73 65 20 69 6e 20 74 68 69 73 on't use in this
11c0: 20 77 61 79 2e 0a 09 2f 2f 20 20 20 54 61 6d 70 way...// Tamp
11d0: 20 74 72 69 65 73 20 74 6f 20 63 61 6c 6c 20 6e tries to call n
11e0: 65 77 20 54 6f 6d 70 28 72 65 61 6c 29 20 28 62 ew Tomp(real) (b
11f0: 65 63 61 75 73 65 20 69 74 20 6f 6e 6c 79 20 73 ecause it only s
1200: 65 65 73 20 54 6f 6d 70 27 73 20 6d 65 6d 62 65 ees Tomp's membe
1210: 72 73 29 2c 0a 09 2f 2f 20 20 20 62 75 74 20 69 rs),..// but i
1220: 74 20 66 61 69 6c 73 20 62 65 63 61 75 73 65 20 t fails because
1230: 54 6f 6d 70 20 74 61 6b 65 73 20 28 69 6e 74 2c Tomp takes (int,
1240: 73 74 72 69 6e 67 2c 72 65 61 6c 29 2e 0a 09 61 string,real)...a
1250: 73 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 ssert( !__traits
1260: 28 63 6f 6d 70 69 6c 65 73 2c 20 7b 0a 09 09 63 (compiles, {...c
1270: 6c 61 73 73 20 54 61 6d 70 20 3a 20 54 6f 6d 70 lass Tamp : Tomp
1280: 0a 09 09 7b 0a 09 09 09 6d 69 78 69 6e 20 53 69 ...{....mixin Si
1290: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
12a0: 0a 09 09 7d 0a 09 7d 29 20 29 3b 0a 7d 0a 0a 2f ...}..}) );.}../
12b0: 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e 20 74 68 65 // Mixing-in the
12c0: 20 4d 4f 53 54 2d 44 45 52 49 56 45 44 2d 6d 65 MOST-DERIVED-me
12d0: 6d 62 65 72 2d 77 69 73 65 20 63 6f 6d 70 61 72 mber-wise compar
12e0: 61 74 6f 72 20 66 6f 72 20 61 20 63 6c 61 73 73 ator for a class
12f0: 0a 0a 74 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c ..template Simpl
1300: 65 43 6f 6d 70 61 72 65 28 29 0a 7b 0a 09 6f 76 eCompare().{..ov
1310: 65 72 72 69 64 65 20 62 6f 6f 6c 20 6f 70 45 71 erride bool opEq
1320: 75 61 6c 73 28 4f 62 6a 65 63 74 20 72 68 73 5f uals(Object rhs_
1330: 29 20 63 6f 6e 73 74 0a 09 7b 0a 09 09 69 66 28 ) const..{...if(
1340: 20 61 75 74 6f 20 72 68 73 20 3d 20 63 61 73 74 auto rhs = cast
1350: 28 74 79 70 65 6f 66 28 74 68 69 73 29 29 72 68 (typeof(this))rh
1360: 73 5f 20 29 0a 09 09 7b 0a 09 09 09 66 6f 72 65 s_ )...{....fore
1370: 61 63 68 28 69 2c 5f 3b 20 74 68 69 73 2e 74 75 ach(i,_; this.tu
1380: 70 6c 65 6f 66 29 0a 09 09 09 09 69 66 28 20 74 pleof).....if( t
1390: 68 69 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 20 21 his.tupleof[i] !
13a0: 3d 20 72 68 73 2e 74 75 70 6c 65 6f 66 5b 69 5d = rhs.tupleof[i]
13b0: 20 29 0a 09 09 09 09 09 72 65 74 75 72 6e 20 66 )......return f
13c0: 61 6c 73 65 3b 0a 09 09 09 72 65 74 75 72 6e 20 alse;....return
13d0: 74 72 75 65 3b 0a 09 09 7d 0a 09 09 61 73 73 65 true;...}...asse
13e0: 72 74 28 66 61 6c 73 65 2c 20 73 70 72 69 6e 74 rt(false, sprint
13f0: 66 21 22 43 61 6e 6e 6f 74 20 63 6f 6d 70 61 72 f!"Cannot compar
1400: 65 20 25 73 20 77 69 74 68 20 25 73 22 28 74 79 e %s with %s"(ty
1410: 70 65 69 64 28 74 68 69 73 29 2c 20 74 79 70 65 peid(this), type
1420: 69 64 28 72 68 73 5f 29 29 29 3b 0a 09 7d 0a 0a id(rhs_)));..}..
1430: 09 6f 76 65 72 72 69 64 65 20 68 61 73 68 5f 74 .override hash_t
1440: 20 74 6f 48 61 73 68 28 29 20 63 6f 6e 73 74 0a toHash() const.
1450: 09 7b 0a 09 09 68 61 73 68 5f 74 20 68 20 3d 20 .{...hash_t h =
1460: 30 3b 0a 09 09 66 6f 72 65 61 63 68 28 6d 65 6d 0;...foreach(mem
1470: 3b 20 74 68 69 73 2e 74 75 70 6c 65 6f 66 29 0a ; this.tupleof).
1480: 09 09 09 68 20 2b 3d 20 74 79 70 65 69 64 28 6d ...h += typeid(m
1490: 65 6d 29 2e 67 65 74 48 61 73 68 28 26 6d 65 6d em).getHash(&mem
14a0: 29 3b 0a 09 09 72 65 74 75 72 6e 20 68 3b 0a 09 );...return h;..
14b0: 7d 0a 0a 09 6f 76 65 72 72 69 64 65 20 69 6e 74 }...override int
14c0: 20 6f 70 43 6d 70 28 4f 62 6a 65 63 74 20 72 68 opCmp(Object rh
14d0: 73 5f 29 20 63 6f 6e 73 74 0a 09 7b 0a 09 09 69 s_) const..{...i
14e0: 66 28 20 61 75 74 6f 20 72 68 73 20 3d 20 63 61 f( auto rhs = ca
14f0: 73 74 28 74 79 70 65 6f 66 28 74 68 69 73 29 29 st(typeof(this))
1500: 72 68 73 5f 20 29 0a 09 09 7b 0a 09 09 09 66 6f rhs_ )...{....fo
1510: 72 65 61 63 68 28 69 2c 5f 3b 20 74 68 69 73 2e reach(i,_; this.
1520: 74 75 70 6c 65 6f 66 29 0a 09 09 09 09 69 66 28 tupleof).....if(
1530: 61 75 74 6f 20 63 20 3d 20 74 79 70 65 69 64 28 auto c = typeid(
1540: 5f 29 2e 63 6f 6d 70 61 72 65 28 26 74 68 69 73 _).compare(&this
1550: 2e 74 75 70 6c 65 6f 66 5b 69 5d 2c 26 72 68 73 .tupleof[i],&rhs
1560: 2e 74 75 70 6c 65 6f 66 5b 69 5d 29 29 0a 09 09 .tupleof[i]))...
1570: 09 09 09 72 65 74 75 72 6e 20 63 3b 0a 09 09 09 ...return c;....
1580: 72 65 74 75 72 6e 20 30 3b 0a 09 09 7d 0a 09 09 return 0;...}...
1590: 61 73 73 65 72 74 28 66 61 6c 73 65 2c 20 73 70 assert(false, sp
15a0: 72 69 6e 74 66 21 22 43 61 6e 6e 6f 74 20 63 6f rintf!"Cannot co
15b0: 6d 70 61 72 65 20 25 73 20 77 69 74 68 20 25 73 mpare %s with %s
15c0: 22 28 74 79 70 65 69 64 28 74 68 69 73 29 2c 20 "(typeid(this),
15d0: 74 79 70 65 69 64 28 72 68 73 5f 29 29 29 3b 0a typeid(rhs_)));.
15e0: 09 7d 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b .}.}..unittest.{
15f0: 0a 09 63 6c 61 73 73 20 54 65 6d 70 0a 09 7b 0a ..class Temp..{.
1600: 09 09 69 6e 74 20 78 3b 0a 09 09 73 74 72 69 6e ..int x;...strin
1610: 67 20 79 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d g y;...mixin Sim
1620: 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a pleConstructor;.
1630: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
1640: 6d 70 61 72 65 3b 0a 09 7d 0a 09 61 73 73 65 72 mpare;..}..asser
1650: 74 5f 65 71 28 20 6e 65 77 20 54 65 6d 70 28 31 t_eq( new Temp(1
1660: 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d ,"foo"), new Tem
1670: 70 28 31 2c 22 66 6f 6f 22 29 20 29 3b 0a 09 61 p(1,"foo") );..a
1680: 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 20 54 ssert_eq( (new T
1690: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 2e 74 6f emp(1,"foo")).to
16a0: 48 61 73 68 2c 20 28 6e 65 77 20 54 65 6d 70 28 Hash, (new Temp(
16b0: 31 2c 22 66 6f 6f 22 29 29 2e 74 6f 48 61 73 68 1,"foo")).toHash
16c0: 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 28 20 );..assert_ne(
16d0: 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 new Temp(1,"foo"
16e0: 29 2c 20 6e 65 77 20 54 65 6d 70 28 32 2c 22 66 ), new Temp(2,"f
16f0: 6f 6f 22 29 20 29 3b 0a 09 61 73 73 65 72 74 5f oo") );..assert_
1700: 6e 65 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 ne( new Temp(1,"
1710: 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 foo"), new Temp(
1720: 31 2c 22 62 61 72 22 29 20 29 3b 0a 09 61 73 73 1,"bar") );..ass
1730: 65 72 74 5f 67 74 28 20 6e 65 77 20 54 65 6d 70 ert_gt( new Temp
1740: 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 (1,"foo"), new T
1750: 65 6d 70 28 31 2c 22 62 61 72 22 29 20 29 3b 0a emp(1,"bar") );.
1760: 09 61 73 73 65 72 74 5f 6c 74 28 20 6e 65 77 20 .assert_lt( new
1770: 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e Temp(1,"foo"), n
1780: 65 77 20 54 65 6d 70 28 32 2c 22 62 61 72 22 29 ew Temp(2,"bar")
1790: 20 29 3b 0a 09 61 73 73 65 72 74 5f 67 65 28 20 );..assert_ge(
17a0: 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 new Temp(1,"foo"
17b0: 29 2c 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 ), new Temp(1,"f
17c0: 6f 6f 22 29 20 29 3b 0a 0a 09 63 6c 61 73 73 20 oo") );...class
17d0: 54 65 6d 70 44 75 6d 6d 79 0a 09 7b 0a 09 09 69 TempDummy..{...i
17e0: 6e 74 20 78 3b 0a 09 09 73 74 72 69 6e 67 20 79 nt x;...string y
17f0: 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ;...mixin Simple
1800: 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 09 6d Constructor;...m
1810: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 ixin SimpleCompa
1820: 72 65 3b 0a 09 7d 0a 09 61 73 73 65 72 74 5f 74 re;..}..assert_t
1830: 68 72 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 hrow!AssertError
1840: 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f ( new Temp(1,"fo
1850: 6f 22 29 20 3d 3d 20 6e 65 77 20 54 65 6d 70 44 o") == new TempD
1860: 75 6d 6d 79 28 31 2c 22 66 6f 6f 22 29 20 29 3b ummy(1,"foo") );
1870: 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 41 ..assert_throw!A
1880: 73 73 65 72 74 45 72 72 6f 72 28 20 6e 65 77 20 ssertError( new
1890: 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 3c 3d Temp(1,"foo") <=
18a0: 20 6e 65 77 20 54 65 6d 70 44 75 6d 6d 79 28 31 new TempDummy(1
18b0: 2c 22 66 6f 6f 22 29 20 29 3b 0a 7d 0a ,"foo") );.}.