9 use Moose::Util::TypeConstraints;
10 use Scalar::Util qw( blessed openhandle );
19 my $EMPTY_STRING = q{};
21 my $NUM_IN_STRING = 'has 42 in it';
23 my $SCALAR_REF = \( my $var );
24 my $SCALAR_REF_REF = \$SCALAR_REF;
27 my $CODE_REF = sub { };
29 no warnings 'once'; # << I *hates* that warning ...
31 my $GLOB_REF = \$GLOB;
33 open my $FH, '<', $0 or die "Could not open $0 for the test";
35 my $FH_OBJECT = IO::File->new( $0, 'r' )
36 or die "Could not open $0 for the test";
39 my $REGEX_OBJ = bless qr/../, 'BlessedQR';
41 my $OBJECT = bless {}, 'Foo';
51 my $CLASS_NAME = 'Thing';
60 my $ROLE_NAME = 'Role';
651 for my $name ( sort keys %tests ) {
652 test_constraint( $name, $tests{$name} );
656 my $class_tc = class_type('Thing');
661 ( bless {}, 'Thing' ),
713 my @methods = qw( quack flap );
714 duck_type 'Duck' => @methods;
719 ( bless {}, 'Duck' ),
720 ( bless {}, 'DuckLike' ),
744 ( bless {}, 'Bird' ),
752 my @allowed = qw( bar baz quux );
753 enum 'Enumerated' => @allowed;
787 my $union = Moose::Meta::TypeConstraint::Union->new(
788 type_constraints => [
789 find_type_constraint('Int'),
790 find_type_constraint('Object'),
834 # Test how $_ is used in XS implementation
838 Moose::Util::TypeConstraints::Builtins::_RegexpRef(),
842 !Moose::Util::TypeConstraints::Builtins::_RegexpRef(1),
843 '$_ is not read when param provided'
846 $_ = bless qr/./, 'Blessed';
849 Moose::Util::TypeConstraints::Builtins::_RegexpRef(),
855 !Moose::Util::TypeConstraints::Builtins::_RegexpRef(),
856 '$_ is not RegexpRef'
859 Moose::Util::TypeConstraints::Builtins::_RegexpRef(qr/./),
860 '$_ is not read when param provided'
865 or warn "Could not close the filehandle $0 for test";
867 or warn "Could not close the filehandle $0 for test";
871 sub test_constraint {
875 local $Test::Builder::Level = $Test::Builder::Level + 1;
877 unless ( blessed $type ) {
878 $type = Moose::Util::TypeConstraints::find_type_constraint($type)
879 or BAIL_OUT("No such type $type!");
882 my $name = $type->name;
886 ? $type->_compile_subtype( $type->constraint )
887 : $type->_compile_type( $type->constraint );
890 if ( $type->has_inlined_type_constraint ) {
892 $inlined = eval 'sub { ( ' . $type->_inline_check('$_[0]') . ' ) }';
896 for my $accept ( @{ $tests->{accept} || [] } ) {
897 my $described = describe($accept);
899 $type->check($accept),
900 "$name accepts $described using ->check"
903 $unoptimized->($accept),
904 "$name accepts $described using unoptimized constraint"
909 "$name accepts $described using inlined constraint"
914 for my $reject ( @{ $tests->{reject} || [] } ) {
915 my $described = describe($reject);
917 !$type->check($reject),
918 "$name rejects $described using ->check"
921 !$unoptimized->($reject),
922 "$name rejects $described using unoptimized constraint"
926 !$inlined->($reject),
927 "$name rejects $described using inlined constraint"
936 return 'undef' unless defined $val;
939 return q{''} if $val eq q{};
942 return $val unless ref $val;
944 return 'open filehandle'
945 if openhandle $val && !blessed $val;
948 ? ( ref $val ) . ' object'
949 : ( ref $val ) . ' reference';