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 63 6f 72 65 2e 65 78 ;.import core.ex
00c0: 63 65 70 74 69 6f 6e 3b 0d 0a 69 6d 70 6f 72 74 ception;..import
00d0: 20 73 74 64 2e 61 72 72 61 79 20 20 3a 20 61 70 std.array : ap
00e0: 70 65 6e 64 65 72 3b 0a 69 6d 70 6f 72 74 20 73 pender;.import s
00f0: 74 64 2e 66 6f 72 6d 61 74 20 3a 20 66 6f 72 6d td.format : form
0100: 61 74 74 65 64 57 72 69 74 65 3b 0d 0a 69 6d 70 attedWrite;..imp
0110: 6f 72 74 20 73 74 64 2e 74 72 61 69 74 73 3b 0d ort std.traits;.
0120: 0a 69 6d 70 6f 72 74 20 73 74 64 2e 74 79 70 65 .import std.type
0130: 74 75 70 6c 65 3b 0d 0a 0a 2f 2f 2f 20 53 69 6d tuple;.../// Sim
0140: 70 6c 65 20 57 72 61 70 70 65 72 20 66 6f 72 20 ple Wrapper for
0150: 73 74 64 2e 66 6f 72 6d 61 74 2e 64 6f 46 6f 72 std.format.doFor
0160: 6d 61 74 0a 0a 73 74 72 69 6e 67 20 73 70 72 69 mat..string spri
0170: 6e 74 66 28 73 74 72 69 6e 67 20 66 6d 74 2c 20 ntf(string fmt,
0180: 54 2e 2e 2e 29 28 54 20 70 61 72 61 6d 73 29 0a T...)(T params).
0190: 7b 0a 09 61 75 74 6f 20 77 72 69 74 65 72 20 3d {..auto writer =
01a0: 20 61 70 70 65 6e 64 65 72 21 73 74 72 69 6e 67 appender!string
01b0: 28 29 3b 0a 09 66 6f 72 6d 61 74 74 65 64 57 72 ();..formattedWr
01c0: 69 74 65 28 77 72 69 74 65 72 2c 20 66 6d 74 2c ite(writer, fmt,
01d0: 20 70 61 72 61 6d 73 29 3b 0a 09 72 65 74 75 72 params);..retur
01e0: 6e 20 77 72 69 74 65 72 2e 64 61 74 61 3b 0a 7d n writer.data;.}
01f0: 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 61 73 ..unittest.{..as
0200: 73 65 72 74 5f 65 71 28 20 73 70 72 69 6e 74 66 sert_eq( sprintf
0210: 21 22 25 73 20 3d 3d 20 25 30 34 64 22 28 22 31 !"%s == %04d"("1
0220: 2b 32 22 2c 20 33 29 2c 20 22 31 2b 32 20 3d 3d +2", 3), "1+2 ==
0230: 20 30 30 30 33 22 20 29 3b 0d 0a 09 61 73 73 65 0003" );...asse
0240: 72 74 5f 65 71 28 20 73 70 72 69 6e 74 66 21 22 rt_eq( sprintf!"
0250: 25 32 24 73 20 3d 3d 20 25 31 24 73 22 28 22 31 %2$s == %1$s"("1
0260: 2b 32 22 2c 20 35 2c 20 38 29 2c 20 22 35 20 3d +2", 5, 8), "5 =
0270: 3d 20 31 2b 32 22 20 29 3b 0d 0a 09 61 73 73 65 = 1+2" );...asse
0280: 72 74 5f 74 68 72 6f 77 21 45 72 72 6f 72 28 20 rt_throw!Error(
0290: 73 70 72 69 6e 74 66 21 22 25 73 25 73 22 28 31 sprintf!"%s%s"(1
02a0: 29 20 29 3b 0d 0a 7d 0a 0a 2f 2f 2f 20 43 72 65 ) );..}../// Cre
02b0: 61 74 65 20 61 6e 20 65 78 63 65 70 74 69 6f 6e ate an exception
02c0: 20 77 69 74 68 20 61 75 74 6f 6d 61 74 69 63 61 with automatica
02d0: 6c 6c 79 20 63 6f 6d 70 6c 65 74 65 64 20 66 69 lly completed fi
02e0: 6c 65 6e 61 6d 65 20 61 6e 64 20 6c 69 6e 65 6e lename and linen
02f0: 6f 20 69 6e 66 6f 72 6d 61 74 69 6f 6e 0a 0a 45 o information..E
0300: 78 63 65 70 74 69 6f 6e 54 79 70 65 20 67 65 6e xceptionType gen
0310: 65 78 28 45 78 63 65 70 74 69 6f 6e 54 79 70 65 ex(ExceptionType
0320: 2c 20 73 74 72 69 6e 67 20 66 6e 3d 5f 5f 46 49 , string fn=__FI
0330: 4c 45 5f 5f 2c 20 69 6e 74 20 6c 6e 3d 5f 5f 4c LE__, int ln=__L
0340: 49 4e 45 5f 5f 2c 20 54 2e 2e 2e 29 28 54 20 70 INE__, T...)(T p
0350: 61 72 61 6d 73 29 0a 7b 0a 09 73 74 61 74 69 63 arams).{..static
0360: 20 69 66 28 20 54 2e 6c 65 6e 67 74 68 20 3e 20 if( T.length >
0370: 30 20 26 26 20 69 73 28 54 5b 24 2d 31 5d 20 3a 0 && is(T[$-1] :
0380: 20 54 68 72 6f 77 61 62 6c 65 29 20 29 0a 09 09 Throwable) )...
0390: 72 65 74 75 72 6e 20 6e 65 77 20 45 78 63 65 70 return new Excep
03a0: 74 69 6f 6e 54 79 70 65 28 70 61 72 61 6d 73 5b tionType(params[
03b0: 30 2e 2e 24 2d 31 5d 2c 20 66 6e 2c 20 6c 6e 2c 0..$-1], fn, ln,
03c0: 20 70 61 72 61 6d 73 5b 24 2d 31 5d 29 3b 0a 09 params[$-1]);..
03d0: 65 6c 73 65 0a 09 09 72 65 74 75 72 6e 20 6e 65 else...return ne
03e0: 77 20 45 78 63 65 70 74 69 6f 6e 54 79 70 65 28 w ExceptionType(
03f0: 70 61 72 61 6d 73 2c 20 66 6e 2c 20 6c 6e 29 3b params, fn, ln);
0400: 0a 7d 0a 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 .}..unittest.{..
0410: 61 73 73 65 72 74 5f 6e 65 28 20 67 65 6e 65 78 assert_ne( genex
0420: 21 45 78 63 65 70 74 69 6f 6e 28 22 6d 73 67 22 !Exception("msg"
0430: 29 2e 66 69 6c 65 2c 20 22 22 20 29 3b 0a 09 61 ).file, "" );..a
0440: 73 73 65 72 74 5f 6e 65 28 20 67 65 6e 65 78 21 ssert_ne( genex!
0450: 45 78 63 65 70 74 69 6f 6e 28 22 6d 73 67 22 29 Exception("msg")
0460: 2e 6c 69 6e 65 2c 20 30 20 29 3b 0a 09 61 73 73 .line, 0 );..ass
0470: 65 72 74 5f 6e 65 28 20 67 65 6e 65 78 21 45 78 ert_ne( genex!Ex
0480: 63 65 70 74 69 6f 6e 28 22 6d 73 67 22 2c 6e 65 ception("msg",ne
0490: 77 20 45 78 63 65 70 74 69 6f 6e 28 22 62 61 72 w Exception("bar
04a0: 22 29 29 2e 6e 65 78 74 2c 20 45 78 63 65 70 74 ")).next, Except
04b0: 69 6f 6e 2e 69 6e 69 74 20 29 3b 0a 7d 0a 0a 2f ion.init );.}../
04c0: 2f 2f 20 4d 69 78 69 6e 67 2d 69 6e 20 74 68 65 // Mixing-in the
04d0: 20 62 65 61 6e 20 63 6f 6e 73 74 72 75 63 74 6f bean constructo
04e0: 72 20 66 6f 72 20 61 20 63 6c 61 73 73 0a 0a 2f r for a class../
04f0: 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c 61 74 *mixin*/.templat
0500: 65 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 e SimpleConstruc
0510: 74 6f 72 28 29 0a 7b 0a 09 2f 2f 2f 20 6d 65 6d tor().{../// mem
0520: 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 63 6f ber-by-member co
0530: 6e 73 74 72 75 63 74 6f 72 0d 0a 09 73 74 61 74 nstructor...stat
0540: 69 63 20 69 66 28 20 69 73 28 74 79 70 65 6f 66 ic if( is(typeof
0550: 28 73 75 70 65 72 29 20 3d 3d 20 4f 62 6a 65 63 (super) == Objec
0560: 74 29 20 7c 7c 20 73 75 70 65 72 2e 74 75 70 6c t) || super.tupl
0570: 65 6f 66 2e 6c 65 6e 67 74 68 3d 3d 30 20 29 0a eof.length==0 ).
0580: 09 09 74 68 69 73 28 20 74 79 70 65 6f 66 28 74 ..this( typeof(t
0590: 68 69 73 2e 74 75 70 6c 65 6f 66 29 20 70 61 72 his.tupleof) par
05a0: 61 6d 73 20 29 0a 09 09 7b 0a 09 09 09 73 74 61 ams )...{....sta
05b0: 74 69 63 20 69 66 28 74 68 69 73 2e 74 75 70 6c tic if(this.tupl
05c0: 65 6f 66 2e 6c 65 6e 67 74 68 3e 30 29 0a 09 09 eof.length>0)...
05d0: 09 09 74 68 69 73 2e 74 75 70 6c 65 6f 66 20 3d ..this.tupleof =
05e0: 20 70 61 72 61 6d 73 3b 0a 09 09 7d 0a 09 65 6c params;...}..el
05f0: 73 65 0a 09 09 74 68 69 73 28 20 74 79 70 65 6f se...this( typeo
0600: 66 28 73 75 70 65 72 2e 74 75 70 6c 65 6f 66 29 f(super.tupleof)
0610: 20 70 73 2c 20 74 79 70 65 6f 66 28 74 68 69 73 ps, typeof(this
0620: 2e 74 75 70 6c 65 6f 66 29 20 70 61 72 61 6d 73 .tupleof) params
0630: 20 29 0a 09 09 7b 0a 09 09 09 2f 2f 20 69 6e 63 )...{....// inc
0640: 6c 75 64 69 6e 67 20 28 6f 6e 6c 79 29 20 74 68 luding (only) th
0650: 65 20 64 69 72 65 63 74 20 73 75 70 65 72 20 63 e direct super c
0660: 6c 61 73 73 20 6d 65 6d 62 65 72 73 0a 09 09 09 lass members....
0670: 2f 2f 20 6d 61 79 20 6e 6f 74 20 61 6c 77 61 79 // may not alway
0680: 73 20 62 65 20 61 20 64 65 73 69 72 61 62 6c 65 s be a desirable
0690: 20 63 68 6f 69 63 65 2c 20 62 75 74 20 73 68 6f choice, but sho
06a0: 75 6c 64 20 77 6f 72 6b 20 66 6f 72 20 6d 61 6e uld work for man
06b0: 79 20 63 61 73 65 73 0a 09 09 09 73 75 70 65 72 y cases....super
06c0: 28 70 73 29 3b 0a 09 09 09 73 74 61 74 69 63 20 (ps);....static
06d0: 69 66 28 74 68 69 73 2e 74 75 70 6c 65 6f 66 2e if(this.tupleof.
06e0: 6c 65 6e 67 74 68 3e 30 29 0a 09 09 09 09 74 68 length>0).....th
06f0: 69 73 2e 74 75 70 6c 65 6f 66 20 3d 20 70 61 72 is.tupleof = par
0700: 61 6d 73 3b 0a 09 09 7d 0a 7d 0a 0a 75 6e 69 74 ams;...}.}..unit
0710: 74 65 73 74 0a 7b 0a 09 63 6c 61 73 73 20 54 65 test.{..class Te
0720: 6d 70 0a 09 7b 0a 09 09 69 6e 74 20 78 3b 0a 09 mp..{...int x;..
0730: 09 73 74 72 69 6e 67 20 79 3b 0a 09 09 6d 69 78 .string y;...mix
0740: 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 in SimpleConstru
0750: 63 74 6f 72 3b 0a 09 7d 0a 09 61 73 73 65 72 74 ctor;..}..assert
0760: 5f 65 71 28 20 28 6e 65 77 20 54 65 6d 70 28 31 _eq( (new Temp(1
0770: 2c 22 66 6f 6f 22 29 29 2e 78 2c 20 31 20 29 3b ,"foo")).x, 1 );
0780: 0a 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e 65 ..assert_eq( (ne
0790: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 29 w Temp(1,"foo"))
07a0: 2e 79 2c 20 22 66 6f 6f 22 20 29 3b 0a 09 61 73 .y, "foo" );..as
07b0: 73 65 72 74 28 20 21 5f 5f 74 72 61 69 74 73 28 sert( !__traits(
07c0: 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 20 54 65 compiles, new Te
07d0: 6d 70 29 20 29 3b 0a 09 61 73 73 65 72 74 28 20 mp) );..assert(
07e0: 21 5f 5f 74 72 61 69 74 73 28 63 6f 6d 70 69 6c !__traits(compil
07f0: 65 73 2c 20 6e 65 77 20 54 65 6d 70 28 31 29 29 es, new Temp(1))
0800: 20 29 3b 0a 09 61 73 73 65 72 74 28 20 21 5f 5f );..assert( !__
0810: 74 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c traits(compiles,
0820: 20 6e 65 77 20 54 65 6d 70 28 22 66 6f 6f 22 2c new Temp("foo",
0830: 31 29 29 20 29 3b 0a 0a 09 63 6c 61 73 73 20 54 1)) );...class T
0840: 6f 6d 70 20 3a 20 54 65 6d 70 0a 09 7b 0a 09 09 omp : Temp..{...
0850: 72 65 61 6c 20 7a 3b 0a 09 09 6d 69 78 69 6e 20 real z;...mixin
0860: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
0870: 72 3b 0a 09 7d 0a 09 61 73 73 65 72 74 5f 65 71 r;..}..assert_eq
0880: 28 20 28 6e 65 77 20 54 6f 6d 70 28 31 2c 22 66 ( (new Tomp(1,"f
0890: 6f 6f 22 2c 32 2e 35 29 29 2e 78 2c 20 31 20 29 oo",2.5)).x, 1 )
08a0: 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e ;..assert_eq( (n
08b0: 65 77 20 54 6f 6d 70 28 31 2c 22 66 6f 6f 22 2c ew Tomp(1,"foo",
08c0: 32 2e 35 29 29 2e 79 2c 20 22 66 6f 6f 22 20 29 2.5)).y, "foo" )
08d0: 3b 0a 09 61 73 73 65 72 74 5f 65 71 28 20 28 6e ;..assert_eq( (n
08e0: 65 77 20 54 6f 6d 70 28 31 2c 22 66 6f 6f 22 2c ew Tomp(1,"foo",
08f0: 32 2e 35 29 29 2e 7a 2c 20 32 2e 35 20 29 3b 0a 2.5)).z, 2.5 );.
0900: 09 61 73 73 65 72 74 28 20 21 5f 5f 74 72 61 69 .assert( !__trai
0910: 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 6e 65 77 ts(compiles, new
0920: 20 54 6f 6d 70 28 33 2e 31 34 29 29 20 29 3b 0a Tomp(3.14)) );.
0930: 0a 09 2f 2f 20 73 68 69 79 6f 2d 20 64 65 73 75 ..// shiyo- desu
0940: 2e 20 44 6f 6e 27 74 20 75 73 65 20 69 6e 20 74 . Don't use in t
0950: 68 69 73 20 77 61 79 2e 0a 09 2f 2f 20 20 20 54 his way...// T
0960: 61 6d 70 20 74 72 69 65 73 20 74 6f 20 63 61 6c amp tries to cal
0970: 6c 20 6e 65 77 20 54 6f 6d 70 28 72 65 61 6c 29 l new Tomp(real)
0980: 20 28 62 65 63 61 75 73 65 20 69 74 20 6f 6e 6c (because it onl
0990: 79 20 73 65 65 73 20 54 6f 6d 70 27 73 20 6d 65 y sees Tomp's me
09a0: 6d 62 65 72 73 29 2c 0a 09 2f 2f 20 20 20 62 75 mbers),..// bu
09b0: 74 20 69 74 20 66 61 69 6c 73 20 62 65 63 61 75 t it fails becau
09c0: 73 65 20 54 6f 6d 70 20 74 61 6b 65 73 20 28 69 se Tomp takes (i
09d0: 6e 74 2c 73 74 72 69 6e 67 2c 72 65 61 6c 29 2e nt,string,real).
09e0: 0a 09 61 73 73 65 72 74 28 20 21 5f 5f 74 72 61 ..assert( !__tra
09f0: 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 7b 0a its(compiles, {.
0a00: 09 09 63 6c 61 73 73 20 54 61 6d 70 20 3a 20 54 ..class Tamp : T
0a10: 6f 6d 70 20 7b 20 6d 69 78 69 6e 20 53 69 6d 70 omp { mixin Simp
0a20: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 20 7d leConstructor; }
0a30: 0a 09 7d 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 4d ..}) );.}../// M
0a40: 69 78 69 6e 67 2d 69 6e 20 74 68 65 20 4d 4f 53 ixing-in the MOS
0a50: 54 2d 44 45 52 49 56 45 44 2d 6d 65 6d 62 65 72 T-DERIVED-member
0a60: 2d 77 69 73 65 20 63 6f 6d 70 61 72 61 74 6f 72 -wise comparator
0a70: 20 66 6f 72 20 61 20 63 6c 61 73 73 0a 0a 2f 2a for a class../*
0a80: 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c 61 74 65 mixin*/.template
0a90: 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 28 29 SimpleCompare()
0aa0: 0a 7b 0a 09 6f 76 65 72 72 69 64 65 20 62 6f 6f .{..override boo
0ab0: 6c 20 6f 70 45 71 75 61 6c 73 28 4f 62 6a 65 63 l opEquals(Objec
0ac0: 74 20 72 68 73 5f 29 20 63 6f 6e 73 74 20 2f 2f t rhs_) const //
0ad0: 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d 65 6d 62 / member-by-memb
0ae0: 65 72 20 65 71 75 61 6c 69 74 79 0a 09 7b 0a 09 er equality..{..
0af0: 09 69 66 28 20 61 75 74 6f 20 72 68 73 20 3d 20 .if( auto rhs =
0b00: 63 61 73 74 28 74 79 70 65 6f 66 28 74 68 69 73 cast(typeof(this
0b10: 29 29 72 68 73 5f 20 29 0a 09 09 7b 0a 09 09 09 ))rhs_ )...{....
0b20: 66 6f 72 65 61 63 68 28 69 2c 5f 3b 20 74 68 69 foreach(i,_; thi
0b30: 73 2e 74 75 70 6c 65 6f 66 29 0a 09 09 09 09 69 s.tupleof).....i
0b40: 66 28 20 74 68 69 73 2e 74 75 70 6c 65 6f 66 5b f( this.tupleof[
0b50: 69 5d 20 21 3d 20 28 63 61 73 74 28 63 6f 6e 73 i] != (cast(cons
0b60: 74 29 72 68 73 29 2e 74 75 70 6c 65 6f 66 5b 69 t)rhs).tupleof[i
0b70: 5d 20 29 0a 09 09 09 09 09 72 65 74 75 72 6e 20 ] )......return
0b80: 66 61 6c 73 65 3b 0a 09 09 09 72 65 74 75 72 6e false;....return
0b90: 20 74 72 75 65 3b 0a 09 09 7d 0a 09 09 61 73 73 true;...}...ass
0ba0: 65 72 74 28 66 61 6c 73 65 2c 20 73 70 72 69 6e ert(false, sprin
0bb0: 74 66 21 22 43 61 6e 6e 6f 74 20 63 6f 6d 70 61 tf!"Cannot compa
0bc0: 72 65 20 25 73 20 77 69 74 68 20 25 73 22 28 74 re %s with %s"(t
0bd0: 79 70 65 69 64 28 74 68 69 73 29 2c 20 74 79 70 ypeid(this), typ
0be0: 65 69 64 28 72 68 73 5f 29 29 29 3b 0a 09 7d 0a eid(rhs_)));..}.
0bf0: 0a 09 6f 76 65 72 72 69 64 65 20 68 61 73 68 5f ..override hash_
0c00: 74 20 74 6f 48 61 73 68 28 29 20 63 6f 6e 73 74 t toHash() const
0c10: 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d 62 79 2d 6d /// member-by-m
0c20: 65 6d 62 65 72 20 68 61 73 68 0a 09 7b 0a 09 09 ember hash..{...
0c30: 68 61 73 68 5f 74 20 68 20 3d 20 30 3b 0a 09 09 hash_t h = 0;...
0c40: 66 6f 72 65 61 63 68 28 6d 65 6d 3b 20 74 68 69 foreach(mem; thi
0c50: 73 2e 74 75 70 6c 65 6f 66 29 0a 09 09 09 68 20 s.tupleof)....h
0c60: 2b 3d 20 74 79 70 65 69 64 28 6d 65 6d 29 2e 67 += typeid(mem).g
0c70: 65 74 48 61 73 68 28 26 6d 65 6d 29 3b 0a 09 09 etHash(&mem);...
0c80: 72 65 74 75 72 6e 20 68 3b 0a 09 7d 0a 0a 09 6f return h;..}...o
0c90: 76 65 72 72 69 64 65 20 69 6e 74 20 6f 70 43 6d verride int opCm
0ca0: 70 28 4f 62 6a 65 63 74 20 72 68 73 5f 29 20 63 p(Object rhs_) c
0cb0: 6f 6e 73 74 20 2f 2f 2f 20 6d 65 6d 62 65 72 2d onst /// member-
0cc0: 62 79 2d 6d 65 6d 62 65 72 20 63 6f 6d 70 61 72 by-member compar
0cd0: 65 0a 09 7b 0a 09 09 69 66 28 20 61 75 74 6f 20 e..{...if( auto
0ce0: 72 68 73 20 3d 20 63 61 73 74 28 74 79 70 65 6f rhs = cast(typeo
0cf0: 66 28 74 68 69 73 29 29 72 68 73 5f 20 29 0a 09 f(this))rhs_ )..
0d00: 09 7b 0a 09 09 09 66 6f 72 65 61 63 68 28 69 2c .{....foreach(i,
0d10: 5f 3b 20 74 68 69 73 2e 74 75 70 6c 65 6f 66 29 _; this.tupleof)
0d20: 0d 0a 09 09 09 09 69 66 28 20 74 68 69 73 2e 74 ......if( this.t
0d30: 75 70 6c 65 6f 66 5b 69 5d 20 21 3d 20 28 63 61 upleof[i] != (ca
0d40: 73 74 28 63 6f 6e 73 74 29 72 68 73 29 2e 74 75 st(const)rhs).tu
0d50: 70 6c 65 6f 66 5b 69 5d 20 29 20 7b 0d 0a 09 09 pleof[i] ) {....
0d60: 09 09 09 61 75 74 6f 20 61 20 3d 20 28 63 61 73 ...auto a = (cas
0d70: 74 28 53 43 5f 55 6e 71 75 61 6c 21 28 74 79 70 t(SC_Unqual!(typ
0d80: 65 6f 66 28 74 68 69 73 29 29 29 74 68 69 73 29 eof(this)))this)
0d90: 2e 74 75 70 6c 65 6f 66 5b 69 5d 3b 0d 0a 09 09 .tupleof[i];....
0da0: 09 09 09 61 75 74 6f 20 62 20 3d 20 20 72 68 73 ...auto b = rhs
0db0: 2e 74 75 70 6c 65 6f 66 5b 69 5d 3b 0d 0a 09 09 .tupleof[i];....
0dc0: 09 09 09 72 65 74 75 72 6e 20 61 20 3c 20 62 20 ...return a < b
0dd0: 3f 20 2d 31 20 3a 20 2b 31 3b 0d 0a 09 09 09 09 ? -1 : +1;......
0de0: 7d 0d 0a 2f 2f 20 6e 6f 74 20 77 6f 72 6b 20 77 }..// not work w
0df0: 65 6c 6c 20 66 6f 72 20 73 74 72 75 63 74 75 72 ell for structur
0e00: 65 73 3f 3f 3f 3f 3f 3f 3f 0a 2f 2f 09 09 09 09 es???????.//....
0e10: 69 66 28 61 75 74 6f 20 63 20 3d 20 74 79 70 65 if(auto c = type
0e20: 69 64 28 5f 29 2e 63 6f 6d 70 61 72 65 28 26 74 id(_).compare(&t
0e30: 68 69 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 2c 26 his.tupleof[i],&
0e40: 72 68 73 2e 74 75 70 6c 65 6f 66 5b 69 5d 29 29 rhs.tupleof[i]))
0e50: 0a 2f 2f 09 09 09 09 09 72 65 74 75 72 6e 20 63 .//.....return c
0e60: 3b 0a 09 09 09 72 65 74 75 72 6e 20 30 3b 0a 09 ;....return 0;..
0e70: 09 7d 0a 09 09 61 73 73 65 72 74 28 66 61 6c 73 .}...assert(fals
0e80: 65 2c 20 73 70 72 69 6e 74 66 21 22 43 61 6e 6e e, sprintf!"Cann
0e90: 6f 74 20 63 6f 6d 70 61 72 65 20 25 73 20 77 69 ot compare %s wi
0ea0: 74 68 20 25 73 22 28 74 79 70 65 69 64 28 74 68 th %s"(typeid(th
0eb0: 69 73 29 2c 20 74 79 70 65 69 64 28 72 68 73 5f is), typeid(rhs_
0ec0: 29 29 29 3b 0a 09 7d 0a 7d 0d 0a 0d 0a 61 6c 69 )));..}.}....ali
0ed0: 61 73 20 73 74 64 2e 74 72 61 69 74 73 2e 55 6e as std.traits.Un
0ee0: 71 75 61 6c 20 53 43 5f 55 6e 71 75 61 6c 3b 0a qual SC_Unqual;.
0ef0: 0a 75 6e 69 74 74 65 73 74 0a 7b 0a 09 63 6c 61 .unittest.{..cla
0f00: 73 73 20 54 65 6d 70 0a 09 7b 0a 09 09 69 6e 74 ss Temp..{...int
0f10: 20 78 3b 0a 09 09 73 74 72 69 6e 67 20 79 3b 0a x;...string y;.
0f20: 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f ..mixin SimpleCo
0f30: 6e 73 74 72 75 63 74 6f 72 3b 0a 09 09 6d 69 78 nstructor;...mix
0f40: 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 in SimpleCompare
0f50: 3b 0a 09 7d 0a 09 61 73 73 65 72 74 5f 65 71 28 ;..}..assert_eq(
0f60: 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f new Temp(1,"foo
0f70: 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 "), new Temp(1,"
0f80: 66 6f 6f 22 29 20 29 3b 0a 09 61 73 73 65 72 74 foo") );..assert
0f90: 5f 65 71 28 20 28 6e 65 77 20 54 65 6d 70 28 31 _eq( (new Temp(1
0fa0: 2c 22 66 6f 6f 22 29 29 2e 74 6f 48 61 73 68 2c ,"foo")).toHash,
0fb0: 20 28 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 6f (new Temp(1,"fo
0fc0: 6f 22 29 29 2e 74 6f 48 61 73 68 20 29 3b 0a 09 o")).toHash );..
0fd0: 61 73 73 65 72 74 5f 6e 65 28 20 6e 65 77 20 54 assert_ne( new T
0fe0: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 emp(1,"foo"), ne
0ff0: 77 20 54 65 6d 70 28 32 2c 22 66 6f 6f 22 29 20 w Temp(2,"foo")
1000: 29 3b 0a 09 61 73 73 65 72 74 5f 6e 65 28 20 6e );..assert_ne( n
1010: 65 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 ew Temp(1,"foo")
1020: 2c 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 62 61 , new Temp(1,"ba
1030: 72 22 29 20 29 3b 0a 09 61 73 73 65 72 74 5f 67 r") );..assert_g
1040: 74 28 20 6e 65 77 20 54 65 6d 70 28 31 2c 22 66 t( new Temp(1,"f
1050: 6f 6f 22 29 2c 20 6e 65 77 20 54 65 6d 70 28 31 oo"), new Temp(1
1060: 2c 22 62 61 72 22 29 20 29 3b 0a 09 61 73 73 65 ,"bar") );..asse
1070: 72 74 5f 6c 74 28 20 6e 65 77 20 54 65 6d 70 28 rt_lt( new Temp(
1080: 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 77 20 54 65 1,"foo"), new Te
1090: 6d 70 28 32 2c 22 62 61 72 22 29 20 29 3b 0a 09 mp(2,"bar") );..
10a0: 61 73 73 65 72 74 5f 67 65 28 20 6e 65 77 20 54 assert_ge( new T
10b0: 65 6d 70 28 31 2c 22 66 6f 6f 22 29 2c 20 6e 65 emp(1,"foo"), ne
10c0: 77 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 w Temp(1,"foo")
10d0: 29 3b 0a 0a 09 63 6c 61 73 73 20 54 65 6d 70 44 );...class TempD
10e0: 75 6d 6d 79 0a 09 7b 0a 09 09 69 6e 74 20 78 3b ummy..{...int x;
10f0: 0a 09 09 73 74 72 69 6e 67 20 79 3b 0a 09 09 6d ...string y;...m
1100: 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 ixin SimpleConst
1110: 72 75 63 74 6f 72 3b 0a 09 09 6d 69 78 69 6e 20 ructor;...mixin
1120: 53 69 6d 70 6c 65 43 6f 6d 70 61 72 65 3b 0a 09 SimpleCompare;..
1130: 7d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 21 }..assert_throw!
1140: 41 73 73 65 72 74 45 72 72 6f 72 28 20 6e 65 77 AssertError( new
1150: 20 54 65 6d 70 28 31 2c 22 66 6f 6f 22 29 20 3d Temp(1,"foo") =
1160: 3d 20 6e 65 77 20 54 65 6d 70 44 75 6d 6d 79 28 = new TempDummy(
1170: 31 2c 22 66 6f 6f 22 29 20 29 3b 0a 09 61 73 73 1,"foo") );..ass
1180: 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 74 ert_throw!Assert
1190: 45 72 72 6f 72 28 20 6e 65 77 20 54 65 6d 70 28 Error( new Temp(
11a0: 31 2c 22 66 6f 6f 22 29 20 3c 3d 20 6e 65 77 20 1,"foo") <= new
11b0: 54 65 6d 70 44 75 6d 6d 79 28 31 2c 22 66 6f 6f TempDummy(1,"foo
11c0: 22 29 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 4d 69 78 ") );.}../// Mix
11d0: 69 6e 67 2d 69 6e 20 61 20 73 69 6d 70 6c 65 20 ing-in a simple
11e0: 74 6f 53 74 72 69 6e 67 20 6d 65 74 68 6f 64 0a toString method.
11f0: 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 6c ./*mixin*/.templ
1200: 61 74 65 20 53 69 6d 70 6c 65 54 6f 53 74 72 69 ate SimpleToStri
1210: 6e 67 28 29 0a 7b 0d 0a 09 2f 2f 2f 20 6d 65 6d ng().{.../// mem
1220: 62 65 72 2d 62 79 2d 6d 65 6d 62 65 72 20 74 6f ber-by-member to
1230: 53 74 72 69 6e 67 0a 09 6f 76 65 72 72 69 64 65 String..override
1240: 20 73 74 72 69 6e 67 20 74 6f 53 74 72 69 6e 67 string toString
1250: 28 29 0a 09 7b 0a 09 09 73 74 72 69 6e 67 20 73 ()..{...string s
1260: 74 72 20 3d 20 73 70 72 69 6e 74 66 21 22 25 73 tr = sprintf!"%s
1270: 28 22 28 74 79 70 65 6f 66 28 74 68 69 73 29 2e ("(typeof(this).
1280: 73 74 72 69 6e 67 6f 66 29 3b 0a 09 09 66 6f 72 stringof);...for
1290: 65 61 63 68 28 69 2c 6d 65 6d 3b 20 74 68 69 73 each(i,mem; this
12a0: 2e 74 75 70 6c 65 6f 66 29 0a 09 09 7b 0a 09 09 .tupleof)...{...
12b0: 09 69 66 28 69 29 20 73 74 72 20 7e 3d 20 22 2c .if(i) str ~= ",
12c0: 22 3b 0a 09 09 09 73 74 61 74 69 63 20 69 66 28 ";....static if(
12d0: 20 69 73 28 74 79 70 65 6f 66 28 6d 65 6d 29 20 is(typeof(mem)
12e0: 3d 3d 20 73 74 64 2e 62 69 67 69 6e 74 2e 42 69 == std.bigint.Bi
12f0: 67 49 6e 74 29 20 29 0a 09 09 09 09 73 74 72 20 gInt) ).....str
1300: 7e 3d 20 73 74 64 2e 62 69 67 69 6e 74 2e 74 6f ~= std.bigint.to
1310: 44 65 63 69 6d 61 6c 53 74 72 69 6e 67 28 6d 65 DecimalString(me
1320: 6d 29 3b 0a 09 09 09 65 6c 73 65 0a 09 09 09 09 m);....else.....
1330: 73 74 72 20 7e 3d 20 73 70 72 69 6e 74 66 21 22 str ~= sprintf!"
1340: 25 73 22 28 6d 65 6d 29 3b 0a 09 09 7d 0a 09 09 %s"(mem);...}...
1350: 72 65 74 75 72 6e 20 73 74 72 20 7e 20 22 29 22 return str ~ ")"
1360: 3b 0a 09 7d 0a 7d 0a 0a 76 65 72 73 69 6f 6e 28 ;..}.}..version(
1370: 75 6e 69 74 74 65 73 74 29 20 69 6d 70 6f 72 74 unittest) import
1380: 20 73 74 64 2e 62 69 67 69 6e 74 3b 0a 75 6e 69 std.bigint;.uni
1390: 74 74 65 73 74 0a 7b 0a 09 63 6c 61 73 73 20 54 ttest.{..class T
13a0: 65 6d 70 0a 09 7b 0a 09 09 69 6e 74 20 78 3b 0a emp..{...int x;.
13b0: 09 09 73 74 72 69 6e 67 20 79 3b 0a 09 09 42 69 ..string y;...Bi
13c0: 67 49 6e 74 20 7a 3b 0a 09 09 6d 69 78 69 6e 20 gInt z;...mixin
13d0: 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f SimpleConstructo
13e0: 72 3b 0a 09 09 6d 69 78 69 6e 20 53 69 6d 70 6c r;...mixin Simpl
13f0: 65 54 6f 53 74 72 69 6e 67 3b 0a 09 7d 0a 09 61 eToString;..}..a
1400: 73 73 65 72 74 5f 65 71 28 20 28 6e 65 77 20 54 ssert_eq( (new T
1410: 65 6d 70 28 31 2c 22 66 6f 6f 22 2c 42 69 67 49 emp(1,"foo",BigI
1420: 6e 74 28 34 32 29 29 29 2e 74 6f 53 74 72 69 6e nt(42))).toStrin
1430: 67 28 29 2c 20 22 54 65 6d 70 28 31 2c 66 6f 6f g(), "Temp(1,foo
1440: 2c 34 32 29 22 20 29 3b 0a 7d 0a 0a 2f 2f 2f 20 ,42)" );.}..///
1450: 45 76 65 72 79 74 68 69 6e 67 20 69 73 20 69 6e Everything is in
1460: 0a 0a 2f 2a 6d 69 78 69 6e 2a 2f 0a 74 65 6d 70 ../*mixin*/.temp
1470: 6c 61 74 65 20 53 69 6d 70 6c 65 43 6c 61 73 73 late SimpleClass
1480: 28 29 0a 7b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 ().{..mixin Simp
1490: 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b 0a 09 leConstructor;..
14a0: 6d 69 78 69 6e 20 53 69 6d 70 6c 65 43 6f 6d 70 mixin SimpleComp
14b0: 61 72 65 3b 0a 09 6d 69 78 69 6e 20 53 69 6d 70 are;..mixin Simp
14c0: 6c 65 54 6f 53 74 72 69 6e 67 3b 0a 7d 0a 0d 0a leToString;.}...
14d0: 2f 2f 2f 20 53 69 6d 70 6c 65 20 50 61 74 74 65 /// Simple Patte
14e0: 72 6e 4d 61 74 63 68 65 72 0d 0a 0d 0a 2f 2a 6d rnMatcher..../*m
14f0: 69 78 69 6e 2a 2f 0d 0a 74 65 6d 70 6c 61 74 65 ixin*/..template
1500: 20 53 69 6d 70 6c 65 50 61 74 74 65 72 6e 4d 61 SimplePatternMa
1510: 74 63 68 28 29 0d 0a 7b 0d 0a 09 53 50 4d 5f 52 tch()..{...SPM_R
1520: 65 74 75 72 6e 21 28 50 50 29 20 6d 61 74 63 68 eturn!(PP) match
1530: 28 73 74 72 69 6e 67 20 66 6e 3d 5f 5f 46 49 4c (string fn=__FIL
1540: 45 5f 5f 2c 20 73 69 7a 65 5f 74 20 6c 6e 3d 5f E__, size_t ln=_
1550: 5f 4c 49 4e 45 5f 5f 2c 20 50 50 2e 2e 2e 29 28 _LINE__, PP...)(
1560: 50 50 20 70 74 73 29 0d 0a 09 7b 0d 0a 09 09 66 PP pts)...{....f
1570: 6f 72 65 61 63 68 28 69 2c 5f 3b 20 70 74 73 29 oreach(i,_; pts)
1580: 0d 0a 09 09 7b 0d 0a 09 09 09 61 6c 69 61 73 20 ....{.....alias
1590: 70 74 73 5b 69 5d 20 70 74 3b 20 2f 2f 20 62 75 pts[i] pt; // bu
15a0: 67 3f 20 70 74 73 5b 69 5d 2d 2d 3e 70 74 20 64 g? pts[i]-->pt d
15b0: 6f 20 6e 6f 74 20 77 6f 72 6b 0d 0a 09 09 09 73 o not work.....s
15c0: 74 61 74 69 63 20 69 66 28 5f 5f 74 72 61 69 74 tatic if(__trait
15d0: 73 28 63 6f 6d 70 69 6c 65 73 2c 20 53 50 4d 5f s(compiles, SPM_
15e0: 69 73 4d 61 74 63 68 54 61 67 28 70 74 29 29 29 isMatchTag(pt)))
15f0: 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 69 66 28 20 .....{......if(
1600: 61 75 74 6f 20 76 20 3d 20 63 61 73 74 28 70 74 auto v = cast(pt
1610: 2e 64 79 6e 61 6d 69 63 54 79 70 65 29 74 68 69 .dynamicType)thi
1620: 73 20 29 0d 0a 09 09 09 09 09 72 65 74 75 72 6e s ).......return
1630: 20 70 74 28 76 2e 74 75 70 6c 65 6f 66 29 3b 0d pt(v.tupleof);.
1640: 0a 09 09 09 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a ....}.....else..
1650: 09 09 09 73 74 61 74 69 63 20 69 66 28 5f 5f 74 ...static if(__t
1660: 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 raits(compiles,
1670: 53 50 4d 5f 69 73 4d 61 74 63 68 41 6e 79 28 70 SPM_isMatchAny(p
1680: 74 29 29 29 0d 0a 09 09 09 7b 0d 0a 09 09 09 09 t))).....{......
1690: 72 65 74 75 72 6e 20 70 74 28 29 3b 0d 0a 09 09 return pt();....
16a0: 09 7d 0d 0a 09 09 09 65 6c 73 65 0d 0a 09 09 09 .}.....else.....
16b0: 7b 0d 0a 09 09 09 09 69 66 28 20 61 75 74 6f 20 {......if( auto
16c0: 76 20 3d 20 63 61 73 74 28 53 50 4d 5f 50 54 54 v = cast(SPM_PTT
16d0: 21 28 70 74 29 5b 30 5d 29 74 68 69 73 20 29 0d !(pt)[0])this ).
16e0: 0a 09 09 09 09 09 72 65 74 75 72 6e 20 70 74 28 ......return pt(
16f0: 76 29 3b 0d 0a 09 09 09 7d 0d 0a 09 09 7d 0d 0a v);.....}....}..
1700: 09 09 53 50 4d 5f 74 68 72 6f 77 41 73 73 65 72 ..SPM_throwAsser
1710: 74 45 72 72 6f 72 28 66 6e 2c 20 6c 6e 2c 20 22 tError(fn, ln, "
1720: 70 61 74 74 65 72 6e 20 6d 61 74 63 68 69 6e 67 pattern matching
1730: 20 66 61 69 6c 75 72 65 22 29 3b 0d 0a 09 09 61 failure");....a
1740: 73 73 65 72 74 28 66 61 6c 73 65 29 3b 0d 0a 09 ssert(false);...
1750: 7d 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 50 61 74 74 }..}..../// Patt
1760: 65 72 6e 20 63 61 73 65 20 63 6c 61 75 73 65 0d ern case clause.
1770: 0a 0d 0a 53 50 4d 5f 4d 61 74 63 68 54 61 67 21 ...SPM_MatchTag!
1780: 28 54 2c 20 66 6e 29 20 77 68 65 6e 28 54 2c 20 (T, fn) when(T,
1790: 61 6c 69 61 73 20 66 6e 29 28 29 0d 0a 7b 0d 0a alias fn)()..{..
17a0: 09 53 50 4d 5f 4d 61 74 63 68 54 61 67 21 28 54 .SPM_MatchTag!(T
17b0: 2c 20 66 6e 29 20 6d 3b 0d 0a 09 72 65 74 75 72 , fn) m;...retur
17c0: 6e 20 6d 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 2f 20 50 n m;..}..../// P
17d0: 61 74 74 65 72 6e 20 63 61 73 65 20 63 6c 61 75 attern case clau
17e0: 73 65 0d 0a 0d 0a 53 50 4d 5f 4d 61 74 63 68 41 se....SPM_MatchA
17f0: 6e 79 21 28 66 6e 29 20 6f 74 68 65 72 77 69 73 ny!(fn) otherwis
1800: 65 28 61 6c 69 61 73 20 66 6e 29 28 29 0d 0a 7b e(alias fn)()..{
1810: 0d 0a 09 53 50 4d 5f 4d 61 74 63 68 41 6e 79 21 ...SPM_MatchAny!
1820: 28 66 6e 29 20 6d 3b 0d 0a 09 72 65 74 75 72 6e (fn) m;...return
1830: 20 6d 3b 0d 0a 7d 0d 0a 0d 0a 2f 2f 20 69 6d 70 m;..}....// imp
1840: 6c 65 6d 65 6e 74 61 74 69 6f 6e 20 64 65 74 61 lementation deta
1850: 69 6c 20 6f 66 20 53 69 6d 70 6c 65 50 61 74 74 il of SimplePatt
1860: 65 72 6e 4d 61 74 63 68 0d 0a 0d 0a 76 6f 69 64 ernMatch....void
1870: 20 53 50 4d 5f 74 68 72 6f 77 41 73 73 65 72 74 SPM_throwAssert
1880: 45 72 72 6f 72 28 54 2e 2e 2e 29 28 54 20 74 29 Error(T...)(T t)
1890: 20 7b 20 63 6f 72 65 2e 65 78 63 65 70 74 69 6f { core.exceptio
18a0: 6e 2e 6f 6e 41 73 73 65 72 74 45 72 72 6f 72 4d n.onAssertErrorM
18b0: 73 67 28 74 29 3b 20 7d 0d 0a 0d 0a 73 74 72 75 sg(t); }....stru
18c0: 63 74 20 53 50 4d 5f 4d 61 74 63 68 54 61 67 28 ct SPM_MatchTag(
18d0: 54 2c 20 61 6c 69 61 73 20 66 6e 29 0d 0a 7b 0d T, alias fn)..{.
18e0: 0a 09 61 6c 69 61 73 20 54 20 64 79 6e 61 6d 69 ..alias T dynami
18f0: 63 54 79 70 65 3b 0d 0a 09 61 75 74 6f 20 6f 70 cType;...auto op
1900: 43 61 6c 6c 28 74 79 70 65 6f 66 28 54 2e 74 75 Call(typeof(T.tu
1910: 70 6c 65 6f 66 29 20 73 29 20 7b 20 72 65 74 75 pleof) s) { retu
1920: 72 6e 20 66 6e 28 73 29 3b 20 7d 0d 0a 7d 0d 0a rn fn(s); }..}..
1930: 0d 0a 73 74 72 75 63 74 20 53 50 4d 5f 4d 61 74 ..struct SPM_Mat
1940: 63 68 41 6e 79 28 61 6c 69 61 73 20 66 6e 29 0d chAny(alias fn).
1950: 0a 7b 0d 0a 09 61 75 74 6f 20 6f 70 43 61 6c 6c .{...auto opCall
1960: 28 29 20 7b 20 72 65 74 75 72 6e 20 66 6e 28 29 () { return fn()
1970: 3b 20 7d 0d 0a 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 ; }..}....templa
1980: 74 65 20 53 50 4d 5f 50 54 54 28 61 6c 69 61 73 te SPM_PTT(alias
1990: 20 70 29 0d 0a 7b 0d 0a 09 61 6c 69 61 73 20 50 p)..{...alias P
19a0: 61 72 61 6d 65 74 65 72 54 79 70 65 54 75 70 6c arameterTypeTupl
19b0: 65 21 28 70 29 20 53 50 4d 5f 50 54 54 3b 0d 0a e!(p) SPM_PTT;..
19c0: 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 53 50 }....template SP
19d0: 4d 5f 45 61 63 68 28 50 29 0d 0a 7b 09 0d 0a 09 M_Each(P)..{....
19e0: 73 74 61 74 69 63 20 69 66 28 5f 5f 74 72 61 69 static if(__trai
19f0: 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 53 50 4d ts(compiles, SPM
1a00: 5f 69 73 4d 61 74 63 68 54 61 67 28 50 2e 69 6e _isMatchTag(P.in
1a10: 69 74 29 29 29 0d 0a 09 09 61 6c 69 61 73 20 74 it)))....alias t
1a20: 79 70 65 6f 66 28 50 28 50 2e 64 79 6e 61 6d 69 ypeof(P(P.dynami
1a30: 63 54 79 70 65 2e 74 75 70 6c 65 6f 66 29 29 20 cType.tupleof))
1a40: 53 50 4d 5f 45 61 63 68 3b 0d 0a 09 65 6c 73 65 SPM_Each;...else
1a50: 0d 0a 09 73 74 61 74 69 63 20 69 66 28 5f 5f 74 ...static if(__t
1a60: 72 61 69 74 73 28 63 6f 6d 70 69 6c 65 73 2c 20 raits(compiles,
1a70: 53 50 4d 5f 69 73 4d 61 74 63 68 41 6e 79 28 50 SPM_isMatchAny(P
1a80: 2e 69 6e 69 74 29 29 29 0d 0a 09 09 61 6c 69 61 .init)))....alia
1a90: 73 20 74 79 70 65 6f 66 28 50 28 29 29 20 53 50 s typeof(P()) SP
1aa0: 4d 5f 45 61 63 68 3b 0d 0a 09 65 6c 73 65 0d 0a M_Each;...else..
1ab0: 09 09 61 6c 69 61 73 20 52 65 74 75 72 6e 54 79 ..alias ReturnTy
1ac0: 70 65 21 28 50 29 20 53 50 4d 5f 45 61 63 68 3b pe!(P) SPM_Each;
1ad0: 0d 0a 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 20 ..}....template
1ae0: 53 50 4d 5f 61 56 6f 69 64 28 54 3a 76 6f 69 64 SPM_aVoid(T:void
1af0: 2c 20 54 53 2e 2e 2e 29 20 7b 20 61 6c 69 61 73 , TS...) { alias
1b00: 20 53 50 4d 5f 61 56 6f 69 64 21 28 54 53 29 20 SPM_aVoid!(TS)
1b10: 53 50 4d 5f 61 56 6f 69 64 3b 20 7d 0d 0a 74 65 SPM_aVoid; }..te
1b20: 6d 70 6c 61 74 65 20 53 50 4d 5f 61 56 6f 69 64 mplate SPM_aVoid
1b30: 28 54 2c 20 54 53 2e 2e 2e 29 20 7b 20 61 6c 69 (T, TS...) { ali
1b40: 61 73 20 54 79 70 65 54 75 70 6c 65 21 28 54 2c as TypeTuple!(T,
1b50: 53 50 4d 5f 61 56 6f 69 64 21 28 54 53 29 29 20 SPM_aVoid!(TS))
1b60: 53 50 4d 5f 61 56 6f 69 64 3b 20 7d 0d 0a 74 65 SPM_aVoid; }..te
1b70: 6d 70 6c 61 74 65 20 53 50 4d 5f 61 56 6f 69 64 mplate SPM_aVoid
1b80: 28 29 20 7b 20 61 6c 69 61 73 20 54 79 70 65 54 () { alias TypeT
1b90: 75 70 6c 65 21 28 29 20 53 50 4d 5f 61 56 6f 69 uple!() SPM_aVoi
1ba0: 64 3b 20 7d 0d 0a 0d 0a 74 65 6d 70 6c 61 74 65 d; }....template
1bb0: 20 53 50 4d 5f 52 65 74 75 72 6e 28 50 50 2e 2e SPM_Return(PP..
1bc0: 2e 29 0d 0a 7b 0d 0a 09 61 6c 69 61 73 20 43 6f .)..{...alias Co
1bd0: 6d 6d 6f 6e 54 79 70 65 21 28 53 50 4d 5f 61 56 mmonType!(SPM_aV
1be0: 6f 69 64 21 28 73 74 61 74 69 63 4d 61 70 21 28 oid!(staticMap!(
1bf0: 53 50 4d 5f 45 61 63 68 2c 20 50 50 29 29 29 20 SPM_Each, PP)))
1c00: 53 50 4d 5f 52 65 74 75 72 6e 3b 0d 0a 7d 0d 0a SPM_Return;..}..
1c10: 0d 0a 76 6f 69 64 20 53 50 4d 5f 69 73 4d 61 74 ..void SPM_isMat
1c20: 63 68 54 61 67 28 54 2c 61 6c 69 61 73 20 66 6e chTag(T,alias fn
1c30: 29 28 53 50 4d 5f 4d 61 74 63 68 54 61 67 21 28 )(SPM_MatchTag!(
1c40: 54 2c 66 6e 29 29 7b 7d 0d 0a 76 6f 69 64 20 53 T,fn)){}..void S
1c50: 50 4d 5f 69 73 4d 61 74 63 68 41 6e 79 28 61 6c PM_isMatchAny(al
1c60: 69 61 73 20 66 6e 29 28 53 50 4d 5f 4d 61 74 63 ias fn)(SPM_Matc
1c70: 68 41 6e 79 21 28 66 6e 29 29 7b 7d 0d 0a 0d 0a hAny!(fn)){}....
1c80: 75 6e 69 74 74 65 73 74 0d 0a 7b 0d 0a 09 73 74 unittest..{...st
1c90: 61 74 69 63 20 61 62 73 74 72 61 63 74 20 63 6c atic abstract cl
1ca0: 61 73 73 20 42 61 73 65 20 7b 0d 0a 09 09 6d 69 ass Base {....mi
1cb0: 78 69 6e 20 53 69 6d 70 6c 65 50 61 74 74 65 72 xin SimplePatter
1cc0: 6e 4d 61 74 63 68 3b 0d 0a 09 7d 0d 0a 09 63 6c nMatch;...}...cl
1cd0: 61 73 73 20 44 31 20 3a 20 42 61 73 65 20 7b 0d ass D1 : Base {.
1ce0: 0a 09 09 69 6e 74 20 78 3b 0d 0a 09 09 72 65 61 ...int x;....rea
1cf0: 6c 20 79 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 69 l y;....mixin Si
1d00: 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 3b mpleConstructor;
1d10: 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 44 32 20 ...}...class D2
1d20: 3a 20 42 61 73 65 20 7b 0d 0a 09 09 73 74 72 69 : Base {....stri
1d30: 6e 67 20 73 3b 0d 0a 09 09 6d 69 78 69 6e 20 53 ng s;....mixin S
1d40: 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 74 6f 72 impleConstructor
1d50: 3b 0d 0a 09 7d 0d 0a 09 63 6c 61 73 73 20 44 33 ;...}...class D3
1d60: 20 3a 20 42 61 73 65 20 7b 0d 0a 09 09 69 6e 74 : Base {....int
1d70: 5b 69 6e 74 5d 20 6d 3b 0d 0a 09 09 6d 69 78 69 [int] m;....mixi
1d80: 6e 20 53 69 6d 70 6c 65 43 6f 6e 73 74 72 75 63 n SimpleConstruc
1d90: 74 6f 72 3b 0d 0a 09 7d 0d 0a 0d 0a 09 42 61 73 tor;...}.....Bas
1da0: 65 20 64 31 20 3d 20 6e 65 77 20 44 31 28 31 2c e d1 = new D1(1,
1db0: 20 32 2e 33 29 3b 0d 0a 09 42 61 73 65 20 64 32 2.3);...Base d2
1dc0: 20 3d 20 6e 65 77 20 44 32 28 22 66 6f 6f 62 61 = new D2("fooba
1dd0: 72 22 29 3b 0d 0a 09 42 61 73 65 20 64 33 20 3d r");...Base d3 =
1de0: 20 6e 65 77 20 44 33 28 6e 75 6c 6c 29 3b 20 28 new D3(null); (
1df0: 63 61 73 74 28 44 33 29 64 33 29 2e 6d 5b 31 5d cast(D3)d3).m[1]
1e00: 3d 31 30 3b 0d 0a 0d 0a 09 2f 2f 20 6e 6f 72 6d =10;.....// norm
1e10: 61 6c 20 64 69 73 70 61 74 63 68 0d 0a 09 61 73 al dispatch...as
1e20: 73 65 72 74 5f 65 71 28 20 64 31 2e 6d 61 74 63 sert_eq( d1.matc
1e30: 68 28 0d 0a 09 09 28 44 31 20 78 29 7b 72 65 74 h(....(D1 x){ret
1e40: 75 72 6e 20 31 3b 7d 2c 0d 0a 09 09 28 44 32 20 urn 1;},....(D2
1e50: 78 29 7b 72 65 74 75 72 6e 20 32 3b 7d 0d 0a 09 x){return 2;}...
1e60: 29 2c 20 31 29 3b 0d 0a 09 61 73 73 65 72 74 5f ), 1);...assert_
1e70: 65 71 28 20 64 32 2e 6d 61 74 63 68 28 0d 0a 09 eq( d2.match(...
1e80: 09 28 44 31 20 78 29 7b 72 65 74 75 72 6e 20 31 .(D1 x){return 1
1e90: 3b 7d 2c 0d 0a 09 09 28 44 32 20 78 29 7b 72 65 ;},....(D2 x){re
1ea0: 74 75 72 6e 20 32 3b 7d 0d 0a 09 29 2c 20 32 29 turn 2;}...), 2)
1eb0: 3b 0d 0a 09 61 73 73 65 72 74 5f 74 68 72 6f 77 ;...assert_throw
1ec0: 21 41 73 73 65 72 74 45 72 72 6f 72 28 20 64 33 !AssertError( d3
1ed0: 2e 6d 61 74 63 68 28 0d 0a 09 09 28 44 31 20 78 .match(....(D1 x
1ee0: 29 7b 72 65 74 75 72 6e 20 31 3b 7d 2c 0d 0a 09 ){return 1;},...
1ef0: 09 28 44 32 20 78 29 7b 72 65 74 75 72 6e 20 32 .(D2 x){return 2
1f00: 3b 7d 0d 0a 09 29 29 3b 0d 0a 09 61 73 73 65 72 ;}...));...asser
1f10: 74 5f 65 71 28 20 64 33 2e 6d 61 74 63 68 28 0d t_eq( d3.match(.
1f20: 0a 09 09 28 44 31 20 78 29 7b 72 65 74 75 72 6e ...(D1 x){return
1f30: 20 31 3b 7d 2c 0d 0a 09 09 28 44 32 20 78 29 7b 1;},....(D2 x){
1f40: 72 65 74 75 72 6e 20 32 3b 7d 2c 0d 0a 09 09 28 return 2;},....(
1f50: 42 61 73 65 20 78 29 7b 72 65 74 75 72 6e 20 33 Base x){return 3
1f60: 3b 7d 0d 0a 09 29 2c 20 33 29 3b 0d 0a 09 61 73 ;}...), 3);...as
1f70: 73 65 72 74 5f 65 71 28 20 64 32 2e 6d 61 74 63 sert_eq( d2.matc
1f80: 68 28 0d 0a 09 09 28 44 31 20 78 29 7b 72 65 74 h(....(D1 x){ret
1f90: 75 72 6e 20 31 3b 7d 2c 0d 0a 09 09 28 44 32 20 urn 1;},....(D2
1fa0: 78 29 7b 72 65 74 75 72 6e 20 32 3b 7d 2c 0d 0a x){return 2;},..
1fb0: 09 09 28 42 61 73 65 20 78 29 7b 72 65 74 75 72 ..(Base x){retur
1fc0: 6e 20 33 3b 7d 0d 0a 09 29 2c 20 32 29 3b 0d 0a n 3;}...), 2);..
1fd0: 09 61 73 73 65 72 74 5f 65 71 28 20 64 32 2e 6d .assert_eq( d2.m
1fe0: 61 74 63 68 28 0d 0a 09 09 28 44 31 20 78 29 7b atch(....(D1 x){
1ff0: 72 65 74 75 72 6e 20 31 3b 7d 2c 0d 0a 09 09 28 return 1;},....(
2000: 42 61 73 65 20 78 29 7b 72 65 74 75 72 6e 20 33 Base x){return 3
2010: 3b 7d 2c 0d 0a 09 09 28 44 32 20 78 29 7b 72 65 ;},....(D2 x){re
2020: 74 75 72 6e 20 32 3b 7d 0d 0a 09 29 2c 20 33 29 turn 2;}...), 3)
2030: 3b 0d 0a 0d 0a 09 2f 2f 20 6d 65 6d 62 65 72 20 ;.....// member
2040: 64 65 63 6f 6d 70 6f 73 69 6e 67 20 6d 61 74 63 decomposing matc
2050: 68 0d 0a 09 61 73 73 65 72 74 5f 65 71 28 20 64 h...assert_eq( d
2060: 31 2e 6d 61 74 63 68 28 0d 0a 09 09 77 68 65 6e 1.match(....when
2070: 21 28 44 31 2c 20 28 78 2c 20 79 29 7b 72 65 74 !(D1, (x, y){ret
2080: 75 72 6e 20 78 20 2b 20 63 61 73 74 28 69 6e 74 urn x + cast(int
2090: 29 79 3b 7d 29 2c 0d 0a 09 09 77 68 65 6e 21 28 )y;}),....when!(
20a0: 44 32 2c 20 28 78 29 7b 72 65 74 75 72 6e 20 78 D2, (x){return x
20b0: 2e 6c 65 6e 67 74 68 3b 7d 29 2c 0d 0a 09 09 77 .length;}),....w
20c0: 68 65 6e 21 28 44 33 2c 20 28 78 29 7b 72 65 74 hen!(D3, (x){ret
20d0: 75 72 6e 20 78 5b 31 5d 3b 7d 29 0d 0a 09 29 2c urn x[1];})...),
20e0: 20 33 29 3b 0d 0a 09 61 73 73 65 72 74 5f 65 71 3);...assert_eq
20f0: 28 20 64 32 2e 6d 61 74 63 68 28 0d 0a 09 09 77 ( d2.match(....w
2100: 68 65 6e 21 28 44 31 2c 20 28 78 2c 20 79 29 7b hen!(D1, (x, y){
2110: 72 65 74 75 72 6e 20 78 20 2b 20 63 61 73 74 28 return x + cast(
2120: 69 6e 74 29 79 3b 7d 29 2c 0d 0a 09 09 77 68 65 int)y;}),....whe
2130: 6e 21 28 44 32 2c 20 28 78 29 7b 72 65 74 75 72 n!(D2, (x){retur
2140: 6e 20 78 2e 6c 65 6e 67 74 68 3b 7d 29 2c 0d 0a n x.length;}),..
2150: 09 09 77 68 65 6e 21 28 44 33 2c 20 28 78 29 7b ..when!(D3, (x){
2160: 72 65 74 75 72 6e 20 78 5b 31 5d 3b 7d 29 0d 0a return x[1];})..
2170: 09 29 2c 20 36 29 3b 0d 0a 09 61 73 73 65 72 74 .), 6);...assert
2180: 5f 65 71 28 20 64 33 2e 6d 61 74 63 68 28 0d 0a _eq( d3.match(..
2190: 09 09 77 68 65 6e 21 28 44 31 2c 20 28 78 2c 20 ..when!(D1, (x,
21a0: 79 29 7b 72 65 74 75 72 6e 20 78 20 2b 20 63 61 y){return x + ca
21b0: 73 74 28 69 6e 74 29 79 3b 7d 29 2c 0d 0a 09 09 st(int)y;}),....
21c0: 77 68 65 6e 21 28 44 32 2c 20 28 78 29 7b 72 65 when!(D2, (x){re
21d0: 74 75 72 6e 20 78 2e 6c 65 6e 67 74 68 3b 7d 29 turn x.length;})
21e0: 2c 0d 0a 09 09 77 68 65 6e 21 28 44 33 2c 20 28 ,....when!(D3, (
21f0: 78 29 7b 72 65 74 75 72 6e 20 78 5b 31 5d 3b 7d x){return x[1];}
2200: 29 0d 0a 09 29 2c 20 31 30 29 3b 0d 0a 09 61 73 )...), 10);...as
2210: 73 65 72 74 5f 74 68 72 6f 77 21 41 73 73 65 72 sert_throw!Asser
2220: 74 45 72 72 6f 72 28 20 64 33 2e 6d 61 74 63 68 tError( d3.match
2230: 28 0d 0a 09 09 77 68 65 6e 21 28 44 31 2c 20 28 (....when!(D1, (
2240: 78 2c 20 79 29 7b 72 65 74 75 72 6e 20 78 20 2b x, y){return x +
2250: 20 63 61 73 74 28 69 6e 74 29 79 3b 7d 29 2c 0d cast(int)y;}),.
2260: 0a 09 09 77 68 65 6e 21 28 44 32 2c 20 28 78 29 ...when!(D2, (x)
2270: 7b 72 65 74 75 72 6e 20 78 2e 6c 65 6e 67 74 68 {return x.length
2280: 3b 7d 29 0d 0a 09 29 29 3b 0d 0a 09 61 73 73 65 ;})...));...asse
2290: 72 74 5f 65 71 28 20 64 32 2e 6d 61 74 63 68 28 rt_eq( d2.match(
22a0: 0d 0a 09 09 77 68 65 6e 21 28 44 31 2c 20 28 78 ....when!(D1, (x
22b0: 2c 20 79 29 7b 72 65 74 75 72 6e 20 78 20 2b 20 , y){return x +
22c0: 63 61 73 74 28 69 6e 74 29 79 3b 7d 29 2c 0d 0a cast(int)y;}),..
22d0: 09 09 77 68 65 6e 21 28 44 32 2c 20 28 78 29 7b ..when!(D2, (x){
22e0: 72 65 74 75 72 6e 20 78 2e 6c 65 6e 67 74 68 3b return x.length;
22f0: 7d 29 2c 0d 0a 09 09 6f 74 68 65 72 77 69 73 65 }),....otherwise
2300: 21 28 7b 72 65 74 75 72 6e 20 39 39 39 3b 7d 29 !({return 999;})
2310: 0d 0a 09 29 2c 20 36 29 3b 0d 0a 09 61 73 73 65 ...), 6);...asse
2320: 72 74 5f 65 71 28 20 64 32 2e 6d 61 74 63 68 28 rt_eq( d2.match(
2330: 0d 0a 09 09 77 68 65 6e 21 28 44 31 2c 20 28 78 ....when!(D1, (x
2340: 2c 20 79 29 7b 72 65 74 75 72 6e 20 78 20 2b 20 , y){return x +
2350: 63 61 73 74 28 69 6e 74 29 79 3b 7d 29 2c 0d 0a cast(int)y;}),..
2360: 09 09 6f 74 68 65 72 77 69 73 65 21 28 7b 72 65 ..otherwise!({re
2370: 74 75 72 6e 20 39 39 39 3b 7d 29 2c 0d 0a 09 09 turn 999;}),....
2380: 77 68 65 6e 21 28 44 32 2c 20 28 78 29 7b 72 65 when!(D2, (x){re
2390: 74 75 72 6e 20 78 2e 6c 65 6e 67 74 68 3b 7d 29 turn x.length;})
23a0: 0d 0a 09 29 2c 20 39 39 39 29 3b 0d 0a 7d 0d 0a ...), 999);..}..
23b0: 0d 0a 2f 2f 2f 20 57 69 6c 6c 20 62 65 20 75 73 ../// Will be us
23c0: 65 64 20 66 6f 72 20 64 79 6e 61 6d 69 63 20 6f ed for dynamic o
23d0: 76 65 72 6c 6f 61 64 20 72 65 73 6f 6c 75 74 69 verload resoluti
23e0: 6f 6e 20 70 61 74 74 65 72 6e 0d 0a 0d 0a 74 65 on pattern....te
23f0: 6d 70 6c 61 74 65 20 66 69 72 73 74 50 61 72 61 mplate firstPara
2400: 6d 28 54 29 0d 0a 7b 0d 0a 09 61 6c 69 61 73 20 m(T)..{...alias
2410: 50 61 72 61 6d 65 74 65 72 54 79 70 65 54 75 70 ParameterTypeTup
2420: 6c 65 21 28 54 29 5b 30 5d 20 66 69 72 73 74 50 le!(T)[0] firstP
2430: 61 72 61 6d 3b 0d 0a 7d 0d 0a aram;..}..