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';
22 my $INT_WITH_NL1 = "1\n";
23 my $INT_WITH_NL2 = "\n1";
25 my $SCALAR_REF = \( my $var );
26 my $SCALAR_REF_REF = \$SCALAR_REF;
29 my $CODE_REF = sub { };
31 no warnings 'once'; # << I *hates* that warning ...
33 my $GLOB_REF = \$GLOB;
35 open my $FH, '<', $0 or die "Could not open $0 for the test";
37 my $FH_OBJECT = IO::File->new( $0, 'r' )
38 or die "Could not open $0 for the test";
41 my $REGEX_OBJ = bless qr/../, 'BlessedQR';
43 my $OBJECT = bless {}, 'Foo';
53 my $CLASS_NAME = 'Thing';
62 my $ROLE_NAME = 'Role';
695 for my $name ( sort keys %tests ) {
696 test_constraint( $name, $tests{$name} );
699 # We need to test that the Str constraint accepts the return val of substr() -
700 # which means passing that return val directly to the checking code
702 my $str = 'some string';
704 my $type = Moose::Util::TypeConstraints::find_type_constraint('Str');
708 ? $type->_compile_subtype( $type->constraint )
709 : $type->_compile_type( $type->constraint );
714 $inlined = eval 'sub { ( ' . $type->_inline_check('$_[0]') . ' ) }';
719 $type->check( substr( $str, 1, 3 ) ),
720 'Str accepts return val from substr using ->check'
723 $unoptimized->( substr( $str, 1, 3 ) ),
724 'Str accepts return val from substr using unoptimized constraint'
727 $inlined->( substr( $str, 1, 3 ) ),
728 'Str accepts return val from substr using inlined constraint'
732 $type->check( substr( $str, 0, 0 ) ),
733 'Str accepts empty return val from substr using ->check'
736 $unoptimized->( substr( $str, 0, 0 ) ),
737 'Str accepts empty return val from substr using unoptimized constraint'
740 $inlined->( substr( $str, 0, 0 ) ),
741 'Str accepts empty return val from substr using inlined constraint'
746 my $class_tc = class_type('Thing');
751 ( bless {}, 'Thing' ),
805 my @methods = qw( quack flap );
806 duck_type 'Duck' => @methods;
811 ( bless {}, 'Duck' ),
812 ( bless {}, 'DuckLike' ),
838 ( bless {}, 'Bird' ),
846 my @allowed = qw( bar baz quux );
847 enum 'Enumerated' => @allowed;
883 my $union = Moose::Meta::TypeConstraint::Union->new(
884 type_constraints => [
885 find_type_constraint('Int'),
886 find_type_constraint('Object'),
932 # Test how $_ is used in XS implementation
936 Moose::Util::TypeConstraints::Builtins::_RegexpRef(),
940 !Moose::Util::TypeConstraints::Builtins::_RegexpRef(1),
941 '$_ is not read when param provided'
944 $_ = bless qr/./, 'Blessed';
947 Moose::Util::TypeConstraints::Builtins::_RegexpRef(),
953 !Moose::Util::TypeConstraints::Builtins::_RegexpRef(),
954 '$_ is not RegexpRef'
957 Moose::Util::TypeConstraints::Builtins::_RegexpRef(qr/./),
958 '$_ is not read when param provided'
963 or warn "Could not close the filehandle $0 for test";
965 or warn "Could not close the filehandle $0 for test";
969 sub test_constraint {
973 local $Test::Builder::Level = $Test::Builder::Level + 1;
975 unless ( blessed $type ) {
976 $type = Moose::Util::TypeConstraints::find_type_constraint($type)
977 or BAIL_OUT("No such type $type!");
980 my $name = $type->name;
984 ? $type->_compile_subtype( $type->constraint )
985 : $type->_compile_type( $type->constraint );
988 if ( $type->has_inlined_type_constraint ) {
990 $inlined = eval 'sub { ( ' . $type->_inline_check('$_[0]') . ' ) }';
994 for my $accept ( @{ $tests->{accept} || [] } ) {
995 my $described = describe($accept);
997 $type->check($accept),
998 "$name accepts $described using ->check"
1001 $unoptimized->($accept),
1002 "$name accepts $described using unoptimized constraint"
1006 $inlined->($accept),
1007 "$name accepts $described using inlined constraint"
1012 for my $reject ( @{ $tests->{reject} || [] } ) {
1013 my $described = describe($reject);
1015 !$type->check($reject),
1016 "$name rejects $described using ->check"
1019 !$unoptimized->($reject),
1020 "$name rejects $described using unoptimized constraint"
1024 !$inlined->($reject),
1025 "$name rejects $described using inlined constraint"
1034 return 'undef' unless defined $val;
1037 return q{''} if $val eq q{};
1044 return 'open filehandle'
1045 if openhandle $val && !blessed $val;
1048 ? ( ref $val ) . ' object'
1049 : ( ref $val ) . ' reference';