X-Git-Url: http://git.vpit.fr/?p=perl%2Fmodules%2FTest-Leaner.git;a=blobdiff_plain;f=lib%2FTest%2FLeaner.pm;h=d03741ff2764f42a56b68d2973a0283e69e5a27e;hp=3980b4398a066880277282665352ec7dc1ac6c43;hb=5fd6c1574b8f8435c3555d9581ecd82d87ac4b76;hpb=0db3dd7d4fcdcb1161ed596c1582206245e81cca diff --git a/lib/Test/Leaner.pm b/lib/Test/Leaner.pm index 3980b43..d03741f 100644 --- a/lib/Test/Leaner.pm +++ b/lib/Test/Leaner.pm @@ -10,11 +10,11 @@ Test::Leaner - A slimmer Test::More for when you favor performance over complete =head1 VERSION -Version 0.01 +Version 0.03 =cut -our $VERSION = '0.01'; +our $VERSION = '0.03'; =head1 SYNOPSIS @@ -37,11 +37,20 @@ Its functions behave the same as their L counterparts, except for th =item * Stringification isn't forced on the test operands. -However, L honors C<'bool'> overloading, L and L honor C<'eq'> overloading (and just that one) and L honors whichever overloading category corresponds to the specified operator. +However, L honors C<'bool'> overloading, L and L honor C<'eq'> overloading (and just that one), L honors C<'ne'> overloading, and L honors whichever overloading category corresponds to the specified operator. =item * -L, L, L, L, L, L, L and L are all guaranteed to return the truth value of the test. +L, L, L, L, L, L, L, L and L are all guaranteed to return the truth value of the test. + +=item * + +C (the sub C in package C) is not aliased to L. + +=item * + +L and L don't special case regular expressions that are passed as C<'/.../'> strings. +A string regexp argument is always treated as the source of the regexp, making C and C equivalent to each other and to C (and likewise for C). =item * @@ -50,24 +59,29 @@ It also tests in scalar context, so C<'..'> will be treated as the flip-flop ope =item * -The tests don't output any kind of default diagnostic in case of failure ; the rationale being that if you have a large number of tests and a lot of them are failing, then you don't want to be flooded by diagnostics. +L doesn't guard for memory cycles. +If the two first arguments present parallel memory cycles, the test may result in an infinite loop. =item * -C, C, C, C, C, C, C, C blocks and C are not implemented. +The tests don't output any kind of default diagnostic in case of failure ; the rationale being that if you have a large number of tests and a lot of them are failing, then you don't want to be flooded by diagnostics. +Moreover, this allows a much faster variant of L. =item * -L depends on L, while L does not. +C, C, C, C, C, C, C, C blocks and C are not implemented. =back =cut -use Exporter (); -use Scalar::Util (); +use Exporter (); + +my $main_process; BEGIN { + $main_process = $$; + if ($] >= 5.008 and $INC{'threads.pm'}) { my $use_ithreads = do { require Config; @@ -88,6 +102,132 @@ my ($TAP_STREAM, $DIAG_STREAM); my ($plan, $test, $failed, $no_diag, $done_testing); +our @EXPORT = qw< + plan + skip + done_testing + pass + fail + ok + is + isnt + like + unlike + cmp_ok + is_deeply + diag + note + BAIL_OUT +>; + +=head1 ENVIRONMENT + +=head2 C + +If this environment variable is set, L will replace its functions by those from L. +Moreover, the symbols that are imported when you C will be those from L, but you can still only import the symbols originally defined in L (hence the functions from L that are not implemented in L will not be imported). +If your version of L is too old and doesn't have some symbols (like L or L), they will be replaced in L by croaking stubs. + +This may be useful if your L-based test script fails and you want extra diagnostics. + +=cut + +sub _handle_import_args { + my @imports; + + my $i = 0; + while ($i <= $#_) { + my $item = $_[$i]; + my $splice; + if (defined $item) { + if ($item eq 'import') { + push @imports, @{ $_[$i+1] }; + $splice = 2; + } elsif ($item eq 'no_diag') { + lock $plan if THREADSAFE; + $no_diag = 1; + $splice = 1; + } + } + if ($splice) { + splice @_, $i, $splice; + } else { + ++$i; + } + } + + return @imports; +} + +if ($ENV{PERL_TEST_LEANER_USES_TEST_MORE}) { + require Test::More; + + my $leaner_stash = \%Test::Leaner::; + my $more_stash = \%Test::More::; + + my %stubbed; + + for (@EXPORT) { + my $replacement = exists $more_stash->{$_} ? *{$more_stash->{$_}}{CODE} + : undef; + unless (defined $replacement) { + $stubbed{$_}++; + $replacement = sub { + @_ = ("$_ is not implemented in this version of Test::More"); + goto &croak; + }; + } + no warnings 'redefine'; + $leaner_stash->{$_} = $replacement; + } + + my $import = sub { + my $class = shift; + + my @imports = &_handle_import_args; + if (@imports == grep /^!/, @imports) { + # All imports are negated, or @imports is empty + my %negated; + /^!(.*)/ and ++$negated{$1} for @imports; + push @imports, grep !$negated{$_}, @EXPORT; + } + + my @test_more_imports; + for (@imports) { + if ($stubbed{$_}) { + my $pkg = caller; + no strict 'refs'; + *{$pkg."::$_"} = $leaner_stash->{$_}; + } elsif (/^!/ or !exists $more_stash->{$_} or exists $leaner_stash->{$_}) { + push @test_more_imports, $_; + } else { + # Croak for symbols in Test::More but not in Test::Leaner + Exporter::import($class, $_); + } + } + + my $test_more_import = 'Test::More'->can('import'); + return unless $test_more_import; + + @_ = ( + 'Test::More', + @_, + import => \@test_more_imports, + ); + { + lock $plan if THREADSAFE; + push @_, 'no_diag' if $no_diag; + } + + goto $test_more_import; + }; + + no warnings 'redefine'; + *import = $import; + + return 1; +} + sub NO_PLAN () { -1 } sub SKIP_ALL () { -2 } @@ -105,13 +245,21 @@ BEGIN { sub carp { my $level = 1 + ($Test::Builder::Level || 0); - my ($file, $line) = (caller $level)[1, 2]; + my @caller; + do { + @caller = caller $level--; + } while (!@caller and $level >= 0); + my ($file, $line) = @caller[1, 2]; warn @_, " at $file line $line.\n"; } sub croak { my $level = 1 + ($Test::Builder::Level || 0); - my ($file, $line) = (caller $level)[1, 2]; + my @caller; + do { + @caller = caller $level--; + } while (!@caller and $level >= 0); + my ($file, $line) = @caller[1, 2]; die @_, " at $file line $line.\n"; } @@ -127,6 +275,8 @@ The following functions from L are implemented and exported by defau =head2 C<< plan [ tests => $count | 'no_plan' | skip_all => $reason ] >> +See L. + =cut sub plan { @@ -172,48 +322,10 @@ sub plan { return 1; } -our @EXPORT = qw< - plan - skip - done_testing - pass - fail - ok - is - isnt - like - unlike - cmp_ok - is_deeply - diag - note - BAIL_OUT ->; - sub import { my $class = shift; - my @imports; - my $i = 0; - while ($i <= $#_) { - my $item = $_[$i]; - my $splice; - if (defined $item) { - if ($item eq 'import') { - push @imports, @{ $_[$i+1] }; - $splice = 2; - } elsif ($item eq 'no_diag') { - lock $plan if THREADSAFE; - $no_diag = 1; - $splice = 1; - } - } - if ($splice) { - splice @_, $i, $splice; - } else { - ++$i; - } - } + my @imports = &_handle_import_args; if (@_) { local $Test::Builder::Level = ($Test::Builder::Level || 0) + 1; @@ -226,6 +338,8 @@ sub import { =head2 C<< skip $reason => $count >> +See L. + =cut sub skip { @@ -261,6 +375,8 @@ sub skip { =head2 C +See L. + =cut sub done_testing { @@ -292,6 +408,8 @@ sub done_testing { =head2 C +See L. + =cut sub ok ($;$) { @@ -302,10 +420,10 @@ sub ok ($;$) { ++$test; my $test_str = "ok $test"; - unless ($ok) { + $ok or do { $test_str = "not $test_str"; ++$failed; - } + }; if (defined $desc) { _sanitize_comment($desc); $test_str .= " - $desc" if length $desc; @@ -319,6 +437,8 @@ sub ok ($;$) { =head2 C +See L. + =cut sub pass (;$) { @@ -328,6 +448,8 @@ sub pass (;$) { =head2 C +See L. + =cut sub fail (;$) { @@ -337,6 +459,8 @@ sub fail (;$) { =head2 C +See L. + =cut sub is ($$;$) { @@ -351,6 +475,8 @@ sub is ($$;$) { =head2 C +See L. + =cut sub isnt ($$;$) { @@ -436,10 +562,12 @@ IS_BINOP =head2 C -=cut +See L. =head2 C +See L. + =cut { @@ -450,6 +578,8 @@ IS_BINOP =head2 C +See L. + =cut sub cmp_ok ($$$;$) { @@ -465,49 +595,119 @@ sub cmp_ok ($$$;$) { =head2 C +See L. + =cut +BEGIN { + local $@; + if (eval { require Scalar::Util; 1 }) { + *_reftype = \&Scalar::Util::reftype; + } else { + # Stolen from Scalar::Util::PP + require B; + my %tmap = qw< + B::NULL SCALAR + + B::HV HASH + B::AV ARRAY + B::CV CODE + B::IO IO + B::GV GLOB + B::REGEXP REGEXP + >; + *_reftype = sub ($) { + my $r = shift; + + return undef unless length ref $r; + + my $t = ref B::svref_2object($r); + + return exists $tmap{$t} ? $tmap{$t} + : length ref $$r ? 'REF' + : 'SCALAR' + } + } +} + +sub _deep_ref_check { + my ($x, $y, $ry) = @_; + + no warnings qw; + + if ($ry eq 'ARRAY') { + return 0 unless $#$x == $#$y; + + my ($ex, $ey); + for (0 .. $#$y) { + $ex = $x->[$_]; + $ey = $y->[$_]; + + # Inline the beginning of _deep_check + return 0 if defined $ex xor defined $ey; + + next if not(ref $ex xor ref $ey) and $ex eq $ey; + + $ry = _reftype($ey); + return 0 if _reftype($ex) ne $ry; + + return 0 unless $ry and _deep_ref_check($ex, $ey, $ry); + } + + return 1; + } elsif ($ry eq 'HASH') { + return 0 unless keys(%$x) == keys(%$y); + + my ($ex, $ey); + for (keys %$y) { + return 0 unless exists $x->{$_}; + $ex = $x->{$_}; + $ey = $y->{$_}; + + # Inline the beginning of _deep_check + return 0 if defined $ex xor defined $ey; + + next if not(ref $ex xor ref $ey) and $ex eq $ey; + + $ry = _reftype($ey); + return 0 if _reftype($ex) ne $ry; + + return 0 unless $ry and _deep_ref_check($ex, $ey, $ry); + } + + return 1; + } elsif ($ry eq 'SCALAR' or $ry eq 'REF') { + return _deep_check($$x, $$y); + } + + return 0; +} + sub _deep_check { my ($x, $y) = @_; no warnings qw; - return 0 if defined($x) xor defined($y); + return 0 if defined $x xor defined $y; # Try object identity/eq overloading first. It also covers the case where # $x and $y are both undefined. # If either $x or $y is overloaded but none has eq overloading, the test will # break at that point. - return 1 if not(ref($x) xor ref($y)) and $x eq $y; + return 1 if not(ref $x xor ref $y) and $x eq $y; # Test::More::is_deeply happily breaks encapsulation if the objects aren't # overloaded. - my $ry = Scalar::Util::reftype($y); - return 0 if Scalar::Util::reftype($x) ne $ry; + my $ry = _reftype($y); + return 0 if _reftype($x) ne $ry; # Shortcut if $x and $y are both not references and failed the previous # $x eq $y test. return 0 unless $ry; - if ($ry eq 'ARRAY') { - if ($#$x == $#$y) { - # Prevent vivification of deleted elements by fetching the array values. - my ($ex, $ey); - _deep_check($ex = $x->[$_], $ey = $y->[$_]) or return 0 for 0 .. $#$x; - return 1; - } - } elsif ($ry eq 'HASH') { - if (keys(%$x) == keys(%$y)) { - (exists $x->{$_} and _deep_check($x->{$_}, $y->{$_})) - or return 0 for keys %$y; - return 1; - } - } elsif ($ry eq 'SCALAR' or $ry eq 'REF') { - return _deep_check($$x, $$y); - } - - return 0; -}; + # We know that $x and $y are both references of type $ry, without overloading. + _deep_ref_check($x, $y, $ry); +} sub is_deeply { @_ = ( @@ -537,6 +737,8 @@ sub _diag_fh { =head2 C +See L. + =cut sub diag { @@ -546,6 +748,8 @@ sub diag { =head2 C +See L. + =cut sub note { @@ -555,6 +759,8 @@ sub note { =head2 C +See L. + =cut sub BAIL_OUT { @@ -575,7 +781,7 @@ sub BAIL_OUT { } END { - unless ($?) { + if ($main_process == $$ and not $?) { lock $plan if THREADSAFE; if (defined $plan) { @@ -583,7 +789,8 @@ END { $? = $failed <= 254 ? $failed : 254; } elsif ($plan >= 0) { $? = $test == $plan ? 0 : 255; - } elsif ($plan == NO_PLAN) { + } + if ($plan == NO_PLAN) { local $\; print $TAP_STREAM "1..$test\n"; } @@ -654,7 +861,7 @@ In that case, it also needs a working L. L 5.6. -L, L, L. +L, L. =head1 AUTHOR @@ -675,7 +882,13 @@ You can find documentation for this module with the perldoc command. =head1 COPYRIGHT & LICENSE -Copyright 2010 Vincent Pit, all rights reserved. +Copyright 2010,2011 Vincent Pit, all rights reserved. + +This program is free software; you can redistribute it and/or modify it under the same terms as Perl itself. + +Except for the fallback implementation of the internal C<_reftype> function, which has been taken from L and is + +Copyright 1997-2007 Graham Barr, all rights reserved. This program is free software; you can redistribute it and/or modify it under the same terms as Perl itself.