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
|
module li_constraints_runme;
import std.array;
import std.algorithm;
import std.exception;
import li_constraints.li_constraints;
void check_double(bool except, void function(double) f, double val, string name) {
bool actual = true;
bool proper = true;
try {
f(val);
} catch(Exception e) {
actual = false;
proper = e.msg.equal(join(["Expected a ", name, " value."]));
}
enforce(actual == except);
enforce(proper);
}
void check_pointer(bool except, void function(void*) f, void* val) {
bool actual = true;
bool proper = true;
try {
f(val);
} catch(Exception e) {
actual = false;
proper = e.msg.equal("Received a NULL pointer.");
}
enforce(actual == except);
enforce(proper);
}
void main() {
check_double(true, &test_nonnegative, 10, "non-negative");
check_double(true, &test_nonnegative, 0, "non-negative");
check_double(false, &test_nonnegative, -10, "non-negative");
check_double(false, &test_nonpositive, 10, "non-positive");
check_double(true, &test_nonpositive, 0, "non-positive");
check_double(true, &test_nonpositive, -10, "non-positive");
check_double(true, &test_positive, 10, "positive");
check_double(false, &test_positive, 0, "positive");
check_double(false, &test_positive, -10, "positive");
check_double(false, &test_negative, 10, "negative");
check_double(false, &test_negative, 0, "negative");
check_double(true, &test_negative, -10, "negative");
check_double(true, &test_nonzero, 10, "nonzero");
check_double(false, &test_nonzero, 0, "nonzero");
check_double(true, &test_nonzero, -10, "nonzero");
check_pointer(false, &test_nonnull, null);
check_pointer(true, &test_nonnull, get_nonnull());
}
|
