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 | |
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 | |
b10dde3a |
27 | is( exception { class_type 'Beep' }, undef, 'class_type keywork works' ); |
28 | is( exception { class_type('Boop', message { "${_} is not a Boop" }) }, undef, 'class_type keywork works with message' ); |
4ab662d6 |
29 | |
3fef8ce8 |
30 | my $type = find_type_constraint("Foo"); |
31 | |
8eb4d82b |
32 | is( $type->class, "Foo", "class attribute" ); |
33 | |
8ff79890 |
34 | ok( !$type->is_subtype_of('Foo'), "Foo is not subtype of Foo" ); |
35 | ok( !$type->is_subtype_of($type), '$foo_type is not subtype of $foo_type' ); |
36 | |
3fef8ce8 |
37 | ok( $type->is_subtype_of("Gorch"), "subtype of gorch" ); |
38 | |
39 | ok( $type->is_subtype_of("Bar"), "subtype of bar" ); |
40 | |
41 | ok( $type->is_subtype_of("Object"), "subtype of Object" ); |
42 | |
4c015454 |
43 | ok( !$type->is_subtype_of("ThisTypeDoesNotExist"), "not subtype of undefined type" ); |
44 | ok( !$type->is_a_type_of("ThisTypeDoesNotExist"), "not type of undefined type" ); |
45 | |
3fef8ce8 |
46 | ok( find_type_constraint("Bar")->check(Foo->new), "Foo passes Bar" ); |
47 | ok( find_type_constraint("Bar")->check(Bar->new), "Bar passes Bar" ); |
48 | ok( !find_type_constraint("Gorch")->check(Bar->new), "but Bar doesn't pass Gorch"); |
49 | |
4ab662d6 |
50 | ok( find_type_constraint("Beep")->check( bless {} => 'Beep' ), "Beep passes Beep" ); |
51 | my $boop = find_type_constraint("Boop"); |
52 | ok( $boop->has_message, 'Boop has a message'); |
53 | my $error = $boop->get_message(Foo->new); |
54 | like( $error, qr/is not a Boop/, 'boop gives correct error message'); |
2ba16c26 |
55 | |
56 | |
57 | ok( $type->equals($type), "equals self" ); |
58 | ok( $type->equals(Moose::Meta::TypeConstraint::Class->new( name => "__ANON__", class => "Foo" )), "equals anon constraint of same value" ); |
59 | ok( $type->equals(Moose::Meta::TypeConstraint::Class->new( name => "Oink", class => "Foo" )), "equals differently named constraint of same value" ); |
60 | ok( !$type->equals(Moose::Meta::TypeConstraint::Class->new( name => "__ANON__", class => "Bar" )), "doesn't equal other anon constraint" ); |
61 | ok( $type->is_subtype_of(Moose::Meta::TypeConstraint::Class->new( name => "__ANON__", class => "Bar" )), "subtype of other anon constraint" ); |
62 | |
a28e50e4 |
63 | done_testing; |