Commit | Line | Data |
3fef8ce8 |
1 | #!/usr/bin/perl |
2 | |
3 | use strict; |
4 | use warnings; |
5 | |
a28e50e4 |
6 | use Test::More; |
53a4d826 |
7 | use Test::Exception; |
3fef8ce8 |
8 | |
9 | BEGIN { |
4ab662d6 |
10 | use_ok('Moose::Util::TypeConstraints'); |
3fef8ce8 |
11 | } |
12 | |
13 | { |
14 | package Gorch; |
15 | use Moose; |
16 | |
17 | package Bar; |
18 | use Moose; |
19 | |
20 | package Foo; |
21 | use Moose; |
22 | |
23 | extends qw(Bar Gorch); |
4ab662d6 |
24 | |
3fef8ce8 |
25 | } |
26 | |
53a4d826 |
27 | lives_ok { class_type 'Beep' } 'class_type keywork works'; |
28 | lives_ok { class_type('Boop', message { "${_} is not a Boop" }) } |
4ab662d6 |
29 | 'class_type keywork works with message'; |
30 | |
3fef8ce8 |
31 | my $type = find_type_constraint("Foo"); |
32 | |
8eb4d82b |
33 | is( $type->class, "Foo", "class attribute" ); |
34 | |
8ff79890 |
35 | ok( !$type->is_subtype_of('Foo'), "Foo is not subtype of Foo" ); |
36 | ok( !$type->is_subtype_of($type), '$foo_type is not subtype of $foo_type' ); |
37 | |
3fef8ce8 |
38 | ok( $type->is_subtype_of("Gorch"), "subtype of gorch" ); |
39 | |
40 | ok( $type->is_subtype_of("Bar"), "subtype of bar" ); |
41 | |
42 | ok( $type->is_subtype_of("Object"), "subtype of Object" ); |
43 | |
4c015454 |
44 | ok( !$type->is_subtype_of("ThisTypeDoesNotExist"), "not subtype of undefined type" ); |
45 | ok( !$type->is_a_type_of("ThisTypeDoesNotExist"), "not type of undefined type" ); |
46 | |
3fef8ce8 |
47 | ok( find_type_constraint("Bar")->check(Foo->new), "Foo passes Bar" ); |
48 | ok( find_type_constraint("Bar")->check(Bar->new), "Bar passes Bar" ); |
49 | ok( !find_type_constraint("Gorch")->check(Bar->new), "but Bar doesn't pass Gorch"); |
50 | |
4ab662d6 |
51 | ok( find_type_constraint("Beep")->check( bless {} => 'Beep' ), "Beep passes Beep" ); |
52 | my $boop = find_type_constraint("Boop"); |
53 | ok( $boop->has_message, 'Boop has a message'); |
54 | my $error = $boop->get_message(Foo->new); |
55 | like( $error, qr/is not a Boop/, 'boop gives correct error message'); |
2ba16c26 |
56 | |
57 | |
58 | ok( $type->equals($type), "equals self" ); |
59 | ok( $type->equals(Moose::Meta::TypeConstraint::Class->new( name => "__ANON__", class => "Foo" )), "equals anon constraint of same value" ); |
60 | ok( $type->equals(Moose::Meta::TypeConstraint::Class->new( name => "Oink", class => "Foo" )), "equals differently named constraint of same value" ); |
61 | ok( !$type->equals(Moose::Meta::TypeConstraint::Class->new( name => "__ANON__", class => "Bar" )), "doesn't equal other anon constraint" ); |
62 | ok( $type->is_subtype_of(Moose::Meta::TypeConstraint::Class->new( name => "__ANON__", class => "Bar" )), "subtype of other anon constraint" ); |
63 | |
e018ef42 |
64 | { |
65 | my $regexp_type = Moose::Meta::TypeConstraint::Class->new(name => 'Regexp', class => 'Regexp'); |
66 | ok(!$regexp_type->check(qr//), 'a Regexp is not an instance of a class, even tho perl pretends it is'); |
67 | } |
68 | |
a28e50e4 |
69 | done_testing; |