annotate orange/util/Use.d @ 35:511d1ef4e299 experimental

Now all unit tests pass on latest DMD2 compiler.
author Jacob Carlborg <doob@me.com>
date Wed, 03 Aug 2011 21:44:11 +0200
parents 78e5fef4bbf2
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
1 /**
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
2 * Copyright: Copyright (c) 2010 Jacob Carlborg.
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
3 * Authors: Jacob Carlborg
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
4 * Version: Initial created: Jan 29, 2010
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
5 * License: $(LINK2 http://www.boost.org/LICENSE_1_0.txt, Boost Software License 1.0)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
6 */
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
7 module orange.util.Use;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
8
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
9 version (Tango)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
10 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
11 import tango.core.Tuple;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
12 import tango.core.Traits;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
13 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
14
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
15 else
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
16 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
17 import std.typetuple;
35
511d1ef4e299 Now all unit tests pass on latest DMD2 compiler.
Jacob Carlborg <doob@me.com>
parents: 26
diff changeset
18 import std.typecons;
0
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
19 import std.traits;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
20
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
21 alias ReturnType ReturnTypeOf;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
22 alias ParameterTypeTuple ParameterTupleOf;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
23 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
24
26
78e5fef4bbf2 Third step in refactoring the API. Stating to add unit tests.
Jacob Carlborg <doob@me.com>
parents: 1
diff changeset
25 struct Use (ARGS...)
0
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
26 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
27 static assert (ARGS.length > 0);
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
28
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
29 private
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
30 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
31 alias ReturnTypeOf!(ARGS[0]) ReturnType;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
32
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
33 static if (ARGS.length >= 2)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
34 alias Tuple!(ReturnType delegate (ARGS), ARGS[1 .. $]) NEW_ARGS;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
35
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
36 else
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
37 alias Tuple!(ReturnType delegate (ARGS)) NEW_ARGS;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
38 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
39
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
40 NEW_ARGS args;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
41
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
42 ReturnType opIn (ARGS[0] dg)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
43 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
44 assert(args[0]);
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
45
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
46 static if (NEW_ARGS.length == 1)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
47 return args[0](dg);
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
48
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
49 else
35
511d1ef4e299 Now all unit tests pass on latest DMD2 compiler.
Jacob Carlborg <doob@me.com>
parents: 26
diff changeset
50 {
511d1ef4e299 Now all unit tests pass on latest DMD2 compiler.
Jacob Carlborg <doob@me.com>
parents: 26
diff changeset
51 version (Tango)
511d1ef4e299 Now all unit tests pass on latest DMD2 compiler.
Jacob Carlborg <doob@me.com>
parents: 26
diff changeset
52 return args[0](dg, args[1 .. $]);
511d1ef4e299 Now all unit tests pass on latest DMD2 compiler.
Jacob Carlborg <doob@me.com>
parents: 26
diff changeset
53
511d1ef4e299 Now all unit tests pass on latest DMD2 compiler.
Jacob Carlborg <doob@me.com>
parents: 26
diff changeset
54 else
511d1ef4e299 Now all unit tests pass on latest DMD2 compiler.
Jacob Carlborg <doob@me.com>
parents: 26
diff changeset
55 return args[0](dg, args.expand[1 .. $]);
511d1ef4e299 Now all unit tests pass on latest DMD2 compiler.
Jacob Carlborg <doob@me.com>
parents: 26
diff changeset
56 }
0
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
57 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
58 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
59
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
60 struct RestoreStruct (U, T)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
61 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
62 U delegate(U delegate (), ref T) dg;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
63 T* value;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
64
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
65 U opIn (U delegate () deleg)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
66 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
67 return dg(deleg, *value);
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
68 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
69 }
1
11a31bd929f9 Removed dependency on private library
Jacob Carlborg <doob@me.com>
parents: 0
diff changeset
70
0
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
71 RestoreStruct!(U, T) restore (U = void, T) (ref T val)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
72 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
73 RestoreStruct!(U, T) restoreStruct;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
74
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
75 restoreStruct.dg = (U delegate () dg, ref T value){
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
76 T t = value;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
77
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
78 static if (is(U == void))
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
79 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
80 dg();
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
81 value = t;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
82 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
83
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
84 else
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
85 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
86 auto result = dg();
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
87 value = t;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
88
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
89 return result;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
90 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
91 };
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
92
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
93 restoreStruct.value = &val;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
94
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
95 return restoreStruct;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
96 }