mandos 0.4.2

Parser/writer of the Mandos test format
Documentation 
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
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173

extern crate mandos;
use mandos::*;

const EMPTY: Vec<u8> = Vec::<u8>::new();

#[test]
fn test_bool() {
	let context = &InterpreterContext::default();
	assert_eq!(vec![1], interpret_string("true", context));
	assert_eq!(EMPTY, interpret_string("false", context));
}

#[test]
fn test_string() {
	let context = &InterpreterContext::default();

	assert_eq!(b"abcdefg".to_vec(), interpret_string("``abcdefg", context));
	assert_eq!(EMPTY, interpret_string("``", context));
	assert_eq!(b"`".to_vec(), interpret_string("```", context));
	assert_eq!(b" ".to_vec(), interpret_string("`` ", context));

	assert_eq!(b"abcdefg".to_vec(), interpret_string("''abcdefg", context));
	assert_eq!(EMPTY, interpret_string("''", context));
	assert_eq!(b"'".to_vec(), interpret_string("'''", context));
	assert_eq!(b"``".to_vec(), interpret_string("''``", context));

	assert_eq!(
		b"abcdefg".to_vec(),
		interpret_string("str:abcdefg", context)
	);
	assert_eq!(EMPTY, interpret_string("str:", context));
}

#[test]
fn test_address() {
	let context = &InterpreterContext::default();

	assert_eq!(
		b"________________________________".to_vec(),
		interpret_string("address:", context)
	);
	assert_eq!(
		b"a_______________________________".to_vec(),
		interpret_string("address:a", context)
	);
	assert_eq!(
		b"an_address______________________".to_vec(),
		interpret_string("address:an_address", context)
	);
	assert_eq!(
		b"12345678901234567890123456789012".to_vec(),
		interpret_string("address:12345678901234567890123456789012", context)
	);
	assert_eq!(
		b"12345678901234567890123456789012".to_vec(),
		interpret_string("address:123456789012345678901234567890123", context)
	);
}

#[test]
fn test_unsigned_number() {
	let context = &InterpreterContext::default();

	assert_eq!(vec![0x12, 0x34], interpret_string("0x1234", context));
	assert_eq!(vec![0x00], interpret_string("0x0", context));
	assert_eq!(vec![0x00], interpret_string("0x00", context));
	assert_eq!(vec![0x00, 0x00], interpret_string("0x000", context));
	assert_eq!(vec![0x00, 0x00], interpret_string("0x0000", context));
	assert_eq!(
		vec![0x00, 0x00, 0xab],
		interpret_string("0x0000ab", context)
	);
	assert_eq!(EMPTY, interpret_string("0x", context));
	assert_eq!(EMPTY, interpret_string("0", context));
	assert_eq!(vec![12], interpret_string("12", context));
	assert_eq!(vec![0x01, 0x00], interpret_string("256", context));
	assert_eq!(vec![0x01], interpret_string("0b1", context));
	assert_eq!(vec![0x05], interpret_string("0b101", context));
}

#[test]
fn test_signed_number() {
	let context = &InterpreterContext::default();

	assert_eq!(vec![0xff], interpret_string("-1", context));
	assert_eq!(vec![0xff], interpret_string("255", context));
	assert_eq!(vec![0xff], interpret_string("0xff", context));
	assert_eq!(vec![0x00, 0xff], interpret_string("+255", context));
	assert_eq!(vec![0x00, 0xff], interpret_string("+0xff", context));

	assert_eq!(vec![0xff, 0x00], interpret_string("-256", context));
	assert_eq!(vec![0xfb], interpret_string("-0b101", context));
}

#[test]
fn test_unsigned_fixed_width() {
	let context = &InterpreterContext::default();

	assert_eq!(vec![0x00], interpret_string("u8:0", context));
	assert_eq!(vec![0x00, 0x00], interpret_string("u16:0", context));
	assert_eq!(
		vec![0x00, 0x00, 0x00, 0x00],
		interpret_string("u32:0", context)
	);
	assert_eq!(
		vec![0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00],
		interpret_string("u64:0", context)
	);
	assert_eq!(vec![0x12, 0x34], interpret_string("u16:0x1234", context));
	assert_eq!(
		vec![0x00, 0x00, 0x12, 0x34],
		interpret_string("u32:0x1234", context)
	);
	assert_eq!(vec![0x01, 0x00], interpret_string("u16:256", context));
	assert_eq!(vec![0x01], interpret_string("u8:0b1", context));
	assert_eq!(
		vec![0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x05],
		interpret_string("u64:0b101", context)
	);
}

#[test]
fn test_signed_fixed_width() {
	let context = &InterpreterContext::default();

	assert_eq!(vec![0x00], interpret_string("i8:0", context));
	assert_eq!(vec![0x00, 0x00], interpret_string("i16:0", context));
	assert_eq!(
		vec![0x00, 0x00, 0x00, 0x00],
		interpret_string("i32:0", context)
	);
	assert_eq!(
		vec![0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00],
		interpret_string("i64:0", context)
	);

	assert_eq!(vec![0xff], interpret_string("i8:-1", context));
	assert_eq!(vec![0xff, 0xff], interpret_string("i16:-1", context));
	assert_eq!(
		vec![0xff, 0xff, 0xff, 0xff],
		interpret_string("i32:-1", context)
	);
	assert_eq!(
		vec![0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff],
		interpret_string("i64:-1", context)
	);
	assert_eq!(
		vec![0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0xff, 0x00],
		interpret_string("i64:-256", context)
	);
	assert_eq!(vec![0xfb], interpret_string("i8:-0b101", context));
}

#[test]
#[should_panic]
fn test_signed_fixed_width_panic_1() {
	let context = &InterpreterContext::default();
	interpret_string("i8:+255", context);
}

#[test]
#[should_panic]
fn test_signed_fixed_width_panic_2() {
	let context = &InterpreterContext::default();
	interpret_string("i8:0xff", context);
}

#[test]
#[should_panic]
fn test_signed_fixed_width_panic_3() {
	let context = &InterpreterContext::default();
	interpret_string("i8:-255", context);
}