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 43 6f 6d 6d 6f 6e 20 74 72 69 63 6b 73 20 * Common tricks
0060: 61 6e 64 20 75 74 69 6c 69 74 69 65 73 20 66 6f and utilities fo
0070: 72 20 70 72 6f 67 72 61 6d 6d 69 6e 67 20 69 6e r programming in
0080: 20 44 2e 0a 20 2a 2f 0a 6d 6f 64 75 6c 65 20 74 D.. */.module t
0090: 72 69 63 6b 73 2e 74 72 69 63 6b 73 3b 0a 69 6d ricks.tricks;.im
00a0: 70 6f 72 74 20 74 72 69 63 6b 73 2e 74 65 73 74 port tricks.test
00b0: 3b 0a 69 6d 70 6f 72 74 20 73 74 64 2e 61 72 72 ;.import std.arr
00c0: 61 79 20 20 20 20 20 20 3a 20 61 70 70 65 6e 64 ay : append
00d0: 65 72 3b 0a 69 6d 70 6f 72 74 20 73 74 64 2e 66 er;.import std.f
00e0: 6f 72 6d 61 74 20 20 20 20 20 3a 20 66 6f 72 6d ormat : form
00f0: 61 74 74 65 64 57 72 69 74 65 3b 0d 0a 69 6d 70 attedWrite;..imp
0100: 6f 72 74 20 63 6f 72 65 2e 65 78 63 65 70 74 69 ort core.excepti
0110: 6f 6e 3b 0a 69 6d 70 6f 72 74 20 73 74 64 2e 74 on;.import std.t
0120: 72 61 69 74 73 3b 0d 0a 69 6d 70 6f 72 74 20 73 raits;..import s
0130: 74 64 2e 74 79 70 65 74 75 70 6c 65 3b 0d 0a 0a td.typetuple;...
0140: 2f 2f 2f 20 53 69 6d 70 6c 65 20 57 72 61 70 70 /// Simple Wrapp
0150: 65 72 20 66 6f 72 20 73 74 64 2e 66 6f 72 6d 61 er for std.forma
0160: 74 2e 64 6f 46 6f 72 6d 61 74 0a 0a 73 74 72 69 t.doFormat..stri
0170: 6e 67 20 73 70 72 69 6e 74 66 28 73 74 72 69 6e ng sprintf(strin
0180: 67 20 66 6d 74 2c 20 54 2e 2e 2e 29 28 54 20 70 g fmt, T...)(T p
0190: 61 72 61 6d 73 29 0a 7b 0a 09 61 75 74 6f 20 77 arams).{..auto w
01a0: 72 69 74 65 72 20 3d 20 61 70 70 65 6e 64 65 72 riter = appender
01b0: 21 73 74 72 69 6e 67 28 29 3b 0a 09 66 6f 72 6d !string();..form
01c0: 61 74 74 65 64 57 72 69 74 65 28 77 72 69 74 65 attedWrite(write
01d0: 72 2c 20 66 6d 74 2c 20 70 61 72 61 6d 73 29 3b r, fmt, params);
01e0: 0a 09 72 65 74 75 72 6e 20 77 72 69 74 65 72 2e ..return writer.
01f0: 64 61 74 61 3b 0a 7d 0a 0a 75 6e 69 74 74 65 73 data;.}..unittes
0200: 74 0a 7b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 t.{..assert_eq(
0210: 73 70 72 69 6e 74 66 21 22 25 73 20 3d 3d 20 25 sprintf!"%s == %
0220: 30 34 64 22 28 22 31 2b 32 22 2c 20 33 29 2c 20 04d"("1+2", 3),
0230: 22 31 2b 32 20 3d 3d 20 30 30 30 33 22 20 29 3b "1+2 == 0003" );
0240: 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 73 70 ...assert_eq( sp
0250: 72 69 6e 74 66 21 22 25 32 24 73 20 3d 3d 20 25 rintf!"%2$s == %
0260: 31 24 73 22 28 22 31 2b 32 22 2c 20 35 2c 20 38 1$s"("1+2", 5, 8
0270: 29 2c 20 22 35 20 3d 3d 20 31 2b 32 22 20 29 3b ), "5 == 1+2" );
0280: 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 ...assert_throw!
0290: 45 72 72 6f 72 28 20 73 70 72 69 6e 74 66 21 22 Error( sprintf!"
02a0: 25 73 25 73 22 28 31 29 20 29 3b 0d 0a 7d 0a 0a %s%s"(1) );..}..
02b0: 2f 2f 2f 20 43 72 65 61 74 65 20 61 6e 20 65 78 /// Create an ex
02c0: 63 65 70 74 69 6f 6e 20 77 69 74 68 20 61 75 74 ception with aut
02d0: 6f 6d 61 74 69 63 61 6c 6c 79 20 63 6f 6d 70 6c omatically compl
02e0: 65 74 65 64 20 66 69 6c 65 6e 61 6d 65 20 61 6e eted filename an
02f0: 64 20 6c 69 6e 65 6e 6f 20 69 6e 66 6f 72 6d 61 d lineno informa
0300: 74 69 6f 6e 0a 0a 45 78 63 65 70 74 69 6f 6e 54 tion..ExceptionT
0310: 79 70 65 20 67 65 6e 65 78 28 45 78 63 65 70 74 ype genex(Except
0320: 69 6f 6e 54 79 70 65 2c 20 73 74 72 69 6e 67 20 ionType, string
0330: 66 6e 3d 5f 5f 46 49 4c 45 5f 5f 2c 20 69 6e 74 fn=__FILE__, int
0340: 20 6c 6e 3d 5f 5f 4c 49 4e 45 5f 5f 2c 20 54 2e ln=__LINE__, T.
0350: 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0a 7b 0a ..)(T params).{.
0360: 09 73 74 61 74 69 63 20 69 66 28 20 54 2e 6c 65 .static if( T.le
0370: 6e 67 74 68 20 3e 20 30 20 26 26 20 69 73 28 54 ngth > 0 && is(T
0380: 5b 24 2d 31 5d 20 3a 20 54 68 72 6f 77 61 62 6c [$-1] : Throwabl
0390: 65 29 20 29 0a 09 09 72 65 74 75 72 6e 20 6e 65 e) )...return ne
03a0: 77 20 45 78 63 65 70 74 69 6f 6e 54 79 70 65 28 w ExceptionType(
03b0: 70 61 72 61 6d 73 5b 30 2e 2e 24 2d 31 5d 2c 20 params[0..$-1],
03c0: 66 6e 2c 20 6c 6e 2c 20 70 61 72 61 6d 73 5b 24 fn, ln, params[$
03d0: 2d 31 5d 29 3b 0a 09 65 6c 73 65 0a 09 09 72 65 -1]);..else...re
03e0: 74 75 72 6e 20 6e 65 77 20 45 78 63 65 70 74 69 turn new Excepti
03f0: 6f 6e 54 79 70 65 28 70 61 72 61 6d 73 2c 20 66 onType(params, f
0400: 6e 2c 20 6c 6e 29 3b 0a 7d 0a 0a 75 6e 69 74 74 n, ln);.}..unitt
0410: 65 73 74 0a 7b 0a 09 61 73 73 65 72 74 5f 6e 65 est.{..assert_ne
0420: 28 20 67 65 6e 65 78 21 45 78 63 65 70 74 69 6f ( genex!Exceptio
0430: 6e 28 22 6d 73 67 22 29 2e 66 69 6c 65 2c 20 22 n("msg").file, "
0440: 22 20 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 28 " );..assert_ne(
0450: 20 67 65 6e 65 78 21 45 78 63 65 70 74 69 6f 6e genex!Exception
0460: 28 22 6d 73 67 22 29 2e 6c 69 6e 65 2c 20 30 20 ("msg").line, 0
0470: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 28 20 67 );..assert_ne( g
0480: 65 6e 65 78 21 45 78 63 65 70 74 69 6f 6e 28 22 enex!Exception("
0490: 6d 73 67 22 2c 6e 65 77 20 45 78 63 65 70 74 69 msg",new Excepti
04a0: 6f 6e 28 22 62 61 72 22 29 29 2e 6e 65 78 74 2c on("bar")).next,
04b0: 20 45 78 63 65 70 74 69 6f 6e 2e 69 6e 69 74 20 Exception.init
04c0: 29 3b 0a 7d 0a 0a 2f 2f 2f 20 4d 69 78 69 6e 67 );.}../// Mixing
04d0: 2d 69 6e 20 74 68 65 20 62 65 61 6e 20 63 6f 6e -in the bean con
04e0: 73 74 72 75 63 74 6f 72 20 66 6f 72 20 61 20 63 structor for a c
04f0: 6c 61 73 73 0a 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a lass../*mixin*/.
0500: 74 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 43 template SimpleC
0510: 6f 6e 73 74 72 75 63 74 6f 72 28 29 0a 7b 0a 09 onstructor().{..
0520: 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 /// member-by-me
0530: 6d 62 65 72 20 63 6f 6e 73 74 72 75 63 74 6f 72 mber constructor
0540: 0d 0a 09 73 74 61 74 69 63 20 69 66 28 20 69 73 ...static if( is
0550: 28 74 79 70 65 6f 66 28 73 75 70 65 72 29 20 3d (typeof(super) =
0560: 3d 20 4f 62 6a 65 63 74 29 20 7c 7c 20 73 75 70 = Object) || sup
0570: 65 72 2e 74 75 70 6c 65 6f 66 2e 6c 65 6e 67 74 er.tupleof.lengt
0580: 68 3d 3d 30 20 29 0a 09 09 74 68 69 73 28 20 74 h==0 )...this( t
0590: 79 70 65 6f 66 28 74 68 69 73 2e 74 75 70 6c 65 ypeof(this.tuple
05a0: 6f 66 29 20 70 61 72 61 6d 73 20 29 0a 09 09 7b of) params )...{
05b0: 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 74 68 ....static if(th
05c0: 69 73 2e 74 75 70 6c 65 6f 66 2e 6c 65 6e 67 74 is.tupleof.lengt
05d0: 68 3e 30 29 0a 09 09 09 09 74 68 69 73 2e 74 75 h>0).....this.tu
05e0: 70 6c 65 6f 66 20 3d 20 70 61 72 61 6d 73 3b 0a pleof = params;.
05f0: 09 09 7d 0a 09 65 6c 73 65 0a 09 09 74 68 69 73 ..}..else...this
0600: 28 20 74 79 70 65 6f 66 28 73 75 70 65 72 2e 74 ( typeof(super.t
0610: 75 70 6c 65 6f 66 29 20 70 73 2c 20 74 79 70 65 upleof) ps, type
0620: 6f 66 28 74 68 69 73 2e 74 75 70 6c 65 6f 66 29 of(this.tupleof)
0630: 20 70 61 72 61 6d 73 20 29 0a 09 09 7b 0a 09 09 params )...{...
0640: 09 2f 2f 20 69 6e 63 6c 75 64 69 6e 67 20 28 6f .// including (o
0650: 6e 6c 79 29 20 74 68 65 20 64 69 72 65 63 74 20 nly) the direct
0660: 73 75 70 65 72 20 63 6c 61 73 73 20 6d 65 6d 62 super class memb
0670: 65 72 73 0a 09 09 09 2f 2f 20 6d 61 79 20 6e 6f ers....// may no
0680: 74 20 61 6c 77 61 79 73 20 62 65 20 61 20 64 65 t always be a de
0690: 73 69 72 61 62 6c 65 20 63 68 6f 69 63 65 2c 20 sirable choice,
06a0: 62 75 74 20 73 68 6f 75 6c 64 20 77 6f 72 6b 20 but should work
06b0: 66 6f 72 20 6d 61 6e 79 20 63 61 73 65 73 0a 09 for many cases..
06c0: 09 09 73 75 70 65 72 28 70 73 29 3b 0a 09 09 09 ..super(ps);....
06d0: 73 74 61 74 69 63 20 69 66 28 74 68 69 73 2e 74 static if(this.t
06e0: 75 70 6c 65 6f 66 2e 6c 65 6e 67 74 68 3e 30 29 upleof.length>0)
06f0: 0a 09 09 09 09 74 68 69 73 2e 74 75 70 6c 65 6f .....this.tupleo
0700: 66 20 3d 20 70 61 72 61 6d 73 3b 0a 09 09 7d 0a f = params;...}.
0710: 7d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 63 }..unittest.{..c
0720: 6c 61 73 73 20 54 65 6d 70 0a 09 7b 0a 09 09 69 lass Temp..{...i
0730: 6e 74 20 78 3b 0a 09 09 73 74 72 69 6e 67 20 79 nt x;...string y
0740: 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 ;...mixin Simple
0750: 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 7d 0a Constructor;..}.
0760: 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 .assert_eq( (new
0770: 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 2e Temp(1,"foo")).
0780: 78 2c 20 31 20 29 3b 0a 09 61 73 73 65 72 74 5f x, 1 );..assert_
0790: 65 71 28 20 28 6e 65 77 20 54 65 6d 70 28 31 2c eq( (new Temp(1,
07a0: 22 66 6f 6f 22 29 29 2e 79 2c 20 22 66 6f 6f 22 "foo")).y, "foo"
07b0: 20 29 3b 0a 09 61 73 73 65 72 74 28 20 21 5f 5f );..assert( !__
07c0: 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c traits(compiles,
07d0: 20 6e 65 77 20 54 65 6d 70 29 20 29 3b 0a 09 61 new Temp) );..a
07e0: 73 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 ssert( !__traits
07f0: 28 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 20 54 (compiles, new T
0800: 65 6d 70 28 31 29 29 20 29 3b 0a 09 61 73 73 65 emp(1)) );..asse
0810: 72 74 28 20 21 5f 5f 74 72 61 69 74 73 28 63 6f rt( !__traits(co
0820: 6d 70 69 6c 65 73 2c 20 6e 65 77 20 54 65 6d 70 mpiles, new Temp
0830: 28 22 66 6f 6f 22 2c 31 29 29 20 29 3b 0a 0a 09 ("foo",1)) );...
0840: 63 6c 61 73 73 20 54 6f 6d 70 20 3a 20 54 65 6d class Tomp : Tem
0850: 70 0a 09 7b 0a 09 09 72 65 61 6c 20 7a 3b 0a 09 p..{...real z;..
0860: 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e .mixin SimpleCon
0870: 73 74 72 75 63 74 6f 72 3b 0a 09 7d 0a 09 61 73 structor;..}..as
0880: 73 65 72 74 5f 65 71 28 20 28 6e 65 77 20 54 6f sert_eq( (new To
0890: 6d 70 28 31 2c 22 66 6f 6f 22 2c 32 2e 35 29 29 mp(1,"foo",2.5))
08a0: 2e 78 2c 20 31 20 29 3b 0a 09 61 73 73 65 72 74 .x, 1 );..assert
08b0: 5f 65 71 28 20 28 6e 65 77 20 54 6f 6d 70 28 31 _eq( (new Tomp(1
08c0: 2c 22 66 6f 6f 22 2c 32 2e 35 29 29 2e 79 2c 20 ,"foo",2.5)).y,
08d0: 22 66 6f 6f 22 20 29 3b 0a 09 61 73 73 65 72 74 "foo" );..assert
08e0: 5f 65 71 28 20 28 6e 65 77 20 54 6f 6d 70 28 31 _eq( (new Tomp(1
08f0: 2c 22 66 6f 6f 22 2c 32 2e 35 29 29 2e 7a 2c 20 ,"foo",2.5)).z,
0900: 32 2e 35 20 29 3b 0a 09 61 73 73 65 72 74 28 20 2.5 );..assert(
0910: 21 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 6c !__traits(compil
0920: 65 73 2c 20 6e 65 77 20 54 6f 6d 70 28 33 2e 31 es, new Tomp(3.1
0930: 34 29 29 20 29 3b 0a 0a 09 2f 2f 20 73 68 69 79 4)) );...// shiy
0940: 6f 2d 20 64 65 73 75 2e 20 44 6f 6e 27 74 20 75 o- desu. Don't u
0950: 73 65 20 69 6e 20 74 68 69 73 20 77 61 79 2e 0a se in this way..
0960: 09 2f 2f 20 20 20 54 61 6d 70 20 74 72 69 65 73 .// Tamp tries
0970: 20 74 6f 20 63 61 6c 6c 20 6e 65 77 20 54 6f 6d to call new Tom
0980: 70 28 72 65 61 6c 29 20 28 62 65 63 61 75 73 65 p(real) (because
0990: 20 69 74 20 6f 6e 6c 79 20 73 65 65 73 20 54 6f it only sees To
09a0: 6d 70 27 73 20 6d 65 6d 62 65 72 73 29 2c 0a 09 mp's members),..
09b0: 2f 2f 20 20 20 62 75 74 20 69 74 20 66 61 69 6c // but it fail
09c0: 73 20 62 65 63 61 75 73 65 20 54 6f 6d 70 20 74 s because Tomp t
09d0: 61 6b 65 73 20 28 69 6e 74 2c 73 74 72 69 6e 67 akes (int,string
09e0: 2c 72 65 61 6c 29 2e 0a 09 61 73 73 65 72 74 28 ,real)...assert(
09f0: 20 21 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 !__traits(compi
0a00: 6c 65 73 2c 20 7b 0a 09 09 63 6c 61 73 73 20 54 les, {...class T
0a10: 61 6d 70 20 3a 20 54 6f 6d 70 20 7b 20 6d 69 78 amp : Tomp { mix
0a20: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
0a30: 63 74 6f 72 3b 20 7d 0a 09 7d 29 20 29 3b 0a 7d ctor; }..}) );.}
0a40: 0a 0a 2f 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e 20 ../// Mixing-in
0a50: 74 68 65 20 4d 4f 53 54 2d 44 45 52 49 56 45 44 the MOST-DERIVED
0a60: 2d 6d 65 6d 62 65 72 2d 77 69 73 65 20 63 6f 6d -member-wise com
0a70: 70 61 72 61 74 6f 72 20 66 6f 72 20 61 20 63 6c parator for a cl
0a80: 61 73 73 0a 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 ass../*mixin*/.t
0a90: 65 6d 70 6c 61 74 65 20 53 69 6d 70 6c 65 43 6f emplate SimpleCo
0aa0: 6d 70 61 72 65 28 29 0a 7b 0a 09 6f 76 65 72 72 mpare().{..overr
0ab0: 69 64 65 20 62 6f 6f 6c 20 6f 70 45 71 75 61 6c ide bool opEqual
0ac0: 73 28 4f 62 6a 65 63 74 20 72 68 73 5f 29 20 63 s(Object rhs_) c
0ad0: 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d onst /// member-
0ae0: 62 79 2d 6d 65 6d 62 65 72 20 65 71 75 61 6c 69 by-member equali
0af0: 74 79 0a 09 7b 0a 09 09 69 66 28 20 61 75 74 6f ty..{...if( auto
0b00: 20 72 68 73 20 3d 20 63 61 73 74 28 74 79 70 65 rhs = cast(type
0b10: 6f 66 28 74 68 69 73 29 29 72 68 73 5f 20 29 0a of(this))rhs_ ).
0b20: 09 09 7b 0a 09 09 09 66 6f 72 65 61 63 68 28 69 ..{....foreach(i
0b30: 2c 5f 3b 20 74 68 69 73 2e 74 75 70 6c 65 6f 66 ,_; this.tupleof
0b40: 29 0a 09 09 09 09 69 66 28 20 74 68 69 73 2e 74 ).....if( this.t
0b50: 75 70 6c 65 6f 66 5b 69 5d 20 21 3d 20 72 68 73 upleof[i] != rhs
0b60: 2e 74 75 70 6c 65 6f 66 5b 69 5d 20 29 0a 09 09 .tupleof[i] )...
0b70: 09 09 09 72 65 74 75 72 6e 20 66 61 6c 73 65 3b ...return false;
0b80: 0a 09 09 09 72 65 74 75 72 6e 20 74 72 75 65 3b ....return true;
0b90: 0a 09 09 7d 0a 09 09 61 73 73 65 72 74 28 66 61 ...}...assert(fa
0ba0: 6c 73 65 2c 20 73 70 72 69 6e 74 66 21 22 43 61 lse, sprintf!"Ca
0bb0: 6e 6e 6f 74 20 63 6f 6d 70 61 72 65 20 25 73 20 nnot compare %s
0bc0: 77 69 74 68 20 25 73 22 28 74 79 70 65 69 64 28 with %s"(typeid(
0bd0: 74 68 69 73 29 2c 20 74 79 70 65 69 64 28 72 68 this), typeid(rh
0be0: 73 5f 29 29 29 3b 0a 09 7d 0a 0a 09 6f 76 65 72 s_)));..}...over
0bf0: 72 69 64 65 20 68 61 73 68 5f 74 20 74 6f 48 61 ride hash_t toHa
0c00: 73 68 28 29 20 63 6f 6e 73 74 20 2f 2f 2f 20 6d sh() const /// m
0c10: 65 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 ember-by-member
0c20: 68 61 73 68 0a 09 7b 0a 09 09 68 61 73 68 5f 74 hash..{...hash_t
0c30: 20 68 20 3d 20 30 3b 0a 09 09 66 6f 72 65 61 63 h = 0;...foreac
0c40: 68 28 6d 65 6d 3b 20 74 68 69 73 2e 74 75 70 6c h(mem; this.tupl
0c50: 65 6f 66 29 0a 09 09 09 68 20 2b 3d 20 74 79 70 eof)....h += typ
0c60: 65 69 64 28 6d 65 6d 29 2e 67 65 74 48 61 73 68 eid(mem).getHash
0c70: 28 26 6d 65 6d 29 3b 0a 09 09 72 65 74 75 72 6e (&mem);...return
0c80: 20 68 3b 0a 09 7d 0a 0a 09 6f 76 65 72 72 69 64 h;..}...overrid
0c90: 65 20 69 6e 74 20 6f 70 43 6d 70 28 4f 62 6a 65 e int opCmp(Obje
0ca0: 63 74 20 72 68 73 5f 29 20 63 6f 6e 73 74 20 2f ct rhs_) const /
0cb0: 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 6d // member-by-mem
0cc0: 62 65 72 20 63 6f 6d 70 61 72 65 0a 09 7b 0a 09 ber compare..{..
0cd0: 09 69 66 28 20 61 75 74 6f 20 72 68 73 20 3d 20 .if( auto rhs =
0ce0: 63 61 73 74 28 74 79 70 65 6f 66 28 74 68 69 73 cast(typeof(this
0cf0: 29 29 72 68 73 5f 20 29 0a 09 09 7b 0a 09 09 09 ))rhs_ )...{....
0d00: 66 6f 72 65 61 63 68 28 69 2c 5f 3b 20 74 68 69 foreach(i,_; thi
0d10: 73 2e 74 75 70 6c 65 6f 66 29 0d 0a 09 09 09 09 s.tupleof)......
0d20: 69 66 28 20 74 68 69 73 2e 74 75 70 6c 65 6f 66 if( this.tupleof
0d30: 5b 69 5d 20 21 3d 20 72 68 73 2e 74 75 70 6c 65 [i] != rhs.tuple
0d40: 6f 66 5b 69 5d 20 29 20 7b 0d 0a 09 09 09 09 09 of[i] ) {.......
0d50: 61 75 74 6f 20 61 20 3d 20 74 68 69 73 2e 74 75 auto a = this.tu
0d60: 70 6c 65 6f 66 5b 69 5d 3b 0d 0a 09 09 09 09 09 pleof[i];.......
0d70: 61 75 74 6f 20 62 20 3d 20 20 72 68 73 2e 74 75 auto b = rhs.tu
0d80: 70 6c 65 6f 66 5b 69 5d 3b 0d 0a 09 09 09 09 09 pleof[i];.......
0d90: 72 65 74 75 72 6e 20 63 61 73 74 28 53 43 5f 55 return cast(SC_U
0da0: 6e 71 75 61 6c 21 28 74 79 70 65 6f 66 28 61 29 nqual!(typeof(a)
0db0: 29 29 61 20 3c 20 62 20 3f 20 2d 31 20 3a 20 2b ))a < b ? -1 : +
0dc0: 31 3b 0d 0a 09 09 09 09 7d 0a 2f 2f 09 09 09 09 1;......}.//....
0dd0: 69 66 28 61 75 74 6f 20 63 20 3d 20 74 79 70 65 if(auto c = type
0de0: 69 64 28 5f 29 2e 63 6f 6d 70 61 72 65 28 26 74 id(_).compare(&t
0df0: 68 69 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 2c 26 his.tupleof[i],&
0e00: 72 68 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 29 29 rhs.tupleof[i]))
0e10: 0a 2f 2f 09 09 09 09 09 72 65 74 75 72 6e 20 63 .//.....return c
0e20: 3b 0a 09 09 09 72 65 74 75 72 6e 20 30 3b 0a 09 ;....return 0;..
0e30: 09 7d 0a 09 09 61 73 73 65 72 74 28 66 61 6c 73 .}...assert(fals
0e40: 65 2c 20 73 70 72 69 6e 74 66 21 22 43 61 6e 6e e, sprintf!"Cann
0e50: 6f 74 20 63 6f 6d 70 61 72 65 20 25 73 20 77 69 ot compare %s wi
0e60: 74 68 20 25 73 22 28 74 79 70 65 69 64 28 74 68 th %s"(typeid(th
0e70: 69 73 29 2c 20 74 79 70 65 69 64 28 72 68 73 5f is), typeid(rhs_
0e80: 29 29 29 3b 0a 09 7d 0a 7d 0d 0a 0d 0a 61 6c 69 )));..}.}....ali
0e90: 61 73 20 73 74 64 2e 74 72 61 69 74 73 2e 55 6e as std.traits.Un
0ea0: 71 75 61 6c 20 53 43 5f 55 6e 71 75 61 6c 3b 0a qual SC_Unqual;.
0eb0: 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 63 6c 61 .unittest.{..cla
0ec0: 73 73 20 54 65 6d 70 0a 09 7b 0a 09 09 69 6e 74 ss Temp..{...int
0ed0: 20 78 3b 0a 09 09 73 74 72 69 6e 67 20 79 3b 0a x;...string y;.
0ee0: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
0ef0: 6e 73 74 72 75 63 74 6f 72 3b 0a 09 09 6d 69 78 nstructor;...mix
0f00: 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 in SimpleCompare
0f10: 3b 0a 09 7d 0a 09 61 73 73 65 72 74 5f 65 71 28 ;..}..assert_eq(
0f20: 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f new Temp(1,"foo
0f30: 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 "), new Temp(1,"
0f40: 66 6f 6f 22 29 20 29 3b 0a 09 61 73 73 65 72 74 foo") );..assert
0f50: 5f 65 71 28 20 28 6e 65 77 20 54 65 6d 70 28 31 _eq( (new Temp(1
0f60: 2c 22 66 6f 6f 22 29 29 2e 74 6f 48 61 73 68 2c ,"foo")).toHash,
0f70: 20 28 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f (new Temp(1,"fo
0f80: 6f 22 29 29 2e 74 6f 48 61 73 68 20 29 3b 0a 09 o")).toHash );..
0f90: 61 73 73 65 72 74 5f 6e 65 28 20 6e 65 77 20 54 assert_ne( new T
0fa0: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 emp(1,"foo"), ne
0fb0: 77 20 54 65 6d 70 28 32 2c 22 66 6f 6f 22 29 20 w Temp(2,"foo")
0fc0: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 28 20 6e );..assert_ne( n
0fd0: 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 ew Temp(1,"foo")
0fe0: 2c 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 62 61 , new Temp(1,"ba
0ff0: 72 22 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 67 r") );..assert_g
1000: 74 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 t( new Temp(1,"f
1010: 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 31 oo"), new Temp(1
1020: 2c 22 62 61 72 22 29 20 29 3b 0a 09 61 73 73 65 ,"bar") );..asse
1030: 72 74 5f 6c 74 28 20 6e 65 77 20 54 65 6d 70 28 rt_lt( new Temp(
1040: 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 1,"foo"), new Te
1050: 6d 70 28 32 2c 22 62 61 72 22 29 20 29 3b 0a 09 mp(2,"bar") );..
1060: 61 73 73 65 72 74 5f 67 65 28 20 6e 65 77 20 54 assert_ge( new T
1070: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 emp(1,"foo"), ne
1080: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 w Temp(1,"foo")
1090: 29 3b 0a 0a 09 63 6c 61 73 73 20 54 65 6d 70 44 );...class TempD
10a0: 75 6d 6d 79 0a 09 7b 0a 09 09 69 6e 74 20 78 3b ummy..{...int x;
10b0: 0a 09 09 73 74 72 69 6e 67 20 79 3b 0a 09 09 6d ...string y;...m
10c0: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 ixin SimpleConst
10d0: 72 75 63 74 6f 72 3b 0a 09 09 6d 69 78 69 6e 20 ructor;...mixin
10e0: 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 0a 09 SimpleCompare;..
10f0: 7d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 }..assert_throw!
1100: 41 73 73 65 72 74 45 72 72 6f 72 28 20 6e 65 77 AssertError( new
1110: 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 3d Temp(1,"foo") =
1120: 3d 20 6e 65 77 20 54 65 6d 70 44 75 6d 6d 79 28 = new TempDummy(
1130: 31 2c 22 66 6f 6f 22 29 20 29 3b 0a 09 61 73 73 1,"foo") );..ass
1140: 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 ert_throw!Assert
1150: 45 72 72 6f 72 28 20 6e 65 77 20 54 65 6d 70 28 Error( new Temp(
1160: 31 2c 22 66 6f 6f 22 29 20 3c 3d 20 6e 65 77 20 1,"foo") <= new
1170: 54 65 6d 70 44 75 6d 6d 79 28 31 2c 22 66 6f 6f TempDummy(1,"foo
1180: 22 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 4d 69 78 ") );.}../// Mix
1190: 69 6e 67 2d 69 6e 20 61 20 73 69 6d 70 6c 65 20 ing-in a simple
11a0: 74 6f 53 74 72 69 6e 67 20 6d 65 74 68 6f 64 0a toString method.
11b0: 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c ./*mixin*/.templ
11c0: 61 74 65 20 53 69 6d 70 6c 65 54 6f 53 74 72 69 ate SimpleToStri
11d0: 6e 67 28 29 0a 7b 0d 0a 09 2f 2f 2f 20 6d 65 6d ng().{.../// mem
11e0: 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 74 6f ber-by-member to
11f0: 53 74 72 69 6e 67 0a 09 6f 76 65 72 72 69 64 65 String..override
1200: 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 string toString
1210: 28 29 0a 09 7b 0a 09 09 73 74 72 69 6e 67 20 73 ()..{...string s
1220: 74 72 20 3d 20 73 70 72 69 6e 74 66 21 22 25 73 tr = sprintf!"%s
1230: 28 22 28 74 79 70 65 6f 66 28 74 68 69 73 29 2e ("(typeof(this).
1240: 73 74 72 69 6e 67 6f 66 29 3b 0a 09 09 66 6f 72 stringof);...for
1250: 65 61 63 68 28 69 2c 6d 65 6d 3b 20 74 68 69 73 each(i,mem; this
1260: 2e 74 75 70 6c 65 6f 66 29 0a 09 09 7b 0a 09 09 .tupleof)...{...
1270: 09 69 66 28 69 29 20 73 74 72 20 7e 3d 20 22 2c .if(i) str ~= ",
1280: 22 3b 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 ";....static if(
1290: 20 69 73 28 74 79 70 65 6f 66 28 6d 65 6d 29 20 is(typeof(mem)
12a0: 3d 3d 20 73 74 64 2e 62 69 67 69 6e 74 2e 42 69 == std.bigint.Bi
12b0: 67 49 6e 74 29 20 29 0a 09 09 09 09 73 74 72 20 gInt) ).....str
12c0: 7e 3d 20 73 74 64 2e 62 69 67 69 6e 74 2e 74 6f ~= std.bigint.to
12d0: 44 65 63 69 6d 61 6c 53 74 72 69 6e 67 28 6d 65 DecimalString(me
12e0: 6d 29 3b 0a 09 09 09 65 6c 73 65 0a 09 09 09 09 m);....else.....
12f0: 73 74 72 20 7e 3d 20 73 70 72 69 6e 74 66 21 22 str ~= sprintf!"
1300: 25 73 22 28 6d 65 6d 29 3b 0a 09 09 7d 0a 09 09 %s"(mem);...}...
1310: 72 65 74 75 72 6e 20 73 74 72 20 7e 20 22 29 22 return str ~ ")"
1320: 3b 0a 09 7d 0a 7d 0a 0a 76 65 72 73 69 6f 6e 28 ;..}.}..version(
1330: 75 6e 69 74 74 65 73 74 29 20 69 6d 70 6f 72 74 unittest) import
1340: 20 73 74 64 2e 62 69 67 69 6e 74 3b 0a 75 6e 69 std.bigint;.uni
1350: 74 74 65 73 74 0a 7b 0a 09 63 6c 61 73 73 20 54 ttest.{..class T
1360: 65 6d 70 0a 09 7b 0a 09 09 69 6e 74 20 78 3b 0a emp..{...int x;.
1370: 09 09 73 74 72 69 6e 67 20 79 3b 0a 09 09 42 69 ..string y;...Bi
1380: 67 49 6e 74 20 7a 3b 0a 09 09 6d 69 78 69 6e 20 gInt z;...mixin
1390: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
13a0: 72 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c r;...mixin Simpl
13b0: 65 54 6f 53 74 72 69 6e 67 3b 0a 09 7d 0a 09 61 eToString;..}..a
13c0: 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 20 54 ssert_eq( (new T
13d0: 65 6d 70 28 31 2c 22 66 6f 6f 22 2c 42 69 67 49 emp(1,"foo",BigI
13e0: 6e 74 28 34 32 29 29 29 2e 74 6f 53 74 72 69 6e nt(42))).toStrin
13f0: 67 28 29 2c 20 22 54 65 6d 70 28 31 2c 66 6f 6f g(), "Temp(1,foo
1400: 2c 34 32 29 22 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 ,42)" );.}..///
1410: 45 76 65 72 79 74 68 69 6e 67 20 69 73 20 69 6e Everything is in
1420: 0a 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 ../*mixin*/.temp
1430: 6c 61 74 65 20 53 69 6d 70 6c 65 43 6c 61 73 73 late SimpleClass
1440: 28 29 0a 7b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 ().{..mixin Simp
1450: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 leConstructor;..
1460: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 mixin SimpleComp
1470: 61 72 65 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 are;..mixin Simp
1480: 6c 65 54 6f 53 74 72 69 6e 67 3b 0a 7d 0a 0d 0a leToString;.}...
1490: 2f 2f 2f 20 53 69 6d 70 6c 65 20 50 61 74 74 65 /// Simple Patte
14a0: 72 6e 4d 61 74 63 68 65 72 0d 0a 0d 0a 2f 2a 6d rnMatcher..../*m
14b0: 69 78 69 6e 2a 2f 0d 0a 74 65 6d 70 6c 61 74 65 ixin*/..template
14c0: 20 53 69 6d 70 6c 65 50 61 74 74 65 72 6e 4d 61 SimplePatternMa
14d0: 74 63 68 28 29 0d 0a 7b 0d 0a 09 53 50 4d 5f 52 tch()..{...SPM_R
14e0: 65 74 75 72 6e 21 28 50 50 29 20 6d 61 74 63 68 eturn!(PP) match
14f0: 28 73 74 72 69 6e 67 20 66 6e 3d 5f 5f 46 49 4c (string fn=__FIL
1500: 45 5f 5f 2c 20 73 69 7a 65 5f 74 20 6c 6e 3d 5f E__, size_t ln=_
1510: 5f 4c 49 4e 45 5f 5f 2c 20 50 50 2e 2e 2e 29 28 _LINE__, PP...)(
1520: 50 50 20 70 74 73 29 0d 0a 09 7b 0d 0a 09 09 66 PP pts)...{....f
1530: 6f 72 65 61 63 68 28 69 2c 5f 3b 20 70 74 73 29 oreach(i,_; pts)
1540: 0d 0a 09 09 7b 0d 0a 09 09 09 61 6c 69 61 73 20 ....{.....alias
1550: 70 74 73 5b 69 5d 20 70 74 3b 20 2f 2f 20 62 75 pts[i] pt; // bu
1560: 67 3f 20 70 74 73 5b 69 5d 2d 2d 3e 70 74 20 64 g? pts[i]-->pt d
1570: 6f 20 6e 6f 74 20 77 6f 72 6b 0d 0a 09 09 09 73 o not work.....s
1580: 74 61 74 69 63 20 69 66 28 5f 5f 74 72 61 69 74 tatic if(__trait
1590: 73 28 63 6f 6d 70 69 6c 65 73 2c 20 53 50 4d 5f s(compiles, SPM_
15a0: 69 73 4d 61 74 63 68 54 61 67 28 70 74 29 29 29 isMatchTag(pt)))
15b0: 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 20 .....{......if(
15c0: 61 75 74 6f 20 76 20 3d 20 63 61 73 74 28 70 74 auto v = cast(pt
15d0: 2e 64 79 6e 61 6d 69 63 54 79 70 65 29 74 68 69 .dynamicType)thi
15e0: 73 20 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e s ).......return
15f0: 20 70 74 28 76 2e 74 75 70 6c 65 6f 66 29 3b 0d pt(v.tupleof);.
1600: 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a ....}.....else..
1610: 09 09 09 73 74 61 74 69 63 20 69 66 28 5f 5f 74 ...static if(__t
1620: 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 raits(compiles,
1630: 53 50 4d 5f 69 73 4d 61 74 63 68 41 6e 79 28 70 SPM_isMatchAny(p
1640: 74 29 29 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 t))).....{......
1650: 72 65 74 75 72 6e 20 70 74 28 29 3b 0d 0a 09 09 return pt();....
1660: 09 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 .}.....else.....
1670: 7b 0d 0a 09 09 09 09 69 66 28 20 61 75 74 6f 20 {......if( auto
1680: 76 20 3d 20 63 61 73 74 28 53 50 4d 5f 50 54 54 v = cast(SPM_PTT
1690: 21 28 70 74 29 5b 30 5d 29 74 68 69 73 20 29 0d !(pt)[0])this ).
16a0: 0a 09 09 09 09 09 72 65 74 75 72 6e 20 70 74 28 ......return pt(
16b0: 76 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a v);.....}....}..
16c0: 09 09 53 50 4d 5f 74 68 72 6f 77 41 73 73 65 72 ..SPM_throwAsser
16d0: 74 45 72 72 6f 72 28 66 6e 2c 20 6c 6e 2c 20 22 tError(fn, ln, "
16e0: 70 61 74 74 65 72 6e 20 6d 61 74 63 68 69 6e 67 pattern matching
16f0: 20 66 61 69 6c 75 72 65 22 29 3b 0d 0a 09 09 61 failure");....a
1700: 73 73 65 72 74 28 66 61 6c 73 65 29 3b 0d 0a 09 ssert(false);...
1710: 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 74 74 }..}..../// Patt
1720: 65 72 6e 20 63 61 73 65 20 63 6c 61 75 73 65 0d ern case clause.
1730: 0a 0d 0a 53 50 4d 5f 4d 61 74 63 68 54 61 67 21 ...SPM_MatchTag!
1740: 28 54 2c 20 66 6e 29 20 77 68 65 6e 28 54 2c 20 (T, fn) when(T,
1750: 61 6c 69 61 73 20 66 6e 29 28 29 0d 0a 7b 0d 0a alias fn)()..{..
1760: 09 53 50 4d 5f 4d 61 74 63 68 54 61 67 21 28 54 .SPM_MatchTag!(T
1770: 2c 20 66 6e 29 20 6d 3b 0d 0a 09 72 65 74 75 72 , fn) m;...retur
1780: 6e 20 6d 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 50 n m;..}..../// P
1790: 61 74 74 65 72 6e 20 63 61 73 65 20 63 6c 61 75 attern case clau
17a0: 73 65 0d 0a 0d 0a 53 50 4d 5f 4d 61 74 63 68 41 se....SPM_MatchA
17b0: 6e 79 21 28 66 6e 29 20 6f 74 68 65 72 77 69 73 ny!(fn) otherwis
17c0: 65 28 61 6c 69 61 73 20 66 6e 29 28 29 0d 0a 7b e(alias fn)()..{
17d0: 0d 0a 09 53 50 4d 5f 4d 61 74 63 68 41 6e 79 21 ...SPM_MatchAny!
17e0: 28 66 6e 29 20 6d 3b 0d 0a 09 72 65 74 75 72 6e (fn) m;...return
17f0: 20 6d 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 20 69 6d 70 m;..}....// imp
1800: 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 64 65 74 61 lementation deta
1810: 69 6c 20 6f 66 20 53 69 6d 70 6c 65 50 61 74 74 il of SimplePatt
1820: 65 72 6e 4d 61 74 63 68 0d 0a 0d 0a 76 6f 69 64 ernMatch....void
1830: 20 53 50 4d 5f 74 68 72 6f 77 41 73 73 65 72 74 SPM_throwAssert
1840: 45 72 72 6f 72 28 54 2e 2e 2e 29 28 54 20 74 29 Error(T...)(T t)
1850: 20 7b 20 63 6f 72 65 2e 65 78 63 65 70 74 69 6f { core.exceptio
1860: 6e 2e 6f 6e 41 73 73 65 72 74 45 72 72 6f 72 4d n.onAssertErrorM
1870: 73 67 28 74 29 3b 20 7d 0d 0a 0d 0a 73 74 72 75 sg(t); }....stru
1880: 63 74 20 53 50 4d 5f 4d 61 74 63 68 54 61 67 28 ct SPM_MatchTag(
1890: 54 2c 20 61 6c 69 61 73 20 66 6e 29 0d 0a 7b 0d T, alias fn)..{.
18a0: 0a 09 61 6c 69 61 73 20 54 20 64 79 6e 61 6d 69 ..alias T dynami
18b0: 63 54 79 70 65 3b 0d 0a 09 61 75 74 6f 20 6f 70 cType;...auto op
18c0: 43 61 6c 6c 28 74 79 70 65 6f 66 28 54 2e 74 75 Call(typeof(T.tu
18d0: 70 6c 65 6f 66 29 20 73 29 20 7b 20 72 65 74 75 pleof) s) { retu
18e0: 72 6e 20 66 6e 28 73 29 3b 20 7d 0d 0a 7d 0d 0a rn fn(s); }..}..
18f0: 0d 0a 73 74 72 75 63 74 20 53 50 4d 5f 4d 61 74 ..struct SPM_Mat
1900: 63 68 41 6e 79 28 61 6c 69 61 73 20 66 6e 29 0d chAny(alias fn).
1910: 0a 7b 0d 0a 09 61 75 74 6f 20 6f 70 43 61 6c 6c .{...auto opCall
1920: 28 29 20 7b 20 72 65 74 75 72 6e 20 66 6e 28 29 () { return fn()
1930: 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 ; }..}....templa
1940: 74 65 20 53 50 4d 5f 50 54 54 28 61 6c 69 61 73 te SPM_PTT(alias
1950: 20 70 29 0d 0a 7b 0d 0a 09 61 6c 69 61 73 20 50 p)..{...alias P
1960: 61 72 61 6d 65 74 65 72 54 79 70 65 54 75 70 6c arameterTypeTupl
1970: 65 21 28 70 29 20 53 50 4d 5f 50 54 54 3b 0d 0a e!(p) SPM_PTT;..
1980: 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 53 50 }....template SP
1990: 4d 5f 45 61 63 68 28 50 29 0d 0a 7b 09 0d 0a 09 M_Each(P)..{....
19a0: 73 74 61 74 69 63 20 69 66 28 5f 5f 74 72 61 69 static if(__trai
19b0: 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 53 50 4d ts(compiles, SPM
19c0: 5f 69 73 4d 61 74 63 68 54 61 67 28 50 2e 69 6e _isMatchTag(P.in
19d0: 69 74 29 29 29 0d 0a 09 09 61 6c 69 61 73 20 74 it)))....alias t
19e0: 79 70 65 6f 66 28 50 28 50 2e 64 79 6e 61 6d 69 ypeof(P(P.dynami
19f0: 63 54 79 70 65 2e 74 75 70 6c 65 6f 66 29 29 20 cType.tupleof))
1a00: 53 50 4d 5f 45 61 63 68 3b 0d 0a 09 65 6c 73 65 SPM_Each;...else
1a10: 0d 0a 09 73 74 61 74 69 63 20 69 66 28 5f 5f 74 ...static if(__t
1a20: 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 raits(compiles,
1a30: 53 50 4d 5f 69 73 4d 61 74 63 68 41 6e 79 28 50 SPM_isMatchAny(P
1a40: 2e 69 6e 69 74 29 29 29 0d 0a 09 09 61 6c 69 61 .init)))....alia
1a50: 73 20 74 79 70 65 6f 66 28 50 28 29 29 20 53 50 s typeof(P()) SP
1a60: 4d 5f 45 61 63 68 3b 0d 0a 09 65 6c 73 65 0d 0a M_Each;...else..
1a70: 09 09 61 6c 69 61 73 20 52 65 74 75 72 6e 54 79 ..alias ReturnTy
1a80: 70 65 21 28 50 29 20 53 50 4d 5f 45 61 63 68 3b pe!(P) SPM_Each;
1a90: 0d 0a 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 ..}....template
1aa0: 53 50 4d 5f 61 56 6f 69 64 28 54 3a 76 6f 69 64 SPM_aVoid(T:void
1ab0: 2c 20 54 53 2e 2e 2e 29 20 7b 20 61 6c 69 61 73 , TS...) { alias
1ac0: 20 53 50 4d 5f 61 56 6f 69 64 21 28 54 53 29 20 SPM_aVoid!(TS)
1ad0: 53 50 4d 5f 61 56 6f 69 64 3b 20 7d 0d 0a 74 65 SPM_aVoid; }..te
1ae0: 6d 70 6c 61 74 65 20 53 50 4d 5f 61 56 6f 69 64 mplate SPM_aVoid
1af0: 28 54 2c 20 54 53 2e 2e 2e 29 20 7b 20 61 6c 69 (T, TS...) { ali
1b00: 61 73 20 54 79 70 65 54 75 70 6c 65 21 28 54 2c as TypeTuple!(T,
1b10: 53 50 4d 5f 61 56 6f 69 64 21 28 54 53 29 29 20 SPM_aVoid!(TS))
1b20: 53 50 4d 5f 61 56 6f 69 64 3b 20 7d 0d 0a 74 65 SPM_aVoid; }..te
1b30: 6d 70 6c 61 74 65 20 53 50 4d 5f 61 56 6f 69 64 mplate SPM_aVoid
1b40: 28 29 20 7b 20 61 6c 69 61 73 20 54 79 70 65 54 () { alias TypeT
1b50: 75 70 6c 65 21 28 29 20 53 50 4d 5f 61 56 6f 69 uple!() SPM_aVoi
1b60: 64 3b 20 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 d; }....template
1b70: 20 53 50 4d 5f 52 65 74 75 72 6e 28 50 50 2e 2e SPM_Return(PP..
1b80: 2e 29 0d 0a 7b 0d 0a 09 61 6c 69 61 73 20 43 6f .)..{...alias Co
1b90: 6d 6d 6f 6e 54 79 70 65 21 28 53 50 4d 5f 61 56 mmonType!(SPM_aV
1ba0: 6f 69 64 21 28 73 74 61 74 69 63 4d 61 70 21 28 oid!(staticMap!(
1bb0: 53 50 4d 5f 45 61 63 68 2c 20 50 50 29 29 29 20 SPM_Each, PP)))
1bc0: 53 50 4d 5f 52 65 74 75 72 6e 3b 0d 0a 7d 0d 0a SPM_Return;..}..
1bd0: 0d 0a 76 6f 69 64 20 53 50 4d 5f 69 73 4d 61 74 ..void SPM_isMat
1be0: 63 68 54 61 67 28 54 2c 61 6c 69 61 73 20 66 6e chTag(T,alias fn
1bf0: 29 28 53 50 4d 5f 4d 61 74 63 68 54 61 67 21 28 )(SPM_MatchTag!(
1c00: 54 2c 66 6e 29 29 7b 7d 0d 0a 76 6f 69 64 20 53 T,fn)){}..void S
1c10: 50 4d 5f 69 73 4d 61 74 63 68 41 6e 79 28 61 6c PM_isMatchAny(al
1c20: 69 61 73 20 66 6e 29 28 53 50 4d 5f 4d 61 74 63 ias fn)(SPM_Matc
1c30: 68 41 6e 79 21 28 66 6e 29 29 7b 7d 0d 0a 0d 0a hAny!(fn)){}....
1c40: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 73 74 unittest..{...st
1c50: 61 74 69 63 20 61 62 73 74 72 61 63 74 20 63 6c atic abstract cl
1c60: 61 73 73 20 42 61 73 65 20 7b 0d 0a 09 09 6d 69 ass Base {....mi
1c70: 78 69 6e 20 53 69 6d 70 6c 65 50 61 74 74 65 72 xin SimplePatter
1c80: 6e 4d 61 74 63 68 3b 0d 0a 09 7d 0d 0a 09 63 6c nMatch;...}...cl
1c90: 61 73 73 20 44 31 20 3a 20 42 61 73 65 20 7b 0d ass D1 : Base {.
1ca0: 0a 09 09 69 6e 74 20 78 3b 0d 0a 09 09 72 65 61 ...int x;....rea
1cb0: 6c 20 79 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 l y;....mixin Si
1cc0: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
1cd0: 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 44 32 20 ...}...class D2
1ce0: 3a 20 42 61 73 65 20 7b 0d 0a 09 09 73 74 72 69 : Base {....stri
1cf0: 6e 67 20 73 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 ng s;....mixin S
1d00: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
1d10: 3b 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 44 33 ;...}...class D3
1d20: 20 3a 20 42 61 73 65 20 7b 0d 0a 09 09 69 6e 74 : Base {....int
1d30: 5b 69 6e 74 5d 6d 3b 0d 0a 09 09 6d 69 78 69 6e [int]m;....mixin
1d40: 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 SimpleConstruct
1d50: 6f 72 3b 0d 0a 09 7d 0d 0a 0d 0a 09 42 61 73 65 or;...}.....Base
1d60: 20 64 31 20 3d 20 6e 65 77 20 44 31 28 31 2c 20 d1 = new D1(1,
1d70: 32 2e 33 29 3b 0d 0a 09 42 61 73 65 20 64 32 20 2.3);...Base d2
1d80: 3d 20 6e 65 77 20 44 32 28 22 66 6f 6f 62 61 72 = new D2("foobar
1d90: 22 29 3b 0d 0a 09 42 61 73 65 20 64 33 20 3d 20 ");...Base d3 =
1da0: 6e 65 77 20 44 33 28 6e 75 6c 6c 29 3b 20 28 63 new D3(null); (c
1db0: 61 73 74 28 44 33 29 64 33 29 2e 6d 5b 31 5d 3d ast(D3)d3).m[1]=
1dc0: 31 30 3b 0d 0a 0d 0a 09 2f 2f 20 6e 6f 72 6d 61 10;.....// norma
1dd0: 6c 20 64 69 73 70 61 74 63 68 0d 0a 09 61 73 73 l dispatch...ass
1de0: 65 72 74 5f 65 71 28 20 64 31 2e 6d 61 74 63 68 ert_eq( d1.match
1df0: 28 0d 0a 09 09 28 44 31 20 78 29 7b 72 65 74 75 (....(D1 x){retu
1e00: 72 6e 20 31 3b 7d 2c 0d 0a 09 09 28 44 32 20 78 rn 1;},....(D2 x
1e10: 29 7b 72 65 74 75 72 6e 20 32 3b 7d 2c 0d 0a 09 ){return 2;},...
1e20: 29 2c 20 31 29 3b 0d 0a 09 61 73 73 65 72 74 5f ), 1);...assert_
1e30: 65 71 28 20 64 32 2e 6d 61 74 63 68 28 0d 0a 09 eq( d2.match(...
1e40: 09 28 44 31 20 78 29 7b 72 65 74 75 72 6e 20 31 .(D1 x){return 1
1e50: 3b 7d 2c 0d 0a 09 09 28 44 32 20 78 29 7b 72 65 ;},....(D2 x){re
1e60: 74 75 72 6e 20 32 3b 7d 2c 0d 0a 09 29 2c 20 32 turn 2;},...), 2
1e70: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f );...assert_thro
1e80: 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 64 w!AssertError( d
1e90: 33 2e 6d 61 74 63 68 28 0d 0a 09 09 28 44 31 20 3.match(....(D1
1ea0: 78 29 7b 72 65 74 75 72 6e 20 31 3b 7d 2c 0d 0a x){return 1;},..
1eb0: 09 09 28 44 32 20 78 29 7b 72 65 74 75 72 6e 20 ..(D2 x){return
1ec0: 32 3b 7d 2c 0d 0a 09 29 29 3b 0d 0a 09 61 73 73 2;},...));...ass
1ed0: 65 72 74 5f 65 71 28 20 64 33 2e 6d 61 74 63 68 ert_eq( d3.match
1ee0: 28 0d 0a 09 09 28 44 31 20 78 29 7b 72 65 74 75 (....(D1 x){retu
1ef0: 72 6e 20 31 3b 7d 2c 0d 0a 09 09 28 44 32 20 78 rn 1;},....(D2 x
1f00: 29 7b 72 65 74 75 72 6e 20 32 3b 7d 2c 0d 0a 09 ){return 2;},...
1f10: 09 28 42 61 73 65 20 78 29 7b 72 65 74 75 72 6e .(Base x){return
1f20: 20 33 3b 7d 2c 0d 0a 09 29 2c 20 33 29 3b 0d 0a 3;},...), 3);..
1f30: 09 61 73 73 65 72 74 5f 65 71 28 20 64 32 2e 6d .assert_eq( d2.m
1f40: 61 74 63 68 28 0d 0a 09 09 28 44 31 20 78 29 7b atch(....(D1 x){
1f50: 72 65 74 75 72 6e 20 31 3b 7d 2c 0d 0a 09 09 28 return 1;},....(
1f60: 44 32 20 78 29 7b 72 65 74 75 72 6e 20 32 3b 7d D2 x){return 2;}
1f70: 2c 0d 0a 09 09 28 42 61 73 65 20 78 29 7b 72 65 ,....(Base x){re
1f80: 74 75 72 6e 20 33 3b 7d 2c 0d 0a 09 29 2c 20 32 turn 3;},...), 2
1f90: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
1fa0: 64 32 2e 6d 61 74 63 68 28 0d 0a 09 09 28 44 31 d2.match(....(D1
1fb0: 20 78 29 7b 72 65 74 75 72 6e 20 31 3b 7d 2c 0d x){return 1;},.
1fc0: 0a 09 09 28 42 61 73 65 20 78 29 7b 72 65 74 75 ...(Base x){retu
1fd0: 72 6e 20 33 3b 7d 2c 0d 0a 09 09 28 44 32 20 78 rn 3;},....(D2 x
1fe0: 29 7b 72 65 74 75 72 6e 20 32 3b 7d 2c 0d 0a 09 ){return 2;},...
1ff0: 29 2c 20 33 29 3b 0d 0a 0d 0a 09 2f 2f 20 6d 65 ), 3);.....// me
2000: 6d 62 65 72 20 64 65 63 6f 6d 70 6f 73 69 6e 67 mber decomposing
2010: 20 6d 61 74 63 68 0d 0a 09 61 73 73 65 72 74 5f match...assert_
2020: 65 71 28 20 64 31 2e 6d 61 74 63 68 28 0d 0a 09 eq( d1.match(...
2030: 09 77 68 65 6e 21 28 44 31 2c 20 28 78 2c 20 79 .when!(D1, (x, y
2040: 29 7b 72 65 74 75 72 6e 20 78 20 2b 20 63 61 73 ){return x + cas
2050: 74 28 69 6e 74 29 79 3b 7d 29 2c 0d 0a 09 09 77 t(int)y;}),....w
2060: 68 65 6e 21 28 44 32 2c 20 28 78 29 7b 72 65 74 hen!(D2, (x){ret
2070: 75 72 6e 20 78 2e 6c 65 6e 67 74 68 3b 7d 29 2c urn x.length;}),
2080: 0d 0a 09 09 77 68 65 6e 21 28 44 33 2c 20 28 78 ....when!(D3, (x
2090: 29 7b 72 65 74 75 72 6e 20 78 5b 31 5d 3b 7d 29 ){return x[1];})
20a0: 2c 0d 0a 09 29 2c 20 33 29 3b 0d 0a 09 61 73 73 ,...), 3);...ass
20b0: 65 72 74 5f 65 71 28 20 64 32 2e 6d 61 74 63 68 ert_eq( d2.match
20c0: 28 0d 0a 09 09 77 68 65 6e 21 28 44 31 2c 20 28 (....when!(D1, (
20d0: 78 2c 20 79 29 7b 72 65 74 75 72 6e 20 78 20 2b x, y){return x +
20e0: 20 63 61 73 74 28 69 6e 74 29 79 3b 7d 29 2c 0d cast(int)y;}),.
20f0: 0a 09 09 77 68 65 6e 21 28 44 32 2c 20 28 78 29 ...when!(D2, (x)
2100: 7b 72 65 74 75 72 6e 20 78 2e 6c 65 6e 67 74 68 {return x.length
2110: 3b 7d 29 2c 0d 0a 09 09 77 68 65 6e 21 28 44 33 ;}),....when!(D3
2120: 2c 20 28 78 29 7b 72 65 74 75 72 6e 20 78 5b 31 , (x){return x[1
2130: 5d 3b 7d 29 2c 0d 0a 09 29 2c 20 36 29 3b 0d 0a ];}),...), 6);..
2140: 09 61 73 73 65 72 74 5f 65 71 28 20 64 33 2e 6d .assert_eq( d3.m
2150: 61 74 63 68 28 0d 0a 09 09 77 68 65 6e 21 28 44 atch(....when!(D
2160: 31 2c 20 28 78 2c 20 79 29 7b 72 65 74 75 72 6e 1, (x, y){return
2170: 20 78 20 2b 20 63 61 73 74 28 69 6e 74 29 79 3b x + cast(int)y;
2180: 7d 29 2c 0d 0a 09 09 77 68 65 6e 21 28 44 32 2c }),....when!(D2,
2190: 20 28 78 29 7b 72 65 74 75 72 6e 20 78 2e 6c 65 (x){return x.le
21a0: 6e 67 74 68 3b 7d 29 2c 0d 0a 09 09 77 68 65 6e ngth;}),....when
21b0: 21 28 44 33 2c 20 28 78 29 7b 72 65 74 75 72 6e !(D3, (x){return
21c0: 20 78 5b 31 5d 3b 7d 29 2c 0d 0a 09 29 2c 20 31 x[1];}),...), 1
21d0: 30 29 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 0);...assert_thr
21e0: 6f 77 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 ow!AssertError(
21f0: 64 33 2e 6d 61 74 63 68 28 0d 0a 09 09 77 68 65 d3.match(....whe
2200: 6e 21 28 44 31 2c 20 28 78 2c 20 79 29 7b 72 65 n!(D1, (x, y){re
2210: 74 75 72 6e 20 78 20 2b 20 63 61 73 74 28 69 6e turn x + cast(in
2220: 74 29 79 3b 7d 29 2c 0d 0a 09 09 77 68 65 6e 21 t)y;}),....when!
2230: 28 44 32 2c 20 28 78 29 7b 72 65 74 75 72 6e 20 (D2, (x){return
2240: 78 2e 6c 65 6e 67 74 68 3b 7d 29 2c 0d 0a 09 29 x.length;}),...)
2250: 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 );...assert_eq(
2260: 64 32 2e 6d 61 74 63 68 28 0d 0a 09 09 77 68 65 d2.match(....whe
2270: 6e 21 28 44 31 2c 20 28 78 2c 20 79 29 7b 72 65 n!(D1, (x, y){re
2280: 74 75 72 6e 20 78 20 2b 20 63 61 73 74 28 69 6e turn x + cast(in
2290: 74 29 79 3b 7d 29 2c 0d 0a 09 09 77 68 65 6e 21 t)y;}),....when!
22a0: 28 44 32 2c 20 28 78 29 7b 72 65 74 75 72 6e 20 (D2, (x){return
22b0: 78 2e 6c 65 6e 67 74 68 3b 7d 29 2c 0d 0a 09 09 x.length;}),....
22c0: 6f 74 68 65 72 77 69 73 65 21 28 7b 72 65 74 75 otherwise!({retu
22d0: 72 6e 20 39 39 39 3b 7d 29 2c 0d 0a 09 29 2c 20 rn 999;}),...),
22e0: 36 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 6);...assert_eq(
22f0: 20 64 32 2e 6d 61 74 63 68 28 0d 0a 09 09 77 68 d2.match(....wh
2300: 65 6e 21 28 44 31 2c 20 28 78 2c 20 79 29 7b 72 en!(D1, (x, y){r
2310: 65 74 75 72 6e 20 78 20 2b 20 63 61 73 74 28 69 eturn x + cast(i
2320: 6e 74 29 79 3b 7d 29 2c 0d 0a 09 09 6f 74 68 65 nt)y;}),....othe
2330: 72 77 69 73 65 21 28 7b 72 65 74 75 72 6e 20 39 rwise!({return 9
2340: 39 39 3b 7d 29 2c 0d 0a 09 09 77 68 65 6e 21 28 99;}),....when!(
2350: 44 32 2c 20 28 78 29 7b 72 65 74 75 72 6e 20 78 D2, (x){return x
2360: 2e 6c 65 6e 67 74 68 3b 7d 29 2c 0d 0a 09 29 2c .length;}),...),
2370: 20 39 39 39 29 3b 0d 0a 7d 0d 0a 999);..}..