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' ),
745 ( bless {}, 'Bird' ),
753 my @allowed = qw( bar baz quux );
754 enum 'Enumerated' => @allowed;
796 # Test how $_ is used in XS implementation
800 Moose::Util::TypeConstraints::Builtins::_RegexpRef(),
804 !Moose::Util::TypeConstraints::Builtins::_RegexpRef(1),
805 '$_ is not read when param provided'
808 $_ = bless qr/./, 'Blessed';
811 Moose::Util::TypeConstraints::Builtins::_RegexpRef(),
817 !Moose::Util::TypeConstraints::Builtins::_RegexpRef(),
818 '$_ is not RegexpRef'
821 Moose::Util::TypeConstraints::Builtins::_RegexpRef(qr/./),
822 '$_ is not read when param provided'
827 or warn "Could not close the filehandle $0 for test";
829 or warn "Could not close the filehandle $0 for test";
833 sub test_constraint {
837 local $Test::Builder::Level = $Test::Builder::Level + 1;
839 unless ( blessed $type ) {
840 $type = Moose::Util::TypeConstraints::find_type_constraint($type)
841 or BAIL_OUT("No such type $type!");
844 my $name = $type->name;
848 ? $type->_compile_subtype( $type->constraint )
849 : $type->_compile_type( $type->constraint );
852 if ( $type->has_inlined_type_constraint ) {
854 $inlined = eval 'sub { ( ' . $type->_inline_check('$_[0]') . ' ) }';
858 for my $accept ( @{ $tests->{accept} || [] } ) {
859 my $described = describe($accept);
861 $type->check($accept),
862 "$name accepts $described using ->check"
865 $unoptimized->($accept),
866 "$name accepts $described using unoptimized constraint"
871 "$name accepts $described using inlined constraint"
876 for my $reject ( @{ $tests->{reject} || [] } ) {
877 my $described = describe($reject);
879 !$type->check($reject),
880 "$name rejects $described using ->check"
883 !$unoptimized->($reject),
884 "$name rejects $described using unoptimized constraint"
888 !$inlined->($reject),
889 "$name rejects $described using inlined constraint"
898 return 'undef' unless defined $val;
901 return q{''} if $val eq q{};
904 return $val unless ref $val;
906 return 'open filehandle'
907 if openhandle $val && !blessed $val;
910 ? ( ref $val ) . ' object'
911 : ( ref $val ) . ' reference';