This is a live mirror of the Perl 5 development currently hosted at https://github.com/perl/perl5
Removed unnecessary pointers checks
[perl5.git] / pod / perlfilter.pod
CommitLineData
c7c04614
GS
1=head1 NAME
2
3perlfilter - Source Filters
c47ff5f1 4
c7c04614
GS
5=head1 DESCRIPTION
6
7This article is about a little-known feature of Perl called
8I<source filters>. Source filters alter the program text of a module
9before Perl sees it, much as a C preprocessor alters the source text of
10a C program before the compiler sees it. This article tells you more
11about what source filters are, how they work, and how to write your
12own.
13
14The original purpose of source filters was to let you encrypt your
15program source to prevent casual piracy. This isn't all they can do, as
16you'll soon learn. But first, the basics.
17
18=head1 CONCEPTS
19
20Before the Perl interpreter can execute a Perl script, it must first
4449c45d
GS
21read it from a file into memory for parsing and compilation. If that
22script itself includes other scripts with a C<use> or C<require>
23statement, then each of those scripts will have to be read from their
24respective files as well.
c7c04614
GS
25
26Now think of each logical connection between the Perl parser and an
27individual file as a I<source stream>. A source stream is created when
28the Perl parser opens a file, it continues to exist as the source code
29is read into memory, and it is destroyed when Perl is finished parsing
30the file. If the parser encounters a C<require> or C<use> statement in
31a source stream, a new and distinct stream is created just for that
32file.
33
34The diagram below represents a single source stream, with the flow of
35source from a Perl script file on the left into the Perl parser on the
36right. This is how Perl normally operates.
37
38 file -------> parser
39
40There are two important points to remember:
41
42=over 5
43
44=item 1.
45
46Although there can be any number of source streams in existence at any
47given time, only one will be active.
48
49=item 2.
50
51Every source stream is associated with only one file.
52
53=back
54
55A source filter is a special kind of Perl module that intercepts and
56modifies a source stream before it reaches the parser. A source filter
40b7eeef 57changes our diagram like this:
c7c04614
GS
58
59 file ----> filter ----> parser
60
61If that doesn't make much sense, consider the analogy of a command
62pipeline. Say you have a shell script stored in the compressed file
63I<trial.gz>. The simple pipeline command below runs the script without
64needing to create a temporary file to hold the uncompressed file.
65
66 gunzip -c trial.gz | sh
67
68In this case, the data flow from the pipeline can be represented as follows:
69
70 trial.gz ----> gunzip ----> sh
71
72With source filters, you can store the text of your script compressed and use a source filter to uncompress it for Perl's parser:
73
74 compressed gunzip
75 Perl program ---> source filter ---> parser
76
77=head1 USING FILTERS
78
79So how do you use a source filter in a Perl script? Above, I said that
80a source filter is just a special kind of module. Like all Perl
81modules, a source filter is invoked with a use statement.
82
83Say you want to pass your Perl source through the C preprocessor before
84execution. You could use the existing C<-P> command line option to do
85this, but as it happens, the source filters distribution comes with a C
86preprocessor filter module called Filter::cpp. Let's use that instead.
87
88Below is an example program, C<cpp_test>, which makes use of this filter.
89Line numbers have been added to allow specific lines to be referenced
90easily.
91
4358a253 92 1: use Filter::cpp;
c7c04614 93 2: #define TRUE 1
4358a253
SS
94 3: $a = TRUE;
95 4: print "a = $a\n";
c7c04614
GS
96
97When you execute this script, Perl creates a source stream for the
98file. Before the parser processes any of the lines from the file, the
99source stream looks like this:
100
101 cpp_test ---------> parser
102
103Line 1, C<use Filter::cpp>, includes and installs the C<cpp> filter
104module. All source filters work this way. The use statement is compiled
105and executed at compile time, before any more of the file is read, and
106it attaches the cpp filter to the source stream behind the scenes. Now
107the data flow looks like this:
108
109 cpp_test ----> cpp filter ----> parser
110
111As the parser reads the second and subsequent lines from the source
112stream, it feeds those lines through the C<cpp> source filter before
113processing them. The C<cpp> filter simply passes each line through the
114real C preprocessor. The output from the C preprocessor is then
115inserted back into the source stream by the filter.
116
117 .-> cpp --.
118 | |
119 | |
120 | <-'
121 cpp_test ----> cpp filter ----> parser
122
123The parser then sees the following code:
124
4358a253
SS
125 use Filter::cpp;
126 $a = 1;
127 print "a = $a\n";
c7c04614
GS
128
129Let's consider what happens when the filtered code includes another
130module with use:
131
4358a253 132 1: use Filter::cpp;
c7c04614 133 2: #define TRUE 1
4358a253
SS
134 3: use Fred;
135 4: $a = TRUE;
136 5: print "a = $a\n";
c7c04614
GS
137
138The C<cpp> filter does not apply to the text of the Fred module, only
139to the text of the file that used it (C<cpp_test>). Although the use
140statement on line 3 will pass through the cpp filter, the module that
141gets included (C<Fred>) will not. The source streams look like this
142after line 3 has been parsed and before line 4 is parsed:
143
144 cpp_test ---> cpp filter ---> parser (INACTIVE)
145
146 Fred.pm ----> parser
147
148As you can see, a new stream has been created for reading the source
149from C<Fred.pm>. This stream will remain active until all of C<Fred.pm>
150has been parsed. The source stream for C<cpp_test> will still exist,
151but is inactive. Once the parser has finished reading Fred.pm, the
152source stream associated with it will be destroyed. The source stream
153for C<cpp_test> then becomes active again and the parser reads line 4
154and subsequent lines from C<cpp_test>.
155
156You can use more than one source filter on a single file. Similarly,
157you can reuse the same filter in as many files as you like.
158
159For example, if you have a uuencoded and compressed source file, it is
160possible to stack a uudecode filter and an uncompression filter like
161this:
162
4358a253 163 use Filter::uudecode; use Filter::uncompress;
c7c04614
GS
164 M'XL(".H<US4''V9I;F%L')Q;>7/;1I;_>_I3=&E=%:F*I"T?22Q/
165 M6]9*<IQCO*XFT"0[PL%%'Y+IG?WN^ZYN-$'J.[.JE$,20/?K=_[>
166 ...
167
168Once the first line has been processed, the flow will look like this:
169
170 file ---> uudecode ---> uncompress ---> parser
171 filter filter
172
173Data flows through filters in the same order they appear in the source
174file. The uudecode filter appeared before the uncompress filter, so the
175source file will be uudecoded before it's uncompressed.
176
177=head1 WRITING A SOURCE FILTER
178
179There are three ways to write your own source filter. You can write it
180in C, use an external program as a filter, or write the filter in Perl.
181I won't cover the first two in any great detail, so I'll get them out
182of the way first. Writing the filter in Perl is most convenient, so
183I'll devote the most space to it.
184
185=head1 WRITING A SOURCE FILTER IN C
186
187The first of the three available techniques is to write the filter
188completely in C. The external module you create interfaces directly
189with the source filter hooks provided by Perl.
190
191The advantage of this technique is that you have complete control over
192the implementation of your filter. The big disadvantage is the
193increased complexity required to write the filter - not only do you
194need to understand the source filter hooks, but you also need a
195reasonable knowledge of Perl guts. One of the few times it is worth
196going to this trouble is when writing a source scrambler. The
197C<decrypt> filter (which unscrambles the source before Perl parses it)
198included with the source filter distribution is an example of a C
199source filter (see Decryption Filters, below).
c47ff5f1 200
c7c04614
GS
201
202=over 5
203
204=item B<Decryption Filters>
205
206All decryption filters work on the principle of "security through
207obscurity." Regardless of how well you write a decryption filter and
208how strong your encryption algorithm, anyone determined enough can
209retrieve the original source code. The reason is quite simple - once
210the decryption filter has decrypted the source back to its original
211form, fragments of it will be stored in the computer's memory as Perl
212parses it. The source might only be in memory for a short period of
213time, but anyone possessing a debugger, skill, and lots of patience can
214eventually reconstruct your program.
215
216That said, there are a number of steps that can be taken to make life
217difficult for the potential cracker. The most important: Write your
218decryption filter in C and statically link the decryption module into
219the Perl binary. For further tips to make life difficult for the
220potential cracker, see the file I<decrypt.pm> in the source filters
221module.
222
223=back
224
225=head1 CREATING A SOURCE FILTER AS A SEPARATE EXECUTABLE
226
227An alternative to writing the filter in C is to create a separate
228executable in the language of your choice. The separate executable
229reads from standard input, does whatever processing is necessary, and
230writes the filtered data to standard output. C<Filter:cpp> is an
231example of a source filter implemented as a separate executable - the
232executable is the C preprocessor bundled with your C compiler.
233
234The source filter distribution includes two modules that simplify this
235task: C<Filter::exec> and C<Filter::sh>. Both allow you to run any
236external executable. Both use a coprocess to control the flow of data
237into and out of the external executable. (For details on coprocesses,
238see Stephens, W.R. "Advanced Programming in the UNIX Environment."
239Addison-Wesley, ISBN 0-210-56317-7, pages 441-445.) The difference
240between them is that C<Filter::exec> spawns the external command
241directly, while C<Filter::sh> spawns a shell to execute the external
242command. (Unix uses the Bourne shell; NT uses the cmd shell.) Spawning
243a shell allows you to make use of the shell metacharacters and
244redirection facilities.
245
246Here is an example script that uses C<Filter::sh>:
247
4358a253
SS
248 use Filter::sh 'tr XYZ PQR';
249 $a = 1;
250 print "XYZ a = $a\n";
c7c04614
GS
251
252The output you'll get when the script is executed:
253
254 PQR a = 1
255
256Writing a source filter as a separate executable works fine, but a
257small performance penalty is incurred. For example, if you execute the
258small example above, a separate subprocess will be created to run the
259Unix C<tr> command. Each use of the filter requires its own subprocess.
260If creating subprocesses is expensive on your system, you might want to
261consider one of the other options for creating source filters.
262
263=head1 WRITING A SOURCE FILTER IN PERL
264
265The easiest and most portable option available for creating your own
266source filter is to write it completely in Perl. To distinguish this
267from the previous two techniques, I'll call it a Perl source filter.
268
269To help understand how to write a Perl source filter we need an example
270to study. Here is a complete source filter that performs rot13
271decoding. (Rot13 is a very simple encryption scheme used in Usenet
272postings to hide the contents of offensive posts. It moves every letter
273forward thirteen places, so that A becomes N, B becomes O, and Z
274becomes M.)
275
276
4358a253 277 package Rot13;
c7c04614 278
4358a253 279 use Filter::Util::Call;
c7c04614
GS
280
281 sub import {
4358a253
SS
282 my ($type) = @_;
283 my ($ref) = [];
284 filter_add(bless $ref);
c7c04614
GS
285 }
286
287 sub filter {
4358a253
SS
288 my ($self) = @_;
289 my ($status);
c7c04614
GS
290
291 tr/n-za-mN-ZA-M/a-zA-Z/
4358a253
SS
292 if ($status = filter_read()) > 0;
293 $status;
c7c04614
GS
294 }
295
296 1;
297
298All Perl source filters are implemented as Perl classes and have the
299same basic structure as the example above.
300
301First, we include the C<Filter::Util::Call> module, which exports a
302number of functions into your filter's namespace. The filter shown
303above uses two of these functions, C<filter_add()> and
304C<filter_read()>.
305
306Next, we create the filter object and associate it with the source
307stream by defining the C<import> function. If you know Perl well
308enough, you know that C<import> is called automatically every time a
309module is included with a use statement. This makes C<import> the ideal
310place to both create and install a filter object.
311
312In the example filter, the object (C<$ref>) is blessed just like any
313other Perl object. Our example uses an anonymous array, but this isn't
314a requirement. Because this example doesn't need to store any context
315information, we could have used a scalar or hash reference just as
316well. The next section demonstrates context data.
317
318The association between the filter object and the source stream is made
319with the C<filter_add()> function. This takes a filter object as a
320parameter (C<$ref> in this case) and installs it in the source stream.
321
322Finally, there is the code that actually does the filtering. For this
323type of Perl source filter, all the filtering is done in a method
324called C<filter()>. (It is also possible to write a Perl source filter
325using a closure. See the C<Filter::Util::Call> manual page for more
326details.) It's called every time the Perl parser needs another line of
327source to process. The C<filter()> method, in turn, reads lines from
328the source stream using the C<filter_read()> function.
329
330If a line was available from the source stream, C<filter_read()>
331returns a status value greater than zero and appends the line to C<$_>.
332A status value of zero indicates end-of-file, less than zero means an
333error. The filter function itself is expected to return its status in
334the same way, and put the filtered line it wants written to the source
335stream in C<$_>. The use of C<$_> accounts for the brevity of most Perl
336source filters.
337
338In order to make use of the rot13 filter we need some way of encoding
339the source file in rot13 format. The script below, C<mkrot13>, does
340just that.
341
4358a253
SS
342 die "usage mkrot13 filename\n" unless @ARGV;
343 my $in = $ARGV[0];
344 my $out = "$in.tmp";
c7c04614
GS
345 open(IN, "<$in") or die "Cannot open file $in: $!\n";
346 open(OUT, ">$out") or die "Cannot open file $out: $!\n";
347
4358a253 348 print OUT "use Rot13;\n";
c7c04614 349 while (<IN>) {
4358a253
SS
350 tr/a-zA-Z/n-za-mN-ZA-M/;
351 print OUT;
c7c04614
GS
352 }
353
354 close IN;
355 close OUT;
356 unlink $in;
357 rename $out, $in;
358
359If we encrypt this with C<mkrot13>:
360
4358a253 361 print " hello fred \n";
c7c04614
GS
362
363the result will be this:
364
365 use Rot13;
4358a253 366 cevag "uryyb serq\a";
c7c04614
GS
367
368Running it produces this output:
369
370 hello fred
371
372=head1 USING CONTEXT: THE DEBUG FILTER
373
374The rot13 example was a trivial example. Here's another demonstration
375that shows off a few more features.
376
377Say you wanted to include a lot of debugging code in your Perl script
378during development, but you didn't want it available in the released
379product. Source filters offer a solution. In order to keep the example
380simple, let's say you wanted the debugging output to be controlled by
381an environment variable, C<DEBUG>. Debugging code is enabled if the
382variable exists, otherwise it is disabled.
383
384Two special marker lines will bracket debugging code, like this:
385
386 ## DEBUG_BEGIN
387 if ($year > 1999) {
4358a253 388 warn "Debug: millennium bug in year $year\n";
c7c04614
GS
389 }
390 ## DEBUG_END
391
392When the C<DEBUG> environment variable exists, the filter ensures that
393Perl parses only the code between the C<DEBUG_BEGIN> and C<DEBUG_END>
394markers. That means that when C<DEBUG> does exist, the code above
395should be passed through the filter unchanged. The marker lines can
396also be passed through as-is, because the Perl parser will see them as
397comment lines. When C<DEBUG> isn't set, we need a way to disable the
398debug code. A simple way to achieve that is to convert the lines
399between the two markers into comments:
400
401 ## DEBUG_BEGIN
402 #if ($year > 1999) {
4358a253 403 # warn "Debug: millennium bug in year $year\n";
c7c04614
GS
404 #}
405 ## DEBUG_END
406
407Here is the complete Debug filter:
408
409 package Debug;
410
411 use strict;
9f1b1f2d 412 use warnings;
4358a253 413 use Filter::Util::Call;
c7c04614 414
4358a253
SS
415 use constant TRUE => 1;
416 use constant FALSE => 0;
c7c04614
GS
417
418 sub import {
4358a253 419 my ($type) = @_;
c7c04614
GS
420 my (%context) = (
421 Enabled => defined $ENV{DEBUG},
422 InTraceBlock => FALSE,
423 Filename => (caller)[1],
424 LineNo => 0,
425 LastBegin => 0,
4358a253
SS
426 );
427 filter_add(bless \%context);
c7c04614
GS
428 }
429
430 sub Die {
4358a253
SS
431 my ($self) = shift;
432 my ($message) = shift;
433 my ($line_no) = shift || $self->{LastBegin};
c7c04614
GS
434 die "$message at $self->{Filename} line $line_no.\n"
435 }
436
437 sub filter {
4358a253
SS
438 my ($self) = @_;
439 my ($status);
440 $status = filter_read();
441 ++ $self->{LineNo};
c7c04614
GS
442
443 # deal with EOF/error first
444 if ($status <= 0) {
445 $self->Die("DEBUG_BEGIN has no DEBUG_END")
4358a253
SS
446 if $self->{InTraceBlock};
447 return $status;
c7c04614
GS
448 }
449
450 if ($self->{InTraceBlock}) {
451 if (/^\s*##\s*DEBUG_BEGIN/ ) {
452 $self->Die("Nested DEBUG_BEGIN", $self->{LineNo})
453 } elsif (/^\s*##\s*DEBUG_END/) {
4358a253 454 $self->{InTraceBlock} = FALSE;
c7c04614
GS
455 }
456
457 # comment out the debug lines when the filter is disabled
4358a253 458 s/^/#/ if ! $self->{Enabled};
c7c04614 459 } elsif ( /^\s*##\s*DEBUG_BEGIN/ ) {
4358a253
SS
460 $self->{InTraceBlock} = TRUE;
461 $self->{LastBegin} = $self->{LineNo};
c7c04614
GS
462 } elsif ( /^\s*##\s*DEBUG_END/ ) {
463 $self->Die("DEBUG_END has no DEBUG_BEGIN", $self->{LineNo});
464 }
4358a253 465 return $status;
c7c04614
GS
466 }
467
4358a253 468 1;
c7c04614
GS
469
470The big difference between this filter and the previous example is the
471use of context data in the filter object. The filter object is based on
472a hash reference, and is used to keep various pieces of context
473information between calls to the filter function. All but two of the
474hash fields are used for error reporting. The first of those two,
475Enabled, is used by the filter to determine whether the debugging code
476should be given to the Perl parser. The second, InTraceBlock, is true
477when the filter has encountered a C<DEBUG_BEGIN> line, but has not yet
478encountered the following C<DEBUG_END> line.
479
480If you ignore all the error checking that most of the code does, the
481essence of the filter is as follows:
482
483 sub filter {
4358a253
SS
484 my ($self) = @_;
485 my ($status);
486 $status = filter_read();
c7c04614
GS
487
488 # deal with EOF/error first
4358a253 489 return $status if $status <= 0;
c7c04614
GS
490 if ($self->{InTraceBlock}) {
491 if (/^\s*##\s*DEBUG_END/) {
492 $self->{InTraceBlock} = FALSE
493 }
494
495 # comment out debug lines when the filter is disabled
4358a253 496 s/^/#/ if ! $self->{Enabled};
c7c04614 497 } elsif ( /^\s*##\s*DEBUG_BEGIN/ ) {
4358a253 498 $self->{InTraceBlock} = TRUE;
c7c04614 499 }
4358a253 500 return $status;
c7c04614
GS
501 }
502
503Be warned: just as the C-preprocessor doesn't know C, the Debug filter
504doesn't know Perl. It can be fooled quite easily:
505
506 print <<EOM;
507 ##DEBUG_BEGIN
508 EOM
509
510Such things aside, you can see that a lot can be achieved with a modest
40b7eeef 511amount of code.
c7c04614
GS
512
513=head1 CONCLUSION
514
515You now have better understanding of what a source filter is, and you
516might even have a possible use for them. If you feel like playing with
517source filters but need a bit of inspiration, here are some extra
518features you could add to the Debug filter.
519
520First, an easy one. Rather than having debugging code that is
521all-or-nothing, it would be much more useful to be able to control
522which specific blocks of debugging code get included. Try extending the
523syntax for debug blocks to allow each to be identified. The contents of
524the C<DEBUG> environment variable can then be used to control which
525blocks get included.
526
527Once you can identify individual blocks, try allowing them to be
528nested. That isn't difficult either.
529
d1be9408 530Here is an interesting idea that doesn't involve the Debug filter.
c7c04614
GS
531Currently Perl subroutines have fairly limited support for formal
532parameter lists. You can specify the number of parameters and their
533type, but you still have to manually take them out of the C<@_> array
534yourself. Write a source filter that allows you to have a named
535parameter list. Such a filter would turn this:
536
537 sub MySub ($first, $second, @rest) { ... }
538
539into this:
540
541 sub MySub($$@) {
4358a253
SS
542 my ($first) = shift;
543 my ($second) = shift;
544 my (@rest) = @_;
c7c04614
GS
545 ...
546 }
547
548Finally, if you feel like a real challenge, have a go at writing a
549full-blown Perl macro preprocessor as a source filter. Borrow the
550useful features from the C preprocessor and any other macro processors
551you know. The tricky bit will be choosing how much knowledge of Perl's
552syntax you want your filter to have.
553
6c3397db
CW
554=head1 THINGS TO LOOK OUT FOR
555
556=over 5
557
558=item Some Filters Clobber the C<DATA> Handle
559
560Some source filters use the C<DATA> handle to read the calling program.
561When using these source filters you cannot rely on this handle, nor expect
562any particular kind of behavior when operating on it. Filters based on
563Filter::Util::Call (and therefore Filter::Simple) do not alter the C<DATA>
564filehandle.
565
566=back
567
c7c04614
GS
568=head1 REQUIREMENTS
569
570The Source Filters distribution is available on CPAN, in
571
572 CPAN/modules/by-module/Filter
573
83df6a1d
JH
574Starting from Perl 5.8 Filter::Util::Call (the core part of the
575Source Filters distribution) is part of the standard Perl distribution.
576Also included is a friendlier interface called Filter::Simple, by
577Damian Conway.
578
c7c04614
GS
579=head1 AUTHOR
580
581Paul Marquess E<lt>Paul.Marquess@btinternet.comE<gt>
582
583=head1 Copyrights
584
585This article originally appeared in The Perl Journal #11, and is
586copyright 1998 The Perl Journal. It appears courtesy of Jon Orwant and
587The Perl Journal. This document may be distributed under the same terms
588as Perl itself.