Redid conversion to Test::Fatal

[gitmo/Moose.git] / t / 040_type_constraints / 010_misc_type_tests.t

diff --git a/t/040_type_constraints/010_misc_type_tests.t b/t/040_type_constraints/010_misc_type_tests.t
index 75e2fb8..4b5e1d3 100644 (file)
--- a/t/040_type_constraints/010_misc_type_tests.t
+++ b/t/040_type_constraints/010_misc_type_tests.t
@@ -3,18 +3,19 @@
 use strict;
 use warnings;
 
-use Test::More tests => 19;
-use Test::Exception;
+use Test::More;
+use Test::Fatal;
+use Scalar::Util qw(refaddr);
 
 BEGIN {
-    use_ok('Moose::Util::TypeConstraints');           
+    use_ok('Moose::Util::TypeConstraints');
 }
 
 # subtype 'aliasing' ...
 
-lives_ok {
+is( exception {
     subtype 'Numb3rs' => as 'Num';
-} '... create bare subtype fine';
+}, undef, '... create bare subtype fine' );
 
 my $numb3rs = find_type_constraint('Numb3rs');
 isa_ok($numb3rs, 'Moose::Meta::TypeConstraint');
@@ -48,78 +49,41 @@ my $subtype2 = subtype 'New2' => as $subtype1;
 
 ok $subtype2 => 'made a subtype of our subtype';
 
-# testing the parameterize method
+# assert_valid
 
 {
-       my $parameterizable = subtype 'parameterizable_hashref',
-               as 'HashRef';
-               
-       my $parameterized = subtype 'parameterized_hashref',
-               as 'HashRef[Int]';
-               
-       my $int = Moose::Util::TypeConstraints::find_type_constraint('Int');
-               
-       my $from_parameterizable = $parameterizable->parameterize($int);
-       
-       isa_ok $parameterizable, 'Moose::Meta::TypeConstraint::Parameterizable',
-        => 'Got expected type instance';
-
-       package Test::Moose::Meta::TypeConstraint::Parameterizable;
-       use Moose;
-       
-       has parameterizable => (is=>'rw', isa=>$parameterizable);
-       has parameterized => (is=>'rw', isa=>$parameterized);
-       has from_parameterizable => (is=>'rw', isa=>$from_parameterizable);
+    my $type = find_type_constraint('Num');
+
+    my $ok_1 = eval { $type->assert_valid(1); };
+    ok($ok_1, "we can assert_valid that 1 is of type $type");
+
+    my $ok_2 = eval { $type->assert_valid('foo'); };
+    my $error = $@;
+    ok(! $ok_2, "'foo' is not of type $type");
+    like(
+        $error,
+        qr{validation failed for .\Q$type\E.}i,
+        "correct error thrown"
+    );
 }
 
-# Create and check a dummy object
-
-ok my $params = Test::Moose::Meta::TypeConstraint::Parameterizable->new()
- => 'Create Dummy object for testing';
- 
-isa_ok $params, 'Test::Moose::Meta::TypeConstraint::Parameterizable'
- => 'isa correct type';
-
-# test parameterizable
-
-lives_ok sub {
-       $params->parameterizable({a=>'Hello', b=>'World'});
-} => 'No problem setting parameterizable';
-
-is_deeply $params->parameterizable, {a=>'Hello', b=>'World'}
- => 'Got expected values';
-
-# test parameterized
-
-lives_ok sub {
-       $params->parameterized({a=>1, b=>2});
-} => 'No problem setting parameterized';
-
-is_deeply $params->parameterized, {a=>1, b=>2}
- => 'Got expected values';
- 
-throws_ok sub {
-       $params->parameterized({a=>'Hello', b=>'World'});
-}, qr/Attribute \(parameterized\) does not pass the type constraint/
- => 'parameterized throws expected error';
-
-# test from_parameterizable
-
-lives_ok sub {
-       $params->from_parameterizable({a=>1, b=>2});
-} => 'No problem setting from_parameterizable';
-
-is_deeply $params->from_parameterizable, {a=>1, b=>2}
- => 'Got expected values';
- 
-throws_ok sub {
-       $params->from_parameterizable({a=>'Hello', b=>'World'});
-}, qr/Attribute \(from_parameterizable\) does not pass the type constraint/
- => 'from_parameterizable throws expected error';
- 
- 
- 
- 
- 
- 
- 
\ No newline at end of file
+{
+    for my $t (qw(Bar Foo)) {
+        my $tc = Moose::Meta::TypeConstraint->new({
+            name => $t,
+        });
+
+        Moose::Util::TypeConstraints::register_type_constraint($tc);
+    }
+
+    my $foo = Moose::Util::TypeConstraints::find_type_constraint('Foo');
+    my $bar = Moose::Util::TypeConstraints::find_type_constraint('Bar');
+
+    ok(!$foo->equals($bar), "Foo type is not equal to Bar type");
+    ok( $foo->equals($foo), "Foo equals Foo");
+    ok( 0+$foo == refaddr($foo), "overloading works");
+}
+
+ok $subtype1, "type constraint boolean overload works";
+
+done_testing;