annotate orange/util/Traits.d @ 0:f7b078e85f7f

First commit
author Jacob Carlborg <doob@me.com>
date Wed, 26 May 2010 17:19:13 +0200
parents
children 11a31bd929f9
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 26, 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.Traits;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
8
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
9 public import mambo.util.Traits;
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 orange.serialization.Serializable;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
12 import orange.serialization.archives.Archive;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
13 import orange.util._;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
14
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
15 template isArchive (T)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
16 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
17 const isArchive = is(typeof({
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
18 alias T.DataType Foo;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
19 })) &&
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
20
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
21 is(typeof(T.archive(0, TypeOfDataType!(T).init, {}))) &&
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
22 is(typeof(T.unarchive!(int))) &&
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
23 is(typeof(T.beginArchiving)) &&
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
24 is(typeof(T.beginUnarchiving(TypeOfDataType!(T).init))) &&
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
25 is(typeof(T.archiveBaseClass!(Object))) &&
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
26 is(typeof(T.unarchiveBaseClass!(Object))) &&
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
27 is(typeof(T.reset)) &&
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
28 is(typeof({TypeOfDataType!(T) a = T.data;})) &&
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
29 is(typeof(T.unarchiveAssociativeArrayVisitor!(int[string])));
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
30
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
31 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
32
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
33 template isSerializable (T, ArchiveType)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
34 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
35 const isSerializable = is(typeof(T.toData(ArchiveType.init, ArchiveType.DataType.init))) && is(typeof(T.fromData(ArchiveType.init, ArchiveType.DataType.init)));
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
36 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
37
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
38 template isISerializable (T)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
39 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
40 const isISerializable = is(T : ISerializable);
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
41 }
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
42
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
43 template TypeOfDataType (T)
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
44 {
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
45 alias T.DataType TypeOfDataType;
f7b078e85f7f First commit
Jacob Carlborg <doob@me.com>
parents:
diff changeset
46 }