Commit | Line | Data |
b2b106d7 |
1 | #!/usr/bin/perl |
c47cf415 |
2 | # This is automatically generated by author/import-moose-test.pl. |
3 | # DO NOT EDIT THIS FILE. ANY CHANGES WILL BE LOST!!! |
4 | use t::lib::MooseCompat; |
b2b106d7 |
5 | |
6 | use strict; |
7 | use warnings; |
8 | |
c47cf415 |
9 | use Test::More; |
b2b106d7 |
10 | use Test::Exception; |
11 | |
12 | BEGIN { |
13 | use_ok("Mouse::Util::TypeConstraints"); |
14 | } |
15 | |
16 | lives_ok { |
17 | subtype 'MySpecialHash' => as 'HashRef[Int]'; |
18 | } '... created the subtype special okay'; |
19 | |
20 | { |
21 | my $t = find_type_constraint('MySpecialHash'); |
22 | isa_ok($t, 'Mouse::Meta::TypeConstraint'); |
23 | |
24 | is($t->name, 'MySpecialHash', '... name is correct'); |
25 | |
26 | my $p = $t->parent; |
c47cf415 |
27 | isa_ok($p, 'Mouse::Meta::TypeConstraint'); |
b2b106d7 |
28 | isa_ok($p, 'Mouse::Meta::TypeConstraint'); |
29 | |
30 | is($p->name, 'HashRef[Int]', '... parent name is correct'); |
31 | |
32 | ok($t->check({ one => 1, two => 2 }), '... validated {one=>1, two=>2} correctly'); |
33 | ok(!$t->check({ one => "ONE", two => "TWO" }), '... validated it correctly'); |
34 | |
e15a70e5 |
35 | #ok( $t->equals($t), "equals to self" ); |
36 | #ok( !$t->equals( $t->parent ), "not equal to parent" ); |
37 | #ok( $t->parent->equals( $t->parent ), "parent equals to self" ); |
b2b106d7 |
38 | |
39 | ok( !$t->is_a_type_of("ThisTypeDoesNotExist"), "not a non existant type" ); |
40 | ok( !$t->is_subtype_of("ThisTypeDoesNotExist"), "not a subtype of a non existant type" ); |
41 | } |
42 | |
43 | lives_ok { |
44 | subtype 'MySpecialHashExtended' |
45 | => as 'HashRef[Int]' |
46 | => where { |
47 | # all values are less then 10 |
48 | (scalar grep { $_ < 10 } values %{$_}) ? 1 : undef |
49 | }; |
50 | } '... created the subtype special okay'; |
51 | |
52 | { |
53 | my $t = find_type_constraint('MySpecialHashExtended'); |
54 | isa_ok($t, 'Mouse::Meta::TypeConstraint'); |
55 | |
56 | is($t->name, 'MySpecialHashExtended', '... name is correct'); |
57 | |
58 | my $p = $t->parent; |
c47cf415 |
59 | isa_ok($p, 'Mouse::Meta::TypeConstraint'); |
b2b106d7 |
60 | isa_ok($p, 'Mouse::Meta::TypeConstraint'); |
61 | |
62 | is($p->name, 'HashRef[Int]', '... parent name is correct'); |
63 | |
64 | ok($t->check({ one => 1, two => 2 }), '... validated it correctly'); |
e15a70e5 |
65 | ok(!$t->check({ zero => 10, one => 11, two => 12 }), '... validated { zero => 10, one => 11, two => 12 } correctly') or diag $t->dump; |
b2b106d7 |
66 | ok(!$t->check({ one => "ONE", two => "TWO" }), '... validated it correctly'); |
67 | } |
68 | |
69 | lives_ok { |
70 | subtype 'MyNonSpecialHash' |
71 | => as "HashRef" |
72 | => where { keys %$_ == 3 }; |
73 | }; |
74 | |
75 | { |
76 | my $t = find_type_constraint('MyNonSpecialHash'); |
77 | |
78 | isa_ok($t, 'Mouse::Meta::TypeConstraint'); |
c47cf415 |
79 | isa_ok($t, 'Mouse::Meta::TypeConstraint'); |
b2b106d7 |
80 | |
81 | ok( $t->check({ one => 1, two => "foo", three => [] }), "validated" ); |
82 | ok( !$t->check({ one => 1 }), "failed" ); |
83 | } |
84 | |
85 | { |
86 | my $t = Mouse::Util::TypeConstraints::find_or_parse_type_constraint('MyNonSpecialHash[Int]'); |
87 | |
88 | isa_ok($t, 'Mouse::Meta::TypeConstraint'); |
89 | |
90 | ok( $t->check({ one => 1, two => 2, three => 3 }), "validated" ); |
e15a70e5 |
91 | ok( !$t->check({ one => 1, two => "foo", three => [] }), "failed" ) |
92 | or diag $t->dump; |
b2b106d7 |
93 | ok( !$t->check({ one => 1 }), "failed" ); |
94 | } |
95 | |
96 | { |
97 | ## Because to throw errors in M:M:Parameterizable needs Mouse loaded in |
98 | ## order to throw errors. In theory the use Mouse belongs to that class |
99 | ## but when I put it there causes all sorts or trouble. In theory this is |
100 | ## never a real problem since you are likely to use Mouse somewhere when you |
101 | ## are creating type constraints. |
102 | use Mouse (); |
103 | |
104 | my $MyArrayRefInt = subtype 'MyArrayRefInt', |
105 | as 'ArrayRef[Int]'; |
106 | |
107 | my $BiggerInt = subtype 'BiggerInt', |
108 | as 'Int', |
109 | where {$_>10}; |
110 | |
111 | my $SubOfMyArrayRef = subtype 'SubOfMyArrayRef', |
112 | as 'MyArrayRefInt[BiggerInt]'; |
113 | |
114 | ok $MyArrayRefInt->check([1,2,3]), '[1,2,3] is okay'; |
115 | ok ! $MyArrayRefInt->check(["a","b"]), '["a","b"] is not'; |
116 | ok $BiggerInt->check(100), '100 is big enough'; |
117 | ok ! $BiggerInt->check(5), '5 is big enough'; |
118 | ok $SubOfMyArrayRef->check([15,20,25]), '[15,20,25] is a bunch of big ints'; |
119 | ok ! $SubOfMyArrayRef->check([15,5,25]), '[15,5,25] is NOT a bunch of big ints'; |
120 | |
121 | throws_ok sub { |
122 | my $SubOfMyArrayRef = subtype 'SubSubOfMyArrayRef', |
123 | as 'SubOfMyArrayRef[Str]'; |
124 | }, qr/Str is not a subtype of BiggerInt/, 'Failed to parameterize with a bad type parameter'; |
125 | } |
c47cf415 |
126 | |
127 | { |
e15a70e5 |
128 | last; # ScalarRef[] is not supported |
c47cf415 |
129 | my $RefToInt = subtype as 'ScalarRef[Int]'; |
130 | |
131 | ok $RefToInt->check(\1), '\1 is okay'; |
132 | ok !$RefToInt->check(1), '1 is not'; |
133 | ok !$RefToInt->check(\"foo"), '\"foo" is not'; |
134 | } |
135 | |
136 | done_testing; |