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
|
use strict;
use warnings;
use FindBin qw( $Bin );
my $lib_path;
BEGIN {
if ( $Bin =~ /xt/ ) {
$lib_path = "$Bin/../../t";
}
else {
$lib_path = "$Bin";
}
}
use lib "$lib_path/lib";
use Test::More 0.96;
use Test::Specio qw( test_constraint );
use Specio::Library::Numeric;
my %tests = (
PositiveNum => {
accept => [ 1, 2, 3, 2**32, 1.2, 0.000000000000001, 1e20, 1.1e10 ],
reject => [
0, -1, -1 * ( 2**32 ), -1.2, -0.000000000000001, -1e19, -1.1e10
],
},
PositiveOrZeroNum => {
accept => [ 0, 1, 2, 3, 2**32, 1.2, 0.000000000000001, 1e20, 1.1e10 ],
reject =>
[ -1, -1 * ( 2**32 ), -1.2, -0.000000000000001, -1e19, -1.1e10 ],
},
PositiveInt => {
accept => [ 1, 2, 3, 2**32, 1e20 ],
reject => [ 0, -1, -1 * ( 2**32 ), -1.2, -0.000000000000001, 1.1 ],
},
PositiveOrZeroInt => {
accept => [ 0, 1, 2, 3, 2**32, 1e20 ],
reject => [ -1, -1 * ( 2**32 ), -1.2, -0.000000000000001, 1.1 ],
},
NegativeNum => {
accept =>
[ -1, -1 * ( 2**32 ), -1.2, -0.000000000000001, -1e19, -1.1e10 ],
reject => [ 0, 1, 2, 3, 2**32, 1.2, 0.000000000000001, 1e20, 1.1e10 ],
},
NegativeOrZeroNum => {
accept => [
0, -1, -1 * ( 2**32 ), -1.2, -0.000000000000001, -1e19, -1.1e10
],
reject => [ 1, 2, 3, 2**32, 1.2, 0.000000000000001, 1e20, 1.1e10 ],
},
NegativeInt => {
accept => [ -1, -2, -3, -1 * ( 2**32 ), -1e20 ],
reject => [ 0, 1, 2**32, -1.2, -0.000000000000001, 1.1, 1.1e10 ],
},
NegativeOrZeroInt => {
accept => [ 0, -1, -2, -3, -1 * ( 2**32 ), -1e20 ],
reject => [ 1, 2**32, -1.2, -0.000000000000001, 1.1, 1.1e10 ],
},
SingleDigit => {
accept => [ -9 .. 9 ],
reject => [ 10, -10, 1.1, -1.1 ],
},
);
for my $name ( sort keys %tests ) {
test_constraint( $name, $tests{$name} );
}
done_testing();
|
