line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
1
|
4
|
|
|
4
|
|
100504
|
use 5.008001; |
|
4
|
|
|
|
|
13
|
|
2
|
4
|
|
|
4
|
|
19
|
use strict; |
|
4
|
|
|
|
|
7
|
|
|
4
|
|
|
|
|
69
|
|
3
|
4
|
|
|
4
|
|
20
|
use warnings; |
|
4
|
|
|
|
|
7
|
|
|
4
|
|
|
|
|
127
|
|
4
|
4
|
|
|
4
|
|
19
|
no warnings qw( uninitialized void once ); |
|
4
|
|
|
|
|
6
|
|
|
4
|
|
|
|
|
133
|
|
5
|
|
|
|
|
|
|
|
6
|
4
|
|
|
4
|
|
1307
|
use Devel::StrictMode (); |
|
4
|
|
|
|
|
1134
|
|
|
4
|
|
|
|
|
66
|
|
7
|
4
|
|
|
4
|
|
23
|
use Exporter::Tiny (); |
|
4
|
|
|
|
|
6
|
|
|
4
|
|
|
|
|
1925
|
|
8
|
|
|
|
|
|
|
|
9
|
|
|
|
|
|
|
package PerlX::Assert; |
10
|
|
|
|
|
|
|
|
11
|
|
|
|
|
|
|
our $AUTHORITY = 'cpan:TOBYINK'; |
12
|
|
|
|
|
|
|
our $VERSION = '0.905'; |
13
|
|
|
|
|
|
|
our @ISA = qw( Exporter::Tiny ); |
14
|
|
|
|
|
|
|
our @EXPORT = qw( assert ); |
15
|
|
|
|
|
|
|
|
16
|
|
|
|
|
|
|
our $NO_KEYWORD_API; |
17
|
|
|
|
|
|
|
my $IMPLEMENTATION; |
18
|
|
|
|
|
|
|
my %HINTS = (check => 1); |
19
|
|
|
|
|
|
|
|
20
|
|
|
|
|
|
|
# This functionality probably needs to be added to |
21
|
|
|
|
|
|
|
# Exporter::Tiny itself. |
22
|
|
|
|
|
|
|
sub import |
23
|
|
|
|
|
|
|
{ |
24
|
9
|
|
|
9
|
|
750
|
my $me = shift; |
25
|
|
|
|
|
|
|
my $symbols = grep { |
26
|
9
|
|
|
|
|
19
|
ref($_) ? 0 : # refs are not symbols |
27
|
5
|
100
|
66
|
|
|
45
|
/\A[:-](\w+)\z/ && $HINTS{$1} ? 0 : # hints are not symbols |
|
|
100
|
|
|
|
|
|
28
|
|
|
|
|
|
|
1; # everything else is |
29
|
|
|
|
|
|
|
} @_; |
30
|
|
|
|
|
|
|
|
31
|
9
|
100
|
|
|
|
37
|
push @_, @EXPORT if $symbols == 0; |
32
|
|
|
|
|
|
|
|
33
|
9
|
50
|
|
|
|
31
|
my $globals = ref($_[0]) eq 'HASH' ? shift() : {}; |
34
|
9
|
|
|
|
|
22
|
unshift @_, $me, $globals; |
35
|
9
|
|
|
|
|
43
|
goto \&Exporter::Tiny::import; |
36
|
|
|
|
|
|
|
} |
37
|
|
|
|
|
|
|
|
38
|
|
|
|
|
|
|
sub _exporter_validate_opts |
39
|
|
|
|
|
|
|
{ |
40
|
9
|
|
|
9
|
|
821
|
my $me = shift; |
41
|
9
|
|
|
|
|
19
|
my ($globals) = @_; |
42
|
|
|
|
|
|
|
|
43
|
9
|
50
|
0
|
|
|
29
|
$IMPLEMENTATION ||= $me unless $me eq __PACKAGE__; |
44
|
|
|
|
|
|
|
$IMPLEMENTATION ||= eval { |
45
|
|
|
|
|
|
|
die if $NO_KEYWORD_API; |
46
|
|
|
|
|
|
|
require PerlX::Assert::Keyword; |
47
|
|
|
|
|
|
|
'PerlX::Assert::Keyword'; |
48
|
|
|
|
|
|
|
} |
49
|
9
|
|
33
|
|
|
29
|
|| do { |
|
|
|
66
|
|
|
|
|
50
|
|
|
|
|
|
|
require PerlX::Assert::DD; |
51
|
|
|
|
|
|
|
'PerlX::Assert::DD'; |
52
|
|
|
|
|
|
|
}; |
53
|
|
|
|
|
|
|
|
54
|
9
|
|
|
|
|
27
|
++$globals->{check} if Devel::StrictMode::STRICT; |
55
|
|
|
|
|
|
|
} |
56
|
|
|
|
|
|
|
|
57
|
|
|
|
|
|
|
sub _exporter_install_sub |
58
|
|
|
|
|
|
|
{ |
59
|
9
|
|
|
9
|
|
60
|
my $me = shift; |
60
|
9
|
|
|
|
|
21
|
my ($name, $value, $globals, $sym) = @_; |
61
|
|
|
|
|
|
|
|
62
|
|
|
|
|
|
|
# This is harder than it should be. :-( |
63
|
|
|
|
|
|
|
# A rather roundabout method for overwriting |
64
|
|
|
|
|
|
|
# the installation of the 'assert' function. |
65
|
9
|
50
|
33
|
|
|
53
|
if ($name eq 'assert' and not ref $globals->{into}) |
66
|
|
|
|
|
|
|
{ |
67
|
|
|
|
|
|
|
my $tmp = exists($globals->{installer}) |
68
|
9
|
50
|
|
|
|
26
|
? [ delete($globals->{installer}) ] |
69
|
|
|
|
|
|
|
: undef; |
70
|
|
|
|
|
|
|
$globals->{installer} = sub { |
71
|
9
|
|
|
9
|
|
347
|
$IMPLEMENTATION->_install_assert( |
72
|
|
|
|
|
|
|
$_[1][0], |
73
|
|
|
|
|
|
|
$globals, |
74
|
|
|
|
|
|
|
); |
75
|
9
|
|
|
|
|
42
|
}; |
76
|
9
|
|
|
|
|
51
|
$me->SUPER::_exporter_install_sub(@_); |
77
|
|
|
|
|
|
|
$tmp |
78
|
|
|
|
|
|
|
? ($globals->{installer} = $tmp->[0]) |
79
|
9
|
50
|
|
|
|
327
|
: delete($globals->{installer}); |
80
|
9
|
|
|
|
|
28
|
return; |
81
|
|
|
|
|
|
|
} |
82
|
|
|
|
|
|
|
|
83
|
0
|
|
|
|
|
0
|
$me->SUPER::_exporter_install_sub(@_); |
84
|
|
|
|
|
|
|
} |
85
|
|
|
|
|
|
|
|
86
|
|
|
|
|
|
|
sub _generate_assert |
87
|
|
|
|
|
|
|
{ |
88
|
13
|
|
|
13
|
|
339
|
my $me = shift; |
89
|
13
|
|
|
|
|
33
|
my ($name, $args, $globals) = @_; |
90
|
|
|
|
|
|
|
|
91
|
0
|
|
|
0
|
|
0
|
return sub ($$) { 0 } |
92
|
13
|
100
|
|
|
|
89
|
unless $globals->{check}; |
93
|
|
|
|
|
|
|
|
94
|
|
|
|
|
|
|
return sub ($$) { |
95
|
0
|
0
|
|
0
|
|
|
my ($desc, $value) = @_==1 ? (undef, @_) : @_; |
96
|
0
|
0
|
|
|
|
|
return if $value; |
97
|
0
|
|
|
|
|
|
require Carp; |
98
|
0
|
0
|
|
|
|
|
Carp::croak(sprintf(q[Assertion failed: %s], $desc)) if defined $desc; |
99
|
0
|
|
|
|
|
|
Carp::croak(sprintf(q[Assertion failed])); |
100
|
3
|
|
|
|
|
24
|
}; |
101
|
|
|
|
|
|
|
} |
102
|
|
|
|
|
|
|
|
103
|
|
|
|
|
|
|
*assert = __PACKAGE__->_generate_assert(assert => {}, {}); |
104
|
|
|
|
|
|
|
|
105
|
|
|
|
|
|
|
__PACKAGE__ |
106
|
|
|
|
|
|
|
__END__ |
107
|
|
|
|
|
|
|
|
108
|
|
|
|
|
|
|
=pod |
109
|
|
|
|
|
|
|
|
110
|
|
|
|
|
|
|
=encoding utf-8 |
111
|
|
|
|
|
|
|
|
112
|
|
|
|
|
|
|
=for stopwords backported |
113
|
|
|
|
|
|
|
|
114
|
|
|
|
|
|
|
=head1 NAME |
115
|
|
|
|
|
|
|
|
116
|
|
|
|
|
|
|
PerlX::Assert - yet another assertion keyword |
117
|
|
|
|
|
|
|
|
118
|
|
|
|
|
|
|
=head1 SYNOPSIS |
119
|
|
|
|
|
|
|
|
120
|
|
|
|
|
|
|
use PerlX::Assert; |
121
|
|
|
|
|
|
|
|
122
|
|
|
|
|
|
|
assert { 1 >= 10 }; |
123
|
|
|
|
|
|
|
|
124
|
|
|
|
|
|
|
=head1 DESCRIPTION |
125
|
|
|
|
|
|
|
|
126
|
|
|
|
|
|
|
PerlX::Assert is a framework for embedding assertions in Perl code. |
127
|
|
|
|
|
|
|
Under normal circumstances, assertions are not checked; they are |
128
|
|
|
|
|
|
|
optimized away at compile time. |
129
|
|
|
|
|
|
|
|
130
|
|
|
|
|
|
|
However if, at compile time, any of the following environment variables |
131
|
|
|
|
|
|
|
is true, assertions are checked, and if they fail, throw an exception. |
132
|
|
|
|
|
|
|
|
133
|
|
|
|
|
|
|
=over |
134
|
|
|
|
|
|
|
|
135
|
|
|
|
|
|
|
=item * |
136
|
|
|
|
|
|
|
|
137
|
|
|
|
|
|
|
C<PERL_STRICT> |
138
|
|
|
|
|
|
|
|
139
|
|
|
|
|
|
|
=item * |
140
|
|
|
|
|
|
|
|
141
|
|
|
|
|
|
|
C<AUTHOR_TESTING> |
142
|
|
|
|
|
|
|
|
143
|
|
|
|
|
|
|
=item * |
144
|
|
|
|
|
|
|
|
145
|
|
|
|
|
|
|
C<EXTENDED_TESTING> |
146
|
|
|
|
|
|
|
|
147
|
|
|
|
|
|
|
=item * |
148
|
|
|
|
|
|
|
|
149
|
|
|
|
|
|
|
C<RELEASE_TESTING> |
150
|
|
|
|
|
|
|
|
151
|
|
|
|
|
|
|
=back |
152
|
|
|
|
|
|
|
|
153
|
|
|
|
|
|
|
That is, assertions will only typically be checked when the test suite |
154
|
|
|
|
|
|
|
is being run on the authors' machine, or otherwise opted into. |
155
|
|
|
|
|
|
|
|
156
|
|
|
|
|
|
|
The exact decision logic can be found in L<Devel::StrictMode>. |
157
|
|
|
|
|
|
|
|
158
|
|
|
|
|
|
|
You can also force assertions to be checked using: |
159
|
|
|
|
|
|
|
|
160
|
|
|
|
|
|
|
use PerlX::Assert -check; |
161
|
|
|
|
|
|
|
|
162
|
|
|
|
|
|
|
There are four syntaxes for expressing assertions: |
163
|
|
|
|
|
|
|
|
164
|
|
|
|
|
|
|
assert EXPR; |
165
|
|
|
|
|
|
|
assert { BLOCK }; |
166
|
|
|
|
|
|
|
assert "name", EXPR; |
167
|
|
|
|
|
|
|
assert "name" { BLOCK }; |
168
|
|
|
|
|
|
|
|
169
|
|
|
|
|
|
|
Assertions can be named, which is probably a good idea because this |
170
|
|
|
|
|
|
|
module (and the rest of Moops) screws up Perl's reporting of line |
171
|
|
|
|
|
|
|
numbers. Names must be a quoted string (single or double quotes, or |
172
|
|
|
|
|
|
|
the C<q> or C<qq> quote-like operators); general expressions are not |
173
|
|
|
|
|
|
|
supported because L<Text::Balanced> is used to parse the assertion |
174
|
|
|
|
|
|
|
name. An assertion is a statement, so must be followed by a semicolon |
175
|
|
|
|
|
|
|
unless it's the last statement in a block. |
176
|
|
|
|
|
|
|
|
177
|
|
|
|
|
|
|
PerlX::Assert was originally distributed as part of L<Moops>, but was |
178
|
|
|
|
|
|
|
fairly independent of the rest of it, and has been spun off as a |
179
|
|
|
|
|
|
|
separate release, and backported to Perl 5.8.1. |
180
|
|
|
|
|
|
|
|
181
|
|
|
|
|
|
|
Assertions that span multiple lines are very likely to cause problems |
182
|
|
|
|
|
|
|
on versions of Perl prior to 5.12. If the C<assert> keyword, the |
183
|
|
|
|
|
|
|
entire name, and the start of the expression or block are all on the |
184
|
|
|
|
|
|
|
same line, this should be sufficient. |
185
|
|
|
|
|
|
|
|
186
|
|
|
|
|
|
|
=head1 BUGS |
187
|
|
|
|
|
|
|
|
188
|
|
|
|
|
|
|
Please report any bugs to |
189
|
|
|
|
|
|
|
L<http://rt.cpan.org/Dist/Display.html?Queue=PerlX-Assert>. |
190
|
|
|
|
|
|
|
|
191
|
|
|
|
|
|
|
=head1 SEE ALSO |
192
|
|
|
|
|
|
|
|
193
|
|
|
|
|
|
|
L<Devel::Assert>, L<Carp::Assert>. |
194
|
|
|
|
|
|
|
|
195
|
|
|
|
|
|
|
=head1 AUTHOR |
196
|
|
|
|
|
|
|
|
197
|
|
|
|
|
|
|
Toby Inkster E<lt>tobyink@cpan.orgE<gt>. |
198
|
|
|
|
|
|
|
|
199
|
|
|
|
|
|
|
=head1 COPYRIGHT AND LICENCE |
200
|
|
|
|
|
|
|
|
201
|
|
|
|
|
|
|
This software is copyright (c) 2013-2014 by Toby Inkster. |
202
|
|
|
|
|
|
|
|
203
|
|
|
|
|
|
|
This is free software; you can redistribute it and/or modify it under |
204
|
|
|
|
|
|
|
the same terms as the Perl 5 programming language system itself. |
205
|
|
|
|
|
|
|
|
206
|
|
|
|
|
|
|
=head1 DISCLAIMER OF WARRANTIES |
207
|
|
|
|
|
|
|
|
208
|
|
|
|
|
|
|
THIS PACKAGE IS PROVIDED "AS IS" AND WITHOUT ANY EXPRESS OR IMPLIED |
209
|
|
|
|
|
|
|
WARRANTIES, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTIES OF |
210
|
|
|
|
|
|
|
MERCHANTIBILITY AND FITNESS FOR A PARTICULAR PURPOSE. |