fix for prototype undecl issue when type constraint utils loaded before consumers...

[gitmo/Moose.git] / t / 050_util_type_constraints.t

diff --git a/t/050_util_type_constraints.t b/t/050_util_type_constraints.t
index bf2cd57..2252957 100644 (file)
--- a/t/050_util_type_constraints.t
+++ b/t/050_util_type_constraints.t
@@ -3,7 +3,7 @@
 use strict;
 use warnings;
 
-use Test::More tests => 22;
+use Test::More tests => 38;
 use Test::Exception;
 
 use Scalar::Util ();
@@ -12,50 +12,95 @@ BEGIN {
     use_ok('Moose::Util::TypeConstraints');           
 }
 
-type Num => where { Scalar::Util::looks_like_number($_) };
-type String => where { !ref($_) && !Num($_) };
+type Number => where { Scalar::Util::looks_like_number($_) };
+type String 
+    => where { !ref($_) && !Number($_) }
+    => message { "This is not a string ($_)" };
 
 subtype Natural 
-       => as Num 
+       => as Number 
        => where { $_ > 0 };
 
 subtype NaturalLessThanTen 
        => as Natural
-       => where { $_ < 10 };
+       => where { $_ < 10 }
+       => message { "The number '$_' is not less than 10" };
        
-Moose::Util::TypeConstraints::export_type_contstraints_as_functions();
+Moose::Util::TypeConstraints->export_type_contstraints_as_functions();
 
-is(Num(5), 5, '... this is a Num');
-ok(!defined(Num('Foo')), '... this is not a Num');
-
-is(&Num, &Num, '... the type w/out arguments just returns itself');
-is(Num(), Num(), '... the type w/out arguments just returns itself');
+ok(Number(5), '... this is a Num');
+ok(!defined(Number('Foo')), '... this is not a Num');
+{
+    my $number_tc = Moose::Util::TypeConstraints::find_type_constraint('Number');
+    is("$number_tc", 'Number', '... type constraint stringifies to name');
+}
 
-is(String('Foo'), 'Foo', '... this is a Str');
+ok(String('Foo'), '... this is a Str');
 ok(!defined(String(5)), '... this is not a Str');
 
-is(&String, &String, '... the type w/out arguments just returns itself');
-
-is(Natural(5), 5, '... this is a Natural');
+ok(Natural(5), '... this is a Natural');
 is(Natural(-5), undef, '... this is not a Natural');
 is(Natural('Foo'), undef, '... this is not a Natural');
 
-is(&Natural, &Natural, '... the type w/out arguments just returns itself');
-
-is(NaturalLessThanTen(5), 5, '... this is a NaturalLessThanTen');
+ok(NaturalLessThanTen(5), '... this is a NaturalLessThanTen');
 is(NaturalLessThanTen(12), undef, '... this is not a NaturalLessThanTen');
 is(NaturalLessThanTen(-5), undef, '... this is not a NaturalLessThanTen');
 is(NaturalLessThanTen('Foo'), undef, '... this is not a NaturalLessThanTen');
-
-is(&NaturalLessThanTen, &NaturalLessThanTen, 
-       '... the type w/out arguments just returns itself');
        
 # anon sub-typing      
        
-my $negative = subtype Num => where    { $_ < 0 };
+my $negative = subtype Number => where { $_ < 0 };
 ok(defined $negative, '... got a value back from negative');
-is(ref($negative), 'CODE', '... got a type constraint back from negative');
+isa_ok($negative, 'Moose::Meta::TypeConstraint');
+
+ok($negative->check(-5), '... this is a negative number');
+ok(!defined($negative->check(5)), '... this is not a negative number');
+is($negative->check('Foo'), undef, '... this is not a negative number');
+
+ok($negative->is_subtype_of('Number'), '... $negative is a subtype of Number');
+ok(!$negative->is_subtype_of('String'), '... $negative is not a subtype of String');
+
+# check some meta-details
+
+my $natural_less_than_ten = find_type_constraint('NaturalLessThanTen');
+isa_ok($natural_less_than_ten, 'Moose::Meta::TypeConstraint');
+
+ok($natural_less_than_ten->is_subtype_of('Natural'), '... NaturalLessThanTen is subtype of Natural');
+ok($natural_less_than_ten->is_subtype_of('Number'), '... NaturalLessThanTen is subtype of Number');
+ok(!$natural_less_than_ten->is_subtype_of('String'), '... NaturalLessThanTen is not subtype of String');
+
+ok($natural_less_than_ten->has_message, '... it has a message');
+
+ok(!defined($natural_less_than_ten->validate(5)), '... validated successfully (no error)');
+
+is($natural_less_than_ten->validate(15), 
+   "The number '15' is not less than 10", 
+   '... validated unsuccessfully (got error)');
+
+my $natural = find_type_constraint('Natural');
+isa_ok($natural, 'Moose::Meta::TypeConstraint');
+
+ok($natural->is_subtype_of('Number'), '... Natural is a subtype of Number');
+ok(!$natural->is_subtype_of('String'), '... Natural is not a subtype of String');
+
+ok(!$natural->has_message, '... it does not have a message');
+
+ok(!defined($natural->validate(5)), '... validated successfully (no error)');
+
+is($natural->validate(-5), 
+  "Validation failed for 'Natural' failed", 
+  '... validated unsuccessfully (got error)');
+
+my $string = find_type_constraint('String');
+isa_ok($string, 'Moose::Meta::TypeConstraint');
+
+ok($string->has_message, '... it does have a message');
+
+ok(!defined($string->validate("Five")), '... validated successfully (no error)');
+
+is($string->validate(5), 
+"This is not a string (5)", 
+'... validated unsuccessfully (got error)');
 
-is($negative->(-5), -5, '... this is a negative number');
-ok(!defined($negative->(5)), '... this is not a negative number');
-is($negative->('Foo'), undef, '... this is not a negative number');    
+lives_ok { Moose::Meta::Attribute->new('bob', isa => 'Spong') }
+  'meta-attr construction ok even when type constraint utils loaded first';