X-Git-Url: http://git.shadowcat.co.uk/gitweb/gitweb.cgi?a=blobdiff_plain;f=t%2F01-dependent.t;h=e525c55fce64b5c5b7ee71136a173b7f608b70b7;hb=0a9f5b94966259cd648910629225ea950fbba082;hp=a202843f8b1bb1a562bcec3dadcfc08e41a22cd1;hpb=1e87d1a705363a4b403c08438227017faad0df5f;p=gitmo%2FMooseX-Dependent.git

diff --git a/t/01-dependent.t b/t/01-dependent.t
index a202843..e525c55 100644
--- a/t/01-dependent.t
+++ b/t/01-dependent.t
@@ -1,34 +1,185 @@
 
-use Test::More tests=>5; {
+use Test::More tests=>53; {
 	
 	use strict;
 	use warnings;
 	
 	use MooseX::Dependent::Types qw(Dependent);
-	use MooseX::Types -declare=>[qw(SubDependent)];
+	use MooseX::Types::Moose qw(Int Any);
+	use MooseX::Types -declare=>[qw(SubDependent IntLessThan EvenInt)];
 	use Moose::Util::TypeConstraints;
-
-	ok subtype( SubDependent, as Dependent ),
-	  'Create a useless subtype';
+	
 	ok Dependent->check(1),
-	  'Dependent is basically an Any';
-	ok SubDependent->check(1),
-	  'SubDependent is basically an Any';
+	  'Dependent is basically an "Any"';
+	  
+	ok !Dependent->validate(1),
+	  'No Error Message';
+	  
 	is Dependent->parent, 'Any',
 	  'Dependent is an Any';
+	  
+	is Dependent->name, 'MooseX::Dependent::Types::Dependent',
+	  'Dependent has expected name';
+	  
+	is Dependent->get_message,
+	  "Validation failed for 'MooseX::Dependent::Types::Dependent' failed with value undef",
+	  'Got Expected Message';
+	  
+	ok Dependent->equals(Dependent),
+	  'Dependent equal Dependent';
+	  
+	ok Dependent->is_a_type_of(Dependent),
+	  'Dependent is_a_type_of Dependent';
+	  
+	ok Dependent->is_a_type_of('Any'),
+	  'Dependent is_a_type_of Any';
+	  
+	ok Dependent->is_subtype_of('Any'),
+	  'Dependent is_subtype_of Dependent';
+
+	is Dependent->parent_type_constraint, 'Any',
+	  'Correct parent type';
+
+	is subtype( SubDependent, as Dependent ),
+	  'main::SubDependent',
+	  'Create a useless subtype';
+
+	ok SubDependent->check(1),
+	  'SubDependent is basically an "Any"';
+	  
+	ok !SubDependent->validate(1),
+	  'validate returned no error message';
+
 	is SubDependent->parent, 'MooseX::Dependent::Types::Dependent',
 	  'SubDependent is a Dependent';
-	is Dependent->get_message, "Validation failed for 'MooseX::Dependent::Types::Dependent' failed with value undef",
-	  'Got Expected Message'
-	warn SubDependent->get_message;
-}
+	  
+	is SubDependent->name, 'main::SubDependent',
+	  'Dependent has expected name';
+	  
+	is SubDependent->get_message,
+	  "Validation failed for 'main::SubDependent' failed with value undef",
+	  'Got Expected Message';
+	  
+	ok SubDependent->equals(SubDependent),
+	  'SubDependent equal SubDependent';
+	  
+	ok !SubDependent->equals(Dependent),
+	  'SubDependent does not equal Dependent';
+	  
+	ok SubDependent->is_a_type_of(Dependent),
+	  'SubDependent is_a_type_of Dependent';
+	  
+	ok SubDependent->is_a_type_of(Any),
+	  'SubDependent is_a_type_of Any';
+	  
+	ok SubDependent->is_subtype_of('Any'),
+	  'SubDependent is_subtype_of Dependent';
+	  
+	ok !SubDependent->is_subtype_of(SubDependent),
+	  'SubDependent is not is_subtype_of SubDependent';
+	
+	ok subtype( EvenInt,
+		as Int,
+		where {
+			my $val = shift @_;
+			return $val % 2 ? 0:1;
+		}),
+	  'Created a subtype of Int';
 
-__END__
+	ok !EvenInt->check('aaa'), '"aaa" not an Int';	  
+	ok !EvenInt->check(1), '1 is not even';
+	ok EvenInt->check(2), 'but 2 is!';
+	  
+	ok subtype( IntLessThan,
+		as Dependent[EvenInt, Int],
+		where {
+			my $value = shift @_;
+			my $constraining = shift @_ || 200;
+			return ($value < $constraining && $value > 5);
+		}),
+	  'Created IntLessThan subtype';
+	  
+	ok !IntLessThan->check('aaa'),
+	  '"aaa" is not an integer';
+	  
+	is IntLessThan->validate('aaa'),
+	  "Validation failed for 'main::EvenInt' failed with value aaa",
+	  'Got expected error messge for "aaa"';
+	  
+	ok !IntLessThan->check(1),
+	  '1 smaller than 5';
 
-check
-validate
-get_message
-name
-equals
-is_a_type_of
-is_subtype_of
\ No newline at end of file
+	ok !IntLessThan->check(2),
+	  '2 smaller than 5';
+	  
+	ok !IntLessThan->check(15),
+	  '15 greater than 5 (but odd)';
+
+	ok !IntLessThan->check(301),
+	  '301 is too big';
+	  
+	ok !IntLessThan->check(400),
+	  '400 is too big';
+	  
+	ok IntLessThan->check(10),
+	  '10 greater than 5 (and even)';
+	  
+	is IntLessThan->validate(1),
+	  "Validation failed for 'main::EvenInt' failed with value 1",
+	  'error message is correct';
+	  
+	is IntLessThan->name, 'main::IntLessThan',
+	  'Got correct name for IntLessThan';
+	
+	is IntLessThan->parent, 'MooseX::Dependent::Types::Dependent[main::EvenInt, Int]',
+	  'IntLessThan is a Dependent';
+	  
+	is IntLessThan->parent_type_constraint, EvenInt,
+	  'Parent is an Int';
+	  
+	is IntLessThan->constraining_value_type_constraint, Int,
+	  'constraining is an Int';
+	  
+	ok IntLessThan->equals(IntLessThan),
+	  'IntLessThan equals IntLessThan';
+
+	ok IntLessThan->is_subtype_of(Dependent),
+	  'IntLessThan is_subtype_of Dependent';	  
+
+	ok IntLessThan->is_subtype_of(Int),
+	  'IntLessThan is_subtype_of Int';
+
+	ok IntLessThan->is_a_type_of(Dependent),
+	  'IntLessThan is_a_type_of Dependent';	  
+
+	ok IntLessThan->is_a_type_of(Int),
+	  'IntLessThan is_a_type_of Int';
+
+	ok IntLessThan->is_a_type_of(IntLessThan),
+	  'IntLessThan is_a_type_of IntLessThan';
+	  
+	ok( (my $lessThan100GreatThen5andEvenInt = IntLessThan[100]),
+	   'Parameterized!');
+	
+	ok !$lessThan100GreatThen5andEvenInt->check(150),
+	  '150 Not less than 100';
+	  
+	ok !$lessThan100GreatThen5andEvenInt->check(151),
+	  '151 Not less than 100';
+	  
+	ok !$lessThan100GreatThen5andEvenInt->check(2),
+	  'Not greater than 5';
+
+	ok !$lessThan100GreatThen5andEvenInt->check(51),
+	  'Not even';
+
+	ok !$lessThan100GreatThen5andEvenInt->check('aaa'),
+	  'Not Int';
+	  
+	ok $lessThan100GreatThen5andEvenInt->check(42),
+	  'is Int, is even, greater than 5, less than 100';
+	  
+	#die IntLessThan->validate(100);
+	#use Data::Dump qw/dump/;
+	#warn dump IntLessThan;
+}