X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=t%2F01-basic.t;h=071f231f7c5d01e62db5a650b8383c062f9a479d;hb=c81443cb26d69dfd732202a51b2ad68549a829c2;hp=c3691abe447f3494f4618e80daff290ef311fd1f;hpb=dbd75632f2806658a12fa8c747bf3f50a33c1057;p=gitmo%2FMooseX-Types-Structured.git

diff --git a/t/01-basic.t b/t/01-basic.t
old mode 100755
new mode 100644
index c3691ab..071f231
--- a/t/01-basic.t
+++ b/t/01-basic.t
@@ -1,64 +1,43 @@
-BEGIN {
-	use strict;
-	use warnings;
-	use Test::More tests=>10;
-	use Test::Exception;
-	
-	use_ok 'Moose::Util::TypeConstraints';
-	use_ok 'MooseX::Meta::TypeConstraint::Structured::Generator';
-	use_ok 'MooseX::Meta::TypeConstraint::Structured::Positional';
-	use_ok 'MooseX::Meta::TypeConstraint::Structured::Named';
-}
-
-my $tuple = MooseX::Meta::TypeConstraint::Structured::Generator->new(
-		name => 'Tuple',
-		structured_type	=> 'MooseX::Meta::TypeConstraint::Structured::Positional',
-		package_defined_in => __PACKAGE__,
-		parent => find_type_constraint('ArrayRef'),
-	);
-
-Moose::Util::TypeConstraints::register_type_constraint($tuple);
-
-## Make sure the new type constraints have been registered
-
-ok Moose::Util::TypeConstraints::find_type_constraint('Tuple')
- => 'Found the Tuple Type';
-
-{
-	package Test::MooseX::Types::Structured::BasicAttributes;
-	
-	use Moose;
-	use Moose::Util::TypeConstraints;
-	
-	has 'tuple' => (is=>'rw', isa=>'Tuple[Int,Str,Int]');
-}
-
-
-ok my $positioned_obj = Test::MooseX::Types::Structured::BasicAttributes->new,
- => 'Got a good object';
-
-ok $positioned_obj->tuple([1,'hello',3])
- => "[1,'hello',3] properly suceeds";
-
-throws_ok sub {
-	$positioned_obj->tuple([1,2,'world']);
-}, qr/Validation failed for 'Int' failed with value world/ => "[1,2,'world'] properly fails";
-
-throws_ok sub {
-	$positioned_obj->tuple(['hello1',2,3]);
-}, qr/Validation failed for 'Int' failed with value hello1/ => "['hello',2,3] properly fails";
-
-throws_ok sub {
-	$positioned_obj->tuple(['hello2',2,'world']);
-}, qr/Validation failed for 'Int' failed with value hello2/ => "['hello',2,'world'] properly fails";
-
-
-
-
-#ok Moose::Util::TypeConstraints::_detect_parameterized_type_constraint('HashRef[key1 => Int, key2=>Int, key3=>ArrayRef[Int]]')
-# => 'detected correctly';
- 
-#is_deeply 
-#	[Moose::Util::TypeConstraints::_parse_parameterized_type_constraint('HashRef[key1 => Int, key2=>Int, key3=>ArrayRef[Int]]')],
-#	["HashRef", "key1", "Int", "key2", "Int", "key3", "ArrayRef[Int]"]
-# => 'Correctly parsed HashRef[key1 => Int, key2=>Int, key3=>ArrayRef[Int]]';
\ No newline at end of file
+use strict;
+use warnings;
+
+use Test::More tests=>14;
+
+use_ok 'MooseX::Meta::TypeConstraint::Structured';
+use_ok 'Moose::Util::TypeConstraints';
+
+ok my $int = find_type_constraint('Int') => 'Got Int';
+ok my $str = find_type_constraint('Str') => 'Got Str';
+ok my $arrayref = find_type_constraint('ArrayRef') => 'Got ArrayRef';
+
+my $list_tc = MooseX::Meta::TypeConstraint::Structured->new(
+    name => 'list_tc',
+    parent => $arrayref,
+    type_constraints => [$int, $str],
+    constraint_generator=> sub {
+        my @type_constraints = @{shift @_};            
+        my @values = @{shift @_};
+
+        while(my $type_constraint = shift @type_constraints) {
+            my $value = shift @values || return;
+            $type_constraint->check($value) || return;
+        }
+        if(@values) {
+            return;
+        } else {
+            return 1;
+        }
+    }
+);
+
+isa_ok $list_tc, 'MooseX::Meta::TypeConstraint::Structured';
+
+ok !$arrayref->check() => 'Parent undef fails';
+ok !$list_tc->check() => 'undef fails';
+ok !$list_tc->check(1) => '1 fails';
+ok !$list_tc->check([]) => '[] fails';
+ok !$list_tc->check([1]) => '[1] fails';
+ok !$list_tc->check([1,2,3]) => '[1,2,3] fails';
+ok !$list_tc->check(['a','b']) => '["a","b"] fails';
+
+ok $list_tc->check([1,'a']) => '[1,"a"] passes';