-
Notifications
You must be signed in to change notification settings - Fork 8
/
Copy pathptlint.pl
executable file
·1966 lines (1483 loc) · 64 KB
/
ptlint.pl
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
#!/usr/bin/perl
# The following POD section contains placeholders, so it has to be preprocessed by this script first.
#
# HelpBeginMarker
=head1 OVERVIEW
SCRIPT_NAME version SCRIPT_VERSION
This is a linter for plain text files. It helps you keep your text files tidy by checking
rules like "there should be no whitespace at the end of the lines" or
"do not indent with tab characters, but with spaces".
It is not very sophisticated, but it covers my needs with a minimum of fuss.
You need a Perl interpreter installed on your system to run this script.
=head1 USAGE
perl SCRIPT_NAME [options] [--] <filename...>
Options are read from environment variable OPT_ENV_VAR_NAME first, and then from the command line.
=head1 NON-LINT OPTIONS
=over
=item *
B<-h, --help>
Print this help text.
=item *
B<--help-pod>
Preprocess and print the POD section. Useful to generate the README.pod file.
=item *
B<--version>
Print this tool's name and version number (SCRIPT_VERSION).
=item *
B<--license>
Print the license.
=item *
B<-->
Terminate options processing. Useful to avoid confusion between options and filenames
that begin with a hyphen ('-'). Recommended when calling this script from another script,
where the filename comes from a variable or from user input.
=item *
B<< --verbose >>
Show more progress information.
=back
=head1 LINT OPTIONS
You need to specify at least one lint options. Otherwise, this script will not really lint the files.
=over
=item *
B<< --eol=mode >>
The end-of-line modes are:
ignore = do not check the end-of-line characters
consistent = all end-of-line characters must be the same (the default)
only-lf = all end-of-line characters must be LF (10 = 012 = 0x0A, UNIX style)
only-crlf = all end-of-line characters must be CR, LF (13, 10 = 015, 012 = 0x0D, 0x0A, DOS style)
There are many ways to change the EOL characters in a text file.
One option is to use tools 'dos2unix' and 'unix2dos'.
=item *
B<< --no-trailing-whitespace >>
Check that the text lines have no trailing whitespace, as it is often unwelcome.
Git Gui, for example, highlights trailing whitespace in red colour.
Whitespace actually means spaces or tab characters.
There are many ways to remove trailing whitespace from text files. For example:
sed --in-place 's/[ \t]\+$//' *.txt
=item *
B<< --no-tabs >>
Check that the text lines have no tab characters.
This normally means that you will be indenting with spaces.
There are many ways to replace tab characters with spaces in text files. For example:
expand --tabs=8 "old.txt" >"new.txt"
=item *
B<< --only-ascii >>
Check that no characters are >= 127 (>= 0x7F).
=item *
B<< --no-control-codes >>
Check that no characters are < 32 (0x20, space). Exceptions are tab (9), CR (13) and LF (10).
=item *
B<< --max-line-len=n >>
The maximum allowed line length in characters.
Note that one UTF-8 character may be encoded with several bytes.
=item *
B<< --encoding=utf8 >>
Assumes that all text files are encoded in UTF-8.
Invalid UTF-8 character encodings will be reported as lint warnings.
Note that the presence of a UTF-8 BOM in any file will automatically enable the UTF-8 encoding mode for that file,
regardless of the '--encoding' option.
=item *
B<< --bom=type >>
The types of "byte order mark" are:
=over
=item * no-check
Do not enforce the presence or the type of BOM (the default).
Note that the presence of a UTF-8 BOM in any file will automatically enable the UTF-8 encoding mode for that file.
=item * utf8
There must be a UTF-8 BOM. Otherwise, a lint warning will be generated.
=back
=back
=head1 OUTPUT
All lint messages go to stdout.
The lint message format is the same as GCC compilation errors, so Emacs' compilation-mode
will recognise and hyperlink them to their file locations.
=head1 EXIT CODE
Exit code:
0 means success without any lint warnings.
1 means some lint warnings were generated.
2 means some other error.
=head1 CAVEATS
=over
=item *
This tool does not fix any rule violations, it just reports them.
=item *
Processing is line oriented, so you only get 1 warning of each type per text line.
=item *
Only the default system encoding and UTF-8 are supported at the moment.
There is no support for UTF-16 or UTF-32 BOMs, and there is no way yet to specify
a particular character encoding for text files.
=back
=head1 FEEDBACK
Please send feedback to rdiezmail-tools at yahoo.de
=head1 LICENSE
Copyright (C) 2022 R. Diez
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU Affero General Public License version 3 as published by
the Free Software Foundation.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Affero General Public License version 3 for more details.
You should have received a copy of the GNU Affero General Public License version 3
along with this program. If not, see L<http://www.gnu.org/licenses/>.
=cut
# HelpEndMarker
use strict;
use warnings;
use FindBin qw( $Bin $Script );
use Getopt::Long qw(GetOptionsFromString);
use Pod::Usage;
use Encode qw();
use constant SCRIPT_VERSION => "1.05";
use constant OPT_ENV_VAR_NAME => "PTLINT_OPTIONS";
# ----------- Generic constants and routines -----------
use constant TRUE => 1;
use constant FALSE => 0;
use constant EXIT_CODE_SUCCESS => 0;
use constant EXIT_CODE_SUCCCESS_WITH_LINT_WARNINGS => 1;
# Beware that other errors, like those from die(), can yield other exit codes.
# It is very hard to guarantee that all possible failures will always yield
# an exit code of 2.
use constant EXIT_CODE_FAILURE => 2;
sub write_stdout ( $ )
{
( print STDOUT $_[0] ) or
die "Error writing to standard output: $!\n";
}
sub write_stderr ( $ )
{
( print STDERR $_[0] ) or
die "Error writing to standard error: $!\n";
}
# Returns a true value if the string starts with the given 'prefix' argument.
sub str_starts_with ( $ $ )
{
my $str = shift;
my $prefix = shift;
if ( length( $str ) < length( $prefix ) )
{
return FALSE;
}
return substr( $str, 0, length( $prefix ) ) eq $prefix;
}
# If 'str' starts with the given 'prefix', remove that prefix
# and return a true value.
sub remove_str_prefix ( $ $ )
{
my $str = shift; # Pass here a reference to a string.
my $prefix = shift;
if ( str_starts_with( $$str, $prefix ) )
{
$$str = substr( $$str, length( $prefix ) );
return TRUE;
}
else
{
return FALSE;
}
}
sub plural_s ( $ )
{
return ( $_[0] == 1 ) ? "" : "s";
}
# Sometimes we want to generate an error message meant for humans which contains the string
# that caused the error. However, the string that we want to embed in the error message may be problematic:
# 1) It may be too long, rendering the error message unreadable.
# 2) It may have characters that make it difficult to know where the embedded string begins
# and ends inside the error message.
# 3) It may have ASCII control characters that will cause visualisation problems depending
# on the terminal or editor.
#
# This routine escapes away any problematic characters, shortens the string if necessary
# and surrounds it in double quotation marks. The resulting string can be safely embedded
# in a larger text.
#
# Examples of such quoted strings:
# "abc"
# " abc "
# "a<TAB>b<CR>c"
# "a<QUOT>b"
#
# The quoted string is designed for maximum readability, so there is a trade-off:
# it cannot be reliably unquoted, because some encodings are ambiguous. For example,
# a string like 'a<TAB>b' will pass through without any quoting. The receiver will
# have no way to know whether the original string had a single tab character,
# or the 5 characters '<TAB>'.
#
# I have decided to use this ambiguous quoting rules because any other escaping mechanisms
# I know are hard to read or pose more questions, and the focus here is readability in
# informational messages for humans who cannot be bother to read the encodind specification.
#
# Example of hard-to-read or ugly quotation mechanisms:
# URL encoding: a%30%40%40b
# Shell: "\"Spaces\ get\ quoted\""
# Perl Unicode literals: \x{1234}x\x{4567}
# Perl Unicode literals: \N{U+1234}N\N{U+4567}
#
# Because all quoted characters are <= 127, this routine is safe to use before or after
# converting a string to or from UTF-8.
my %escapeTable =
(
0 => "NUL",
1 => "SOH",
2 => "STX",
3 => "ETX",
4 => "EOT",
5 => "ENQ",
6 => "ACK",
7 => "BEL",
8 => "BS",
9 => "TAB", # The ASCII name is actually HT for Horizontal Tab.
10 => "LF",
11 => "VT",
12 => "FF",
13 => "CR",
14 => "SO",
15 => "SI",
16 => "DLE",
17 => "DC1",
18 => "DC2",
19 => "DC3",
20 => "DC4",
21 => "NAK",
22 => "SYN",
23 => "ETB",
24 => "CAN",
25 => "EM",
26 => "SUB",
27 => "ESC",
28 => "FS",
29 => "GS",
30 => "RS",
31 => "US", # In octal: 037
34 => "QUOT", # Double quotation mark, in octal: 042
127 => "DEL", # In octal: 0177
# Anything above 127 may display as rubbish in a terminal or in a text editor, depending on the encoding,
# but it will probably cause no big problems like a line break.
);
sub format_str_for_message ( $ )
{
my $str = shift;
$str =~ s/([\000-\037\042\177])/ '<' . $escapeTable{ ord $1 } . '>' /eg;
# This is some arbitrary length limit. Some people would like to see more text, some less.
use constant FSFM_MAX_LEN => 300;
use constant FSFM_SUFFIX => "[...]";
if ( length( $str ) > FSFM_MAX_LEN )
{
my $lenToPreserve = FSFM_MAX_LEN - length( FSFM_SUFFIX );
if ( FALSE )
{
# substr() can turn a Perl string marked as UTF-8 to a native/byte string,
# so avoid it because we want to support the assertion strategy enabled by ENABLE_UTF8_RESEARCH_CHECKS.
$str = substr( $str, 0, FSFM_MAX_LEN - length( FSFM_SUFFIX ) ) . FSFM_SUFFIX;
}
else
{
my @capture = $str =~ m/\A(.{$lenToPreserve})/;
$str = $capture[ 0 ] . FSFM_SUFFIX;
}
}
return '"' . $str . '"';
}
# ------- Integer parsing, begin -------
# Parse an unsigned integer.
#
# For more information about this routine, and for related unit tests, see script rdchecksum.pl
# in the same repository as this script.
#
use constant LARGEST_UNSIGNED_INT => ~0;
use constant LARGEST_UNSIGNED_INT_AS_STR => "@{[ LARGEST_UNSIGNED_INT ]}";
sub parse_unsigned_integer ( $ )
{
my $str = shift;
# There may be a faster way to parse an integer with pack/unpack. Any help is welcome.
my @capture = $str =~ m/
\A # Start of the string.
0* # Optional leading zeros that are discarded.
([1-9][0-9]*|0) # Either a lone 0, or some other number which does not start with 0.
\z # End of the string.
/x;
if ( scalar ( @capture ) != 1 )
{
die "Invalid unsigned integer number.\n";
}
my $intAsStr = $capture[ 0 ];
if ( length( $intAsStr ) < length( LARGEST_UNSIGNED_INT_AS_STR ) )
{
return int( $intAsStr );
}
if ( length( $intAsStr ) > length( LARGEST_UNSIGNED_INT_AS_STR ) )
{
die "The integer number is too large.\n";
}
# A simple lexicographical comparison should do the trick here.
if ( ( $intAsStr cmp LARGEST_UNSIGNED_INT_AS_STR ) <= 0 )
{
return int( $intAsStr );
}
die "The integer number is too large.\n";
}
# This routine does not include the filename in an eventual error message.
sub open_file_for_binary_reading ( $ )
{
my $filename = shift;
open( my $fileHandle, "<", "$filename" )
or die "Cannot open the file: $!\n";
binmode( $fileHandle ) # Avoids CRLF conversion.
or die "Cannot access the file in binary mode: $!\n";
return $fileHandle;
}
sub close_or_die ( $ $ )
{
close ( $_[0] ) or die "Internal error: Cannot close file handle of file " . format_str_for_message( $_[1] ) . ": $!\n";
}
# Say you have the following logic:
# - Open a file.
# - Do something that might fail.
# - Close the file.
#
# If an error occurs between opening and closing the file, you need to
# make sure that you close the file handle before propagating the error upwards.
#
# You should not die() from an eventual error from close(), because we would
# otherwise be hiding the first error that happened. But you should
# generate at least warning, because it is very rare that closing a file handle fails.
# This is usually only the case if it has already been closed (or if there is some
# serious memory corruption).
#
# Writing the warning to stderr may also fail, but you should ignore any such eventual
# error for the same reason.
sub close_file_handle_or_warn ( $ $ )
{
my $fileHandle = shift;
my $filename = shift;
close( $fileHandle )
or print STDERR "Warning: Internal error in '$Script': Cannot close file handle of " . format_str_for_message( $filename ) . ": $!\n";
}
sub rethrow_eventual_error_with_filename ( $ $ )
{
my $filename = shift;
my $errorMsgFromEval = shift;
if ( $errorMsgFromEval )
{
# Do not say "file" here, because it could be a directory.
die "Error accessing " . format_str_for_message( $filename ) . ": $errorMsgFromEval";
}
}
sub if_error_close_file_handle_and_rethrow ( $ $ $ )
{
my $fileHandle = shift;
my $filename = shift;
my $errorMsgFromEval = shift;
if ( $errorMsgFromEval )
{
close_file_handle_or_warn( $fileHandle, $filename );
die $errorMsgFromEval;
}
}
sub close_file_handle_and_rethrow_eventual_error ( $ $ $ )
{
my $fileHandle = shift;
my $filename = shift;
my $errorMsgFromEval = shift;
if_error_close_file_handle_and_rethrow( $fileHandle, $filename, $errorMsgFromEval );
close_or_die( $fileHandle, $filename );
}
# Reads a whole binary file, returns it as a scalar.
#
# Security warning: Any eventual error message will contain the file path.
#
# Alternative: use Perl module File::Slurp
sub read_whole_binary_file ( $ )
{
my $filename = shift;
# I believe that standard tool 'cat' uses a 128 KiB buffer size under Linux.
use constant SOME_ARBITRARY_BLOCK_SIZE_RWBF => 128 * 1024;
my $fileContent;
eval
{
my $fileHandle = open_file_for_binary_reading( $filename );
eval
{
my $pos = 0;
for ( ; ; )
{
my $readByteCount = sysread( $fileHandle, $fileContent, SOME_ARBITRARY_BLOCK_SIZE_RWBF, $pos );
if ( not defined $readByteCount )
{
die "Error reading from file: $!\n";
}
if ( $readByteCount == 0 )
{
last;
}
$pos += $readByteCount;
}
};
close_file_handle_and_rethrow_eventual_error( $fileHandle, $filename, $@ );
};
rethrow_eventual_error_with_filename( $filename, $@ );
return $fileContent;
}
sub get_pod_from_this_script ()
{
# POSSIBLE OPTIMISATION:
# We do not actually need to read the whole file. We could read line-by-line,
# discard everything before HelpBeginMarker and stop as soon as HelpEndMarker is found.
my $sourceCodeOfThisScriptAsString = read_whole_binary_file( "$Bin/$Script" );
# We do not actually need to isolate the POD section, but it is cleaner this way.
my $regex = "# HelpBeginMarker[\\s]+(.*?)[\\s]+# HelpEndMarker";
my @podParts = $sourceCodeOfThisScriptAsString =~ m/$regex/s;
if ( scalar( @podParts ) != 1 )
{
die "Internal error isolating the POD documentation.\n";
}
my $podAsStr = $podParts[0];
# Replace some known placeholders. This is the only practical way to make sure
# that the script name and version number in the help text are always right.
# If you duplicate name and version in the source code and in the help text,
# they will inevitably get out of sync at some point in time.
#
# There are faster ways to replace multiple placeholders, but optimising this
# is not worth the effort.
$podAsStr =~ s/SCRIPT_VERSION/@{[ SCRIPT_VERSION ]}/gs;
$podAsStr =~ s/SCRIPT_NAME/$Script/gs;
$podAsStr =~ s/OPT_ENV_VAR_NAME/@{[ OPT_ENV_VAR_NAME ]}/gs;
return $podAsStr;
}
sub print_help_text ()
{
my $podAsStr = get_pod_from_this_script();
# Prepare an in-memory file with the POD contents.
my $memFileWithPodContents;
open( my $memFileWithPod, '+>', \$memFileWithPodContents )
or die "Cannot create in-memory file: $!\n";
binmode( $memFileWithPod ) # Avoids CRLF conversion.
or die "Cannot access in-memory file in binary mode: $!\n";
( print $memFileWithPod $podAsStr ) or
die "Error writing to in-memory file: $!\n";
seek $memFileWithPod, 0, 0
or die "Cannot seek inside in-memory file: $!\n";
write_stdout( "\n" );
# Unfortunately, pod2usage does not return any error indication.
# However, if the POD text has syntax errors, the user will see
# error messages in a "POD ERRORS" section at the end of the output.
pod2usage( -exitval => "NOEXIT",
-verbose => 2,
-noperldoc => 1, # Perl does not come with the perl-doc package as standard (at least on Debian 4.0).
-input => $memFileWithPod,
-output => \*STDOUT );
$memFileWithPod->close()
or die "Cannot close in-memory file: $!\n";
}
sub get_license_text ()
{
return ( <<EOL
GNU AFFERO GENERAL PUBLIC LICENSE
Version 3, 19 November 2007
Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/>
Everyone is permitted to copy and distribute verbatim copies
of this license document, but changing it is not allowed.
Preamble
The GNU Affero General Public License is a free, copyleft license for
software and other kinds of works, specifically designed to ensure
cooperation with the community in the case of network server software.
The licenses for most software and other practical works are designed
to take away your freedom to share and change the works. By contrast,
our General Public Licenses are intended to guarantee your freedom to
share and change all versions of a program--to make sure it remains free
software for all its users.
When we speak of free software, we are referring to freedom, not
price. Our General Public Licenses are designed to make sure that you
have the freedom to distribute copies of free software (and charge for
them if you wish), that you receive source code or can get it if you
want it, that you can change the software or use pieces of it in new
free programs, and that you know you can do these things.
Developers that use our General Public Licenses protect your rights
with two steps: (1) assert copyright on the software, and (2) offer
you this License which gives you legal permission to copy, distribute
and/or modify the software.
A secondary benefit of defending all users' freedom is that
improvements made in alternate versions of the program, if they
receive widespread use, become available for other developers to
incorporate. Many developers of free software are heartened and
encouraged by the resulting cooperation. However, in the case of
software used on network servers, this result may fail to come about.
The GNU General Public License permits making a modified version and
letting the public access it on a server without ever releasing its
source code to the public.
The GNU Affero General Public License is designed specifically to
ensure that, in such cases, the modified source code becomes available
to the community. It requires the operator of a network server to
provide the source code of the modified version running there to the
users of that server. Therefore, public use of a modified version, on
a publicly accessible server, gives the public access to the source
code of the modified version.
An older license, called the Affero General Public License and
published by Affero, was designed to accomplish similar goals. This is
a different license, not a version of the Affero GPL, but Affero has
released a new version of the Affero GPL which permits relicensing under
this license.
The precise terms and conditions for copying, distribution and
modification follow.
TERMS AND CONDITIONS
0. Definitions.
"This License" refers to version 3 of the GNU Affero General Public License.
"Copyright" also means copyright-like laws that apply to other kinds of
works, such as semiconductor masks.
"The Program" refers to any copyrightable work licensed under this
License. Each licensee is addressed as "you". "Licensees" and
"recipients" may be individuals or organizations.
To "modify" a work means to copy from or adapt all or part of the work
in a fashion requiring copyright permission, other than the making of an
exact copy. The resulting work is called a "modified version" of the
earlier work or a work "based on" the earlier work.
A "covered work" means either the unmodified Program or a work based
on the Program.
To "propagate" a work means to do anything with it that, without
permission, would make you directly or secondarily liable for
infringement under applicable copyright law, except executing it on a
computer or modifying a private copy. Propagation includes copying,
distribution (with or without modification), making available to the
public, and in some countries other activities as well.
To "convey" a work means any kind of propagation that enables other
parties to make or receive copies. Mere interaction with a user through
a computer network, with no transfer of a copy, is not conveying.
An interactive user interface displays "Appropriate Legal Notices"
to the extent that it includes a convenient and prominently visible
feature that (1) displays an appropriate copyright notice, and (2)
tells the user that there is no warranty for the work (except to the
extent that warranties are provided), that licensees may convey the
work under this License, and how to view a copy of this License. If
the interface presents a list of user commands or options, such as a
menu, a prominent item in the list meets this criterion.
1. Source Code.
The "source code" for a work means the preferred form of the work
for making modifications to it. "Object code" means any non-source
form of a work.
A "Standard Interface" means an interface that either is an official
standard defined by a recognized standards body, or, in the case of
interfaces specified for a particular programming language, one that
is widely used among developers working in that language.
The "System Libraries" of an executable work include anything, other
than the work as a whole, that (a) is included in the normal form of
packaging a Major Component, but which is not part of that Major
Component, and (b) serves only to enable use of the work with that
Major Component, or to implement a Standard Interface for which an
implementation is available to the public in source code form. A
"Major Component", in this context, means a major essential component
(kernel, window system, and so on) of the specific operating system
(if any) on which the executable work runs, or a compiler used to
produce the work, or an object code interpreter used to run it.
The "Corresponding Source" for a work in object code form means all
the source code needed to generate, install, and (for an executable
work) run the object code and to modify the work, including scripts to
control those activities. However, it does not include the work's
System Libraries, or general-purpose tools or generally available free
programs which are used unmodified in performing those activities but
which are not part of the work. For example, Corresponding Source
includes interface definition files associated with source files for
the work, and the source code for shared libraries and dynamically
linked subprograms that the work is specifically designed to require,
such as by intimate data communication or control flow between those
subprograms and other parts of the work.
The Corresponding Source need not include anything that users
can regenerate automatically from other parts of the Corresponding
Source.
The Corresponding Source for a work in source code form is that
same work.
2. Basic Permissions.
All rights granted under this License are granted for the term of
copyright on the Program, and are irrevocable provided the stated
conditions are met. This License explicitly affirms your unlimited
permission to run the unmodified Program. The output from running a
covered work is covered by this License only if the output, given its
content, constitutes a covered work. This License acknowledges your
rights of fair use or other equivalent, as provided by copyright law.
You may make, run and propagate covered works that you do not
convey, without conditions so long as your license otherwise remains
in force. You may convey covered works to others for the sole purpose
of having them make modifications exclusively for you, or provide you
with facilities for running those works, provided that you comply with
the terms of this License in conveying all material for which you do
not control copyright. Those thus making or running the covered works
for you must do so exclusively on your behalf, under your direction
and control, on terms that prohibit them from making any copies of
your copyrighted material outside their relationship with you.
Conveying under any other circumstances is permitted solely under
the conditions stated below. Sublicensing is not allowed; section 10
makes it unnecessary.
3. Protecting Users' Legal Rights From Anti-Circumvention Law.
No covered work shall be deemed part of an effective technological
measure under any applicable law fulfilling obligations under article
11 of the WIPO copyright treaty adopted on 20 December 1996, or
similar laws prohibiting or restricting circumvention of such
measures.
When you convey a covered work, you waive any legal power to forbid
circumvention of technological measures to the extent such circumvention
is effected by exercising rights under this License with respect to
the covered work, and you disclaim any intention to limit operation or
modification of the work as a means of enforcing, against the work's
users, your or third parties' legal rights to forbid circumvention of
technological measures.
4. Conveying Verbatim Copies.
You may convey verbatim copies of the Program's source code as you
receive it, in any medium, provided that you conspicuously and
appropriately publish on each copy an appropriate copyright notice;
keep intact all notices stating that this License and any
non-permissive terms added in accord with section 7 apply to the code;
keep intact all notices of the absence of any warranty; and give all
recipients a copy of this License along with the Program.
You may charge any price or no price for each copy that you convey,
and you may offer support or warranty protection for a fee.
5. Conveying Modified Source Versions.
You may convey a work based on the Program, or the modifications to
produce it from the Program, in the form of source code under the
terms of section 4, provided that you also meet all of these conditions:
a) The work must carry prominent notices stating that you modified
it, and giving a relevant date.
b) The work must carry prominent notices stating that it is
released under this License and any conditions added under section
7. This requirement modifies the requirement in section 4 to
"keep intact all notices".
c) You must license the entire work, as a whole, under this
License to anyone who comes into possession of a copy. This
License will therefore apply, along with any applicable section 7
additional terms, to the whole of the work, and all its parts,
regardless of how they are packaged. This License gives no
permission to license the work in any other way, but it does not
invalidate such permission if you have separately received it.
d) If the work has interactive user interfaces, each must display
Appropriate Legal Notices; however, if the Program has interactive
interfaces that do not display Appropriate Legal Notices, your
work need not make them do so.
A compilation of a covered work with other separate and independent
works, which are not by their nature extensions of the covered work,
and which are not combined with it such as to form a larger program,
in or on a volume of a storage or distribution medium, is called an
"aggregate" if the compilation and its resulting copyright are not
used to limit the access or legal rights of the compilation's users
beyond what the individual works permit. Inclusion of a covered work
in an aggregate does not cause this License to apply to the other
parts of the aggregate.
6. Conveying Non-Source Forms.
You may convey a covered work in object code form under the terms
of sections 4 and 5, provided that you also convey the
machine-readable Corresponding Source under the terms of this License,
in one of these ways:
a) Convey the object code in, or embodied in, a physical product
(including a physical distribution medium), accompanied by the
Corresponding Source fixed on a durable physical medium
customarily used for software interchange.
b) Convey the object code in, or embodied in, a physical product
(including a physical distribution medium), accompanied by a
written offer, valid for at least three years and valid for as
long as you offer spare parts or customer support for that product
model, to give anyone who possesses the object code either (1) a
copy of the Corresponding Source for all the software in the
product that is covered by this License, on a durable physical
medium customarily used for software interchange, for a price no
more than your reasonable cost of physically performing this
conveying of source, or (2) access to copy the
Corresponding Source from a network server at no charge.
c) Convey individual copies of the object code with a copy of the
written offer to provide the Corresponding Source. This
alternative is allowed only occasionally and noncommercially, and
only if you received the object code with such an offer, in accord
with subsection 6b.
d) Convey the object code by offering access from a designated
place (gratis or for a charge), and offer equivalent access to the
Corresponding Source in the same way through the same place at no
further charge. You need not require recipients to copy the
Corresponding Source along with the object code. If the place to
copy the object code is a network server, the Corresponding Source
may be on a different server (operated by you or a third party)
that supports equivalent copying facilities, provided you maintain
clear directions next to the object code saying where to find the
Corresponding Source. Regardless of what server hosts the
Corresponding Source, you remain obligated to ensure that it is
available for as long as needed to satisfy these requirements.
e) Convey the object code using peer-to-peer transmission, provided
you inform other peers where the object code and Corresponding
Source of the work are being offered to the general public at no
charge under subsection 6d.
A separable portion of the object code, whose source code is excluded
from the Corresponding Source as a System Library, need not be
included in conveying the object code work.
A "User Product" is either (1) a "consumer product", which means any
tangible personal property which is normally used for personal, family,
or household purposes, or (2) anything designed or sold for incorporation
into a dwelling. In determining whether a product is a consumer product,
doubtful cases shall be resolved in favor of coverage. For a particular
product received by a particular user, "normally used" refers to a
typical or common use of that class of product, regardless of the status
of the particular user or of the way in which the particular user
actually uses, or expects or is expected to use, the product. A product
is a consumer product regardless of whether the product has substantial
commercial, industrial or non-consumer uses, unless such uses represent
the only significant mode of use of the product.
"Installation Information" for a User Product means any methods,
procedures, authorization keys, or other information required to install
and execute modified versions of a covered work in that User Product from
a modified version of its Corresponding Source. The information must