This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
op.c: Remove dummy code from const_sv_xsub
[perl5.git] / t / porting / podcheck.t
CommitLineData
a67b1afa 1#!/usr/bin/perl -w
f7b649f0 2
faeaf995
FC
3BEGIN {
4 chdir 't';
5 unshift @INC, "../lib";
6}
7
a67b1afa 8use strict;
16384ac1
KW
9use warnings;
10use feature 'unicode_strings';
11
12use Carp;
de4da25d 13use Config;
16384ac1
KW
14use Digest;
15use File::Find;
16use File::Spec;
17use Scalar::Util;
18use Text::Tabs;
19
20BEGIN {
21 require '../regen/regen_lib.pl';
22}
23
24sub DEBUG { 0 };
25
26=pod
27
28=head1 NAME
29
30podcheck.t - Look for possible problems in the Perl pods
31
32=head1 SYNOPSIS
33
34 cd t
d9e2eb4b
KW
35 ./perl -I../lib porting/podcheck.t [--show_all] [--cpan] [--deltas]
36 [--counts] [ FILE ...]
477100f8
KW
37 ./perl -I../lib porting/podcheck.t --add_link MODULE ...
38
16384ac1
KW
39 ./perl -I../lib porting/podcheck.t --regen
40
41=head1 DESCRIPTION
42
43podcheck.t is an extension of Pod::Checker. It looks for pod errors and
44potential errors in the files given as arguments, or if none specified, in all
bc20e6b8
KW
45pods in the distribution workspace, except certain known special ones
46(specified below). It does additional checking beyond that done by
16384ac1
KW
47Pod::Checker, and keeps a database of known potential problems, and will
48fail a pod only if the number of such problems differs from that given in the
49database. It also suppresses the C<(section) deprecated> message from
50Pod::Checker, since specifying the man page section number is quite proper to do.
51
52The additional checks it makes are:
53
54=over
55
56=item Cross-pod link checking
57
58Pod::Checker verifies that links to an internal target in a pod are not
59broken. podcheck.t extends that (when called without FILE arguments) to
60external links. It does this by gathering up all the possible targets in the
477100f8
KW
61workspace, and cross-checking them. It also checks that a non-broken link
62points to just one target. (The destination pod could have two targets with
63the same name.)
64
65The way that the C<LE<lt>E<gt>> pod command works (for links outside the pod)
66is to actually create a link to C<search.cpan.org> with an embedded query for
67the desired pod or man page. That means that links outside the distribution
68are valid. podcheck.t doesn't verify the validity of such links, but instead
69keeps a data base of those known to be valid. This means that if a link to a
70target not on the list is created, the target needs to be added to the data
71base. This is accomplished via the L<--add_link|/--add_link MODULE ...>
72option to podcheck.t, described below.
16384ac1
KW
73
74=item An internal link that isn't so specified
75
76If a link is broken, but there is an existing internal target of the same
77name, it is likely that the internal target was meant, and the C<"/"> is
78missing from the C<LE<lt>E<gt>> pod command.
79
b879da0f 80=item Verbatim paragraphs that wrap in an 80 (including 1 spare) column window
16384ac1
KW
81
82It's annoying to have lines wrap when displaying pod documentation in a
b879da0f
KW
83terminal window. This checks that all verbatim lines fit in a standard 80
84column window, even when using a pager that reserves a column for its own use.
85(Thus the check is for a net of 79 columns.)
5b1cac40 86For those lines that don't fit, it tells you how much needs to be cut in
b879da0f 87order to fit.
16384ac1
KW
88
89Often, the easiest thing to do to gain space for these is to lower the indent
90to just one space.
91
92=item Missing or duplicate NAME or missing NAME short description
93
94A pod can't be linked to unless it has a unique name.
95And a NAME should have a dash and short description after it.
96
97=item =encoding statement issues
98
99This indicates if an C<=encoding> statement should be present, or moved to the
100front of the pod.
101
102=item Items that perhaps should be links
103
104There are mentions of apparent files in the pods that perhaps should be links
105instead, using C<LE<lt>...E<gt>>
106
107=item Items that perhaps should be C<FE<lt>...E<gt>>
108
109What look like path names enclosed in C<CE<lt>...E<gt>> should perhaps have
110C<FE<lt>...E<gt>> mark-up instead.
111
112=back
113
114A number of issues raised by podcheck.t and by the base Pod::Checker are not
bc20e6b8
KW
115really problems, but merely potential problems, that is, false positives.
116After inspecting them and
16384ac1 117deciding that they aren't real problems, it is possible to shut up this program
204c2383
KW
118about them, unlike base Pod::Checker. For a valid link to an outside module
119or man page, call podcheck.t with the C<--add_link> option to add it to the
120the database of known links; for other causes, call podcheck.t with the C<--regen>
121option to regenerate the entire database. This tells it that all existing
16384ac1
KW
122issues are to not be mentioned again.
123
204c2383 124C<--regen> isn't fool-proof. The database merely keeps track of the number of these
16384ac1
KW
125potential problems of each type for each pod. If a new problem of a given
126type is introduced into the pod, podcheck.t will spit out all of them. You
127then have to figure out which is the new one, and should it be changed or not.
128But doing it this way insulates the database from having to keep track of line
129numbers of problems, which may change, or the exact wording of each problem
130which might also change without affecting whether it is a problem or not.
131
132Also, if the count of potential problems of a given type for a pod decreases,
133the database must be regenerated so that it knows the new number. The program
134gives instructions when this happens.
135
bc20e6b8
KW
136Some pods will have varying numbers of problems of a given type. This can
137be handled by manually editing the database file (see L</FILES>), and setting
138the number of those problems for that pod to a negative number. This will
139cause the corresponding error to always be suppressed no matter how many there
140actually are.
141
204c2383
KW
142Another problem is that there is currently no check that modules listed as
143valid in the data base
16384ac1
KW
144actually are. Thus any errors introduced there will remain there.
145
bc20e6b8
KW
146=head2 Specially handled pods
147
148=over
149
150=item perltoc
151
152This pod is generated by pasting bits from other pods. Errors in those bits
153will show up as errors here, as well as for those other pods. Therefore
154errors here are suppressed, and the pod is checked only to verify that nodes
204c2383 155within it actually exist that are externally linked to.
bc20e6b8
KW
156
157=item perldelta
158
159The current perldelta pod is initialized from a template that contains
160placeholder text. Some of this text is in the form of links that don't really
161exist. Any such links that are listed in C<@perldelta_ignore_links> will not
162generate messages. It is presumed that these links will be cleaned up when
163the perldelta is cleaned up for release since they should be marked with
164C<XXX>.
165
166=item Porting/perldelta_template.pod
167
168This is not a pod, but a template for C<perldelta>. Any errors introduced
169here will show up when C<perldelta> is created from it.
170
171=item cpan-upstream pods
172
173See the L</--cpan> option documentation
174
175=item old perldeltas
176
177See the L</--deltas> option documentation
178
179=back
180
16384ac1
KW
181=head1 OPTIONS
182
183=over
184
477100f8
KW
185=item --add_link MODULE ...
186
187Use this option to teach podcheck.t that the C<MODULE>s or man pages actually
188exist, and to silence any messages that links to them are broken.
189
190podcheck.t checks that links within the Perl core distribution are valid, but
191it doesn't check links to man pages or external modules. When it finds
192a broken link, it checks its data base of external modules and man pages,
193and only if not found there does it raise a message. This option just adds
194the list of modules and man page references that follow it on the command line
195to that data base.
196
197For example,
198
199 cd t
243a655d 200 ./perl -I../lib porting/podcheck.t --add_link Unicode::Casing
477100f8
KW
201
202causes the external module "Unicode::Casing" to be added to the data base, so
12b4b03c 203C<LE<lt>Unicode::CasingE<gt>> will be considered valid.
477100f8 204
16384ac1
KW
205=item --regen
206
207Regenerate the data base used by podcheck.t to include all the existing
208potential problems. Future runs of the program will not then flag any of
209these.
210
211=item --cpan
212
213Normally, all pods in the cpan directory are skipped, except to make sure that
214any blead-upstream links to such pods are valid.
bc20e6b8 215This option will cause cpan upstream pods to be fully checked.
16384ac1 216
d9e2eb4b
KW
217=item --deltas
218
219Normally, all old perldelta pods are skipped, except to make sure that
220any links to such pods are valid. This is because they are considered
221stable, and perhaps trying to fix them will cause changes that will
bc20e6b8
KW
222misrepresent Perl's history. But, this option will cause them to be fully
223checked.
d9e2eb4b 224
16384ac1
KW
225=item --show_all
226
227Normally, if the number of potential problems of a given type found for a
228pod matches the expected value in the database, they will not be displayed.
229This option forces the database to be ignored during the run, so all potential
230problems are displayed and will fail their respective pod test. Specifying
231any particular FILES to operate on automatically selects this option.
232
233=item --counts
234
235Instead of testing, this just dumps the counts of the occurrences of the
236various types of potential problems in the data base.
237
238=back
239
240=head1 FILES
241
242The database is stored in F<t/porting/known_pod_issues.dat>
243
244=head1 SEE ALSO
245
246L<Pod::Checker>
247
248=cut
249
ae54198b
KW
250# VMS builds have a '.com' appended to utility and script names, and it adds a
251# trailing dot for any other file name that doesn't have a dot in it. The db
252# is stored without those things. This regex allows for these special file
253# names to be dealt with. It needs to be interpolated into a larger regex
254# that furnishes the closing boundary.
255my $vms_re = qr/ \. (?: com )? /x;
256
257# Some filenames in the MANIFEST match $vms_re, and so must not be handled the
258# same way that that the special vms ones are. This hash lists those.
259my %special_vms_files;
260
21b63541
KW
261# This is to get this to work across multiple file systems, including those
262# that are not case sensitive. The db is stored in lower case, Un*x style,
263# and all file name comparisons are done that way.
264sub canonicalize($) {
265 my $input = shift;
266 my ($volume, $directories, $file)
267 = File::Spec->splitpath(File::Spec->canonpath($input));
268 # Assumes $volume is constant for everything in this directory structure
269 $directories = "" if ! $directories;
270 $file = "" if ! $file;
ae54198b
KW
271 $file = lc join '/', File::Spec->splitdir($directories), $file;
272 $file =~ s! / /+ !/!gx; # Multiple slashes => single slash
273
274 # The db is stored without the special suffixes that are there in VMS, so
275 # strip them off to get the comparable name. But some files on all
276 # platforms have these suffixes, so this shouldn't happen for them, as any
277 # of their db entries will have the suffixes in them. The hash has been
278 # populated with these files.
279 if ($^O eq 'VMS'
280 && $file =~ / ( $vms_re ) $ /x
281 && ! exists $special_vms_files{$file})
282 {
283 $file =~ s/ $1 $ //x;
284 }
285 return $file;
21b63541
KW
286}
287
16384ac1
KW
288#####################################################
289# HOW IT WORKS (in general)
290#
291# If not called with specific files to check, the directory structure is
292# examined for files that have pods in them. Files that might not have to be
293# fully parsed (e.g. in cpan) are parsed enough at this time to find their
294# pod's NAME, and to get a checksum.
295#
296# Those kinds of files are sorted last, but otherwise the pods are parsed with
297# the package coded here, My::Pod::Checker, which is an extension to
298# Pod::Checker that adds some tests and suppresses others that aren't
299# appropriate. The latter module has no provision for capturing diagnostics,
300# so a package, Tie_Array_to_FH, is used to force them to be placed into an
301# array instead of printed.
302#
303# Parsing the files builds up a list of links. The files are gone through
304# again, doing cross-link checking and outputting all saved-up problems with
305# each pod.
306#
307# Sorting the files last that potentially don't need to be fully parsed allows
308# us to not parse them unless there is a link to an internal anchor in them
309# from something that we have already parsed. Keeping checksums allows us to
310# not parse copies of other pods.
311#
312#####################################################
313
314# 1 => Exclude low priority messages that aren't likely to be problems, and
315# has many false positives; higher numbers give more messages.
316my $Warnings_Level = 200;
317
b9b741c8
KW
318# perldelta during construction may have place holder links. N.B. This
319# variable is referred to by name in release_managers_guide.pod
2feebde0 320our @perldelta_ignore_links = ( "XXX", "perl5YYYdelta", "perldiag/message" );
1c01047d 321
16384ac1
KW
322# To see if two pods with the same NAME are actually copies of the same pod,
323# which is not an error, it uses a checksum to save work.
324my $digest_type = "SHA-1";
325
326my $original_dir = File::Spec->rel2abs(File::Spec->curdir);
327my $data_dir = File::Spec->catdir($original_dir, 'porting');
328my $known_issues = File::Spec->catfile($data_dir, 'known_pod_issues.dat');
c3e757a4 329my $MANIFEST = File::Spec->catfile(File::Spec->updir($original_dir), 'MANIFEST');
16384ac1
KW
330my $copy_fh;
331
f26da014 332my $MAX_LINE_LENGTH = 100; # 79 columns
46b134f4 333my $INDENT = 7; # default nroff indent
16384ac1
KW
334
335# Our warning messages. Better not have [('"] in them, as those are used as
336# delimiters for variable parts of the messages by poderror.
337my $line_length = "Verbatim line length including indents exceeds $MAX_LINE_LENGTH by";
338my $broken_link = "Apparent broken link";
339my $broken_internal_link = "Apparent internal link is missing its forward slash";
16384ac1
KW
340my $multiple_targets = "There is more than one target";
341my $duplicate_name = "Pod NAME already used";
342my $need_encoding = "Should have =encoding statement because have non-ASCII";
343my $encoding_first = "=encoding must be first command (if present)";
344my $no_name = "There is no NAME";
345my $missing_name_description = "The NAME should have a dash and short description after it";
346
7f8d58fb 347# objects, tests, etc can't be pods, so don't look for them. Also skip
a71e7b2c
KW
348# files output by the patch program. Could also ignore most of .gitignore
349# files, but not all, so don't.
de4da25d
CB
350
351my $obj_ext = $Config{'obj_ext'}; $obj_ext =~ tr/.//d; # dot will be added back
352my $lib_ext = $Config{'lib_ext'}; $lib_ext =~ tr/.//d;
353my $lib_so = $Config{'so'}; $lib_so =~ tr/.//d;
354my $dl_ext = $Config{'dlext'}; $dl_ext =~ tr/.//d;
355
6981f6e4
KW
356# Not really pods, but can look like them.
357my %excluded_files = (
c841a192 358 canonicalize("lib/unicore/mktables") => 1,
a9df55d5 359 canonicalize("Porting/make-rmg-checklist") => 1,
c841a192 360 canonicalize("Porting/perldelta_template.pod") => 1,
e233f0c5 361 canonicalize("regen/feature.pl") => 1,
c841a192
KW
362 canonicalize("autodoc.pl") => 1,
363 canonicalize("configpm") => 1,
364 canonicalize("miniperl") => 1,
365 canonicalize("perl") => 1,
00e518b3
FR
366 canonicalize('cpan/Pod-Perldoc/corpus/no-head.pod') => 1,
367 canonicalize('cpan/Pod-Perldoc/corpus/perlfunc.pod') => 1,
368 canonicalize('cpan/Pod-Perldoc/corpus/utf8.pod') => 1,
9c3bdfaf 369 canonicalize("lib/unicore/mktables") => 1,
6981f6e4
KW
370 );
371
df80274d
KW
372# This list should not include anything for which case sensitivity is
373# important, as it won't work on VMS, and won't show up until tested on VMS.
c3e757a4
KW
374# All or almost all such files should be listed in the MANIFEST, so that can
375# be examined for them, and each such file explicitly excluded, as is done for
376# .PL files in the loop just below this. For files not catchable this way,
377# is_pod_file() can be used to exclude these at a finer grained level.
a71e7b2c 378my $non_pods = qr/ (?: \.
df80274d 379 (?: [achot] | zip | gz | bz2 | jar | tar | tgz
a71e7b2c
KW
380 | orig | rej | patch # Patch program output
381 | sw[op] | \#.* # Editor droppings
a65bcb92 382 | old # buildtoc output
de4da25d
CB
383 | xs # pod should be in the .pm file
384 | al # autosplit files
385 | bs # bootstrap files
386 | (?i:sh) # shell scripts, hints, templates
387 | lst # assorted listing files
388 | bat # Windows,Netware,OS2 batch files
389 | cmd # Windows,Netware,OS2 command files
390 | lis # VMS compiler listings
391 | map # VMS linker maps
392 | opt # VMS linker options files
393 | mms # MM(K|S) description files
394 | ts # timestamp files generated during build
395 | $obj_ext # object files
396 | exe # $Config{'exe_ext'} might be empty string
397 | $lib_ext # object libraries
398 | $lib_so # shared libraries
399 | $dl_ext # dynamic libraries
51e1fe85 400 | gif # GIF images (example files from CGI.pm)
29a45343 401 | eg # examples from libnet
a71e7b2c
KW
402 )
403 $
e0a28d18 404 ) | ~$ | \ \(Autosaved\)\.txt$ # Other editor droppings
de4da25d
CB
405 | ^cxx\$demangler_db\.$ # VMS name mangler database
406 | ^typemap\.?$ # typemap files
407 | ^(?i:Makefile\.PL)$
a71e7b2c 408 /x;
16384ac1 409
c3e757a4
KW
410# '.PL' files should be excluded, as they aren't final pods, but often contain
411# material used in generating pods, and so can look like a pod. We can't use
412# the regexp above because case sensisitivity is important for these, as some
413# '.pl' files should be examined for pods. Instead look through the MANIFEST
414# for .PL files and get their full path names, so we can exclude each such
415# file explicitly. This works because other porting tests prohibit having two
416# files with the same names except for case.
417open my $manifest_fh, '<:bytes', $MANIFEST or die "Can't open $MANIFEST";
418while (<$manifest_fh>) {
ae54198b
KW
419
420 # While we have MANIFEST open, on VMS platforms, look for files that match
421 # the magic VMS file names that have to be handled specially. Add these
422 # to the list of them.
423 if ($^O eq 'VMS' && / ^ ( [^\t]* $vms_re ) \t /x) {
424 $special_vms_files{$1} = 1;
425 }
c3e757a4
KW
426 if (/ ^ ( [^\t]* \. PL ) \t /x) {
427 $excluded_files{canonicalize($1)} = 1;
428 }
429}
430close $manifest_fh, or die "Can't close $MANIFEST";
431
16384ac1
KW
432
433# Pod::Checker messages to suppress
434my @suppressed_messages = (
435 "(section) in", # Checker is wrong to flag this
436 "multiple occurrence of link target", # We catch independently the ones
437 # that are real problems.
438 "unescaped <>",
19f4a855 439 "Entity number out of range", # Checker outputs this for anything above
8505a15d 440 # 255, but in fact all Unicode is valid
b5902b6c 441 "No items in =over", # ie a blockquote
16384ac1
KW
442);
443
444sub suppressed {
445 # Returns bool as to if input message is one that is to be suppressed
446
447 my $message = shift;
448 return grep { $message =~ /^\Q$_/i } @suppressed_messages;
449}
450
451{ # Closure to contain a simple subset of test.pl. This is to get rid of the
452 # unnecessary 'failed at' messages that would otherwise be output pointing
453 # to a particular line in this file.
a67b1afa 454
16384ac1
KW
455 my $current_test = 0;
456 my $planned;
457
458 sub plan {
459 my %plan = @_;
da33abaf
KW
460 $planned = $plan{tests} + 1; # +1 for final test that files haven't
461 # been removed
16384ac1
KW
462 print "1..$planned\n";
463 return;
464 }
465
466 sub ok {
467 my $success = shift;
468 my $message = shift;
469
470 chomp $message;
471
472 $current_test++;
473 print "not " unless $success;
474 print "ok $current_test - $message\n";
ef436c1f 475 return $success;
16384ac1
KW
476 }
477
478 sub skip {
479 my $why = shift;
480 my $n = @_ ? shift : 1;
481 for (1..$n) {
482 $current_test++;
483 print "ok $current_test # skip $why\n";
484 }
485 no warnings 'exiting';
486 last SKIP;
487 }
488
489 sub note {
490 my $message = shift;
491
492 chomp $message;
493
494 print $message =~ s/^/# /mgr;
495 print "\n";
496 return;
497 }
498
499 END {
500 if ($planned && $planned != $current_test) {
501 print STDERR
502 "# Looks like you planned $planned tests but ran $current_test.\n";
503 }
504 }
505}
506
16384ac1
KW
507# List of known potential problems by pod and type.
508my %known_problems;
509
510# Pods given by the keys contain an interior node that is referred to from
511# outside it.
512my %has_referred_to_node;
513
514my $show_counts = 0;
515my $regen = 0;
477100f8 516my $add_link = 0;
16384ac1
KW
517my $show_all = 0;
518
d9e2eb4b
KW
519my $do_upstream_cpan = 0; # Assume that are to skip anything in /cpan
520my $do_deltas = 0; # And stable perldeltas
16384ac1
KW
521
522while (@ARGV && substr($ARGV[0], 0, 1) eq '-') {
523 my $arg = shift @ARGV;
524
525 $arg =~ s/^--/-/; # Treat '--' the same as a single '-'
526 if ($arg eq '-regen') {
527 $regen = 1;
528 }
477100f8
KW
529 elsif ($arg eq '-add_link') {
530 $add_link = 1;
531 }
16384ac1
KW
532 elsif ($arg eq '-cpan') {
533 $do_upstream_cpan = 1;
534 }
d9e2eb4b
KW
535 elsif ($arg eq '-deltas') {
536 $do_deltas = 1;
537 }
16384ac1
KW
538 elsif ($arg eq '-show_all') {
539 $show_all = 1;
540 }
541 elsif ($arg eq '-counts') {
542 $show_counts = 1;
543 }
544 else {
545 die <<EOF;
546Unknown option '$arg'
547
477100f8
KW
548Usage: $0 [ --regen | --cpan | --show_all | FILE ... | --add_link MODULE ... ]\n"
549 --add_link -> Add the MODULE and man page references to the data base
16384ac1 550 --regen -> Regenerate the data file for $0
477100f8 551 --cpan -> Include files in the cpan subdirectory.
d9e2eb4b 552 --deltas -> Include stable perldeltas
16384ac1
KW
553 --show_all -> Show all known potential problems
554 --counts -> Don't test, but give summary counts of the currently
555 existing database
556EOF
557 }
558}
559
560my @files = @ARGV;
561
d9e2eb4b
KW
562my $cpan_or_deltas = $do_upstream_cpan || $do_deltas;
563if (($regen + $show_all + $show_counts + $add_link + $cpan_or_deltas ) > 1) {
564 croak "--regen, --show_all, --counts, and --add_link are mutually exclusive\n and none can be run with --cpan nor --deltas";
16384ac1
KW
565}
566
567my $has_input_files = @files;
568
8c791efd
KW
569
570if ($add_link) {
571 if (! $has_input_files) {
572 croak "--add_link requires at least one module or man page reference";
573 }
574}
575elsif ($has_input_files) {
83ced756
KW
576 if ($regen || $show_counts || $do_upstream_cpan || $do_deltas) {
577 croak "--regen, --counts, --deltas, and --cpan can't be used since using specific files";
578 }
579 foreach my $file (@files) {
580 croak "Can't read file '$file'" if ! -r $file;
581 }
16384ac1
KW
582}
583
584our %problems; # potential problems found in this run
585
586package My::Pod::Checker { # Extend Pod::Checker
a67b1afa
MM
587 use parent 'Pod::Checker';
588
16384ac1
KW
589 # Uses inside out hash to protect from typos
590 # For new fields, remember to add to destructor DESTROY()
591 my %indents; # Stack of indents from =over's in effect for
592 # current line
593 my %current_indent; # Current line's indent
594 my %filename; # The pod is store in this file
595 my %skip; # is SKIP set for this pod
596 my %in_NAME; # true if within NAME section
597 my %in_begin; # true if within =begin section
598 my %linkable_item; # Bool: if the latest =item is linkable. It isn't
599 # for bullet and number lists
600 my %linkable_nodes; # Pod::Checker adds all =items to its node list,
601 # but not all =items are linkable to
602 my %seen_encoding_cmd; # true if have =encoding earlier
603 my %command_count; # Number of commands seen
604 my %seen_pod_cmd; # true if have =pod earlier
605 my %warned_encoding; # true if already have warned about =encoding
606 # problems
607
608 sub DESTROY {
609 my $addr = Scalar::Util::refaddr $_[0];
610 delete $command_count{$addr};
611 delete $current_indent{$addr};
612 delete $filename{$addr};
613 delete $in_begin{$addr};
614 delete $indents{$addr};
615 delete $in_NAME{$addr};
616 delete $linkable_item{$addr};
617 delete $linkable_nodes{$addr};
618 delete $seen_encoding_cmd{$addr};
619 delete $seen_pod_cmd{$addr};
620 delete $skip{$addr};
621 delete $warned_encoding{$addr};
622 return;
623 }
624
625 sub new {
626 my $class = shift;
627 my $filename = shift;
628
629 my $self = $class->SUPER::new(-quiet => 1,
630 -warnings => $Warnings_Level);
631 my $addr = Scalar::Util::refaddr $self;
632 $command_count{$addr} = 0;
633 $current_indent{$addr} = 0;
634 $filename{$addr} = $filename;
635 $in_begin{$addr} = 0;
636 $in_NAME{$addr} = 0;
637 $linkable_item{$addr} = 0;
638 $seen_encoding_cmd{$addr} = 0;
639 $seen_pod_cmd{$addr} = 0;
640 $warned_encoding{$addr} = 0;
641 return $self;
642 }
643
644 # re's for messages that Pod::Checker outputs
645 my $location = qr/ \b (?:in|at|on|near) \s+ /xi;
646 my $optional_location = qr/ (?: $location )? /xi;
3cb68c65 647 my $line_reference = qr/ [('"]? $optional_location \b line \s+
16384ac1
KW
648 (?: \d+ | EOF | \Q???\E | - )
649 [)'"]? /xi;
650
651 sub poderror { # Called to register a potential problem
652
653 # This adds an extra field to the parent hash, 'parameter'. It is
654 # used to extract the variable parts of a message leaving just the
655 # constant skeleton. This in turn allows the message to be
656 # categorized better, so that it shows up as a single type in our
657 # database, with the specifics of each occurrence not being stored with
658 # it.
659
660 my $self = shift;
661 my $opts = shift;
662
663 my $addr = Scalar::Util::refaddr $self;
664 return if $skip{$addr};
665
666 # Input can be a string or hash. If a string, parse it to separate
667 # out the line number and convert to a hash for easier further
668 # processing
669 my $message;
670 if (ref $opts ne 'HASH') {
671 $message = join "", $opts, @_;
672 my $line_number;
673 if ($message =~ s/\s*($line_reference)//) {
674 ($line_number = $1) =~ s/\s*$optional_location//;
675 }
676 else {
677 $line_number = '???';
678 }
679 $opts = { -msg => $message, -line => $line_number };
680 } else {
681 $message = $opts->{'-msg'};
682
683 }
684
685 $message =~ s/^\d+\s+//;
686 return if main::suppressed($message);
687
688 $self->SUPER::poderror($opts, @_);
689
690 $opts->{parameter} = "" unless $opts->{parameter};
691
692 # The variable parts of the message tend to be enclosed in '...',
693 # "....", or (...). Extract them and put them in an extra field,
694 # 'parameter'. This is trickier because the matching delimiter to a
695 # '(' is its mirror, and not itself. Text::Balanced could be used
696 # instead.
697 while ($message =~ m/ \s* $optional_location ( [('"] )/xg) {
698 my $delimiter = $1;
699 my $start = $-[0];
700 $delimiter = ')' if $delimiter eq '(';
701
702 # If there is no ending delimiter, don't consider it to be a
703 # variable part. Most likely it is a contraction like "Don't"
704 last unless $message =~ m/\G .+? \Q$delimiter/xg;
705
706 my $length = $+[0] - $start;
707
708 # Get the part up through the closing delimiter
709 my $special = substr($message, $start, $length);
710 $special =~ s/^\s+//; # No leading whitespace
711
712 # And add that variable part to the parameter, while removing it
713 # from the message. This isn't a foolproof way of finding the
714 # variable part. For example '(s)' can occur in e.g.,
715 # 'paragraph(s)'
716 if ($special ne '(s)') {
717 substr($message, $start, $length) = "";
718 pos $message = $start;
719 $opts->{-msg} = $message;
720 $opts->{parameter} .= " " if $opts->{parameter};
721 $opts->{parameter} .= $special;
722 }
723 }
724
725 # Extract any additional line number given. This is often the
726 # beginning location of something whereas the main line number gives
727 # the ending one.
728 if ($message =~ /( $line_reference )/xi) {
729 my $line_ref = $1;
730 while ($message =~ s/\s*\Q$line_ref//) {
731 $opts->{-msg} = $message;
732 $opts->{parameter} .= " " if $opts->{parameter};
733 $opts->{parameter} .= $line_ref;
734 }
735 }
736
b3fdb838 737 Carp::carp("Couldn't extract line number from '$message'") if $message =~ /line \d+/;
16384ac1
KW
738 push @{$problems{$filename{$addr}}{$message}}, $opts;
739 #push @{$problems{$self->get_filename}{$message}}, $opts;
740 }
741
742 sub check_encoding { # Does it need an =encoding statement?
743 my ($self, $paragraph, $line_num, $pod_para) = @_;
744
745 # Do nothing if there is an =encoding in the file, or if the line
746 # doesn't require an =encoding, or have already warned.
747 my $addr = Scalar::Util::refaddr $self;
748 return if $seen_encoding_cmd{$addr}
749 || $warned_encoding{$addr}
750 || $paragraph !~ /\P{ASCII}/;
751
752 $warned_encoding{$addr} = 1;
753 my ($file, $line) = $pod_para->file_line;
754 $self->poderror({ -line => $line, -file => $file,
755 -msg => $need_encoding
756 });
757 return;
758 }
759
760 sub verbatim {
761 my ($self, $paragraph, $line_num, $pod_para) = @_;
762 $self->check_encoding($paragraph, $line_num, $pod_para);
763
764 $self->SUPER::verbatim($paragraph, $line_num, $pod_para);
765
2592f3b8
DG
766 my $addr = Scalar::Util::refaddr $self;
767
16384ac1
KW
768 # Pick up the name, since the parent class doesn't in verbatim
769 # NAMEs; so treat as non-verbatim. The parent class only allows one
770 # paragraph in a NAME section, so if there is an extra blank line, it
771 # will trigger a message, but such a blank line is harmless, so skip
772 # in that case.
2592f3b8 773 if ($in_NAME{$addr} && $paragraph =~ /\S/) {
16384ac1
KW
774 $self->textblock($paragraph, $line_num, $pod_para);
775 }
776
777 my @lines = split /^/, $paragraph;
778 for my $i (0 .. @lines - 1) {
2592f3b8
DG
779 if ( my $encoding = $seen_encoding_cmd{$addr} ) {
780 require Encode;
781 $lines[$i] = Encode::decode($encoding, $lines[$i]);
782 }
16384ac1
KW
783 $lines[$i] =~ s/\s+$//;
784 my $indent = $self->get_current_indent;
785 my $exceeds = length(Text::Tabs::expand($lines[$i]))
2cd46bfd 786 + $indent - $MAX_LINE_LENGTH;
16384ac1
KW
787 next unless $exceeds > 0;
788 my ($file, $line) = $pod_para->file_line;
789 $self->poderror({ -line => $line + $i, -file => $file,
790 -msg => $line_length,
791 parameter => "+$exceeds (including " . ($indent - $INDENT) . " from =over's)",
792 });
793 }
794 }
795
796 sub textblock {
797 my ($self, $paragraph, $line_num, $pod_para) = @_;
798 $self->check_encoding($paragraph, $line_num, $pod_para);
799
800 $self->SUPER::textblock($paragraph, $line_num, $pod_para);
801
802 my ($file, $line) = $pod_para->file_line;
803 my $addr = Scalar::Util::refaddr $self;
804 if ($in_NAME{$addr}) {
805 if (! $self->name) {
806 my $text = $self->interpolate($paragraph, $line_num);
807 if ($text =~ /^\s*(\S+?)\s*$/) {
808 $self->name($1);
809 $self->poderror({ -line => $line, -file => $file,
810 -msg => $missing_name_description,
811 parameter => $1});
812 }
813 }
814 }
f26da014 815
16384ac1
KW
816 return;
817 }
818
819 sub command {
820 my ($self, $cmd, $paragraph, $line_num, $pod_para) = @_;
821 my $addr = Scalar::Util::refaddr $self;
822 if ($cmd eq "pod") {
823 $seen_pod_cmd{$addr}++;
824 }
825 elsif ($cmd eq "encoding") {
826 my ($file, $line) = $pod_para->file_line;
2592f3b8 827 $seen_encoding_cmd{$addr} = $paragraph; # for later decoding
16384ac1
KW
828 if ($command_count{$addr} != 1 && $seen_pod_cmd{$addr}) {
829 $self->poderror({ -line => $line, -file => $file,
830 -msg => $encoding_first
831 });
832 }
833 }
834 $self->check_encoding($paragraph, $line_num, $pod_para);
835
836 # Pod::Check treats all =items as linkable, but the bullet and
837 # numbered lists really aren't. So keep our own list. This has to be
838 # processed before SUPER is called so that the list is started before
839 # the rest of it gets parsed.
840 if ($cmd eq 'item') { # Not linkable if item begins with * or a digit
841 $linkable_item{$addr} = ($paragraph !~ / ^ \s*
842 (?: [*]
843 | \d+ \.? (?: \$ | \s+ )
844 )/x)
845 ? 1
846 : 0;
a67b1afa 847
16384ac1
KW
848 }
849 $self->SUPER::command($cmd, $paragraph, $line_num, $pod_para);
850
851 $command_count{$addr}++;
852
853 $in_NAME{$addr} = 0; # Will change to 1 below if necessary
854 $in_begin{$addr} = 0; # ibid
855 if ($cmd eq 'over') {
856 my $text = $self->interpolate($paragraph, $line_num);
857 my $indent = 4; # default
858 $indent = $1 if $text && $text =~ /^\s*(\d+)\s*$/;
859 push @{$indents{$addr}}, $indent;
860 $current_indent{$addr} += $indent;
861 }
862 elsif ($cmd eq 'back') {
863 if (@{$indents{$addr}}) {
864 $current_indent{$addr} -= pop @{$indents{$addr}};
865 }
866 else {
867 # =back without corresponding =over, but should have
868 # warned already
869 $current_indent{$addr} = 0;
870 }
871 }
872 elsif ($cmd =~ /^head/) {
873 if (! $in_begin{$addr}) {
874
875 # If a particular formatter, then this command doesn't really
876 # apply
877 $current_indent{$addr} = 0;
878 undef @{$indents{$addr}};
879 }
880
881 my $text = $self->interpolate($paragraph, $line_num);
882 $in_NAME{$addr} = 1 if $cmd eq 'head1'
883 && $text && $text =~ /^NAME\b/;
884 }
885 elsif ($cmd eq 'begin') {
886 $in_begin{$addr} = 1;
887 }
888
889 return;
890 }
891
892 sub hyperlink {
893 my $self = shift;
894
02987562
KW
895 my $page;
896 if ($_[0] && ($page = $_[0][1]{'-page'})) {
897 my $node = $_[0][1]{'-node'};
898
899 # If the hyperlink is to an interior node of another page, save it
900 # so that we can see if we need to parse normally skipped files.
901 $has_referred_to_node{$page} = 1 if $node;
902
903 # Ignore certain placeholder links in perldelta. Check if the
904 # link is page-level, and also check if to a node within the page
905 if ($self->name && $self->name eq "perldelta"
906 && ((grep { $page eq $_ } @perldelta_ignore_links)
907 || ($node
908 && (grep { "$page/$node" eq $_ } @perldelta_ignore_links)
909 ))) {
910 return;
911 }
912 }
16384ac1
KW
913 return $self->SUPER::hyperlink($_[0]);
914 }
915
916 sub node {
917 my $self = shift;
918 my $text = $_[0];
919 if($text) {
920 $text =~ s/\s+$//s; # strip trailing whitespace
921 $text =~ s/\s+/ /gs; # collapse whitespace
922 my $addr = Scalar::Util::refaddr $self;
923 push(@{$linkable_nodes{$addr}}, $text) if
924 ! $current_indent{$addr}
925 || $linkable_item{$addr};
926 }
927 return $self->SUPER::node($_[0]);
928 }
929
930 sub get_current_indent {
931 return $INDENT + $current_indent{Scalar::Util::refaddr $_[0]};
932 }
933
934 sub get_filename {
935 return $filename{Scalar::Util::refaddr $_[0]};
936 }
937
938 sub linkable_nodes {
939 my $linkables = $linkable_nodes{Scalar::Util::refaddr $_[0]};
940 return undef unless $linkables;
941 return @$linkables;
942 }
943
944 sub get_skip {
945 return $skip{Scalar::Util::refaddr $_[0]} // 0;
946 }
947
948 sub set_skip {
949 my $self = shift;
950 $skip{Scalar::Util::refaddr $self} = shift;
951
952 # If skipping, no need to keep the problems for it
953 delete $problems{$self->get_filename};
954 return;
955 }
48b96b3d
KW
956
957 sub parse_from_file {
958 # This overrides the super class method so that if an open fails on a
959 # transitory file, it doesn't croak. It returns 1 if it did find the
960 # file, 0 if it didn't
961
962 my $self = shift;
963 my $filename = shift;
964 # ignores 2nd param, which is output file. Always uses undef
965
966 if (open my $in_fh, '<:bytes', $filename) {
967 $self->SUPER::parse_from_filehandle($in_fh, undef);
968 close $in_fh;
969 return 1;
970 }
971
972 # If couldn't open file, perhaps it was transitory, and hence not an error
973 return 0 unless -e $filename;
974
975 die "Can't open '$filename': $!\n";
976 }
16384ac1
KW
977}
978
979package Tie_Array_to_FH { # So printing actually goes to an array
980
981 my %array;
982
983 sub TIEHANDLE {
984 my $class = shift;
985 my $array_ref = shift;
986
987 my $self = bless \do{ my $anonymous_scalar }, $class;
988 $array{Scalar::Util::refaddr $self} = $array_ref;
989
990 return $self;
991 }
992
993 sub PRINT {
a67b1afa 994 my $self = shift;
16384ac1
KW
995 push @{$array{Scalar::Util::refaddr $self}}, @_;
996 return 1;
997 }
a67b1afa
MM
998}
999
69f6a9a1 1000
16384ac1
KW
1001my %filename_to_checker; # Map a filename to it's pod checker object
1002my %id_to_checker; # Map a checksum to it's pod checker object
1003my %nodes; # key is filename, values are nodes in that file.
1004my %nodes_first_word; # same, but value is first word of each node
1005my %valid_modules; # List of modules known to exist outside us.
1006my %digests; # checksums of files, whose names are the keys
1007my %filename_to_pod; # Map a filename to its pod NAME
1008my %files_with_unknown_issues;
1009my %files_with_fixes;
69f6a9a1 1010
16384ac1 1011my $data_fh;
be39e7f8 1012open $data_fh, '<:bytes', $known_issues or die "Can't open $known_issues";
69f6a9a1 1013
16384ac1
KW
1014my %counts; # For --counts param, count of each issue type
1015my %suppressed_files; # Files with at least one issue type to suppress
e57d740c
KW
1016my $HEADER = <<END;
1017# This file is the data file for $0.
1018# There are three types of lines.
1019# Comment lines are white-space only or begin with a '#', like this one. Any
1020# changes you make to the comment lines will be lost when the file is
1021# regen'd.
1022# Lines without tab characters are simply NAMES of pods that the program knows
1023# will have links to them and the program does not check if those links are
1024# valid.
1025# All other lines should have three fields, each separated by a tab. The
1026# first field is the name of a pod; the second field is an error message
1027# generated by this program; and the third field is a count of how many
1028# known instances of that message there are in the pod. -1 means that the
1029# program can expect any number of this type of message.
1030END
16384ac1 1031
e57d740c 1032my @existing_issues;
477100f8 1033
477100f8 1034
16384ac1 1035while (<$data_fh>) { # Read the data base
69f6a9a1 1036 chomp;
16384ac1
KW
1037 next if /^\s*(?:#|$)/; # Skip comment and empty lines
1038 if (/\t/) {
1039 next if $show_all;
e57d740c
KW
1040 if ($add_link) { # The issues are saved and later output unchanged
1041 push @existing_issues, $_;
1042 next;
1043 }
16384ac1
KW
1044
1045 # Keep track of counts of each issue type for each file
1046 my ($filename, $message, $count) = split /\t/;
1047 $known_problems{$filename}{$message} = $count;
1048
1049 if ($show_counts) {
1050 if ($count < 0) { # -1 means to suppress this issue type
1051 $suppressed_files{$filename} = $filename;
1052 }
1053 else {
1054 $counts{$message} += $count;
1055 }
1056 }
1057 }
1058 else { # Lines without a tab are modules known to be valid
1059 $valid_modules{$_} = 1
1060 }
1061}
1062close $data_fh;
1063
e57d740c
KW
1064if ($add_link) {
1065 $copy_fh = open_new($known_issues);
1066
1067 # Check for basic sanity, and add each command line argument
1068 foreach my $module (@files) {
1069 die "\"$module\" does not look like a module or man page"
1070 # Must look like (A or A::B or A::B::C ..., or foo(3C)
1071 if $module !~ /^ (?: \w+ (?: :: \w+ )* | \w+ \( \d \w* \) ) $/x;
1072 $valid_modules{$module} = 1
1073 }
1074 my_safer_print($copy_fh, $HEADER);
1075 foreach (sort { lc $a cmp lc $b } keys %valid_modules) {
1076 my_safer_print($copy_fh, $_, "\n");
1077 }
1078
1079 # The rest of the db file is output unchanged.
63717411 1080 my_safer_print($copy_fh, join "\n", @existing_issues, "");
e57d740c
KW
1081
1082 close_and_rename($copy_fh);
1083 exit;
1084}
1085
16384ac1
KW
1086if ($show_counts) {
1087 my $total = 0;
1088 foreach my $message (sort keys %counts) {
1089 $total += $counts{$message};
1090 note(Text::Tabs::expand("$counts{$message}\t$message"));
1091 }
1092 note("-----\n" . Text::Tabs::expand("$total\tknown potential issues"));
1093 if (%suppressed_files) {
1094 note("\nFiles that have all messages of at least one type suppressed:");
1095 note(join ",", keys %suppressed_files);
1096 }
1097 exit 0;
1098}
1099
16384ac1
KW
1100# re to match files that are to be parsed only if there is an internal link
1101# to them. It does not include cpan, as whether those are parsed depends
0496e0bb
KW
1102# on a switch. Currently, only perltoc and the stable perldelta.pod's
1103# are included. The latter all have characters between 'perl' and
1104# 'delta'. (Actually the currently developed one matches as well, but
1105# is a duplicate of perldelta.pod, so can be skipped, so fine for it to
1106# match this.
d9e2eb4b 1107my $only_for_interior_links_re = qr/ ^ pod\/perltoc.pod $
0496e0bb 1108 /x;
d9e2eb4b
KW
1109unless ($do_deltas) {
1110 $only_for_interior_links_re = qr/$only_for_interior_links_re |
1111 \b perl \d+ delta \. pod \b
1112 /x;
1113}
16384ac1
KW
1114
1115{ # Closure
1116 my $first_time = 1;
1117
1118 sub output_thanks ($$$$) { # Called when an issue has been fixed
1119 my $filename = shift;
1120 my $original_count = shift;
1121 my $current_count = shift;
1122 my $message = shift;
1123
1124 $files_with_fixes{$filename} = 1;
1125 my $return;
1126 my $fixed_count = $original_count - $current_count;
1127 my $a_problem = ($fixed_count == 1) ? "a problem" : "multiple problems";
1128 my $another_problem = ($fixed_count == 1) ? "another problem" : "another set of problems";
1129 my $diff;
1130 if ($message) {
1131 $diff = <<EOF;
1132There were $original_count occurrences (now $current_count) in this pod of type
1133"$message",
1134EOF
1135 } else {
1136 $diff = <<EOF;
1137There are no longer any problems found in this pod!
1138EOF
1139 }
1140
1141 if ($first_time) {
1142 $first_time = 0;
1143 $return = <<EOF;
1144Thanks for fixing $a_problem!
1145$diff
1146Now you must teach $0 that this was fixed.
1147EOF
1148 }
1149 else {
1150 $return = <<EOF
1151Thanks for fixing $another_problem.
1152$diff
1153EOF
1154 }
1155
1156 return $return;
1157 }
1158}
1159
1160sub my_safer_print { # print, with error checking for outputting to db
1161 my ($fh, @lines) = @_;
1162
1163 if (! print $fh @lines) {
1164 my $save_error = $!;
1165 close($fh);
1166 die "Write failure: $save_error";
1167 }
1168}
1169
84d2ce66
KW
1170sub extract_pod { # Extracts just the pod from a file; returns undef if file
1171 # doesn't exist
16384ac1
KW
1172 my $filename = shift;
1173
1174 my @pod;
1175
1176 # Arrange for the output of Pod::Parser to be collected in an array we can
1177 # look at instead of being printed
1178 tie *ALREADY_FH, 'Tie_Array_to_FH', \@pod;
84d2ce66 1179 if (open my $in_fh, '<:bytes', $filename) {
6fca57a1
KW
1180 my $parser = Pod::Parser->new();
1181 $parser->parse_from_filehandle($in_fh, *ALREADY_FH);
1182 close $in_fh;
16384ac1 1183
6fca57a1 1184 return join "", @pod
84d2ce66
KW
1185 }
1186
1187 # The file should already have been opened once to get here, so if that
1188 # fails, something is wrong. It's possible that a transitory file
1189 # containing a pod would get here, so if the file no longer exists just
1190 # return undef.
1191 return unless -e $filename;
1192 die "Can't open '$filename': $!\n";
16384ac1
KW
1193}
1194
1195my $digest = Digest->new($digest_type);
1196
f2317e57
NC
1197# This is used as a callback from File::Find::find(), which always constructs
1198# pathnames using Unix separators
16384ac1 1199sub is_pod_file {
c1dcaaab
KW
1200 # If $_ is a pod file, add it to the lists and do other prep work.
1201
e42a86f0 1202 if (-d) {
16384ac1
KW
1203 # Don't look at files in directories that are for tests, nor those
1204 # beginning with a dot
f2317e57 1205 if (m!/t\z! || m!/\.!) {
16384ac1
KW
1206 $File::Find::prune = 1;
1207 }
1208 return;
1209 }
1210
e42a86f0
KW
1211 return unless -r && -s; # Can't check it if can't read it; no need to
1212 # check if 0 length
1213 return unless -f || -l; # Weird file types won't be pods
1214
f2317e57
NC
1215 my ($leaf) = m!([^/]+)\z!;
1216 if (m!/\.! # No hidden Unix files
1217 || $leaf =~ $non_pods) {
de4da25d
CB
1218 note("Not considering $_") if DEBUG;
1219 return;
1220 }
1221
16384ac1
KW
1222 my $filename = $File::Find::name;
1223
3673acb0 1224 # $filename is relative, like './path'. Strip that initial part away.
f2317e57 1225 $filename =~ s!^\./!! or die 'Unexpected pathname "$filename"';
16384ac1 1226
b3fdb838 1227 return if $excluded_files{canonicalize($filename)};
16384ac1 1228
144a708b
NC
1229 my $contents = do {
1230 local $/;
763df156
KW
1231 my $candidate;
1232 if (! open $candidate, '<:bytes', $_) {
1233
77b8b9ad
KW
1234 # If a transitory file was found earlier, the open could fail
1235 # legitimately and we just skip the file; also skip it if it is a
1236 # broken symbolic link, as it is probably just a build problem;
1237 # certainly not a file that we would want to check the pod of.
1238 # Otherwise fail it here and no reason to process it further.
1239 # (But the test count will be off too)
1240 ok(0, "Can't open '$filename': $!")
e42a86f0 1241 if -r $filename && ! -l $filename;
763df156
KW
1242 return;
1243 }
144a708b
NC
1244 <$candidate>;
1245 };
16384ac1
KW
1246
1247 # If the file is a .pm or .pod, having any initial '=' on a line is
8505a15d
KW
1248 # grounds for testing it. Otherwise, require a head1 NAME line to
1249 # consider it as a potential pod
144a708b
NC
1250 if ($filename =~ /\.(?:pm|pod)/) {
1251 return unless $contents =~ /^=/m;
1252 } else {
1253 return unless $contents =~ /^=head1 +NAME/m;
16384ac1 1254 }
144a708b
NC
1255
1256 # Here, we know that the file is a pod. Add it to the list of files
1257 # to check and create a checker object for it.
1258
1259 push @files, $filename;
1260 my $checker = My::Pod::Checker->new($filename);
1261 $filename_to_checker{$filename} = $checker;
1262
1263 # In order to detect duplicate pods and only analyze them once, we
1264 # compute checksums for the file, so don't have to do an exact
1265 # compare. Note that if the pod is just part of the file, the
1266 # checksums can differ for the same pod. That special case is handled
1267 # later, since if the checksums of the whole file are the same, that
1268 # case won't even come up. We don't need the checksums for files that
1269 # we parse only if there is a link to its interior, but we do need its
1270 # NAME, which is also retrieved in the code below.
1271
1272 if ($filename =~ / (?: ^(cpan|lib|ext|dist)\/ )
1273 | $only_for_interior_links_re
1274 /x) {
1275 $digest->add($contents);
1276 $digests{$filename} = $digest->digest;
1277
1278 # lib files aren't analyzed if they are duplicates of files copied
1279 # there from some other directory. But to determine this, we need
1280 # to know their NAMEs. We might as well find the NAME now while
1281 # the file is open. Similarly, cpan files aren't analyzed unless
1282 # we're analyzing all of them, or this particular file is linked
1283 # to by a file we are analyzing, and thus we will want to verify
1284 # that the target exists in it. We need to know at least the NAME
1285 # to see if it's worth analyzing, or so we can determine if a lib
1286 # file is a copy of a cpan one.
1287 if ($filename =~ m{ (?: ^ (?: cpan | lib ) / )
16384ac1 1288 | $only_for_interior_links_re
144a708b
NC
1289 }x) {
1290 if ($contents =~ /^=head1 +NAME.*/mg) {
1291 # The NAME is the first non-spaces on the line up to a
1292 # comma, dash or end of line. Otherwise, it's invalid and
1293 # this pod doesn't have a legal name that we're smart
1294 # enough to find currently. But the parser will later
1295 # find it if it thinks there is a legal name, and set the
1296 # name
1297 if ($contents =~ /\G # continue from the line after =head1
1298 \s* # ignore any empty lines
1299 ^ \s* ( \S+?) \s* (?: [,-] | $ )/mx) {
1300 my $name = $1;
1301 $checker->name($name);
1302 $id_to_checker{$name} = $checker
1303 if $filename =~ m{^cpan/};
16384ac1
KW
1304 }
1305 }
144a708b
NC
1306 elsif ($filename =~ m{^cpan/}) {
1307 $id_to_checker{$digests{$filename}} = $checker;
1308 }
16384ac1
KW
1309 }
1310 }
c1dcaaab
KW
1311
1312 return;
16384ac1
KW
1313} # End of is_pod_file()
1314
477100f8
KW
1315# Start of real code that isn't processing the command line (except the
1316# db is read in above, as is processing of the --add_link option).
16384ac1
KW
1317# Here, @files contains list of files on the command line. If have any of
1318# these, unconditionally test them, and show all the errors, even the known
1319# ones, and, since not testing other pods, don't do cross-pod link tests.
1320# (Could add extra code to do cross-pod tests for the ones in the list.)
477100f8 1321
16384ac1
KW
1322if ($has_input_files) {
1323 undef %known_problems;
d9e2eb4b
KW
1324 $do_upstream_cpan = $do_deltas = 1; # In case one of the inputs is one
1325 # of these types
16384ac1
KW
1326}
1327else { # No input files -- go find all the possibilities.
1328 if ($regen) {
1329 $copy_fh = open_new($known_issues);
1330 note("Regenerating $known_issues, please be patient...");
e57d740c 1331 print $copy_fh $HEADER;
16384ac1
KW
1332 }
1333
1334 # Move to the directory above us, but have to adjust @INC to account for
1335 # that.
1336 s{^\.\./lib$}{lib} for @INC;
1337 chdir File::Spec->updir;
1338
1339 # And look in this directory and all its subdirectories
f2317e57 1340 find( {wanted => \&is_pod_file, no_chdir => 1}, '.');
16384ac1
KW
1341
1342 # Add ourselves to the test
b3fdb838 1343 push @files, "t/porting/podcheck.t";
16384ac1
KW
1344}
1345
1346# Now we know how many tests there will be.
1347plan (tests => scalar @files) if ! $regen;
1348
1349
1350 # Sort file names so we get consistent results, and to put cpan last,
1351 # preceeded by the ones that we don't generally parse. This is because both
1352 # these classes are generally parsed only if there is a link to the interior
1353 # of them, and we have to parse all others first to guarantee that they don't
1354 # have such a link. 'lib' files come just before these, as some of these are
1355 # duplicates of others. We already have figured this out when gathering the
1356 # data as a special case for all such files, but this, while unnecessary,
1357 # puts the derived file last in the output. 'readme' files come before those,
1358 # as those also could be duplicates of others, which are considered the
1359 # primary ones. These currently aren't figured out when gathering data, so
1360 # are done here.
1361 @files = sort { if ($a =~ /^cpan/) {
1362 return 1 if $b !~ /^cpan/;
e08998bf 1363 return lc $a cmp lc $b;
16384ac1
KW
1364 }
1365 elsif ($b =~ /^cpan/) {
1366 return -1;
1367 }
1368 elsif ($a =~ /$only_for_interior_links_re/) {
1369 return 1 if $b !~ /$only_for_interior_links_re/;
e08998bf 1370 return lc $a cmp lc $b;
16384ac1
KW
1371 }
1372 elsif ($b =~ /$only_for_interior_links_re/) {
1373 return -1;
1374 }
1375 elsif ($a =~ /^lib/) {
1376 return 1 if $b !~ /^lib/;
e08998bf 1377 return lc $a cmp lc $b;
16384ac1
KW
1378 }
1379 elsif ($b =~ /^lib/) {
1380 return -1;
1381 } elsif ($a =~ /\breadme\b/i) {
1382 return 1 if $b !~ /\breadme\b/i;
e08998bf 1383 return lc $a cmp lc $b;
16384ac1
KW
1384 }
1385 elsif ($b =~ /\breadme\b/i) {
1386 return -1;
1387 }
1388 else {
1389 return lc $a cmp lc $b;
1390 }
1391 }
1392 @files;
1393
1394# Now go through all the files and parse them
c66a5b89 1395FILE:
16384ac1
KW
1396foreach my $filename (@files) {
1397 my $parsed = 0;
1398 note("parsing $filename") if DEBUG;
1399
1400 # We may have already figured out some things in the process of generating
8505a15d 1401 # the file list. If so, we have a $checker object already. But if not,
16384ac1
KW
1402 # generate one now.
1403 my $checker = $filename_to_checker{$filename};
1404 if (! $checker) {
1405 $checker = My::Pod::Checker->new($filename);
1406 $filename_to_checker{$filename} = $checker;
1407 }
1408
1409 # We have set the name in the checker object if there is a possibility
1410 # that no further parsing is necessary, but otherwise do the parsing now.
1411 if (! $checker->name) {
48b96b3d
KW
1412 if (! $checker->parse_from_file($filename, undef)) {
1413 $checker->set_skip("$filename is transitory");
1414 next FILE;
1415 }
16384ac1 1416 $parsed = 1;
48b96b3d 1417
16384ac1
KW
1418 }
1419
1420 if ($checker->num_errors() < 0) { # Returns negative if not a pod
1421 $checker->set_skip("$filename is not a pod");
1422 }
1423 else {
1424
1425 # Here, is a pod. See if it is one that has already been tested,
1426 # or should be tested under another directory. Use either its NAME
1427 # if it has one, or a checksum if not.
1428 my $name = $checker->name;
1429 my $id;
1430
1431 if ($name) {
1432 $id = $name;
1433 }
1434 else {
1435 my $digest = Digest->new($digest_type);
84d2ce66
KW
1436 my $contents = extract_pod($filename);
1437
1438 # If the return is undef, it means that $filename was a transitory
1439 # file; skip it.
1440 next FILE unless defined $contents;
1441 $digest->add($contents);
16384ac1
KW
1442 $id = $digest->digest;
1443 }
1444
1445 # If there is a match for this pod with something that we've already
1446 # processed, don't process it, and output why.
1447 my $prior_checker;
1448 if (defined ($prior_checker = $id_to_checker{$id})
1449 && $prior_checker != $checker) # Could have defined the checker
1450 # earlier without pursuing it
1451 {
1452
1453 # If the pods are identical, then it's just a copy, and isn't an
1454 # error. First use the checksums we have already computed to see
1455 # if the entire files are identical, which means that the pods are
1456 # identical too.
1457 my $prior_filename = $prior_checker->get_filename;
1458 my $same = (! $name
1459 || ($digests{$prior_filename}
1460 && $digests{$filename}
1461 && $digests{$prior_filename} eq $digests{$filename}));
1462
1463 # If they differ, it could be that the files differ for some
1464 # reason, but the pods they contain are identical. Extract the
1465 # pods and do the comparisons on just those.
1466 if (! $same && $name) {
84d2ce66
KW
1467 my $contents = extract_pod($filename);
1468
1469 # If return is <undef>, it means that $filename no longer
1470 # exists. This means it was a transitory file, and should not
1471 # be tested.
1472 next FILE unless defined $contents;
1473
1474 my $prior_contents = extract_pod($prior_filename);
1475
1476 # If return is <undef>, it means that $prior_filename no
1477 # longer exists. This means it was a transitory file, and
1478 # should not have been tested, but we already did process it.
1479 # What we should do now is to back-out its records, and
1480 # process $filename in its stead. But backing out is not so
1481 # simple, and so I'm (khw) skipping that unless and until
1482 # experience shows that it is needed. We do go process
1483 # $filename, and there are potential false positive conflicts
1484 # with the transitory $prior_contents, and rerunning the test
1485 # should cause it to succeed.
1486 goto process_this_pod unless defined $prior_contents;
1487
1488 $same = $prior_contents eq $contents;
16384ac1
KW
1489 }
1490
1491 if ($same) {
1492 $checker->set_skip("The pod of $filename is a duplicate of "
1493 . "the pod for $prior_filename");
1494 } elsif ($prior_filename =~ /\breadme\b/i) {
1495 $checker->set_skip("$prior_filename is a README apparently for $filename");
1496 } elsif ($filename =~ /\breadme\b/i) {
1497 $checker->set_skip("$filename is a README apparently for $prior_filename");
44b8cd40
KW
1498 } elsif (! $do_upstream_cpan
1499 && $filename =~ /^cpan/
1500 && $prior_filename =~ /^cpan/)
1501 {
ef906498 1502 $checker->set_skip("CPAN is upstream for $filename");
f5bfcfd8
DG
1503 } elsif ( $filename =~ /^utils/ or $prior_filename =~ /^utils/ ) {
1504 $checker->set_skip("$filename copy is in utils/");
16384ac1
KW
1505 } else { # Here have two pods with identical names that differ
1506 $prior_checker->poderror(
1507 { -msg => $duplicate_name,
1508 -line => "???",
1509 parameter => "'$filename' also has NAME '$name'"
1510 });
1511 $checker->poderror(
1512 { -msg => $duplicate_name,
1513 -line => "???",
1514 parameter => "'$prior_filename' also has NAME '$name'"
1515 });
1516
1517 # Changing the names helps later.
1518 $prior_checker->name("$name version arbitrarily numbered 1");
1519 $checker->name("$name version arbitrarily numbered 2");
1520 }
1521
1522 # In any event, don't process this pod that has the same name as
1523 # another.
c66a5b89 1524 next FILE;
16384ac1
KW
1525 }
1526
84d2ce66
KW
1527 process_this_pod:
1528
16384ac1
KW
1529 # A unique pod.
1530 $id_to_checker{$id} = $checker;
1531
1532 my $parsed_for_links = ", but parsed for its interior links";
1533 if ((! $do_upstream_cpan && $filename =~ /^cpan/)
1534 || $filename =~ $only_for_interior_links_re)
1535 {
1536 if ($filename =~ /^cpan/) {
1537 $checker->set_skip("CPAN is upstream for $filename");
1538 }
35c86e19
KW
1539 elsif ($filename =~ /perl\d+delta/) {
1540 if (! $do_deltas) {
1541 $checker->set_skip("$filename is a stable perldelta");
1542 }
16384ac1 1543 }
0496e0bb
KW
1544 elsif ($filename =~ /perltoc/) {
1545 $checker->set_skip("$filename dependent on component pods");
1546 }
16384ac1
KW
1547 else {
1548 croak("Unexpected file '$filename' encountered that has parsing for interior-linking only");
1549 }
1550
1551 if ($name && $has_referred_to_node{$name}) {
1552 $checker->set_skip($checker->get_skip() . $parsed_for_links);
1553 }
1554 }
1555
1556 # Need a name in order to process it, because not meaningful
1557 # otherwise, and also can't test links to this without a name.
1558 if (!defined $name) {
1559 $checker->poderror( { -msg => $no_name,
1560 -line => '???'
1561 });
c66a5b89 1562 next FILE;
16384ac1
KW
1563 }
1564
1565 # For skipped files, just get its NAME
1566 my $skip;
1567 if (($skip = $checker->get_skip()) && $skip !~ /$parsed_for_links/)
1568 {
1569 $checker->node($name) if $name;
1570 }
48b96b3d
KW
1571 elsif (! $parsed) {
1572 if (! $checker->parse_from_file($filename, undef)) {
1573 $checker->set_skip("$filename is transitory");
1574 next FILE;
1575 }
16384ac1
KW
1576 }
1577
1578 # Go through everything in the file that could be an anchor that
1579 # could be a link target. Count how many there are of the same name.
1580 foreach my $node ($checker->linkable_nodes) {
c66a5b89 1581 next FILE if ! $node; # Can be empty is like '=item *'
16384ac1
KW
1582 if (exists $nodes{$name}{$node}) {
1583 $nodes{$name}{$node}++;
1584 }
1585 else {
1586 $nodes{$name}{$node} = 1;
1587 }
1588
1589 # Experiments have shown that cpan search can figure out the
1590 # target of a link even if the exact wording is incorrect, as long
1591 # as the first word is. This happens frequently in perlfunc.pod,
1592 # where the link will be just to the function, but the target
1593 # entry also includes parameters to the function.
1594 my $first_word = $node;
1595 if ($first_word =~ s/^(\S+)\s+\S.*/$1/) {
1596 $nodes_first_word{$name}{$first_word} = $node;
1597 }
1598 }
1599 $filename_to_pod{$filename} = $name;
1600 }
1601}
1602
1603# Here, all files have been parsed, and all links and link targets are stored.
1604# Now go through the files again and see which don't have matches.
1605if (! $has_input_files) {
1606 foreach my $filename (@files) {
1607 next if $filename_to_checker{$filename}->get_skip;
1608 my $checker = $filename_to_checker{$filename};
1609 foreach my $link ($checker->hyperlink) {
1610 my $linked_to_page = $link->[1]->page;
1611 next unless $linked_to_page; # intra-file checks are handled by std
1612 # Pod::Checker
1613
1614 # Initialize the potential message.
1615 my %problem = ( -msg => $broken_link,
1616 -line => $link->[0],
1617 parameter => "to \"$linked_to_page\"",
1618 );
1619
1620 # See if we have found the linked-to_file in our parse
1621 if (exists $nodes{$linked_to_page}) {
1622 my $node = $link->[1]->node;
1623
1624 # If link is only to the page-level, already have it
1625 next if ! $node;
1626
1627 # Transform pod language to what we are expecting
1628 $node =~ s,E<sol>,/,g;
1629 $node =~ s/E<verbar>/|/g;
1630
1631 # If link is to a node that exists in the file, is ok
1632 if ($nodes{$linked_to_page}{$node}) {
1633
1634 # But if the page has multiple targets with the same name,
1635 # it's ambiguous which one this should be to.
1636 if ($nodes{$linked_to_page}{$node} > 1) {
1637 $problem{-msg} = $multiple_targets;
1638 $problem{parameter} = "in $linked_to_page that $node could be pointing to";
1639 $checker->poderror(\%problem);
1640 }
1641 } elsif (! $nodes_first_word{$linked_to_page}{$node}) {
1642
1643 # Here the link target was not found, either exactly or to
1644 # the first word. Is an error.
1645 $problem{parameter} =~ s,"$,/$node",;
1646 $checker->poderror(\%problem);
1647 }
1648
1649 } # Linked-to-file not in parse; maybe is in exception list
1650 elsif (! exists $valid_modules{$link->[1]->page}) {
1651
1652 # Here, is a link to a target that we can't find. Check if
1653 # there is an internal link on the page with the target name.
1654 # If so, it could be that they just forgot the initial '/'
1c01047d
KW
1655 # But perldelta is handled specially: only do this if the
1656 # broken link isn't one of the known bad ones (that are
1657 # placemarkers and should be removed for the final)
1658 my $NAME = $filename_to_pod{$filename};
1659 if (! defined $NAME) {
1660 $checker->poderror(\%problem);
1661 }
02987562 1662 else {
1c01047d
KW
1663 if ($nodes{$NAME}{$linked_to_page}) {
1664 $problem{-msg} = $broken_internal_link;
1665 }
1666 $checker->poderror(\%problem);
16384ac1 1667 }
16384ac1
KW
1668 }
1669 }
1670 }
1671}
1672
1673# If regenerating the data file, start with the modules for which we don't
de37f83f
KW
1674# check targets. If you change the sort order, you need to run --regen before
1675# committing so that future commits that do run regen don't show irrelevant
1676# changes.
16384ac1
KW
1677if ($regen) {
1678 foreach (sort { lc $a cmp lc $b } keys %valid_modules) {
1679 my_safer_print($copy_fh, $_, "\n");
1680 }
1681}
1682
1683# Now ready to output the messages.
1684foreach my $filename (@files) {
b3fdb838 1685 my $canonical = canonicalize($filename);
16384ac1
KW
1686 SKIP: {
1687 my $skip = $filename_to_checker{$filename}->get_skip // "";
1688
1689 if ($regen) {
1690 foreach my $message ( sort keys %{$problems{$filename}}) {
1691 my $count;
1692
1693 # Preserve a negative setting.
b3fdb838
KW
1694 if ($known_problems{$canonical}{$message}
1695 && $known_problems{$canonical}{$message} < 0)
16384ac1 1696 {
b3fdb838 1697 $count = $known_problems{$canonical}{$message};
16384ac1
KW
1698 }
1699 else {
1700 $count = @{$problems{$filename}{$message}};
1701 }
24df3027 1702 my_safer_print($copy_fh, $canonical . "\t$message\t$count\n");
16384ac1
KW
1703 }
1704 next;
1705 }
1706
1707 skip($skip, 1) if $skip;
1708 my @diagnostics;
86098e45 1709 my $thankful_diagnostics = 0;
16384ac1
KW
1710 my $indent = ' ';
1711
16384ac1
KW
1712 my $total_known = 0;
1713 foreach my $message ( sort keys %{$problems{$filename}}) {
b3fdb838
KW
1714 $known_problems{$canonical}{$message} = 0
1715 if ! $known_problems{$canonical}{$message};
16384ac1
KW
1716 my $diagnostic = "";
1717 my $problem_count = scalar @{$problems{$filename}{$message}};
1718 $total_known += $problem_count;
b3fdb838
KW
1719 next if $known_problems{$canonical}{$message} < 0;
1720 if ($problem_count > $known_problems{$canonical}{$message}) {
16384ac1
KW
1721
1722 # Here we are about to output all the messages for this type,
1723 # subtract back this number we previously added in.
1724 $total_known -= $problem_count;
1725
b2bf5aea 1726 $diagnostic .= $indent . qq{"$message"};
16384ac1 1727 if ($problem_count > 2) {
b2bf5aea
DM
1728 $diagnostic .= " ($problem_count occurrences,"
1729 . " expected $known_problems{$canonical}{$message})";
16384ac1
KW
1730 }
1731 foreach my $problem (@{$problems{$filename}{$message}}) {
1732 $diagnostic .= " " if $problem_count == 1;
1733 $diagnostic .= "\n$indent$indent";
1734 $diagnostic .= "$problem->{parameter}" if $problem->{parameter};
1735 $diagnostic .= " near line $problem->{-line}";
1736 $diagnostic .= " $problem->{comment}" if $problem->{comment};
1737 }
1738 $diagnostic .= "\n";
1739 $files_with_unknown_issues{$filename} = 1;
b3fdb838
KW
1740 } elsif ($problem_count < $known_problems{$canonical}{$message}) {
1741 $diagnostic = output_thanks($filename, $known_problems{$canonical}{$message}, $problem_count, $message);
86098e45 1742 $thankful_diagnostics++;
16384ac1
KW
1743 }
1744 push @diagnostics, $diagnostic if $diagnostic;
1745 }
1746
09ea063a
KW
1747 # The above loop has output messages where there are current potential
1748 # issues. But it misses where there were some that have been entirely
1749 # fixed. For those, we need to look through the old issues
b3fdb838 1750 foreach my $message ( sort keys %{$known_problems{$canonical}}) {
09ea063a 1751 next if $problems{$filename}{$message};
b3fdb838
KW
1752 next if ! $known_problems{$canonical}{$message};
1753 next if $known_problems{$canonical}{$message} < 0; # Preserve negs
1754 my $diagnostic = output_thanks($filename, $known_problems{$canonical}{$message}, 0, $message);
09ea063a 1755 push @diagnostics, $diagnostic if $diagnostic;
86098e45 1756 $thankful_diagnostics++ if $diagnostic;
09ea063a
KW
1757 }
1758
16384ac1
KW
1759 my $output = "POD of $filename";
1760 $output .= ", excluding $total_known not shown known potential problems"
1761 if $total_known;
86098e45 1762 if (@diagnostics && @diagnostics == $thankful_diagnostics) {
c549afe0
FC
1763 # Output fixed issues as passing to-do tests, so they do not
1764 # cause failures, but t/harness still flags them.
1765 $output .= " # TODO"
1766 }
86098e45 1767 ok(@diagnostics == $thankful_diagnostics, $output);
16384ac1
KW
1768 if (@diagnostics) {
1769 note(join "", @diagnostics,
477100f8 1770 "See end of this test output for your options on silencing this");
16384ac1 1771 }
da33abaf
KW
1772
1773 delete $known_problems{$canonical};
16384ac1
KW
1774 }
1775}
1776
ac93cf5d
KW
1777if (! $regen
1778 && ! ok (keys %known_problems == 0, "The known problems data base includes no references to non-existent files"))
1779{
da33abaf
KW
1780 note("The following files were not found: "
1781 . join ", ", keys %known_problems);
1782 note("They will automatically be removed from the db the next time");
1783 note(" cd t; ./perl -I../lib porting/podcheck.t --regen");
1784 note("is run");
1785}
1786
16384ac1
KW
1787my $how_to = <<EOF;
1788 run this test script by hand, using the following formula (on
1789 Un*x-like machines):
1790 cd t
1791 ./perl -I../lib porting/podcheck.t --regen
1792EOF
1793
1794if (%files_with_unknown_issues) {
1795 my $were_count_files = scalar keys %files_with_unknown_issues;
1796 $were_count_files = ($were_count_files == 1)
1797 ? "was $were_count_files file"
1798 : "were $were_count_files files";
1799 my $message = <<EOF;
1800
1801HOW TO GET THIS .t TO PASS
1802
477100f8 1803There $were_count_files that had new potential problems identified.
bc20e6b8 1804Some of them may be real, and some of them may be false positives because
968d3762
KW
1805this program isn't as smart as it likes to think it is. You can teach this
1806program to ignore the issues it has identified, and hence pass, by doing the
477100f8 1807following:
16384ac1 1808
477100f8
KW
18091) If a problem is about a link to an unknown module or man page that
1810 you know exists, re-run the command something like:
1811 ./perl -I../lib porting/podcheck.t --add_link MODULE man_page ...
1812 (MODULEs should look like Foo::Bar, and man_pages should look like
1813 bar(3c); don't do this for a module or man page that you aren't sure
1814 about; instead treat as another type of issue and follow the
1815 instructions below.)
16384ac1
KW
1816
18172) For other issues, decide if each should be fixed now or not. Fix the
1818 ones you decided to, and rerun this test to verify that the fixes
1819 worked.
1820
968d3762
KW
18213) If there remain false positive or problems that you don't plan to fix right
1822 now,
16384ac1 1823$how_to
477100f8
KW
1824 That should cause all current potential problems to be accepted by
1825 the program, so that the next time it runs, they won't be flagged.
16384ac1
KW
1826EOF
1827 if (%files_with_fixes) {
1828 $message .= " This step will also take care of the files that have fixes in them\n";
1829 }
1830
1831 $message .= <<EOF;
1832 For a few files, such as perltoc, certain issues will always be
1833 expected, and more of the same will be added over time. For those,
1834 before you do the regen, you can edit
1835 $known_issues
1836 and find the entry for the module's file and specific error message,
1837 and change the count of known potential problems to -1.
1838EOF
1839
1840 note($message);
1841} elsif (%files_with_fixes) {
1842 note(<<EOF
1843To teach this test script that the potential problems have been fixed,
1844$how_to
1845EOF
1846 );
1847}
1848
1849if ($regen) {
1850 chdir $original_dir || die "Can't change directories to $original_dir";
1851 close_and_rename($copy_fh);
1852}