8de5b49cdf 2010-11-09 kinaba: /** 8de5b49cdf 2010-11-09 kinaba: * Authors: k.inaba 8de5b49cdf 2010-11-09 kinaba: * License: NYSL 0.9982 http://www.kmonos.net/nysl/ 8de5b49cdf 2010-11-09 kinaba: * 8de5b49cdf 2010-11-09 kinaba: * Common tricks and utilities for programming in D. 8de5b49cdf 2010-11-09 kinaba: */ 8de5b49cdf 2010-11-09 kinaba: module tricks.tricks; 8de5b49cdf 2010-11-09 kinaba: import tricks.test; 8de5b49cdf 2010-11-09 kinaba: import std.array : appender; 8de5b49cdf 2010-11-09 kinaba: import std.format : formattedWrite; 1c01f44f52 2010-11-13 kinaba: import core.exception; 1c01f44f52 2010-11-13 kinaba: import std.traits; 1c01f44f52 2010-11-13 kinaba: import std.typetuple; 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /// Simple Wrapper for std.format.doFormat 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: string sprintf(string fmt, T...)(T params) 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: auto writer = appender!string(); 8de5b49cdf 2010-11-09 kinaba: formattedWrite(writer, fmt, params); 8de5b49cdf 2010-11-09 kinaba: return writer.data; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: unittest 8de5b49cdf 2010-11-09 kinaba: { 7de80acfb8 2010-11-09 kinaba: assert_eq( sprintf!"%s == %04d"("1+2", 3), "1+2 == 0003" ); 7de80acfb8 2010-11-09 kinaba: assert_eq( sprintf!"%2$s == %1$s"("1+2", 5, 8), "5 == 1+2" ); 7de80acfb8 2010-11-09 kinaba: assert_throw!Error( sprintf!"%s%s"(1) ); 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /// Create an exception with automatically completed filename and lineno information 8de5b49cdf 2010-11-09 kinaba: 38fcc662be 2010-11-10 kinaba: ExceptionType genex(ExceptionType, string fn=__FILE__, int ln=__LINE__, T...)(T params) 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: static if( T.length > 0 && is(T[$-1] : Throwable) ) 8de5b49cdf 2010-11-09 kinaba: return new ExceptionType(params[0..$-1], fn, ln, params[$-1]); 8de5b49cdf 2010-11-09 kinaba: else 8de5b49cdf 2010-11-09 kinaba: return new ExceptionType(params, fn, ln); 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: unittest 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: assert_ne( genex!Exception("msg").file, "" ); 8de5b49cdf 2010-11-09 kinaba: assert_ne( genex!Exception("msg").line, 0 ); 8de5b49cdf 2010-11-09 kinaba: assert_ne( genex!Exception("msg",new Exception("bar")).next, Exception.init ); 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /// Mixing-in the bean constructor for a class 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /*mixin*/ 8de5b49cdf 2010-11-09 kinaba: template SimpleConstructor() 8de5b49cdf 2010-11-09 kinaba: { 38fcc662be 2010-11-10 kinaba: /// member-by-member constructor 8de5b49cdf 2010-11-09 kinaba: static if( is(typeof(super) == Object) || super.tupleof.length==0 ) 8de5b49cdf 2010-11-09 kinaba: this( typeof(this.tupleof) params ) 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: static if(this.tupleof.length>0) 8de5b49cdf 2010-11-09 kinaba: this.tupleof = params; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: else 8de5b49cdf 2010-11-09 kinaba: this( typeof(super.tupleof) ps, typeof(this.tupleof) params ) 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: // including (only) the direct super class members 8de5b49cdf 2010-11-09 kinaba: // may not always be a desirable choice, but should work for many cases 8de5b49cdf 2010-11-09 kinaba: super(ps); 8de5b49cdf 2010-11-09 kinaba: static if(this.tupleof.length>0) 8de5b49cdf 2010-11-09 kinaba: this.tupleof = params; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: unittest 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: class Temp 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: int x; 8de5b49cdf 2010-11-09 kinaba: string y; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleConstructor; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: assert_eq( (new Temp(1,"foo")).x, 1 ); 8de5b49cdf 2010-11-09 kinaba: assert_eq( (new Temp(1,"foo")).y, "foo" ); 8de5b49cdf 2010-11-09 kinaba: assert( !__traits(compiles, new Temp) ); 8de5b49cdf 2010-11-09 kinaba: assert( !__traits(compiles, new Temp(1)) ); 8de5b49cdf 2010-11-09 kinaba: assert( !__traits(compiles, new Temp("foo",1)) ); 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: class Tomp : Temp 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: real z; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleConstructor; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: assert_eq( (new Tomp(1,"foo",2.5)).x, 1 ); 8de5b49cdf 2010-11-09 kinaba: assert_eq( (new Tomp(1,"foo",2.5)).y, "foo" ); 8de5b49cdf 2010-11-09 kinaba: assert_eq( (new Tomp(1,"foo",2.5)).z, 2.5 ); 8de5b49cdf 2010-11-09 kinaba: assert( !__traits(compiles, new Tomp(3.14)) ); 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: // shiyo- desu. Don't use in this way. 8de5b49cdf 2010-11-09 kinaba: // Tamp tries to call new Tomp(real) (because it only sees Tomp's members), 8de5b49cdf 2010-11-09 kinaba: // but it fails because Tomp takes (int,string,real). 8de5b49cdf 2010-11-09 kinaba: assert( !__traits(compiles, { 38fcc662be 2010-11-10 kinaba: class Tamp : Tomp { mixin SimpleConstructor; } 8de5b49cdf 2010-11-09 kinaba: }) ); 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /// Mixing-in the MOST-DERIVED-member-wise comparator for a class 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /*mixin*/ 8de5b49cdf 2010-11-09 kinaba: template SimpleCompare() 8de5b49cdf 2010-11-09 kinaba: { 38fcc662be 2010-11-10 kinaba: override bool opEquals(Object rhs_) const /// member-by-member equality 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: if( auto rhs = cast(typeof(this))rhs_ ) 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: foreach(i,_; this.tupleof) 8de5b49cdf 2010-11-09 kinaba: if( this.tupleof[i] != rhs.tupleof[i] ) 8de5b49cdf 2010-11-09 kinaba: return false; 8de5b49cdf 2010-11-09 kinaba: return true; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: assert(false, sprintf!"Cannot compare %s with %s"(typeid(this), typeid(rhs_))); 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 38fcc662be 2010-11-10 kinaba: override hash_t toHash() const /// member-by-member hash 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: hash_t h = 0; 8de5b49cdf 2010-11-09 kinaba: foreach(mem; this.tupleof) 8de5b49cdf 2010-11-09 kinaba: h += typeid(mem).getHash(&mem); 8de5b49cdf 2010-11-09 kinaba: return h; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 38fcc662be 2010-11-10 kinaba: override int opCmp(Object rhs_) const /// member-by-member compare 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: if( auto rhs = cast(typeof(this))rhs_ ) 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: foreach(i,_; this.tupleof) 8de5b49cdf 2010-11-09 kinaba: if(auto c = typeid(_).compare(&this.tupleof[i],&rhs.tupleof[i])) 8de5b49cdf 2010-11-09 kinaba: return c; 8de5b49cdf 2010-11-09 kinaba: return 0; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: assert(false, sprintf!"Cannot compare %s with %s"(typeid(this), typeid(rhs_))); 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: unittest 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: class Temp 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: int x; 8de5b49cdf 2010-11-09 kinaba: string y; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleConstructor; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleCompare; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: assert_eq( new Temp(1,"foo"), new Temp(1,"foo") ); 8de5b49cdf 2010-11-09 kinaba: assert_eq( (new Temp(1,"foo")).toHash, (new Temp(1,"foo")).toHash ); 8de5b49cdf 2010-11-09 kinaba: assert_ne( new Temp(1,"foo"), new Temp(2,"foo") ); 8de5b49cdf 2010-11-09 kinaba: assert_ne( new Temp(1,"foo"), new Temp(1,"bar") ); 8de5b49cdf 2010-11-09 kinaba: assert_gt( new Temp(1,"foo"), new Temp(1,"bar") ); 8de5b49cdf 2010-11-09 kinaba: assert_lt( new Temp(1,"foo"), new Temp(2,"bar") ); 8de5b49cdf 2010-11-09 kinaba: assert_ge( new Temp(1,"foo"), new Temp(1,"foo") ); 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: class TempDummy 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: int x; 8de5b49cdf 2010-11-09 kinaba: string y; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleConstructor; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleCompare; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: assert_throw!AssertError( new Temp(1,"foo") == new TempDummy(1,"foo") ); 8de5b49cdf 2010-11-09 kinaba: assert_throw!AssertError( new Temp(1,"foo") <= new TempDummy(1,"foo") ); 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /// Mixing-in a simple toString method 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /*mixin*/ 8de5b49cdf 2010-11-09 kinaba: template SimpleToString() 8de5b49cdf 2010-11-09 kinaba: { 38fcc662be 2010-11-10 kinaba: /// member-by-member toString 8de5b49cdf 2010-11-09 kinaba: override string toString() 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: string str = sprintf!"%s("(typeof(this).stringof); 8de5b49cdf 2010-11-09 kinaba: foreach(i,mem; this.tupleof) 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: if(i) str ~= ","; 8de5b49cdf 2010-11-09 kinaba: static if( is(typeof(mem) == std.bigint.BigInt) ) 8de5b49cdf 2010-11-09 kinaba: str ~= std.bigint.toDecimalString(mem); 8de5b49cdf 2010-11-09 kinaba: else 8de5b49cdf 2010-11-09 kinaba: str ~= sprintf!"%s"(mem); 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: return str ~ ")"; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: version(unittest) import std.bigint; 8de5b49cdf 2010-11-09 kinaba: unittest 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: class Temp 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: int x; 8de5b49cdf 2010-11-09 kinaba: string y; 8de5b49cdf 2010-11-09 kinaba: BigInt z; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleConstructor; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleToString; 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: assert_eq( (new Temp(1,"foo",BigInt(42))).toString(), "Temp(1,foo,42)" ); 8de5b49cdf 2010-11-09 kinaba: } 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /// Everything is in 8de5b49cdf 2010-11-09 kinaba: 8de5b49cdf 2010-11-09 kinaba: /*mixin*/ 8de5b49cdf 2010-11-09 kinaba: template SimpleClass() 8de5b49cdf 2010-11-09 kinaba: { 8de5b49cdf 2010-11-09 kinaba: mixin SimpleConstructor; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleCompare; 8de5b49cdf 2010-11-09 kinaba: mixin SimpleToString; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: /// Simple PatternMatcher 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: /*mixin*/ 1c01f44f52 2010-11-13 kinaba: template SimplePatternMatch() 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: SPM_Return!(PP) match(string fn=__FILE__, size_t ln=__LINE__, PP...)(PP pts) 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: foreach(i,_; pts) 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: alias pts[i] pt; // bug? pts[i]-->pt do not work 1c01f44f52 2010-11-13 kinaba: static if(__traits(compiles, SPM_isMatchTag(pt))) 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: if( auto v = cast(pt.dynamicType)this ) 1c01f44f52 2010-11-13 kinaba: return pt(v.tupleof); 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: else 1c01f44f52 2010-11-13 kinaba: static if(__traits(compiles, SPM_isMatchAny(pt))) 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: return pt(); 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: else 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: if( auto v = cast(SPM_PTT!(pt)[0])this ) 1c01f44f52 2010-11-13 kinaba: return pt(v); 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: SPM_throwAssertError(fn, ln, "pattern matching failure"); 1c01f44f52 2010-11-13 kinaba: assert(false); 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: /// Pattern case clause 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: SPM_MatchTag!(T, fn) when(T, alias fn)() 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: SPM_MatchTag!(T, fn) m; 1c01f44f52 2010-11-13 kinaba: return m; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: /// Pattern case clause 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: SPM_MatchAny!(fn) otherwise(alias fn)() 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: SPM_MatchAny!(fn) m; 1c01f44f52 2010-11-13 kinaba: return m; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: // implementation detail of SimplePatternMatch 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: void SPM_throwAssertError(T...)(T t) { core.exception.onAssertErrorMsg(t); } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: struct SPM_MatchTag(T, alias fn) 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: alias T dynamicType; 1c01f44f52 2010-11-13 kinaba: auto opCall(typeof(T.tupleof) s) { return fn(s); } 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: struct SPM_MatchAny(alias fn) 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: auto opCall() { return fn(); } 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: template SPM_PTT(alias p) 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: alias ParameterTypeTuple!(p) SPM_PTT; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: template SPM_Each(P) 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: static if(__traits(compiles, SPM_isMatchTag(P.init))) 1c01f44f52 2010-11-13 kinaba: alias typeof(P(P.dynamicType.tupleof)) SPM_Each; 1c01f44f52 2010-11-13 kinaba: else 1c01f44f52 2010-11-13 kinaba: static if(__traits(compiles, SPM_isMatchAny(P.init))) 1c01f44f52 2010-11-13 kinaba: alias typeof(P()) SPM_Each; 1c01f44f52 2010-11-13 kinaba: else 1c01f44f52 2010-11-13 kinaba: alias ReturnType!(P) SPM_Each; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: template SPM_aVoid(T:void, TS...) { alias SPM_aVoid!(TS) SPM_aVoid; } 1c01f44f52 2010-11-13 kinaba: template SPM_aVoid(T, TS...) { alias TypeTuple!(T,SPM_aVoid!(TS)) SPM_aVoid; } 1c01f44f52 2010-11-13 kinaba: template SPM_aVoid() { alias TypeTuple!() SPM_aVoid; } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: template SPM_Return(PP...) 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: alias CommonType!(SPM_aVoid!(staticMap!(SPM_Each, PP))) SPM_Return; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: void SPM_isMatchTag(T,alias fn)(SPM_MatchTag!(T,fn)){} 1c01f44f52 2010-11-13 kinaba: void SPM_isMatchAny(alias fn)(SPM_MatchAny!(fn)){} 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: unittest 1c01f44f52 2010-11-13 kinaba: { 1c01f44f52 2010-11-13 kinaba: static abstract class Base { 1c01f44f52 2010-11-13 kinaba: mixin SimplePatternMatch; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: class D1 : Base { 1c01f44f52 2010-11-13 kinaba: int x; 1c01f44f52 2010-11-13 kinaba: real y; 1c01f44f52 2010-11-13 kinaba: mixin SimpleConstructor; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: class D2 : Base { 1c01f44f52 2010-11-13 kinaba: string s; 1c01f44f52 2010-11-13 kinaba: mixin SimpleConstructor; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: class D3 : Base { 1c01f44f52 2010-11-13 kinaba: int[int]m; 1c01f44f52 2010-11-13 kinaba: mixin SimpleConstructor; 1c01f44f52 2010-11-13 kinaba: } 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: Base d1 = new D1(1, 2.3); 1c01f44f52 2010-11-13 kinaba: Base d2 = new D2("foobar"); 1c01f44f52 2010-11-13 kinaba: Base d3 = new D3(null); (cast(D3)d3).m[1]=10; 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: // normal dispatch 1c01f44f52 2010-11-13 kinaba: assert_eq( d1.match( 1c01f44f52 2010-11-13 kinaba: (D1 x){return 1;}, 1c01f44f52 2010-11-13 kinaba: (D2 x){return 2;}, 1c01f44f52 2010-11-13 kinaba: ), 1); 1c01f44f52 2010-11-13 kinaba: assert_eq( d2.match( 1c01f44f52 2010-11-13 kinaba: (D1 x){return 1;}, 1c01f44f52 2010-11-13 kinaba: (D2 x){return 2;}, 1c01f44f52 2010-11-13 kinaba: ), 2); 1c01f44f52 2010-11-13 kinaba: assert_throw!AssertError( d3.match( 1c01f44f52 2010-11-13 kinaba: (D1 x){return 1;}, 1c01f44f52 2010-11-13 kinaba: (D2 x){return 2;}, 1c01f44f52 2010-11-13 kinaba: )); 1c01f44f52 2010-11-13 kinaba: assert_eq( d3.match( 1c01f44f52 2010-11-13 kinaba: (D1 x){return 1;}, 1c01f44f52 2010-11-13 kinaba: (D2 x){return 2;}, 1c01f44f52 2010-11-13 kinaba: (Base x){return 3;}, 1c01f44f52 2010-11-13 kinaba: ), 3); 1c01f44f52 2010-11-13 kinaba: assert_eq( d2.match( 1c01f44f52 2010-11-13 kinaba: (D1 x){return 1;}, 1c01f44f52 2010-11-13 kinaba: (D2 x){return 2;}, 1c01f44f52 2010-11-13 kinaba: (Base x){return 3;}, 1c01f44f52 2010-11-13 kinaba: ), 2); 1c01f44f52 2010-11-13 kinaba: assert_eq( d2.match( 1c01f44f52 2010-11-13 kinaba: (D1 x){return 1;}, 1c01f44f52 2010-11-13 kinaba: (Base x){return 3;}, 1c01f44f52 2010-11-13 kinaba: (D2 x){return 2;}, 1c01f44f52 2010-11-13 kinaba: ), 3); 1c01f44f52 2010-11-13 kinaba: 1c01f44f52 2010-11-13 kinaba: // member decomposing match 1c01f44f52 2010-11-13 kinaba: assert_eq( d1.match( 1c01f44f52 2010-11-13 kinaba: when!(D1, (x, y){return x + cast(int)y;}), 1c01f44f52 2010-11-13 kinaba: when!(D2, (x){return x.length;}), 1c01f44f52 2010-11-13 kinaba: when!(D3, (x){return x[1];}), 1c01f44f52 2010-11-13 kinaba: ), 3); 1c01f44f52 2010-11-13 kinaba: assert_eq( d2.match( 1c01f44f52 2010-11-13 kinaba: when!(D1, (x, y){return x + cast(int)y;}), 1c01f44f52 2010-11-13 kinaba: when!(D2, (x){return x.length;}), 1c01f44f52 2010-11-13 kinaba: when!(D3, (x){return x[1];}), 1c01f44f52 2010-11-13 kinaba: ), 6); 1c01f44f52 2010-11-13 kinaba: assert_eq( d3.match( 1c01f44f52 2010-11-13 kinaba: when!(D1, (x, y){return x + cast(int)y;}), 1c01f44f52 2010-11-13 kinaba: when!(D2, (x){return x.length;}), 1c01f44f52 2010-11-13 kinaba: when!(D3, (x){return x[1];}), 1c01f44f52 2010-11-13 kinaba: ), 10); 1c01f44f52 2010-11-13 kinaba: assert_throw!AssertError( d3.match( 1c01f44f52 2010-11-13 kinaba: when!(D1, (x, y){return x + cast(int)y;}), 1c01f44f52 2010-11-13 kinaba: when!(D2, (x){return x.length;}), 1c01f44f52 2010-11-13 kinaba: )); 1c01f44f52 2010-11-13 kinaba: assert_eq( d2.match( 1c01f44f52 2010-11-13 kinaba: when!(D1, (x, y){return x + cast(int)y;}), 1c01f44f52 2010-11-13 kinaba: when!(D2, (x){return x.length;}), 1c01f44f52 2010-11-13 kinaba: otherwise!({return 999;}), 1c01f44f52 2010-11-13 kinaba: ), 6); 1c01f44f52 2010-11-13 kinaba: assert_eq( d2.match( 1c01f44f52 2010-11-13 kinaba: when!(D1, (x, y){return x + cast(int)y;}), 1c01f44f52 2010-11-13 kinaba: otherwise!({return 999;}), 1c01f44f52 2010-11-13 kinaba: when!(D2, (x){return x.length;}), 1c01f44f52 2010-11-13 kinaba: ), 999); 8de5b49cdf 2010-11-09 kinaba: }