Commit | Line | Data |
3fef8ce8 |
1 | #!/usr/bin/perl |
2 | |
3 | use strict; |
4 | use warnings; |
5 | |
a28e50e4 |
6 | use Test::More; |
b10dde3a |
7 | use Test::Fatal; |
3fef8ce8 |
8 | |
28fdde7f |
9 | use Moose::Util::TypeConstraints; |
3fef8ce8 |
10 | |
11 | { |
12 | package Gorch; |
13 | use Moose; |
14 | |
15 | package Bar; |
16 | use Moose; |
17 | |
18 | package Foo; |
19 | use Moose; |
20 | |
21 | extends qw(Bar Gorch); |
4ab662d6 |
22 | |
3fef8ce8 |
23 | } |
24 | |
b10dde3a |
25 | is( exception { class_type 'Beep' }, undef, 'class_type keywork works' ); |
26 | is( exception { class_type('Boop', message { "${_} is not a Boop" }) }, undef, 'class_type keywork works with message' ); |
4ab662d6 |
27 | |
3fef8ce8 |
28 | my $type = find_type_constraint("Foo"); |
29 | |
8eb4d82b |
30 | is( $type->class, "Foo", "class attribute" ); |
31 | |
8ff79890 |
32 | ok( !$type->is_subtype_of('Foo'), "Foo is not subtype of Foo" ); |
33 | ok( !$type->is_subtype_of($type), '$foo_type is not subtype of $foo_type' ); |
34 | |
3fef8ce8 |
35 | ok( $type->is_subtype_of("Gorch"), "subtype of gorch" ); |
36 | |
37 | ok( $type->is_subtype_of("Bar"), "subtype of bar" ); |
38 | |
39 | ok( $type->is_subtype_of("Object"), "subtype of Object" ); |
40 | |
4c015454 |
41 | ok( !$type->is_subtype_of("ThisTypeDoesNotExist"), "not subtype of undefined type" ); |
42 | ok( !$type->is_a_type_of("ThisTypeDoesNotExist"), "not type of undefined type" ); |
43 | |
3fef8ce8 |
44 | ok( find_type_constraint("Bar")->check(Foo->new), "Foo passes Bar" ); |
45 | ok( find_type_constraint("Bar")->check(Bar->new), "Bar passes Bar" ); |
46 | ok( !find_type_constraint("Gorch")->check(Bar->new), "but Bar doesn't pass Gorch"); |
47 | |
4ab662d6 |
48 | ok( find_type_constraint("Beep")->check( bless {} => 'Beep' ), "Beep passes Beep" ); |
49 | my $boop = find_type_constraint("Boop"); |
50 | ok( $boop->has_message, 'Boop has a message'); |
51 | my $error = $boop->get_message(Foo->new); |
52 | like( $error, qr/is not a Boop/, 'boop gives correct error message'); |
2ba16c26 |
53 | |
54 | |
55 | ok( $type->equals($type), "equals self" ); |
56 | ok( $type->equals(Moose::Meta::TypeConstraint::Class->new( name => "__ANON__", class => "Foo" )), "equals anon constraint of same value" ); |
57 | ok( $type->equals(Moose::Meta::TypeConstraint::Class->new( name => "Oink", class => "Foo" )), "equals differently named constraint of same value" ); |
58 | ok( !$type->equals(Moose::Meta::TypeConstraint::Class->new( name => "__ANON__", class => "Bar" )), "doesn't equal other anon constraint" ); |
59 | ok( $type->is_subtype_of(Moose::Meta::TypeConstraint::Class->new( name => "__ANON__", class => "Bar" )), "subtype of other anon constraint" ); |
60 | |
c1441bf8 |
61 | { |
62 | package Parent; |
63 | sub parent { } |
64 | } |
65 | |
66 | { |
67 | package Child; |
68 | use base 'Parent'; |
69 | } |
70 | |
71 | { |
72 | my $parent = Moose::Meta::TypeConstraint::Class->new( |
73 | name => 'Parent', |
74 | class => 'Parent', |
75 | ); |
76 | ok($parent->is_a_type_of('Parent')); |
77 | ok(!$parent->is_subtype_of('Parent')); |
78 | ok($parent->is_a_type_of($parent)); |
79 | ok(!$parent->is_subtype_of($parent)); |
80 | |
81 | my $child = Moose::Meta::TypeConstraint::Class->new( |
82 | name => 'Child', |
83 | class => 'Child', |
84 | ); |
85 | ok($child->is_a_type_of('Child')); |
86 | ok(!$child->is_subtype_of('Child')); |
87 | ok($child->is_a_type_of($child)); |
88 | ok(!$child->is_subtype_of($child)); |
89 | ok($child->is_a_type_of('Parent')); |
90 | ok($child->is_subtype_of('Parent')); |
91 | ok($child->is_a_type_of($parent)); |
92 | ok($child->is_subtype_of($parent)); |
93 | } |
94 | |
0f9a0b95 |
95 | { |
96 | my $type; |
97 | is( exception { $type = class_type 'MyExampleClass' }, undef, 'Make initial class_type' ); |
98 | coerce 'MyExampleClass', from 'Str', via { bless {}, 'MyExampleClass' }; |
99 | # We test class_type keeping the existing type (not making a new one) here. |
100 | is( exception { is(class_type('MyExampleClass'), $type, 're-running class_type gives same type') }, undef, 'No exception making duplicate class_type' );; |
101 | |
102 | # Next define a class which needs this type and it's original coercion |
103 | # Note this has to be after the 2nd class_type call to test the bug as M::M::Attribute grabs |
104 | # the type constraint which is there at the time the attribute decleration runs. |
105 | { |
106 | package HoldsExample; |
107 | use Moose; |
108 | |
109 | has foo => ( isa => 'MyExampleClass', is => 'ro', coerce => 1, required => 1 ); |
110 | no Moose; |
111 | } |
112 | |
113 | is( exception { isa_ok(HoldsExample->new(foo => "bar")->foo, 'MyExampleClass') }, undef, 'class_type coercion works' ); |
114 | } |
115 | |
a28e50e4 |
116 | done_testing; |