1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
|
iface to_str { fn to_str() -> str; }
impl of to_str for int {
fn to_str() -> str { int::str(self) }
}
impl of to_str for uint {
fn to_str() -> str { uint::str(self) }
}
impl of to_str for u8 {
fn to_str() -> str { uint::str(self as uint) }
}
impl of to_str for float {
fn to_str() -> str { float::to_str(self, 4u) }
}
impl of to_str for bool {
fn to_str() -> str { bool::to_str(self) }
}
impl of to_str for () {
fn to_str() -> str { "()" }
}
impl of to_str for str {
fn to_str() -> str { self }
}
impl <A: to_str copy, B: to_str copy> of to_str for (A, B) {
fn to_str() -> str {
let (a, b) = self;
"(" + a.to_str() + ", " + b.to_str() + ")"
}
}
impl <A: to_str copy, B: to_str copy, C: to_str copy> of to_str for (A, B, C){
fn to_str() -> str {
let (a, b, c) = self;
"(" + a.to_str() + ", " + b.to_str() + ", " + c.to_str() + ")"
}
}
impl <A: to_str> of to_str for [A] {
fn to_str() -> str {
let mut acc = "[", first = true;
for vec::each(self) {|elt|
if first { first = false; }
else { acc += ", "; }
acc += elt.to_str();
}
acc += "]";
acc
}
}
impl <A: to_str> of to_str for @A {
fn to_str() -> str { "@" + (*self).to_str() }
}
impl <A: to_str> of to_str for ~A {
fn to_str() -> str { "~" + (*self).to_str() }
}
#[cfg(test)]
mod tests {
#[test]
fn test_simple_types() {
assert 1.to_str() == "1";
assert (-1).to_str() == "-1";
assert 200u.to_str() == "200";
assert 2u8.to_str() == "2";
assert true.to_str() == "true";
assert false.to_str() == "false";
assert ().to_str() == "()";
assert "hi".to_str() == "hi";
}
#[test]
fn test_tuple_types() {
assert (1, 2).to_str() == "(1, 2)";
assert ("a", "b", false).to_str() == "(a, b, false)";
assert ((), ((), 100)).to_str() == "((), ((), 100))";
}
fn test_vectors() {
let x: [int] = [];
assert x.to_str() == "[]";
assert [1].to_str() == "[1]";
assert [1, 2, 3].to_str() == "[1, 2, 3]";
assert [[], [1], [1, 1]].to_str() == "[[], [1], [1, 1]]";
}
fn test_pointer_types() {
assert (@1).to_str() == "@1";
assert (~(true, false)).to_str() == "~(true, false)";
}
}
|
