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 | |
a28e50e4 |
61 | done_testing; |