3 <style|<tuple|book|fangle|header-book|tmdoc-keyboard>>
6 <hide-preamble|<assign|LyX|<macro|L<space|-0.1667em><move|Y|0fn|-0.25em><space|-0.125em>X>><assign|par-first|0fn><assign|par-par-sep|0.5fn>>
8 <doc-data|<doc-title|fangle>|<doc-author-data|<author-name|Sam
9 Liddicott>|<\author-address>
11 </author-address>>|<doc-date|August 2009>>
13 <section*|Introduction>
15 <name|Fangle> is a tool for fangled literate programming. Newfangled is
16 defined as <em|New and often needlessly novel> by
17 <name|TheFreeDictionary.com>.
19 In this case, fangled means yet another not-so-new<footnote|but improved.>
20 method for literate programming.
22 <name|Literate Programming> has a long history starting with the great
23 <name|Donald Knuth> himself, whose literate programming tools seem to make
24 use of as many escape sequences for semantic markup as <TeX> (also by
27 <name|Norman Ramsey> wrote the <name|Noweb> set of tools
28 (<verbatim|notangle>, <verbatim|noweave> and <verbatim|noroots>) and
29 helpfully reduced the amount of magic character sequences to pretty much
30 just <verbatim|\<less\>\<less\>>, <verbatim|\<gtr\>\<gtr\>> and
31 <verbatim|@>, and in doing so brought the wonders of literate programming
34 While using the <LyX> editor for <LaTeX> editing I had various troubles
35 with the noweb tools, some of which were my fault, some of which were
36 noweb's fault and some of which were <LyX>'s fault.
38 <name|Noweb> generally brought literate programming to the masses through
39 removing some of the complexity of the original literate programming, but
40 this would be of no advantage to me if the <LyX> / <LaTeX> combination
41 brought more complications in their place.
43 <name|Fangle> was thus born (originally called <name|Newfangle>) as an awk
44 replacement for notangle, adding some important features, like better
45 integration with <LyX> and <LaTeX> (and later <TeXmacs>), multiple output
46 format conversions, and fixing notangle bugs like indentation when using -L
49 Significantly, fangle is just one program which replaces various programs
50 in <name|Noweb>. Noweave is done away with and implemented directly as
51 <LaTeX> macros, and noroots is implemented as a function of the untangler
54 Fangle is written in awk for portability reasons, awk being available for
55 most platforms. A Python version<\footnote>
56 hasn't anyone implemented awk in python yet?
57 </footnote> was considered for the benefit of <LyX> but a scheme version
58 for <TeXmacs> will probably materialise first; as <TeXmacs> macro
59 capabilities help make edit-time and format-time rendering of fangle chunks
60 simple enough for my weak brain.
62 As an extension to many literate-programming styles, Fangle permits code
63 chunks to take parameters and thus operate somewhat like C pre-processor
64 macros, or like C++ templates. Name parameters (or even local
65 <em|variables> in the callers scope) are anticipated, as parameterized
66 chunks <emdash> useful though they are <emdash> are hard to comprehend in
67 the literate document.
69 <section*|License><new-page*><label|License>
71 Fangle is licensed under the GPL 3 (or later).
73 This doesn't mean that sources generated by fangle must be licensed under
76 This doesn't mean that you can't use or distribute fangle with sources of
77 an incompatible license, but it means you must make the source of fangle
80 As fangle is currently written in awk, an interpreted language, this should
83 <\nf-chunk|gpl3-copyright>
84 <item># fangle - fully featured notangle replacement in awk
88 <item># Copyright (C) 2009-2010 Sam Liddicott
89 \<less\>sam@liddicott.com\<gtr\>
93 <item># This program is free software: you can redistribute it and/or
96 <item># it under the terms of the GNU General Public License as published
99 <item># the Free Software Foundation, either version 3 of the License, or
101 <item># (at your option) any later version.
105 <item># This program is distributed in the hope that it will be useful,
107 <item># but WITHOUT ANY WARRANTY; without even the implied warranty of
109 <item># MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. \ See the
111 <item># GNU General Public License for more details.
115 <item># You should have received a copy of the GNU General Public License
117 <item># along with this program. \ If not, see
118 \<less\>http://www.gnu.org/licenses/\<gtr\>.
121 <\table-of-contents|toc>
126 <chapter|Introduction to Literate Programming>
128 Todo: Should really follow on from a part-0 explanation of what literate
131 <chapter|Running Fangle>
133 Fangle is a replacement for <name|noweb>, which consists of
134 <verbatim|notangle>, <verbatim|noroots> and <verbatim|noweave>.
136 Like <verbatim|notangle> and <verbatim|noroots>, <verbatim|fangle> can read
137 multiple named files, or from stdin.
139 <section|Listing roots>
141 The -r option causes fangle to behave like noroots.
143 <code*|fangle -r filename.tex>
145 will print out the fangle roots of a tex file.\
147 Unlike the <verbatim|noroots> command, the printed roots are not enclosed
148 in angle brackets e.g. <verbatim|\<less\>\<less\>name\<gtr\>\<gtr\>>,
149 unless at least one of the roots is defined using the <verbatim|notangle>
150 notation <verbatim|\<less\>\<less\>name\<gtr\>\<gtr\>=>.
152 Also, unlike noroots, it prints out all roots --- not just those that are
153 not used elsewhere. I find that a root not being used doesn't make it
154 particularly top level <emdash> and so-called top level roots could also be
155 included in another root as well.\
157 My convention is that top level roots to be extracted begin with
158 <verbatim|./> and have the form of a filename.
160 Makefile.inc, discussed in <reference|makefile.inc>, can automatically
161 extract all such sources prefixed with <verbatim|./>
163 <section|Extracting roots>
165 notangle's <verbatim|-R> and <verbatim|-L> options are supported.
167 If you are using <LyX> or <LaTeX>, the standard way to extract a file would
170 <verbatim|fangle -R./Makefile.inc fangle.tex \<gtr\> ./Makefile.inc>
172 If you are using <TeXmacs>, the standard way to extract a file would
175 <verbatim|fangle -R./Makefile.inc fangle.txt \<gtr\> ./Makefile.inc>
177 <TeXmacs> users would obtain the text file with a <em|verbatim> export from
178 <TeXmacs> which can be done on the command line with <verbatim|texmacs -s
179 -c fangle.tm fangle.txt -q>
181 Unlike the <verbatim|noroots> command, the <verbatim|<verbatim|-L>> option
182 to generate C pre-preocessor <verbatim|#file> style line-number
183 directives,does not break indenting of the generated file..
185 Also, thanks to mode tracking (described in <reference|modes>) the
186 <verbatim|-L> option does not interrupt (and break) multi-line C macros
189 This does mean that sometimes the compiler might calculate the source line
190 wrongly when generating error messages in such cases, but there isn't any
191 other way around if multi-line macros include other chunks.
193 Future releases will include a mapping file so that line/character
194 references from the C compiler can be converted to the correct part of the
197 <section|Formatting the document>
199 The noweave replacement built into the editing and formatting environment
200 for <TeXmacs>, <LyX> (which uses <LaTeX>), and even for raw <LaTeX>.
202 Use of fangle with <TeXmacs>, <LyX> and <LaTeX> are explained the the next
205 <chapter|Using Fangle with <LaTeX>>
207 Because the noweave replacement is impemented in <LaTeX>, there is no
208 processing stage required before running the <LaTeX> command. Of course,
209 <LaTeX> may need running two or more times, so that the code chunk
210 references can be fully calculated.
212 The formatting is managed by a set of macros shown in
213 <reference|latex-source>, and can be included with:
215 <verbatim|\\usepackage{fangle.sty}>
217 Norman Ramsay's origial <filename|noweb.sty> package is currently required
218 as it is used for formatting the code chunk captions.
220 The <filename|listings.sty> package is required, and is used for formatting
221 the code chunks and syntax highlighting.
223 The <filename|xargs.sty> package is also required, and makes writing
224 <LaTeX> macro so much more pleasant.
226 <todo|Add examples of use of Macros>
228 <chapter|Using Fangle with <LyX>>
230 <LyX> uses the same <LaTeX> macros shown in <reference|latex-source> as
231 part of a <LyX> module file <filename|fangle.module>, which automatically
232 includes the macros in the document pre-amble provided that the fangle
233 <LyX> module is used in the document.
235 <section|Installing the <LyX> module>
237 Copy <filename|fangle.module> to your <LyX> layouts directory, which for
238 unix users will be <filename|~/.lyx/layouts>
240 In order to make the new literate styles availalble, you will need to
241 reconfigure <LyX> by clicking Tools-\<gtr\>Reconfigure, and then re-start
244 <section|Obtaining a decent mono font>
246 The syntax high-lighting features of <name|lstlistings> makes use of bold;
247 however a mono-space tt font is used to typeset the listings. Obtaining a
248 <with|font-family|tt|<strong|bold> tt font> can be impossibly difficult and
249 amazingly easy. I spent many hours at it, following complicated
250 instructions from those who had spend many hours over it, and was finally
251 delivered the simple solution on the lyx mailing list.
255 The simple way was to add this to my preamble:
258 \\usepackage{txfonts}
260 \\renewcommand{\\ttdefault}{txtt}
267 The next simplest way was to use ams poor-mans-bold, by adding this to the
273 %\\renewcommand{\\ttdefault}{txtt}
275 %somehow make \\pmb be the command for bold, forgot how, sorry, above
279 It works, but looks wretched on the dvi viewer.
281 <subsection|Luximono>
283 The lstlistings documention suggests using Luximono.
285 Luximono was installed according to the instructions in Ubuntu Forums
286 thread 1159181<\footnote>
287 http://ubuntuforums.org/showthread.php?t=1159181
288 </footnote> with tips from miknight<\footnote>
289 http://miknight.blogspot.com/2005/11/how-to-install-luxi-mono-font-in.html
290 </footnote> stating that <verbatim|sudo updmap --enable MixedMap ul9.map>
291 is required. It looks fine in PDF and PS view but still looks rotten in dvi
294 <section|Formatting your Lyx document>
296 It is not necessary to base your literate document on any of the original
297 <LyX> literate classes; so select a regular class for your document type.
299 Add the new module <em|Fangle Literate Listings> and also <em|Logical
300 Markup> which is very useful.
302 In the drop-down style listbox you should notice a new style defined,
305 When you wish to insert a literate chunk, you enter it's plain name in the
306 Chunk style, instead of the old <name|noweb> method that uses
307 <verbatim|\<less\>\<less\>name\<gtr\>\<gtr\>=> type tags. In the line (or
308 paragraph) following the chunk name, you insert a listing with:
309 Insert-\<gtr\>Program Listing.
311 Inside the white listing box you can type (or paste using
312 <kbd|shift+ctrl+V>) your listing. There is no need to use <kbd|ctrl+enter>
313 at the end of lines as with some older <LyX> literate techniques --- just
314 press enter as normal.
316 <subsection|Customising the listing appearance>
318 The code is formatted using the <name|lstlistings> package. The chunk style
319 doesn't just define the chunk name, but can also define any other chunk
320 options supported by the lstlistings package <verbatim|\\lstset> command.
321 In fact, what you type in the chunk style is raw latex. If you want to set
322 the chunk language without having to right-click the listing, just add
323 <verbatim|,lanuage=C> after the chunk name. (Currently the language will
324 affect all subsequent listings, so you may need to specify
325 <verbatim|,language=> quite a lot).
327 <todo|so fix the bug>
329 Of course you can do this by editing the listings box advanced properties
330 by right-clicking on the listings box, but that takes longer, and you can't
331 see at-a-glance what the advanced settings are while editing the document;
332 also advanced settings apply only to that box --- the chunk settings apply
333 through the rest of the document<\footnote>
334 It ought to apply only to subsequent chunks of the same name. I'll fix
338 <todo|So make sure they only apply to chunks of that name>
340 <subsection|Global customisations>
342 As lstlistings is used to set the code chunks, it's <verbatim|\\lstset>
343 command can be used in the pre-amble to set some document wide settings.
345 If your source has many words with long sequences of capital letters, then
346 <verbatim|columns=fullflexible> may be a good idea, or the capital letters
347 will get crowded. (I think lstlistings ought to use a slightly smaller font
348 for captial letters so that they still fit).
350 The font family <verbatim|\\ttfamily> looks more normal for code, but has
351 no bold (an alternate typewriter font is used).\
353 With <verbatim|\\ttfamily>, I must also specify
354 <verbatim|columns=fullflexible> or the wrong letter spacing is used.
356 In my <LaTeX> pre-amble I usually specialise my code format with:
358 <\nf-chunk|document-preamble>
361 <item>numbers=left, stepnumber=1, numbersep=5pt,
363 <item>breaklines=false,
365 <item>basicstyle=\\footnotesize\\ttfamily,
367 <item>numberstyle=\\tiny,
371 <item>columns=fullflexible,
373 <item>numberfirstline=true
380 <section|Configuring the build script>
382 You can invoke code extraction and building from the <LyX> menu option
383 Document-\<gtr\>Build Program.
385 First, make sure you don't have a conversion defined for Lyx-\<gtr\>Program
387 From the menu Tools-\<gtr\>Preferences, add a conversion from
388 Latex(Plain)-\<gtr\>Program as:
391 set -x ; fangle -Rlyx-build $$i \|\
393 \ \ env LYX_b=$$b LYX_i=$$i LYX_o=$$o LYX_p=$$p LYX_r=$$r bash
396 (But don't cut-n-paste it from this document or you may be be pasting a
397 multi-line string which will break your lyx preferences file).\
399 I hope that one day, <LyX> will set these into the environment when calling
402 You may also want to consider adding options to this conversion...
404 <verbatim|parselog=/usr/share/lyx/scripts/listerrors>
406 ...but if you do you will lose your stderr<\footnote>
407 There is some bash plumbing to get a copy of stderr but this footnote is
411 Now, a shell script chunk called <filename|lyx-build> will be extracted and
412 run whenever you choose the Document-\<gtr\>Build Program menu item.
414 This document was originally managed using <LyX> and lyx-build script for
415 this document is shown here for historical reference.\
418 lyx -e latex fangle.lyx && \\
420 \ \ fangle fangle.lyx \<gtr\> ./autoboot
423 This looks simple enough, but as mentioned, fangle has to be had from
424 somewhere before it can be extracted.
428 When the lyx-build chunk is executed, the current directory will be a
429 temporary directory, and <verbatim|LYX_SOURCE> will refer to the tex file
430 in this temporary directory. This is unfortunate as our makefile wants to
431 run from the project directory where the Lyx file is kept.
433 We can extract the project directory from <verbatim|$$r>, and derive the
434 probable Lyx filename from the noweb file that Lyx generated.
436 <\nf-chunk|lyx-build-helper>
437 <item>PROJECT_DIR="$LYX_r"
439 <item>LYX_SRC="$PROJECT_DIR/${LYX_i%.tex}.lyx"
441 <item>TEX_DIR="$LYX_p"
443 <item>TEX_SRC="$TEX_DIR/$LYX_i"
446 And then we can define a lyx-build fragment similar to the autoboot
449 <\nf-chunk|lyx-build>
452 <item>=\<less\>\\chunkref{lyx-build-helper}\<gtr\>
454 <item>cd $PROJECT_DIR \|\| exit 1
458 <item>#/usr/bin/fangle -filter ./notanglefix-filter \\
460 <item># \ -R./Makefile.inc "../../noweb-lyx/noweb-lyx3.lyx" \\
462 <item># \ \| sed '/NOWEB_SOURCE=/s/=.*/=samba4-dfs.lyx/' \\
464 <item># \ \<gtr\> ./Makefile.inc
468 <item>#make -f ./Makefile.inc fangle_sources
473 <chapter|Using Fangle with <TeXmacs>>
475 <todo|Write this chapter>
477 <chapter|Fangle with Makefiles><label|makefile.inc>
479 Here we describe a <filename|Makefile.inc> that you can include in your own
480 Makefiles, or glue as a recursive make to other projects.
482 <filename|Makefile.inc> will cope with extracting all the other source
483 files from this or any specified literate document and keeping them up to
486 It may also be included by a <verbatim|Makefile> or <verbatim|Makefile.am>
487 defined in a literate document to automatically deal with the extraction of
488 source files and documents during normal builds.
490 Thus, if <verbatim|Makefile.inc> is included into a main project makefile
491 it add rules for the source files, capable of extracting the source files
492 from the literate document.
494 <section|A word about makefiles formats>
496 Whitespace formatting is very important in a Makefile. The first character
497 of each action line must be a TAB.\
500 target: pre-requisite
507 This requires that the literate programming environment have the ability to
508 represent a TAB character in a way that fangle will generate an actual TAB
511 We also adopt a convention that code chunks whose names beginning with
512 <verbatim|./> should always be automatically extracted from the document.
513 Code chunks whose names do not begin with <verbatim|./> are for internal
514 reference. Such chunks may be extracted directly, but will not be
515 automatically extracted by this Makefile.
517 <section|Extracting Sources>
519 Our makefile has two parts; variables must be defined before the targets
522 As we progress through this chapter, explaining concepts, we will be adding
523 lines to <nf-ref|Makefile.inc-vars|> and <nf-ref|Makefile.inc-targets|>
524 which are included in <nf-ref|./Makefile.inc|> below.
526 <\nf-chunk|./Makefile.inc>
527 <item><nf-ref|Makefile.inc-vars|>
529 <item><nf-ref|Makefile.inc-targets|>
532 We first define a placeholder for <verbatim|LITERATE_SOURCE> to hold the
533 name of this document. This will normally be passed on the command line.
535 <\nf-chunk|Makefile.inc-vars>
536 <item>LITERATE_SOURCE=
539 Fangle cannot process <LyX> or <TeXmacs> documents directly, so the first
540 stage is to convert these to more suitable text based formats<\footnote>
541 <LyX> and <TeXmacs> formats are text-based, but not suitable for fangle
544 <subsection|Converting from <LyX> to <LaTeX>><label|Converting-from-Lyx>
546 The first stage will always be to convert the <LyX> file to a <LaTeX> file.
547 Fangle must run on a <TeX> file because the <LyX> command
548 <verbatim|server-goto-file-line><\footnote>
549 The Lyx command <verbatim|server-goto-file-line> is used to position the
550 Lyx cursor at the compiler errors.
551 </footnote> requries that the line number provided be a line of the <TeX>
552 file and always maps this the line in the <LyX> docment. We use
553 <verbatim|server-goto-file-line> when moving the cursor to error lines
554 during compile failures.
556 The command <verbatim|lyx -e literate fangle.lyx> will produce
557 <verbatim|fangle.tex>, a <TeX> file; so we define a make target to be the
558 same as the <LyX> file but with the <verbatim|.tex> extension.
560 The <verbatim|EXTRA_DIST> is for automake support so that the <TeX> files
561 will automaticaly be distributed with the source, to help those who don't
562 have <LyX> installed.
564 <\nf-chunk|Makefile.inc-vars>
565 <item>TEX_SOURCE=$(LYX_SOURCE:.lyx=.tex)
567 <item>EXTRA_DIST+=$(TEX_SOURCE)
570 We then specify that the <TeX> source is to be generated from the <LyX>
573 <\nf-chunk|Makefile.inc-targets>
574 <item>$(TEX_SOURCE): $(LYX_SOURCE)
576 <item><nf-tab>lyx -e latex $\<less\>
580 <item><nf-tab>rm -f -- $(TEX_SOURCE)
582 <item>clean: clean_tex
585 <subsection|Converting from <TeXmacs>><label|Converting-from-Lyx>
587 Fangle cannot process <TeXmacs> files directly<\footnote>
588 but this is planned when <TeXmacs> uses xml as it's native format
589 </footnote>, but must first convert them to text files.
591 The command <verbatim|texmacs -c fangle.tm fangle.txt -q> will produce
592 <verbatim|fangle.txt>, a text file; so we define a make target to be the
593 same as the <TeXmacs> file but with the <verbatim|.txt> extension.
595 The <verbatim|EXTRA_DIST> is for automake support so that the <TeX> files
596 will automaticaly be distributed with the source, to help those who don't
597 have <LyX> installed.
599 <\nf-chunk|Makefile.inc-vars>
600 <item>TXT_SOURCE=$(LITERATE_SOURCE:.tm=.txt)
602 <item>EXTRA_DIST+=$(TXT_SOURCE)
605 <todo|Add loop around each $\<less\> so multiple targets can be specified>
607 <\nf-chunk|Makefile.inc-targets>
608 <item>$(TXT_SOURCE): $(LITERATE_SOURCE)
610 <item><nf-tab>texmacs -c $\<less\> $(TXT_SOURCE) -q
614 <item><nf-tab>rm -f -- $(TXT_SOURCE)
616 <item>clean: clean_txt
619 <section|Extracting Program Source>
621 The program source is extracted using fangle, which is designed to operate
622 on text or a <LaTeX> documents<\footnote>
623 <LaTeX> documents are just slightly special text documents
626 <\nf-chunk|Makefile.inc-vars>
627 <item>FANGLE_SOURCE=$(TEX_SOURCE) $(TXT_SOURCE)
630 The literate document can result in any number of source files, but not all
631 of these will be changed each time the document is updated. We certainly
632 don't want to update the timestamps of these files and cause the whole
633 source tree to be recompiled just because the literate explanation was
634 revised. We use <verbatim|CPIF> from the <em|Noweb> tools to avoid updating
635 the file if the content has not changed, but should probably write our own.
637 However, if a source file is not updated, then the fangle file will always
638 have a newer time-stamp and the makefile would always re-attempt to extact
639 a newer source file which would be a waste of time.
641 Because of this, we use a stamp file which is always updated each time the
642 sources are fully extracted from the <LaTeX> document. If the stamp file is
643 newer than the document, then we can avoid an attempt to re-extract any of
644 the sources. Because this stamp file is only updated when extraction is
645 complete, it is safe for the user to interrupt the build-process
648 We use <verbatim|echo> rather than <verbatim|touch> to update the stamp
649 file beause the <verbatim|touch> command does not work very well over an
650 <verbatim|sshfs>mount \ that I was using.
652 <\nf-chunk|Makefile.inc-vars>
653 <item>FANGLE_SOURCE_STAMP=$(FANGLE_SOURCE).stamp
656 <\nf-chunk|Makefile.inc-targets>
657 <item>$(FANGLE_SOURCE_STAMP): $(FANGLE_SOURCE) \\
659 <item><nf-tab> \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ $(FANGLE_SOURCES) ; \\
661 <item><nf-tab>echo -n \<gtr\> $(FANGLE_SOURCE_STAMP)
665 <item><nf-tab>rm -f $(FANGLE_SOURCE_STAMP)
667 <item>clean: clean_stamp
670 <section|Extracting Source Files>
672 We compute <verbatim|FANGLE_SOURCES> to hold the names of all the source
673 files defined in the document. We compute this only once, by means of
674 <verbatim|:=> in assignent. The sed deletes the any
675 <verbatim|\<less\>\<less\>> and <verbatim|\<gtr\>\<gtr\>> which may
676 surround the roots names (for compatibility with Noweb's noroots command).
678 As we use chunk names beginning with <filename|./> to denote top level
679 fragments that should be extracted, we filter out all fragments that do not
680 begin with <filename|./>
683 <verbatim|FANGLE_PREFIX> is set to <verbatim|./> by default, but whatever
684 it may be overridden to, the prefix is replaced by a literal
685 <verbatim|./> before extraction so that files will be extracted in the
686 current directory whatever the prefix. This helps namespace or
687 sub-project prefixes like <verbatim|documents:> for chunks like
688 <verbatim|documents:docbook/intro.xml>
691 <todo|This doesn't work though, because it loses the full name and doesn't
692 know what to extact!>
694 <\nf-chunk|Makefile.inc-vars>
695 <item>FANGLE_PREFIX:=\\.\\/
697 <item>FANGLE_SOURCES:=$(shell \\
699 <item> \ fangle -r $(FANGLE_SOURCE) \|\\
701 <item> \ sed -e 's/^[\<less\>][\<less\>]//;s/[\<gtr\>][\<gtr\>]$$//;/^$(FANGLE_PREFIX)/!d'
704 <item> \ \ \ \ \ -e 's/^$(FANGLE_PREFIX)/\\.\\//' )
707 The target below, <verbatim|echo_fangle_sources> is a helpful debugging
708 target and shows the names of the files that would be extracted.
710 <\nf-chunk|Makefile.inc-targets>
711 <item>.PHONY: echo_fangle_sources
713 <item>echo_fangle_sources: ; @echo $(FANGLE_SOURCES)
716 We define a convenient target called <verbatim|fangle_sources> so that
717 <verbatim|make -f fangle_sources> will re-extract the source if the
718 literate document has been updated.\
720 <\nf-chunk|Makefile.inc-targets>
721 <item>.PHONY: fangle_sources
723 <item>fangle_sources: $(FANGLE_SOURCE_STAMP)
726 And also a convenient target to remove extracted sources.
728 <\nf-chunk|Makefile.inc-targets>
729 <item>.PHONY: clean_fangle_sources
731 <item>clean_fangle_sources: ; \\
733 <item> \ \ \ \ \ \ \ rm -f -- $(FANGLE_SOURCE_STAMP) $(FANGLE_SOURCES)
736 We now look at the extraction of the source files.
738 This makefile macro <verbatim|if_extension> takes 4 arguments: the filename
739 <verbatim|$(1)>, some extensions to match <verbatim|$(2)> and a shell
740 command to return if the filename does match the exensions <verbatim|$(3)>,
741 and a shell command to return if it does not match the extensions
744 <\nf-chunk|Makefile.inc-vars>
745 <item>if_extension=$(if $(findstring $(suffix $(1)),$(2)),$(3),$(4))
748 For some source files like C files, we want to output the line number and
749 filename of the original <LaTeX> document from which the source
751 I plan to replace this option with a separate mapping file so as not to
752 pollute the generated source, and also to allow a code pretty-printing
753 reformatter like <verbatim|indent> be able to re-format the file and
754 adjust for changes through comparing the character streams.
757 To make this easier we define the file extensions for which we want to do
760 <\nf-chunk|Makefile.inc-vars>
761 <item>C_EXTENSIONS=.c .h
764 We can then use the <verbatim|if_extensions> macro to define a macro which
765 expands out to the <verbatim|-L> option if fangle is being invoked in a C
766 source file, so that C compile errors will refer to the line number in the
769 <\nf-chunk|Makefile.inc-vars>
772 <item>nf_line=-L -T$(TABS)
774 <item>fangle=fangle $(call if_extension,$(2),$(C_EXTENSIONS),$(nf_line))
778 We can use a similar trick to define an indent macro which takes just the
779 filename as an argument and can return a pipeline stage calling the indent
780 command. Indent can be turned off with <verbatim|make fangle_sources
783 <\nf-chunk|Makefile.inc-vars>
784 <item>indent_options=-npro -kr -i8 -ts8 -sob -l80 -ss -ncs
786 <item>indent=$(call if_extension,$(1),$(C_EXTENSIONS), \| indent
790 We now define the pattern for extracting a file. The files are written
791 using noweb's <verbatim|cpif> so that the file timestamp will not be
792 touched if the contents haven't changed. This avoids the need to rebuild
793 the entire project because of a typographical change in the documentation,
794 or if none or a few C source files have changed.
796 <\nf-chunk|Makefile.inc-vars>
797 <item>fangle_extract=@mkdir -p $(dir $(1)) && \\
799 <item> \ $(call fangle,$(2),$(1)) \<gtr\> "$(1).tmp" && \\
801 <item> \ cat "$(1).tmp" $(indent) \| cpif "$(1)" \\
803 <item> \ && rm -- "$(1).tmp" \|\| \\
805 <item> \ (echo error newfangling $(1) from $(2) ; exit 1)
808 We define a target which will extract or update all sources. To do this we
809 first defined a makefile template that can do this for any source file in
810 the <LaTeX> document.
812 <\nf-chunk|Makefile.inc-vars>
813 <item>define FANGLE_template
817 <item><nf-tab>$$(call fangle_extract,$(1),$(2))
819 <item> \ FANGLE_TARGETS+=$(1)
824 We then enumerate the discovered <verbatim|FANGLE_SOURCES> to generate a
825 makefile rule for each one using the makefile template we defined above.
827 <\nf-chunk|Makefile.inc-targets>
828 <item>$(foreach source,$(FANGLE_SOURCES),\\
830 <item> \ $(eval $(call FANGLE_template,$(source),$(FANGLE_SOURCE))) \\
835 These will all be built with <verbatim|FANGLE_SOURCE_STAMP>.
837 We also remove the generated sources on a make distclean.
839 <\nf-chunk|Makefile.inc-targets>
840 <item>_distclean: clean_fangle_sources
843 <section|Extracting Documentation>
845 We then identify the intermediate stages of the documentation and their
846 build and clean targets.
848 <subsection|Formatting <TeX>>
850 <subsubsection|Running pdflatex>
852 We produce a pdf file from the tex file.
854 <\nf-chunk|Makefile.inc-vars>
855 <item>FANGLE_PDF=$(TEX_SOURCE:.tex=.pdf)
858 We run pdflatex twice to be sure that the contents and aux files are up to
859 date. We certainly are <em|required> to run pdflatex at least twice if
860 these files do not exist.
862 <\nf-chunk|Makefile.inc-targets>
863 <item>$(FANGLE_PDF): $(TEX_SOURCE)
865 <item><nf-tab>pdflatex $\<less\> && pdflatex $\<less\>
871 <item><nf-tab>rm -f -- $(FANGLE_PDF) $(TEX_SOURCE:.tex=.toc) \\
873 <item><nf-tab> \ $(TEX_SOURCE:.tex=.log) $(TEX_SOURCE:.tex=.aux)
876 <subsection|Formatting <TeXmacs>>
878 <TeXmacs> can produce a PDF file directly.
880 <\nf-chunk|Makefile.inc-vars>
881 <item>FANGLE_PDF=$(TEX_SOURCE:.tm=.pdf)
885 Outputting the PDF may not be enough to update the links and page
888 we need to update twice, generate a pdf, update twice mode and generate a
891 Basically the PDF export of <TeXmacs> is pretty rotten and doesn't work
892 properly from the CLI
895 <\nf-chunk|Makefile.inc-targets>
896 <item>$(FANGLE_PDF): $(TEXMACS_SOURCE)
898 <item><nf-tab>texmacs -c $(TEXMACS_SOURCE) $\<less\> -q
904 <item><nf-tab>rm -f -- $(FANGLE_PDF)
907 <subsection|Building the Documentation as a Whole>
909 Currently we only build pdf as a final format, but <verbatim|FANGLE_DOCS>
910 may later hold other output formats.
912 <\nf-chunk|Makefile.inc-vars>
913 <item>FANGLE_DOCS=$(FANGLE_PDF)
916 We also define <verbatim|fangle_docs> as a convenient phony target.
918 <\nf-chunk|Makefile.inc-targets>
919 <item>.PHONY: fangle_docs
921 <item>fangle_docs: $(FANGLE_DOCS)
923 <item>docs: fangle_docs
926 And define a convenient <verbatim|clean_fangle_docs> which we add to the
929 <\nf-chunk|Makefile.inc-targets>
930 <item>.PHONEY: clean_fangle_docs
932 <item>clean_fangle_docs: clean_tex clean_pdf
934 <item>clean: clean_fangle_docs
938 <item>distclean_fangle_docs: clean_tex clean_fangle_docs
940 <item>distclean: clean distclean_fangle_docs
943 <section|Other helpers>
945 If <filename|Makefile.inc> is included into <filename|Makefile>, then
946 extracted files can be updated with this command:
948 <verbatim|make fangle_sources>
952 <verbatim|make -f Makefile.inc fangle_sources>
954 <section|Boot-strapping the extraction>
956 As well as having the makefile extract or update the source files as part
957 of it's operation, it also seems convenient to have the makefile
958 re-extracted itself from <em|this> document.
960 It would also be convenient to have the code that extracts the makefile
961 from this document to also be part of this document, however we have to
962 start somewhere and this unfortunately requires us to type at least a few
963 words by hand to start things off.
965 Therefore we will have a minimal root fragment, which, when extracted, can
966 cope with extracting the rest of the source. This shell script fragment can
967 do that. It's name is <verbatim|*> <emdash> out of regard for <name|Noweb>,
968 but when extracted might better be called <verbatim|autoupdate>.
977 <item>MAKE_SRC="${1:-${NW_LYX:-../../noweb-lyx/noweb-lyx3.lyx}}"
979 <item>MAKE_SRC=`dirname "$MAKE_SRC"`/`basename "$MAKE_SRC" .lyx`
981 <item>NOWEB_SRC="${2:-${NOWEB_SRC:-$MAKE_SRC.lyx}}"
983 <item>lyx -e latex $MAKE_SRC
987 <item>fangle -R./Makefile.inc ${MAKE_SRC}.tex \\
989 <item> \ \| sed "/FANGLE_SOURCE=/s/^/#/;T;aNOWEB_SOURCE=$FANGLE_SRC" \\
991 <item> \ \| cpif ./Makefile.inc
995 <item>make -f ./Makefile.inc fangle_sources
998 The general Makefile can be invoked with <filename|./autoboot> and can also
999 be included into any automake file to automatically re-generate the source
1002 The <em|autoboot> can be extracted with this command:
1005 lyx -e latex fangle.lyx && \\
1007 \ \ fangle fangle.lyx \<gtr\> ./autoboot
1010 This looks simple enough, but as mentioned, fangle has to be had from
1011 somewhere before it can be extracted.
1013 On a unix system this will extract <filename|fangle.module> and the
1014 <filename|fangle> awk script, and run some basic tests.\
1016 <todo|cross-ref to test chapter when it is a chapter all on its own>
1018 <section|Incorporating Makefile.inc into existing projects>
1020 If you are writing a literate module of an existing non-literate program
1021 you may find it easier to use a slight recursive make instead of directly
1022 including <verbatim|Makefile.inc> in the projects makefile.\
1024 This way there is less chance of definitions in <verbatim|Makefile.inc>
1025 interfering with definitions in the main makefile, or with definitions in
1026 other <verbatim|Makefile.inc> from other literate modules of the same
1029 To do this we add some <em|glue> to the project makefile that invokes
1030 Makefile.inc in the right way. The glue works by adding a <verbatim|.PHONY>
1031 target to call the recursive make, and adding this target as an additional
1032 pre-requisite to the existing targets.
1034 <paragraph|Example>Sub-module of existing system
1036 In this example, we are building <verbatim|module.so> as a literate module
1037 of a larger project.
1039 We will show the sort glue that can be inserted into the projects Makefile
1040 <emdash> or more likely <emdash> a regular Makefile included in or invoked
1041 by the projects Makefile.
1043 <\nf-chunk|makefile-glue>
1044 <item>module_srcdir=modules/module
1046 <item>MODULE_SOURCE=module.tm
1048 <item>MODULE_STAMP=$(MODULE_SOURCE).stamp
1051 The existing build system may already have a build target for
1052 <filename|module.o>, but we just add another pre-requisite to that. In this
1053 case we use <filename|module.tm.stamp> as a pre-requisite, the stamp file's
1054 modified time indicating when all sources were extracted<\footnote>
1055 If the projects build system does not know how to build the module from
1056 the extracted sources, then just add build actions here as normal.
1059 <\nf-chunk|makefile-glue>
1060 <item>$(module_srcdir)/module.o: $(module_srcdir)/$(MODULE_STAMP)
1063 The target for this new pre-requisite will be generated by a recursive make
1064 using <filename|Makefile.inc> which will make sure that the source is up to
1065 date, before it is built by the main projects makefile.
1067 <\nf-chunk|makefile-glue>
1068 <item>$(module_srcdir)/$(MODULE_STAMP): $(module_srcdir)/$(MODULE_SOURCE)
1070 <item><nf-tab>$(MAKE) -C $(module_srcdir) -f Makefile.inc fangle_sources
1071 LITERATE_SOURCE=$(MODULE_SOURCE)
1074 We can do similar glue for the docs, clean and distclean targets. In this
1075 example the main prject was using a double colon for these targets, so we
1076 must use the same in our glue.
1078 <\nf-chunk|makefile-glue>
1079 <item>docs:: docs_module
1081 <item>.PHONY: docs_module
1085 <item><nf-tab>$(MAKE) -C $(module_srcdir) -f Makefile.inc docs
1086 LITERATE_SOURCE=$(MODULE_SOURCE)
1090 <item>clean:: clean_module
1092 <item>.PHONEY: clean_module
1096 <item><nf-tab>$(MAKE) -C $(module_srcdir) -f Makefile.inc clean
1097 LITERATE_SOURCE=$(MODULE_SOURCE)
1101 <item>distclean:: distclean_module
1103 <item>.PHONY: distclean_module
1105 <item>distclean_module:
1107 <item><nf-tab>$(MAKE) -C $(module_srcdir) -f Makefile.inc distclean
1108 LITERATE_SOURCE=$(MODULE_SOURCE)
1111 We could do similarly for install targets to install the generated docs.
1115 <chapter|Fangle awk source code>
1117 We use the copyright notice from chapter <reference|License>.
1119 <\nf-chunk|./fangle>
1120 <item>#! /usr/bin/awk -f
1122 <item># <nf-ref|gpl3-copyright|>
1125 We also use code from <person|Arnold Robbins> public domain getopt (1993
1126 revision) defined in <reference|getopt>, and naturally want to attribute
1129 <\nf-chunk|./fangle>
1130 <item># NOTE: Arnold Robbins public domain getopt for awk is also used:
1132 <item><nf-ref|getopt.awk-header|>
1134 <item><nf-ref|getopt.awk-getopt()|>
1139 And include the following chunks (which are explained further on) to make
1142 <\nf-chunk|./fangle>
1143 <item><nf-ref|helper-functions|>
1145 <item><nf-ref|mode-tracker|>
1147 <item><nf-ref|parse_chunk_args|>
1149 <item><nf-ref|chunk-storage-functions|>
1151 <item><nf-ref|output_chunk_names()|>
1153 <item><nf-ref|output_chunks()|>
1155 <item><nf-ref|write_chunk()|>
1157 <item><nf-ref|expand_chunk_args()|>
1161 <item><nf-ref|begin|>
1163 <item><nf-ref|recognize-chunk|>
1168 <section|AWK tricks>
1170 The portable way to erase an array in awk is to split the empty string, so
1171 we define a fangle macro that can split an array, like this:
1173 <\nf-chunk|awk-delete-array>
1174 <item>split("", <nf-arg|ARRAY>);
1175 </nf-chunk|awk|<tuple|ARRAY>>
1177 For debugging it is sometimes convenient to be able to dump the contents of
1178 an array to <verbatim|stderr>, and so this macro is also useful.
1180 <\nf-chunk|dump-array>
1181 <item>print "\\nDump: <nf-arg|ARRAY>\\n--------\\n" \<gtr\>
1184 <item>for (_x in <nf-arg|ARRAY>) {
1186 <item> \ print _x "=" <nf-arg|ARRAY>[_x] "\\n" \<gtr\> "/dev/stderr";
1190 <item>print "========\\n" \<gtr\> "/dev/stderr";
1191 </nf-chunk|awk|<tuple|ARRAY>>
1193 <section|Catching errors>
1195 Fatal errors are issued with the error function:
1198 <item>function error(message)
1202 <item> \ print "ERROR: " FILENAME ":" FNR " " message \<gtr\>
1210 and likewise for non-fatal warnings:
1213 <item>function warning(message)
1217 <item> \ print "WARNING: " FILENAME ":" FNR " " message \<gtr\>
1220 <item> \ warnings++;
1225 and debug output too:
1228 <item>function debug_log(message)
1232 <item> \ print "DEBUG: " FILENAME ":" FNR " " message \<gtr\>
1238 <todo|append=helper-functions>
1240 <\nf-chunk|helper-functions>
1241 <item><nf-ref|error()|>
1244 <chapter|<TeXmacs> args>
1246 <TeXmacs> functions with arguments<\footnote>
1247 or function declarations with parameters
1248 </footnote> appear like this:
1250 <math|<math-tt|blah(><wide*|<wide|<math-tt|I came, I saw, I
1251 conquered>|\<wide-overbrace\>><rsup|argument 1><wide|<math-tt|<key|^K>>,
1252 |\<wide-overbrace\>><rsup|sep.><wide|and then went home
1253 asd|\<wide-overbrace\>><rsup|argument 3><wide|<math-tt|<key|^K>><math-tt|)>|\<wide-overbrace\>><rsup|term.>|\<wide-underbrace\>><rsub|arguments>>
1255 Arguments commence after the opening parenthesis. The first argument runs
1256 up till the next <key|^K>.\
1258 If the following character is a <key|,> then another argument follows. If
1259 the next character after the <key|,> is a space character, then it is also
1260 eaten. The fangle stylesheet emits <key|^K><key|,><key|space> as
1261 separators, but the fangle untangler will forgive a missing space.
1263 If the following character is <key|)> then this is a terminator and there
1264 are no more arguments.
1266 <\nf-chunk|constants>
1267 <item>ARG_SEPARATOR=sprintf("%c", 11);
1270 To process the <verbatim|text> in this fashion, we split the string on
1275 <\nf-chunk|get_chunk_args>
1276 <item>function get_texmacs_chunk_args(text, args, \ \ a, done) {
1278 <item> \ split(text, args, ARG_SEPARATOR);
1284 <item> \ for (a=1; (a in args); a++) if (a\<gtr\>1) {
1286 <item> \ \ \ if (args[a] == "" \|\| substr(args[a], 1, 1) == ")") done=1;
1288 <item> \ \ \ if (done) {
1290 <item> \ \ \ \ \ delete args[a];
1292 <item> \ \ \ \ \ break;
1298 <item> \ \ \ if (substr(args[a], 1, 2) == ", ") args[a]=substr(args[a],
1301 <item> \ \ \ else if (substr(args[a], 1, 1) == ",")
1302 args[a]=substr(args[a], 2); \
1309 <chapter|<LaTeX> and lstlistings>
1311 <todo|Split LyX and TeXmacs parts>
1313 For <LyX> and <LaTeX>, the <verbatim|lstlistings> package is used to format
1314 the lines of code chunks. You may recal from chapter XXX that arguments to
1315 a chunk definition are pure <LaTeX> code. This means that fangle needs to
1316 be able to parse <LaTeX> a little.
1318 <LaTeX> arguments to <verbatim|lstlistings> macros are a comma seperated
1319 list of key-value pairs, and values containing commas are enclosed in
1320 <verbatim|{> braces <verbatim|}> (which is to be expected for <LaTeX>).
1322 A sample expressions is:
1324 <verbatim|name=thomas, params={a, b}, something, something-else>
1326 but we see that this is just a simpler form of this expression:
1328 <verbatim|name=freddie, foo={bar=baz, quux={quirk, a=fleeg}}, etc>
1330 We may consider that we need a function that can parse such <LaTeX>
1331 expressions and assign the values to an AWK associated array, perhaps using
1332 a recursive parser into a multi-dimensional hash<\footnote>
1333 as AWK doesn't have nested-hash support
1334 </footnote>, resulting in:
1336 <tabular|<tformat|<cwith|2|6|1|2|cell-lborder|0.5pt>|<cwith|2|6|1|2|cell-rborder|0.5pt>|<cwith|2|6|1|2|cell-bborder|0.5pt>|<cwith|2|6|1|2|cell-tborder|0.5pt>|<cwith|1|1|1|2|cell-lborder|0.5pt>|<cwith|1|1|1|2|cell-rborder|0.5pt>|<cwith|1|1|1|2|cell-bborder|0.5pt>|<cwith|1|1|1|2|cell-tborder|0.5pt>|<table|<row|<cell|key>|<cell|value>>|<row|<cell|a[name]>|<cell|freddie>>|<row|<cell|a[foo,
1337 bar]>|<cell|baz>>|<row|<cell|a[foo, quux,
1338 quirk]>|<cell|>>|<row|<cell|a[foo, quux,
1339 a]>|<cell|fleeg>>|<row|<cell|a[etc]>|<cell|>>>>>
1341 Yet, also, on reflection it seems that sometimes such nesting is not
1342 desirable, as the braces are also used to delimit values that contain
1343 commas --- we may consider that
1345 <verbatim|name={williamson, freddie}>
1347 should assign <verbatim|williamson, freddie> to <verbatim|name>.
1349 In fact we are not so interested in the detail so as to be bothered by
1350 this, which turns out to be a good thing for two reasons. Firstly <TeX> has
1351 a malleable parser with no strict syntax, and secondly whether or not
1352 <verbatim|williamson> and <verbatim|freddie> should count as two items will
1353 be context dependant anyway.
1355 We need to parse this latex for only one reason; which is that we are
1356 extending lstlistings to add some additional arguments which will be used
1357 to express chunk parameters and other chunk options.
1359 <section|Additional lstlstings parameters>
1361 Further on we define a <verbatim|\\Chunk> <LaTeX> macro whose arguments
1362 will consist of a the chunk name, optionally followed by a comma and then a
1363 comma separated list of arguments. In fact we will just need to prefix
1364 <verbatim|name=> to the arguments to in order to create valid lstlistings
1367 There will be other arguments supported too;\
1370 <item*|params>As an extension to many literate-programming styles, fangle
1371 permits code chunks to take parameters and thus operate somewhat like C
1372 pre-processor macros, or like C++ templates. Chunk parameters are
1373 declared with a chunk argument called params, which holds a semi-colon
1374 separated list of parameters, like this:
1376 <verbatim|achunk,language=C,params=name;address>
1378 <item*|addto>a named chunk that this chunk is to be included into. This
1379 saves the effort of having to declare another listing of the named chunk
1380 merely to include this one.
1383 Function get_chunk_args() will accept two paramters, text being the text to
1384 parse, and values being an array to receive the parsed values as described
1385 above. The optional parameter path is used during recursion to build up the
1386 multi-dimensional array path.
1388 <\nf-chunk|./fangle>
1389 <item>=\<less\>\\chunkref{get_chunk_args()}\<gtr\>
1392 <\nf-chunk|get_chunk_args()>
1393 <item>function get_tex_chunk_args(text, values,
1395 <item> \ # optional parameters
1397 <item> \ path, # hierarchical precursors
1399 <item> \ # local vars
1404 The strategy is to parse the name, and then look for a value. If the value
1405 begins with a brace <verbatim|{>, then we recurse and consume as much of
1406 the text as necessary, returning the remaining text when we encounter a
1407 leading close-brace <verbatim|}>. This being the strategy --- and executed
1408 in a loop --- we realise that we must first look for the closing brace
1409 (perhaps preceded by white space) in order to terminate the recursion, and
1410 returning remaining text.
1412 <\nf-chunk|get_chunk_args()>
1415 <item> \ split("", values);
1417 <item> \ while(length(text)) {
1419 <item> \ \ \ if (match(text, "^ *}(.*)", a)) {
1421 <item> \ \ \ \ \ return a[1];
1425 <item> \ \ \ =\<less\>\\chunkref{parse-chunk-args}\<gtr\>
1429 <item> \ return text;
1434 We can see that the text could be inspected with this regex:
1436 <\nf-chunk|parse-chunk-args>
1437 <item>if (! match(text, " *([^,=]*[^,= ]) *(([,=]) *(([^,}]*) *,*
1440 <item> \ return text;
1445 and that <verbatim|a> will have the following values:
1447 <tabular|<tformat|<cwith|2|7|1|2|cell-lborder|0.5pt>|<cwith|2|7|1|2|cell-rborder|0.5pt>|<cwith|2|7|1|2|cell-bborder|0.5pt>|<cwith|2|7|1|2|cell-tborder|0.5pt>|<cwith|1|1|1|2|cell-lborder|0.5pt>|<cwith|1|1|1|2|cell-rborder|0.5pt>|<cwith|1|1|1|2|cell-bborder|0.5pt>|<cwith|1|1|1|2|cell-tborder|0.5pt>|<table|<row|<cell|a[n]>|<cell|assigned
1448 text>>|<row|<cell|1>|<cell|freddie>>|<row|<cell|2>|<cell|=freddie,
1449 foo={bar=baz, quux={quirk, a=fleeg}}, etc>>|<row|<cell|3>|<cell|=>>|<row|<cell|4>|<cell|freddie,
1450 foo={bar=baz, quux={quirk, a=fleeg}}, etc>>|<row|<cell|5>|<cell|freddie>>|<row|<cell|6>|<cell|,
1451 foo={bar=baz, quux={quirk, a=fleeg}}, etc>>>>>
1453 <verbatim|a[3]> will be either <verbatim|=> or <verbatim|,> and signify
1454 whether the option named in <verbatim|a[1]> has a value or not
1457 If the option does have a value, then if the expression
1458 <verbatim|substr(a[4],1,1)> returns a brace <verbatim|{> it will signify
1459 that we need to recurse:
1461 <\nf-chunk|parse-chunk-args>
1464 <item>if (a[3] == "=") {
1466 <item> \ if (substr(a[4],1,1) == "{") {
1468 <item> \ \ \ text = get_tex_chunk_args(substr(a[4],2), values, path name
1473 <item> \ \ \ values[path name]=a[5];
1475 <item> \ \ \ text = a[6];
1481 <item> \ values[path name]="";
1483 <item> \ text = a[2];
1488 We can test this function like this:
1490 <\nf-chunk|gca-test.awk>
1491 <item>=\<less\>\\chunkref{get_chunk_args()}\<gtr\>
1495 <item> \ SUBSEP=".";
1499 <item> \ print get_tex_chunk_args("name=freddie, foo={bar=baz,
1500 quux={quirk, a=fleeg}}, etc", a);
1502 <item> \ for (b in a) {
1504 <item> \ \ \ print "a[" b "] =\<gtr\> " a[b];
1511 which should give this output:
1513 <\nf-chunk|gca-test.awk-results>
1514 <item>a[foo.quux.quirk] =\<gtr\>\
1516 <item>a[foo.quux.a] =\<gtr\> fleeg
1518 <item>a[foo.bar] =\<gtr\> baz
1520 <item>a[etc] =\<gtr\>\
1522 <item>a[name] =\<gtr\> freddie
1525 <section|Parsing chunk arguments><label|Chunk Arguments>
1527 Arguments to paramterized chunks are expressed in round brackets as a comma
1528 separated list of optional arguments. For example, a chunk that is defined
1531 <verbatim|\\Chunk{achunk, params=name ; address}>
1533 could be invoked as:
1535 <verbatim|\\chunkref{achunk}(John Jones, jones@example.com)>
1537 An argument list may be as simple as in <verbatim|\\chunkref{pull}(thing,
1538 otherthing)> or as complex as:
1540 <verbatim|\\chunkref{pull}(things[x, y], get_other_things(a, "(all)"))>
1542 --- which for all it's commas and quotes and parenthesis represents only
1543 two parameters: <verbatim|things[x, y]> and <verbatim|get_other_things(a,
1546 If we simply split parameter list on commas, then the comma in
1547 <verbatim|things[x,y]> would split into two seperate arguments:
1548 <verbatim|things[x> and <verbatim|y]>--- neither of which make sense on
1551 One way to prevent this would be by refusing to split text between matching
1552 delimiters, such as <verbatim|[>, <verbatim|]>, <verbatim|(>, <verbatim|)>,
1553 <verbatim|{>, <verbatim|}> and most likely also <verbatim|">, <verbatim|">
1554 and <verbatim|'>, <verbatim|'>. Of course this also makes it impossible to
1555 pass such mis-matched code fragments as parameters, but I think that it
1556 would be hard for readers to cope with authors who would pass such code
1557 unbalanced fragments as chunk parameters<\footnote>
1558 I know that I couldn't cope with users doing such things, and although
1559 the GPL3 license prevents me from actually forbidding anyone from trying,
1560 if they want it to work they'll have to write the code themselves and not
1561 expect any support from me.
1564 Unfortunately, the full set of matching delimiters may vary from language
1565 to language. In certain C++ template contexts, <verbatim|\<less\>> and
1566 <verbatim|\<gtr\>> would count as delimiters, and yet in other contexts
1569 This puts me in the unfortunate position of having to parse-somewhat all
1570 programming languages without knowing what they are!
1572 However, if this universal mode-tracking is possible, then parsing the
1573 arguments would be trivial. Such a mode tracker is described in chapter
1574 <reference|modes> and used here with simplicity.
1576 <\nf-chunk|parse_chunk_args>
1577 <item>function parse_chunk_args(language, text, values, mode,
1579 <item> \ # local vars
1581 <item> \ c, context, rest)
1585 <item> \ =\<less\>\\chunkref{new-mode-tracker}(context, language,
1588 <item> \ rest = mode_tracker(context, text, values);
1590 <item> \ # extract values
1592 <item> \ for(c=1; c \<less\>= context[0, "values"]; c++) {
1594 <item> \ \ \ values[c] = context[0, "values", c];
1598 <item> \ return rest;
1603 <section|Expanding parameters in the text>
1605 Within the body of the chunk, the parameters are referred to with:
1606 <verbatim|${name}> and <verbatim|${address}>. There is a strong case that a
1607 <LaTeX> style notation should be used, like <verbatim|\\param{name}> which
1608 would be expressed in the listing as <verbatim|=\<less\>\\param{name}\<gtr\>>
1609 and be rendered as <verbatim|<nf-arg|name>>. Such notation would make me go
1610 blind, but I do intend to adopt it.
1612 We therefore need a function <verbatim|expand_chunk_args> which will take a
1613 block of text, a list of permitted parameters, and the arguments which must
1614 substitute for the parameters.\
1616 Here we split the text on <verbatim|${> which means that all parts except
1617 the first will begin with a parameter name which will be terminated by
1618 <verbatim|}>. The split function will consume the literal <verbatim|${> in
1621 <\nf-chunk|expand_chunk_args()>
1622 <item>function expand_chunk_args(text, params, args, \
1624 <item> \ p, text_array, next_text, v, t, l)
1628 <item> \ if (split(text, text_array, "\\\\${")) {
1630 <item> \ \ \ <nf-ref|substitute-chunk-args|>
1636 <item> \ return text;
1641 First, we produce an associative array of substitution values indexed by
1642 parameter names. This will serve as a cache, allowing us to look up the
1643 replacement values as we extract each name.
1645 <\nf-chunk|substitute-chunk-args>
1646 <item>for(p in params) {
1648 <item> \ v[params[p]]=args[p];
1653 We accumulate substituted text in the variable text. As the first part of
1654 the split function is the part before the delimiter --- which is
1655 <verbatim|${> in our case --- this part will never contain a parameter
1656 reference, so we assign this directly to the result kept in
1659 <\nf-chunk|substitute-chunk-args>
1660 <item>text=text_array[1];
1663 We then iterate over the remaining values in the array<\footnote>
1664 I don't know why I think that it will enumerate the array in order, but
1666 </footnote><todo|fix or prove it>, and substitute each reference for it's
1669 <\nf-chunk|substitute-chunk-args>
1670 <item>for(t=2; t in text_array; t++) {
1672 <item> \ =\<less\>\\chunkref{substitute-chunk-arg}\<gtr\>
1677 After the split on <verbatim|${> a valid parameter reference will consist
1678 of valid parameter name terminated by a close-brace <verbatim|}>. A valid
1679 character name begins with the underscore or a letter, and may contain
1680 letters, digits or underscores.
1682 A valid looking reference that is not actually the name of a parameter will
1683 be and not substituted. This is good because there is nothing to substitute
1684 anyway, and it avoids clashes when writing code for languages where
1685 <verbatim|${...}> is a valid construct --- such constructs will not be
1686 interfered with unless the parameter name also matches.
1688 <\nf-chunk|substitute-chunk-arg>
1689 <item>if (match(text_array[t], "^([a-zA-Z_][a-zA-Z0-9_]*)}", l) &&
1691 <item> \ \ \ l[1] in v)\
1695 <item> \ text = text v[l[1]] substr(text_array[t], length(l[1])+2);
1699 <item> \ text = text "${" text_array[t];
1704 <chapter|Language Modes & Quoting><label|modes>
1708 <verbatim|lstlistings> and <verbatim|fangle> both recognize source
1709 languages, and perform some basic parsing. <verbatim|lstlistings> can
1710 detect strings and comments within a language definition and perform
1711 suitable rendering, such as italics for comments, and visible-spaces within
1714 Fangle similarly can recognize strings, and comments, etc, within a
1715 language, so that any chunks included with <verbatim|\\chunkref> can be
1716 suitably escape or quoted.
1718 <subsection|Modes to keep code together>
1720 As an example, in the C language there are a few parse modes, affecting the
1721 interpretation of characters.
1723 One parse mode is the strings mode. The string mode is commenced by an
1724 un-escaped quotation mark <verbatim|"> and terminated by the same. Within
1725 the string mode, only one additional mode can be commenced, it is the
1726 backslash mode <verbatim|\\>, which is always terminated after the folloing
1729 Another mode is <verbatim|[> which is terminated by a <verbatim|]> (unless
1730 it occurs in a string).
1732 Consider this fragment of C code:
1736 <math|things<wide|<around|[|x, y|]>|\<wide-overbrace\>><rsup|1. [ mode>,
1737 get_other_things<wide|<around|(|a, <wide*|<text|"><around|(|all|)><text|">|\<wide-underbrace\>><rsub|3.
1738 " mode>|)>|\<wide-overbrace\>><rsup|2. ( mode>>
1742 Mode nesting prevents the close parenthesis in the quoted string (part 3)
1743 from terminating the parenthesis mode (part 2).
1745 Each language has a set of modes, the default mode being the null mode.
1746 Each mode can lead to other modes.
1748 <subsection|Modes affect included chunks>
1750 For instance, consider this chunk with language=perl:
1752 <nf-chunk|example-perl|print "hello world $0\\n";|perl|>
1754 If it were included in a chunk with <verbatim|language=sh>, like this:
1756 <nf-chunk|example-sh|perl -e "=\<less\>\\chunkref{example-perl}\<gtr\>"|sh|>
1758 fangle would <em|want> to generate output like this:
1760 <verbatim|perl -e "print \\"hello world \\$0\\\\n\\";" >
1762 See that the double quote <verbatim|">, back-slash <verbatim|\\> and
1763 <verbatim|$> have been quoted with a back-slash to protect them from shell
1766 If that were then included in a chunk with language=make, like this:
1768 <\nf-chunk|example-makefile>
1769 <item>target: pre-req
1771 <item><htab|5mm>=\<less\>\\chunkref{example-sh}\<gtr\>
1774 We would need the output to look like this --- note the <verbatim|$$>:
1779 \ \ \ \ \ \ \ \ perl -e "print \\"hello world \\$$0\\\\n\\";"
1782 In order to make this work, we need to define a mode-tracker supporting
1783 each language, that can detect the various quoting modes, and provide a
1784 transformation that must be applied to any included text so that included
1785 text will be interpreted correctly after any interpolation that it may be
1786 subject to at run-time.
1788 For example, the sed transformation for text to be inserted into shell
1789 double-quoted strings would be something like:
1791 <verbatim|s/\\\\/\\\\\\\\/g;s/$/\\\\$/g;s/"/\\\\"/g;>
1793 which protects <verbatim|\\ $ ">.
1795 <todo|I don't think this example is true>The mode tracker must also track
1796 nested mode-changes, as in this sh example.
1798 <verbatim|echo "hello `id ...`">
1800 <phantom|<verbatim|echo "hello `id >><math|\<uparrow\>>
1802 Any characters inserted at the point marked <math|\<uparrow\>> would need
1803 to be escaped, including <verbatim|`> <verbatim|\|> <verbatim|*> among
1804 others. First it would need escaping for the back-ticks <verbatim|`>, and
1805 then for the double-quotes <verbatim|">.
1807 <todo|MAYBE>Escaping need not occur if the format and mode of the included
1808 chunk matches that of the including chunk.
1810 As each chunk is output a new mode tracker for that language is initialized
1811 in it's normal state. As text is output for that chunk the output mode is
1812 tracked. When a new chunk is included, a transformation appropriate to that
1813 mode is selected and pushed onto a stack of transformations. Any text to be
1814 output is first passed through this stack of transformations.
1816 It remains to consider if the chunk-include function should return it's
1817 generated text so that the caller can apply any transformations (and
1818 formatting), or if it should apply the stack of transformations itself.
1820 Note that the transformed text should have the property of not being able
1821 to change the mode in the current chunk.
1823 <todo|Note chunk parameters should probably also be transformed>
1825 <section|Language Mode Definitions>
1827 All modes are stored in a single multi-dimensional hash. The first index is
1828 the language, and the second index is the mode-identifier. The third
1829 indexes are terminators, and optionally, submodes, and delimiters.
1831 A useful set of mode definitions for a nameless general C-type language is
1832 shown here. (Don't be confused by the double backslash escaping needed in
1833 awk. One set of escaping is for the string, and the second set of escaping
1837 TODO: Add =\<less\>\\mode{}\<gtr\> command which will allow us to signify
1840 \ regex and thus fangle will quote it for us.
1843 Submodes are entered by the characters \ <verbatim|"> <verbatim|'>
1844 <verbatim|{> <verbatim|(> <verbatim|[> <verbatim|/*>
1846 <\nf-chunk|common-mode-definitions>
1847 <item>modes[${language}, "", \ "submodes"]="\\\\\\\\\|\\"\|'\|{\|\\\\(\|\\\\[";
1848 </nf-chunk||<tuple|language>>
1850 In the default mode, a comma surrounded by un-important white space is a
1851 delimiter of language items<\footnote>
1852 whatever a <em|language item> might be
1855 <\nf-chunk|common-mode-definitions>
1856 <item>modes[${language}, "", \ "delimiters"]=" *, *";
1857 </nf-chunk||language>
1859 and should pass this test:<todo|Why do the tests run in ?(? mode and not ??
1862 <\nf-chunk|test:mode-definitions>
1863 <item>parse_chunk_args("c-like", "1,2,3", a, "");
1865 <item>if (a[1] != "1") e++;
1867 <item>if (a[2] != "2") e++;
1869 <item>if (a[3] != "3") e++;
1871 <item>if (length(a) != 3) e++;
1873 <item>=\<less\>\\chunkref{pca-test.awk:summary}\<gtr\>
1877 <item>parse_chunk_args("c-like", "joe, red", a, "");
1879 <item>if (a[1] != "joe") e++;
1881 <item>if (a[2] != "red") e++;
1883 <item>if (length(a) != 2) e++;
1885 <item>=\<less\>\\chunkref{pca-test.awk:summary}\<gtr\>
1889 <item>parse_chunk_args("c-like", "${colour}", a, "");
1891 <item>if (a[1] != "${colour}") e++;
1893 <item>if (length(a) != 1) e++;
1895 <item>=\<less\>\\chunkref{pca-test.awk:summary}\<gtr\>
1898 Nested modes are identified by a backslash, a double or single quote,
1899 various bracket styles or a <verbatim|/*> comment.
1901 For each of these sub-modes modes we must also identify at a mode
1902 terminator, and any sub-modes or delimiters that may be entered<\footnote>
1903 Because we are using the sub-mode characters as the mode identifier it
1904 means we can't currently have a mode character dependant on it's context;
1905 i.e. <verbatim|{> can't behave differently when it is inside
1909 <subsection|Backslash>
1911 The backslash mode has no submodes or delimiters, and is terminated by any
1912 character. Note that we are not so much interested in evaluating or
1913 interpolating content as we are in delineating content. It is no matter
1914 that a double backslash (<verbatim|\\\\>) may represent a single backslash
1915 while a backslash-newline may represent white space, but it does matter
1916 that the newline in a backslash newline should not be able to terminate a C
1917 pre-processor statement; and so the newline will be consumed by the
1918 backslash however it is to be interpreted.
1920 <\nf-chunk|common-mode-definitions>
1921 <item>modes[${language}, "\\\\", "terminators"]=".";
1924 <subsection|Strings>
1926 Common languages support two kinds of strings quoting, double quotes and
1929 In a string we have one special mode, which is the backslash. This may
1930 escape an embedded quote and prevent us thinking that it should terminate
1933 <\nf-chunk|mode:common-string>
1934 <item>modes[${language}, ${quote}, "submodes"]="\\\\\\\\";
1935 </nf-chunk||<tuple|language|quote>>
1937 Otherwise, the string will be terminated by the same character that
1940 <\nf-chunk|mode:common-string>
1941 <item>modes[${language}, ${quote}, "terminators"]=${quote};
1942 </nf-chunk||language>
1944 In C type languages, certain escape sequences exist in strings. We need to
1945 define mechanism to enclode any chunks included in this mode using those
1946 escape sequences. These are expressed in two parts, s meaning search, and r
1949 The first substitution is to replace a backslash with a double backslash.
1950 We do this first as other substitutions may introduce a backslash which we
1951 would not then want to escape again here.
1953 Note: Backslashes need double-escaping in the search pattern but not in the
1954 replacement string, hence we are replacing a literal <verbatim|\\> with a
1955 literal <verbatim|\\\\>.
1957 <\nf-chunk|mode:common-string>
1958 <item>escapes[${language}, ${quote}, ++escapes[${language}, ${quote}],
1961 <item>escapes[${language}, ${quote}, \ \ escapes[${language}, ${quote}],
1963 </nf-chunk||language>
1965 If the quote character occurs in the text, it should be preceded by a
1966 backslash, otherwise it would terminate the string unexpectedly.
1968 <\nf-chunk|mode:common-string>
1969 <item>escapes[${language}, ${quote}, ++escapes[${language}, ${quote}],
1972 <item>escapes[${language}, ${quote}, \ \ escapes[${language}, ${quote}],
1973 "r"]="\\\\" ${quote};
1974 </nf-chunk||language>
1976 Any newlines in the string, must be replaced by <verbatim|\\n>.
1978 <\nf-chunk|mode:common-string>
1979 <item>escapes[${language}, ${quote}, ++escapes[${language}, ${quote}],
1982 <item>escapes[${language}, ${quote}, \ \ escapes[${language}, ${quote}],
1984 </nf-chunk||language>
1986 For the common modes, we define this string handling for double and single
1989 <\nf-chunk|common-mode-definitions>
1990 <item>=\<less\>\\chunkref{mode:common-string}(${language},
1991 "\\textbackslash{}"")\<gtr\>
1993 <item>=\<less\>\\chunkref{mode:common-string}(${language}, "'")\<gtr\>
1996 Working strings should pass this test:
1998 <\nf-chunk|test:mode-definitions>
1999 <item>parse_chunk_args("c-like", "say \\"I said, \\\\\\"Hello, how are
2000 you\\\\\\".\\", for me", a, "");
2002 <item>if (a[1] != "say \\"I said, \\\\\\"Hello, how are you\\\\\\".\\"")
2005 <item>if (a[2] != "for me") e++;
2007 <item>if (length(a) != 2) e++;
2009 <item>=\<less\>\\chunkref{pca-test.awk:summary}\<gtr\>
2012 <subsection|Parentheses, Braces and Brackets>
2014 Where quotes are closed by the same character, parentheses, brackets and
2015 braces are closed by an alternate character.
2017 <\nf-chunk|mode:common-brackets>
2018 <item>modes[<nf-arg|language>, <nf-arg|open>, \ "submodes"
2019 ]="\\\\\\\\\|\\"\|{\|\\\\(\|\\\\[\|'\|/\\\\*";
2021 <item>modes[<nf-arg|language>, <nf-arg|open>, \ "delimiters"]=" *, *";
2023 <item>modes[<nf-arg|language>, <nf-arg|open>,
2024 \ "terminators"]=<nf-arg|close>;
2025 </nf-chunk||<tuple|language|open|close>>
2027 Note that the open is NOT a regex but the close token IS. <todo|When we can
2028 quote regex we won't have to put the slashes in here>
2030 <\nf-chunk|common-mode-definitions>
2031 <item>=\<less\>\\chunkref{mode:common-brackets}(${language}, "{",
2034 <item>=\<less\>\\chunkref{mode:common-brackets}(${language}, "[",
2035 "\\textbackslash{}\\textbackslash{}]")\<gtr\>
2037 <item>=\<less\>\\chunkref{mode:common-brackets}(${language}, "(",
2038 "\\textbackslash{}\\textbackslash{})")\<gtr\>
2041 <subsection|Customizing Standard Modes>
2043 <\nf-chunk|mode:add-submode>
2044 <item>modes[${language}, ${mode}, "submodes"] = modes[${language},
2045 ${mode}, "submodes"] "\|" ${submode};
2046 </nf-chunk||<tuple|language|mode|submode>>
2048 <\nf-chunk|mode:add-escapes>
2049 <item>escapes[${language}, ${mode}, ++escapes[${language}, ${mode}],
2052 <item>escapes[${language}, ${mode}, \ \ escapes[${language}, ${mode}],
2054 </nf-chunk||<tuple|language|mode|search|replace>>
2058 <subsection|Comments>
2060 We can define <verbatim|/* comment */> style comments and
2061 <verbatim|//comment> style comments to be added to any language:
2063 <\nf-chunk|mode:multi-line-comments>
2064 <item>=\<less\>\\chunkref{mode:add-submode}(${language}, "",
2065 "/\\textbackslash{}\\textbackslash{}*")\<gtr\>
2067 <item>modes[${language}, "/*", "terminators"]="\\\\*/";
2068 </nf-chunk||<tuple|language>>
2070 <\nf-chunk|mode:single-line-slash-comments>
2071 <item>=\<less\>\\chunkref{mode:add-submode}(${language}, "", "//")\<gtr\>
2073 <item>modes[${language}, "//", "terminators"]="\\n";
2075 <item>=\<less\>\\chunkref{mode:add-escapes}(${language}, "//",
2076 "\\textbackslash{}n", "\\textbackslash{}n//")\<gtr\>
2077 </nf-chunk||language>
2079 We can also define <verbatim|# comment> style comments (as used in awk and
2080 shell scripts) in a similar manner.
2082 <todo|I'm having to use # for hash and \textbackslash{} for \ and have
2083 hacky work-arounds in the parser for now>
2085 <\nf-chunk|mode:add-hash-comments>
2086 <item>=\<less\>\\chunkref{mode:add-submode}(${language}, "",
2089 <item>modes[${language}, "#", "terminators"]="\\n";
2091 <item>=\<less\>\\chunkref{mode:add-escapes}(${language}, "\\#",
2092 "\\textbackslash{}n", "\\textbackslash{}n\\#")\<gtr\>
2093 </nf-chunk||<tuple|language>>
2095 In C, the <verbatim|#> denotes pre-processor directives which can be
2098 <\nf-chunk|mode:add-hash-defines>
2099 <item>=\<less\>\\chunkref{mode:add-submode}(${language}, "",
2102 <item>modes[${language}, "#", "submodes" ]="\\\\\\\\";
2104 <item>modes[${language}, "#", "terminators"]="\\n";
2106 <item>=\<less\>\\chunkref{mode:add-escapes}(${language}, "\\#",
2107 "\\textbackslash{}n", "\\textbackslash{}\\textbackslash{}\\textbackslash{}\\textbackslash{}\\textbackslash{}n")\<gtr\>
2108 </nf-chunk||<tuple|language>>
2110 <\nf-chunk|mode:quote-dollar-escape>
2111 <item>escapes[${language}, ${quote}, ++escapes[${language}, ${quote}],
2114 <item>escapes[${language}, ${quote}, \ \ escapes[${language}, ${quote}],
2116 </nf-chunk||<tuple|language|quote>>
2118 We can add these definitions to various languages
2120 <\nf-chunk|mode-definitions>
2121 <item><nf-ref|common-mode-definitions|<tuple|"c-like">>
2125 <item><nf-ref|common-mode-definitions|<tuple|"c">>
2127 <item>=\<less\>\\chunkref{mode:multi-line-comments}("c")\<gtr\>
2129 <item>=\<less\>\\chunkref{mode:single-line-slash-comments}("c")\<gtr\>
2131 <item>=\<less\>\\chunkref{mode:add-hash-defines}("c")\<gtr\>
2135 <item>=\<less\>\\chunkref{common-mode-definitions}("awk")\<gtr\>
2137 <item>=\<less\>\\chunkref{mode:add-hash-comments}("awk")\<gtr\>
2139 <item>=\<less\>\\chunkref{mode:add-naked-regex}("awk")\<gtr\>
2142 The awk definitions should allow a comment block like this:
2144 <nf-chunk|test:comment-quote|<item># Comment:
2145 =\<less\>\\chunkref{test:comment-text}\<gtr\>|awk|>
2147 <\nf-chunk|test:comment-text>
2148 <item>Now is the time for
2150 <item>the quick brown fox to bring lemonade
2155 to come out like this:
2157 <\nf-chunk|test:comment-quote:result>
2158 <item># Comment: Now is the time for
2160 <item>#the quick brown fox to bring lemonade
2165 The C definition for such a block should have it come out like this:
2167 <\nf-chunk|test:comment-quote:C-result>
2168 <item># Comment: Now is the time for\\
2170 <item>the quick brown fox to bring lemonade\\
2177 This pattern is incomplete, but meant to detect naked regular expressions
2178 in awk and perl; e.g. <verbatim|/.*$/>, however required capabilities are
2181 Current it only detects regexes anchored with ^ as used in fangle.
2183 For full regex support, modes need to be named not after their starting
2184 character, but some other more fully qualified name.
2186 <\nf-chunk|mode:add-naked-regex>
2187 <item>=\<less\>\\chunkref{mode:add-submode}(${language}, "",
2188 "/\\textbackslash{}\\textbackslash{}\\^")\<gtr\>
2190 <item>modes[${language}, "/^", "terminators"]="/";
2191 </nf-chunk||<tuple|language>>
2195 <\nf-chunk|mode-definitions>
2196 <item>=\<less\>\\chunkref{common-mode-definitions}("perl")\<gtr\>
2198 <item>=\<less\>\\chunkref{mode:multi-line-comments}("perl")\<gtr\>
2200 <item>=\<less\>\\chunkref{mode:add-hash-comments}("perl")\<gtr\>
2203 Still need to add add <verbatim|s/>, submode <verbatim|/>, terminate both
2204 with <verbatim|//>. This is likely to be impossible as perl regexes can
2209 <\nf-chunk|mode-definitions>
2210 <item>=\<less\>\\chunkref{common-mode-definitions}("sh")\<gtr\>
2212 <item>#\<less\>\\chunkref{mode:common-string}("sh",
2213 "\\textbackslash{}"")\<gtr\>
2215 <item>#\<less\>\\chunkref{mode:common-string}("sh", "'")\<gtr\>
2217 <item>=\<less\>\\chunkref{mode:add-hash-comments}("sh")\<gtr\>
2219 <item>=\<less\>\\chunkref{mode:quote-dollar-escape}("sh", "\\"")\<gtr\>
2222 <section|Some tests>
2224 Also, the parser must return any spare text at the end that has not been
2225 processed due to a mode terminator being found.
2227 <\nf-chunk|test:mode-definitions>
2228 <item>rest = parse_chunk_args("c-like", "1, 2, 3) spare", a, "(");
2230 <item>if (a[1] != 1) e++;
2232 <item>if (a[2] != 2) e++;
2234 <item>if (a[3] != 3) e++;
2236 <item>if (length(a) != 3) e++;
2238 <item>if (rest != " spare") e++;
2240 <item>=\<less\>\\chunkref{pca-test.awk:summary}\<gtr\>
2243 We must also be able to parse the example given earlier.
2245 <\nf-chunk|test:mode-definitions>
2246 <item>parse_chunk_args("c-like", "things[x, y], get_other_things(a,
2247 \\"(all)\\"), 99", a, "(");
2249 <item>if (a[1] != "things[x, y]") e++;
2251 <item>if (a[2] != "get_other_things(a, \\"(all)\\")") e++;
2253 <item>if (a[3] != "99") e++;
2255 <item>if (length(a) != 3) e++;
2257 <item>=\<less\>\\chunkref{pca-test.awk:summary}\<gtr\>
2260 <section|A non-recursive mode tracker>
2262 <subsection|Constructor>
2264 The mode tracker holds its state in a stack based on a numerically indexed
2265 hash. This function, when passed an empty hash, will intialize it.
2267 <\nf-chunk|new_mode_tracker()>
2268 <item>function new_mode_tracker(context, language, mode) {
2270 <item> \ context[""] = 0;
2272 <item> \ context[0, "language"] = language;
2274 <item> \ context[0, "mode"] = mode;
2279 Because awk functions cannot return an array, we must create the array
2280 first and pass it in, so we have a fangle macro to do this:
2282 <\nf-chunk|new-mode-tracker>
2283 <item><nf-ref|awk-delete-array|<tuple|context>>
2285 <item>new_mode_tracker(${context}, ${language}, ${mode});
2286 </nf-chunk|awk|<tuple|context|language|mode>>
2288 <subsection|Management>
2290 And for tracking modes, we dispatch to a mode-tracker action based on the
2293 <\nf-chunk|mode_tracker>
2294 <item>function push_mode_tracker(context, language, mode,
2296 <item> \ # local vars
2302 <item> \ if (! ("" in context)) {
2304 <item> \ \ \ <nf-ref|new-mode-tracker|<tuple|context|language|mode>>
2308 <item> \ \ \ top = context[""];
2310 <item> \ \ \ if (context[top, "language"] == language && mode=="") mode =
2311 context[top, "mode"];
2315 <item> \ \ \ context[top, "language"] = language;
2317 <item> \ \ \ context[top, "mode"] = mode;
2319 <item> \ \ \ context[""] = top;
2326 <\nf-chunk|mode_tracker>
2327 <item>function dump_mode_tracker(context, \
2333 <item> \ for(c=0; c \<less\>= context[""]; c++) {
2335 <item> \ \ \ printf(" %2d \ \ %s:%s\\n", c, context[c, "language"],
2336 context[c, "mode"]) \<gtr\> "/dev/stderr";
2338 <item> \ \ \ for(d=1; ( (c, "values", d) in context); d++) {
2340 <item> \ \ \ \ \ printf(" \ \ %2d %s\\n", d, context[c, "values", d])
2341 \<gtr\> "/dev/stderr";
2350 <\nf-chunk|mode_tracker>
2351 <item>function finalize_mode_tracker(context)
2355 <item> \ if ( ("" in context) && context[""] != 0) return 0;
2362 This implies that any chunk must be syntactically whole; for instance, this
2365 <\nf-chunk|test:whole-chunk>
2368 <item> \ =\<less\>\\chunkref{test:say-hello}\<gtr\>
2373 <\nf-chunk|test:say-hello>
2374 <item>print "hello";
2377 But this is not fine; the chunk <nf-ref|test:hidden-else|> is not properly
2380 <\nf-chunk|test:partial-chunk>
2383 <item> \ =\<less\>\\chunkref{test:hidden-else}\<gtr\>
2388 <\nf-chunk|test:hidden-else>
2389 <item> \ print "I'm fine";
2393 <item> \ print "I'm not";
2396 These tests will check for correct behaviour:
2398 <\nf-chunk|test:cromulence>
2399 <item>echo Cromulence test
2401 <item>passtest $FANGLE -Rtest:whole-chunk $TEX_SRC &\<gtr\>/dev/null \|\|
2402 ( echo "Whole chunk failed" && exit 1 )
2404 <item>failtest $FANGLE -Rtest:partial-chunk $TEX_SRC &\<gtr\>/dev/null
2405 \|\| ( echo "Partial chunk failed" && exit 1 )
2408 <subsection|Tracker>
2410 We must avoid recursion as a language construct because we intend to employ
2411 mode-tracking to track language mode of emitted code, and the code is
2412 emitted from a function which is itself recursive, so instead we implement
2413 psuedo-recursion using our own stack based on a hash.
2415 <\nf-chunk|mode_tracker()>
2416 <item>function mode_tracker(context, text, values,\
2418 <item> \ # optional parameters
2420 <item> \ # local vars
2422 <item> \ mode, submodes, language,
2424 <item> \ cindex, c, a, part, item, name, result, new_values, new_mode,\
2426 <item> \ delimiters, terminators)
2431 We could be re-commencing with a valid context, so we need to setup the
2432 state according to the last context.
2434 <\nf-chunk|mode_tracker()>
2435 <item> \ cindex = context[""] + 0;
2437 <item> \ mode = context[cindex, "mode"];
2439 <item> \ language = context[cindex, "language" ];
2442 First we construct a single large regex combining the possible sub-modes
2443 for the current mode along with the terminators for the current mode.
2445 <\nf-chunk|parse_chunk_args-reset-modes>
2446 <item> \ submodes=modes[language, mode, "submodes"];
2450 <item> \ if ((language, mode, "delimiters") in modes) {
2452 <item> \ \ \ delimiters = modes[language, mode, "delimiters"];
2454 <item> \ \ \ if (length(submodes)\<gtr\>0) submodes = submodes "\|";
2456 <item> \ \ \ submodes=submodes delimiters;
2458 <item> \ } else delimiters="";
2460 <item> \ if ((language, mode, "terminators") in modes) {
2462 <item> \ \ \ terminators = modes[language, mode, "terminators"];
2464 <item> \ \ \ if (length(submodes)\<gtr\>0) submodes = submodes "\|";
2466 <item> \ \ \ submodes=submodes terminators;
2468 <item> \ } else terminators="";
2471 If we don't find anything to match on --- probably because the language is
2472 not supported --- then we return the entire text without matching anything.
2474 <\nf-chunk|parse_chunk_args-reset-modes>
2475 <item> if (! length(submodes)) return text;
2478 <\nf-chunk|mode_tracker()>
2479 <item>=\<less\>\\chunkref{parse_chunk_args-reset-modes}\<gtr\>
2482 We then iterate the text (until there is none left) looking for sub-modes
2483 or terminators in the regex.
2485 <\nf-chunk|mode_tracker()>
2486 <item> \ while((cindex \<gtr\>= 0) && length(text)) {
2488 <item> \ \ \ if (match(text, "(" submodes ")", a)) {
2491 A bug that creeps in regularly during development is bad regexes of zero
2492 length which result in an infinite loop (as no text is consumed), so I
2493 catch that right away with this test.
2495 <\nf-chunk|mode_tracker()>
2496 <item> \ \ \ \ \ if (RLENGTH\<less\>1) {
2498 <item> \ \ \ \ \ \ \ error(sprintf("Internal error, matched zero length
2499 submode, should be impossible - likely regex computation error\\n" \\
2501 <item> \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ "Language=%s\\nmode=%s\\nmatch=%s\\n",
2502 language, mode, submodes));
2507 part is defined as the text up to the sub-mode or terminator, and this is
2508 appended to item --- which is the current text being gathered. If a mode
2509 has a delimiter, then item is reset each time a delimiter is found.
2511 <math|<wide|<with|mode|prog|"><wide*|hello|\<wide-underbrace\>><rsub|item>,
2512 <wide*|there|\<wide-underbrace\>><rsub|item><with|mode|prog|">|\<wide-overbrace\>><rsup|item>,
2513 \ <wide|he said.|\<wide-overbrace\>><rsup|item>>
2515 <\nf-chunk|mode_tracker()>
2516 <item> \ \ \ \ \ part = substr(text, 1, RSTART -1);
2518 <item> \ \ \ \ \ item = item part;
2521 We must now determine what was matched. If it was a terminator, then we
2522 must restore the previous mode.
2524 <\nf-chunk|mode_tracker()>
2525 <item> \ \ \ \ \ if (match(a[1], "^" terminators "$")) {
2527 <item>#printf("%2d EXIT \ MODE [%s] by [%s] [%s]\\n", cindex, mode, a[1],
2528 text) \<gtr\> "/dev/stderr"
2530 <item> \ \ \ \ \ \ \ context[cindex, "values", ++context[cindex,
2533 <item> \ \ \ \ \ \ \ delete context[cindex];
2535 <item> \ \ \ \ \ \ \ context[""] = --cindex;
2537 <item> \ \ \ \ \ \ \ if (cindex\<gtr\>=0) {
2539 <item> \ \ \ \ \ \ \ \ \ mode = context[cindex, "mode"];
2541 <item> \ \ \ \ \ \ \ \ \ language = context[cindex, "language"];
2543 <item> \ \ \ \ \ \ \ \ \ =\<less\>\\chunkref{parse_chunk_args-reset-modes}\<gtr\>
2545 <item> \ \ \ \ \ \ \ }
2547 <item> \ \ \ \ \ \ \ item = item a[1];
2549 <item> \ \ \ \ \ \ \ text = substr(text, 1 + length(part) +
2555 If a delimiter was matched, then we must store the current item in the
2556 parsed values array, and reset the item.
2558 <\nf-chunk|mode_tracker()>
2559 <item> \ \ \ \ \ else if (match(a[1], "^" delimiters "$")) {
2561 <item> \ \ \ \ \ \ \ if (cindex==0) {
2563 <item> \ \ \ \ \ \ \ \ \ context[cindex, "values", ++context[cindex,
2566 <item> \ \ \ \ \ \ \ \ \ item = "";
2568 <item> \ \ \ \ \ \ \ } else {
2570 <item> \ \ \ \ \ \ \ \ \ item = item a[1];
2572 <item> \ \ \ \ \ \ \ }
2574 <item> \ \ \ \ \ \ \ text = substr(text, 1 + length(part) +
2580 otherwise, if a new submode is detected (all submodes have terminators), we
2581 must create a nested parse context until we find the terminator for this
2584 <\nf-chunk|mode_tracker()>
2585 <item> else if ((language, a[1], "terminators") in modes) {
2587 <item> \ \ \ \ \ \ \ #check if new_mode is defined
2589 <item> \ \ \ \ \ \ \ item = item a[1];
2591 <item>#printf("%2d ENTER MODE [%s] in [%s]\\n", cindex, a[1], text)
2592 \<gtr\> "/dev/stderr"
2594 <item> \ \ \ \ \ \ \ text = substr(text, 1 + length(part) +
2597 <item> \ \ \ \ \ \ \ context[""] = ++cindex;
2599 <item> \ \ \ \ \ \ \ context[cindex, "mode"] = a[1];
2601 <item> \ \ \ \ \ \ \ context[cindex, "language"] = language;
2603 <item> \ \ \ \ \ \ \ mode = a[1];
2605 <item> \ \ \ \ \ \ \ =\<less\>\\chunkref{parse_chunk_args-reset-modes}\<gtr\>
2607 <item> \ \ \ \ \ } else {
2609 <item> \ \ \ \ \ \ \ error(sprintf("Submode '%s' set unknown mode in
2610 text: %s\\nLanguage %s Mode %s\\n", a[1], text, language, mode));
2612 <item> \ \ \ \ \ \ \ text = substr(text, 1 + length(part) +
2620 In the final case, we parsed to the end of the string. If the string was
2621 entire, then we should have no nested mode context, but if the string was
2622 just a fragment we may have a mode context which must be preserved for the
2623 next fragment. Todo: Consideration ought to be given if sub-mode strings
2624 are split over two fragments.
2626 <\nf-chunk|mode_tracker()>
2629 <item> \ \ \ \ \ context[cindex, "values", ++context[cindex, "values"]] =
2632 <item> \ \ \ \ \ text = "";
2634 <item> \ \ \ \ \ item = "";
2642 <item> \ context["item"] = item;
2646 <item> \ if (length(item)) context[cindex, "values", ++context[cindex,
2649 <item> \ return text;
2654 <subsubsection|One happy chunk>
2656 All the mode tracker chunks are referred to here:
2658 <\nf-chunk|mode-tracker>
2659 <item><nf-ref|new_mode_tracker()|>
2661 <item><nf-ref|mode_tracker()|>
2664 <subsubsection|Tests>
2666 We can test this function like this:
2668 <\nf-chunk|pca-test.awk>
2669 <item>=\<less\>\\chunkref{error()}\<gtr\>
2671 <item>=\<less\>\\chunkref{mode-tracker}\<gtr\>
2673 <item>=\<less\>\\chunkref{parse_chunk_args()}\<gtr\>
2677 <item> \ SUBSEP=".";
2679 <item> \ =\<less\>\\chunkref{mode-definitions}\<gtr\>
2683 <item> \ =\<less\>\\chunkref{test:mode-definitions}\<gtr\>
2688 <\nf-chunk|pca-test.awk:summary>
2691 <item> \ printf "Failed " e
2693 <item> \ for (b in a) {
2695 <item> \ \ \ print "a[" b "] =\<gtr\> " a[b];
2701 <item> \ print "Passed"
2710 which should give this output:
2712 <\nf-chunk|pca-test.awk-results>
2713 <item>a[foo.quux.quirk] =\<gtr\>\
2715 <item>a[foo.quux.a] =\<gtr\> fleeg
2717 <item>a[foo.bar] =\<gtr\> baz
2719 <item>a[etc] =\<gtr\>\
2721 <item>a[name] =\<gtr\> freddie
2724 <section|Escaping and Quoting>
2726 For the time being and to get around <TeXmacs> inability to export a
2727 <kbd|TAB> character, the right arrow <with|mode|math|\<mapsto\>> whose
2728 UTF-8 sequence is ...
2732 Another special character is used, the left-arrow
2733 <with|mode|math|\<mapsfrom\>> with UTF-8 sequence 0xE2 0x86 0xA4 is used to
2734 strip any preceding white space as a way of un-tabbing and removing indent
2735 that has been applied <emdash> this is important for bash here documents,
2736 and the like. It's a filthy hack.
2738 <todo|remove the hack>
2740 <\nf-chunk|mode_tracker>
2743 <item>function untab(text) {
2745 <item> \ gsub("[[:space:]]*\\xE2\\x86\\xA4","", text);
2747 <item> \ return text;
2752 Each nested mode can optionally define a set of transforms to be applied to
2753 any text that is included from another language.
2755 This code can perform transforms
2757 <\nf-chunk|mode_tracker>
2758 <item>function transform_escape(s, r, text,
2760 <item> \ \ \ # optional
2764 <item> \ \ \ \ \ \ \ # local vars
2766 <item> \ \ \ \ \ \ \ c)
2770 <item> \ for(c=1; c \<less\>= max && (c in s); c++) {
2772 <item> \ \ \ gsub(s[c], r[c], text);
2776 <item> \ return text;
2781 This function must append from index c onwards, and escape transforms from
2782 the supplied context, and return c + number of new transforms.
2784 <\nf-chunk|mode_tracker>
2785 <item>function mode_escaper(context, s, r, src,
2787 <item> \ c, cp, cpl)
2791 <item> \ for(c = context[""]; c \<gtr\>= 0; c--) {
2793 <item> \ \ \ if ( (context[c, "language"], context[c, "mode"]) in
2796 <item> \ \ \ \ \ cpl = escapes[context[c, "language"], context[c,
2799 <item> \ \ \ \ \ for (cp = 1; cp \<less\>= cpl; cp ++) {
2801 <item> \ \ \ \ \ \ \ ++src;
2803 <item> \ \ \ \ \ \ \ s[src] = escapes[context[c, "language"], context[c,
2806 <item> \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ r[src]
2807 = escapes[context[c, "language"], context[c, "mode"], cp, "r"];
2815 <item> \ return src;
2819 <item>function dump_escaper(c, s, r, cc) {
2821 <item> \ for(cc=1; cc\<less\>=c; cc++) {
2823 <item> \ \ \ printf("%2d s[%s] r[%s]\\n", cc, s[cc], r[cc]) \<gtr\>
2831 <\nf-chunk|test:escapes>
2832 <item>echo escapes test
2834 <item>passtest $FANGLE -Rtest:comment-quote $TEX_SRC &\<gtr\>/dev/null
2835 \|\| ( echo "Comment-quote failed" && exit 1 )
2838 <chapter|Recognizing Chunks>
2840 Fangle recognizes noweb chunks, but as we also want better <LaTeX>
2841 integration we will recognize any of these:
2844 <item>notangle chunks matching the pattern
2845 <verbatim|^\<less\>\<less\>.*?\<gtr\>\<gtr\>=>
2847 <item>chunks beginning with <verbatim|\\begin{lstlistings}>, possibly
2848 with <verbatim|\\Chunk{...}> on the previous line
2850 <item>an older form I have used, beginning with
2851 <verbatim|\\begin{Chunk}[options]> --- also more suitable for plain
2852 <LaTeX> users<\footnote>
2853 Is there such a thing as plain <LaTeX>?
2857 <section|Chunk start>
2859 The variable chunking is used to signify that we are processing a code
2860 chunk and not document. In such a state, input lines will be assigned to
2861 the current chunk; otherwise they are ignored.
2863 <subsection|<TeXmacs>>
2865 We don't handle <TeXmacs> files natively yet, but rather instead emit
2866 unicode character sequences to mark up the text-export file which we do
2869 These hacks detect the unicode character sequences and retro-fit in the old
2872 We convert <math|\<mapsto\>> into a tab character.
2874 <\nf-chunk|recognize-chunk>
2879 <item># \ gsub("\\n*$","");
2881 <item># \ gsub("\\n", " ");
2887 <item>/\\xE2\\x86\\xA6/ {
2889 <item> \ gsub("\\\\xE2\\\\x86\\\\xA6", "\\x09");
2894 <TeXmacs> back-tick handling is obscure, and a cut-n-paste back-tick from a
2895 shell window comes out as a unicode sequence<\footnote>
2896 that won't export to html, except as a NULL character (literal 0x00)
2897 </footnote> that is fixed-up here.
2899 <\nf-chunk|recognize-chunk>
2902 <item>/\\xE2\\x80\\x98/ {
2904 <item> \ gsub("\\\\xE2\\\\x80\\\\x98", "`");
2909 In the <TeXmacs> output, the start of a chunk will appear like this:
2911 <verbatim| \ 5b\<less\>example-chunk<key|^K>[1](arg1,<key|^K>
2912 arg2<key|^K><key|^K>), lang=C\<gtr\> <math|\<equiv\>>>
2914 We detect the the start of a <TeXmacs> chunk by detecting the
2915 <math|\<equiv\>> symbol which occurs near the end of the line. We obtain
2916 the chunk name, the chunk parameters, and the chunk language.
2918 <\nf-chunk|recognize-chunk>
2921 <item>/\\xE2\\x89\\xA1/ {
2923 <item> \ if (match($0, "^ *([^[ ]* \|)\<less\>([^[
2924 ]*)\\\\[[0-9]*\\\\][(](.*)[)].*, lang=([^ ]*)", line)) {
2926 <item> \ \ \ next_chunk_name=line[2];
2928 <item> \ \ \ get_texmacs_chunk_args(line[3], next_chunk_params);
2930 <item> \ \ \ gsub(ARG_SEPARATOR ",? ?", ";", line[3]);
2932 <item> \ \ \ params = "params=" line[3];
2934 <item> \ \ \ if ((line[4])) {
2936 <item> \ \ \ \ \ params = params ",language=" line[4]
2940 <item> \ \ \ get_tex_chunk_args(params, next_chunk_opts);
2942 <item> \ \ \ new_chunk(next_chunk_name, next_chunk_opts,
2945 <item> \ \ \ texmacs_chunking = 1;
2949 <item> \ \ \ warning(sprintf("Unexpected chunk match: %s\\n", $_))
2958 <subsection|lstlistings>
2960 Our current scheme is to recognize the new lstlisting chunks, but these may
2961 be preceded by a <verbatim|\\Chunk> command which in <LyX> is a more
2962 convenient way to pass the chunk name to the
2963 <verbatim|\\begin{lstlistings}> command, and a more visible way to specify
2964 other <verbatim|lstset> settings.
2966 The arguments to the <verbatim|\\Chunk> command are a name, and then a
2967 comma-seperated list of key-value pairs after the manner of
2968 <verbatim|\\lstset>. (In fact within the <LaTeX> <verbatim|\\Chunk> macro
2969 (section <reference|sub:The-chunk-command>) the text <verbatim|name=> is
2970 prefixed to the argument which is then literally passed to
2971 <verbatim|\\lstset>).
2973 <\nf-chunk|recognize-chunk>
2974 <item>/^\\\\Chunk{/ {
2976 <item> \ if (match($0, "^\\\\\\\\Chunk{ *([^ ,}]*),?(.*)}", line)) {
2978 <item> \ \ \ next_chunk_name = line[1];
2980 <item> \ \ \ get_tex_chunk_args(line[2], next_chunk_opts);
2989 We also make a basic attempt to parse the name out of the
2990 <verbatim|\\lstlistings[name=chunk-name]> text, otherwise we fall back to
2991 the name found in the previous chunk command. This attempt is very basic
2992 and doesn't support commas or spaces or square brackets as part of the
2993 chunkname. We also recognize <verbatim|\\begin{Chunk}> which is convenient
2994 for some users<\footnote>
2995 but not yet supported in the <LaTeX> macros
2998 <\nf-chunk|recognize-chunk>
2999 <item>/^\\\\begin{lstlisting}\|^\\\\begin{Chunk}/ {
3001 <item> \ if (match($0, "}.*[[,] *name= *{? *([^], }]*)", line)) {
3003 <item> \ \ \ new_chunk(line[1]);
3007 <item> \ \ \ new_chunk(next_chunk_name, next_chunk_opts);
3011 <item> \ chunking=1;
3018 <section|Chunk Body>
3020 <subsection|<TeXmacs>>
3022 A chunk body in <TeXmacs> ends with <verbatim|\|________>... if it is the
3023 final chunklet of a chunk, or if there are further chunklets it ends with
3024 <verbatim|\|\\/\\/\\/>... which is a depiction of a jagged line of torn
3027 <\nf-chunk|recognize-chunk>
3028 <item>/^ *\\\|____________*/ && texmacs_chunking {
3030 <item> \ active_chunk="";
3032 <item> \ texmacs_chunking=0;
3034 <item> \ chunking=0;
3038 <item>/^ *\\\|\\/\\\\/ && texmacs_chunking {
3040 <item> \ texmacs_chunking=0;
3042 <item> \ chunking=0;
3044 <item> \ active_chunk="";
3049 It has been observed that not every line of output when a <TeXmacs> chunk
3050 is active is a line of chunk. This may no longer be true, but we set a
3051 variable <verbatim|texmacs_chunk> if the current line is a chunk line.
3053 Initially we set this to zero...
3055 <\nf-chunk|recognize-chunk>
3056 <item>texmacs_chunk=0;
3059 ...and then we look to see if the current line is a chunk line.
3061 <TeXmacs> lines look like this: <verbatim| \ 3 \| main() {> so we detect
3062 the lines by leading white space, digits, more whiter space and a vertical
3063 bar followed by at least once space.
3065 If we find such a line, we remove this line-header and set
3066 <verbatim|texmacs_chunk=1> as well as <verbatim|chunking=1>
3068 <\nf-chunk|recognize-chunk>
3069 <item>/^ *[1-9][0-9]* *\\\| / {
3071 <item> \ if (texmacs_chunking) {
3073 <item> \ \ \ chunking=1;
3075 <item> \ \ \ texmacs_chunk=1;
3077 <item> \ \ \ gsub("^ *[1-9][0-9]* *\\\\\| ", "")
3084 When <TeXmacs> chunking, lines that commence with <verbatim|\\/> or
3085 <verbatim|__> are not chunk content but visual framing, and are skipped.
3087 <\nf-chunk|recognize-chunk>
3088 <item>/^ *\\.\\/\\\\/ && texmacs_chunking {
3094 <item>/^ *__*$/ && texmacs_chunking {
3101 Any other line when <TeXmacs> chunking is considered to be a line-wrapped
3104 <\nf-chunk|recognize-chunk>
3105 <item>texmacs_chunking {
3107 <item> \ if (! texmacs_chunk) {
3109 <item> \ \ \ # must be a texmacs continued line
3111 <item> \ \ \ chunking=1;
3113 <item> \ \ \ texmacs_chunk=1;
3120 This final chunklet seems bogus and probably stops <LyX> working.
3122 <\nf-chunk|recognize-chunk>
3123 <item>! texmacs_chunk {
3125 <item># \ texmacs_chunking=0;
3127 <item> \ chunking=0;
3134 We recognize notangle style chunks too:
3136 <\nf-chunk|recognize-chunk>
3137 <item>/^[\<less\>]\<less\>.*[\<gtr\>]\<gtr\>=/ {
3139 <item> \ if (match($0, "^[\<less\>]\<less\>(.*)[\<gtr\>]\<gtr\>= *$",
3142 <item> \ \ \ chunking=1;
3144 <item> \ \ \ notangle_mode=1;
3146 <item> \ \ \ new_chunk(line[1]);
3157 Likewise, we need to recognize when a chunk ends.
3159 <subsection|lstlistings>
3161 The <verbatim|e> in <verbatim|[e]nd{lislisting}> is surrounded by square
3162 brackets so that when this document is processed, this chunk doesn't
3163 terminate early when the lstlistings package recognizes it's own
3164 end-string!<\footnote>
3165 This doesn't make sense as the regex is anchored with ^, which this line
3166 does not begin with!
3169 <\nf-chunk|recognize-chunk>
3170 <item>/^\\\\[e]nd{lstlisting}\|^\\\\[e]nd{Chunk}/ {
3172 <item> \ chunking=0;
3174 <item> \ active_chunk="";
3183 <\nf-chunk|recognize-chunk>
3186 <item> \ chunking=0;
3188 <item> \ active_chunk="";
3193 All other recognizers are only of effect if we are chunking; there's no
3194 point in looking at lines if they aren't part of a chunk, so we just ignore
3195 them as efficiently as we can.
3197 <\nf-chunk|recognize-chunk>
3198 <item>! chunking { next; }
3201 <section|Chunk contents>
3203 Chunk contents are any lines read while <verbatim|chunking> is true. Some
3204 chunk contents are special in that they refer to other chunks, and will be
3205 replaced by the contents of these chunks when the file is generated.
3207 <label|sub:ORS-chunk-text>We add the output record separator <verbatim|ORS>
3208 to the line now, because we will set <verbatim|ORS> to the empty string
3209 when we generate the output<\footnote>
3210 So that we can partial print lines using <verbatim|print> instead of
3211 <verbatim|printf>. <todo|This does't make sense>
3214 <\nf-chunk|recognize-chunk>
3215 <item>length(active_chunk) {
3217 <item> \ <nf-ref|process-chunk-tabs|>
3219 <item> \ <nf-ref|process-chunk|>
3224 If a chunk just consisted of plain text, we could handle the chunk like
3227 <\nf-chunk|process-chunk-simple>
3228 <item>chunk_line(active_chunk, $0 ORS);
3231 but in fact a chunk can include references to other chunks. Chunk includes
3232 are traditionally written as <verbatim|\<less\>\<less\>chunk-name\<gtr\>\<gtr\>>
3233 but we support other variations, some of which are more suitable for
3234 particular editing systems.
3236 However, we also process tabs at this point. A tab at input can be replaced
3237 by a number of spaces defined by the <verbatim|tabs> variable, set by the
3238 <verbatim|-T> option. Of course this is poor tab behaviour, we should
3239 probably have the option to use proper counted tab-stops and process this
3242 <\nf-chunk|process-chunk-tabs>
3243 <item>if (length(tabs)) {
3245 <item> \ gsub("\\t", tabs);
3250 <subsection|lstlistings><label|sub:lst-listings-includes>
3252 If <verbatim|\\lstset{escapeinside={=\<less\>}{\<gtr\>}}> is set, then we
3253 can use <verbatim|=\<less\>\\chunkref{chunk-name}\<gtr\>> in listings. The
3254 sequence <verbatim|=\<less\>> was chosen because:
3257 <item>it is a better mnemonic than <verbatim|\<less\>\<less\>chunk-name\<gtr\>\<gtr\>>
3258 in that the <verbatim|=> sign signifies equivalence or substitutability.
3260 <item>and because <verbatim|=\<less\>> is not valid in C or any language
3263 <item>and also because lstlistings doesn't like <verbatim|\<gtr\>\<gtr\>>
3264 as an end delimiter for the <em|texcl> escape, so we must make do with a
3265 single <verbatim|\<gtr\>> which is better complemented by
3266 <verbatim|=\<less\>> than by <verbatim|\<less\>\<less\>>.
3269 Unfortunately the <verbatim|=\<less\>...\<gtr\>> that we use re-enters a
3270 <LaTeX> parsing mode in which some characters are special, e.g. <verbatim|#
3271 \\> and so these cause trouble if used in arguments to
3272 <verbatim|\\chunkref>. At some point I must fix the <LaTeX> command
3273 <verbatim|\\chunkref> so that it can accept these literally, but until
3274 then, when writing chunkref argumemts that need these characters, I must
3275 use the forms <verbatim|\\textbackslash{}> and <verbatim|\\#>; so I also
3276 define a hacky chunk <verbatim|delatex> to be used further on whose purpose
3277 it is to remove these from any arguments parsed by fangle.
3282 <item>gsub("\\\\\\\\#", "#", ${text});
3284 <item>gsub("\\\\\\\\textbackslash{}", "\\\\", ${text});
3286 <item>gsub("\\\\\\\\\\\\^", "^", ${text});
3287 </nf-chunk||<tuple|text>>
3289 As each chunk line may contain more than one chunk include, we will split
3290 out chunk includes in an iterative fashion<\footnote>
3291 Contrary to our use of split when substituting parameters in chapter
3292 <reference|Here-we-split>
3295 First, as long as the chunk contains a <verbatim|\\chunkref> command we
3296 take as much as we can up to the first <verbatim|\\chunkref> command.
3298 <TeXmacs> text output uses <math|\<langle\>>...<math|\<rangle\>> which
3299 comes out as unicode sequences <verbatim|0xC2> <verbatim|0xAB> ...
3300 <verbatim|0xC2> <verbatim|0xBB>
3302 <\nf-chunk|process-chunk>
3307 <item>while(match(chunk,"(\\xC2\\xAB)([^\\xC2]*) [^\\xC2]*\\xC2\\xBB",
3310 <item> \ \ \ \ \ match(chunk,\
3312 <item> \ \ \ \ \ \ \ \ \ \ \ "([=]\<less\>\\\\\\\\chunkref{([^}\<gtr\>]*)}(\\\\(.*\\\\)\|)\<gtr\>\|\<less\>\<less\>([a-zA-Z_][-a-zA-Z0-9_]*)\<gtr\>\<gtr\>)",\
3314 <item> \ \ \ \ \ \ \ \ \ \ \ line)\\
3318 <item> \ chunklet = substr(chunk, 1, RSTART - 1);
3321 We keep track of the indent count, by counting the number of literal
3322 characters found. We can then preserve this indent on each output line when
3323 multi-line chunks are expanded.
3325 We then process this first part literal text, and set the chunk which is
3326 still to be processed to be the text after the <verbatim|\\chunkref>
3327 command, which we will process next as we continue around the loop.
3329 <\nf-chunk|process-chunk>
3330 <item> \ indent += length(chunklet);
3332 <item> \ chunk_line(active_chunk, chunklet);
3334 <item> \ chunk = substr(chunk, RSTART + RLENGTH);
3337 We then consider the type of chunk command we have found, whether it is the
3338 fangle style command beginning with <verbatim|=\<less\>> the older notangle
3339 style beginning with <verbatim|\<less\>\<less\>>.
3341 Fangle chunks may have parameters contained within square brackets. These
3342 will be matched in <verbatim|line[3]> and are considered at this stage of
3343 processing to be part of the name of the chunk to be included.
3345 <\nf-chunk|process-chunk>
3346 <item> \ if (substr(line[1], 1, 1) == "=") {
3348 <item> \ \ \ # chunk name up to }
3350 <item> \ \ \ \ \ \ \ =\<less\>\\chunkref{delatex}(line[3])\<gtr\>
3352 <item> \ \ \ chunk_include(active_chunk, line[2] line[3], indent);
3354 <item> \ } else if (substr(line[1], 1, 1) == "\<less\>") {
3356 <item> \ \ \ chunk_include(active_chunk, line[4], indent);
3358 <item> \ } else if (line[1] == "\\xC2\\xAB") {
3360 <item> \ \ \ chunk_include(active_chunk, line[2], indent);
3364 <item> \ \ \ error("Unknown chunk fragment: " line[1]);
3371 The loop will continue until there are no more chunkref statements in the
3372 text, at which point we process the final part of the chunk.
3374 <\nf-chunk|process-chunk>
3377 <item>chunk_line(active_chunk, chunk);
3380 <label|lone-newline>We add the newline character as a chunklet on it's own,
3381 to make it easier to detect new lines and thus manage indentation when
3382 processing the output.
3384 <\nf-chunk|process-chunk>
3385 <item>chunk_line(active_chunk, "\\n");
3390 We will also permit a chunk-part number to follow in square brackets, so
3391 that <verbatim|=\<less\>\\chunkref{chunk-name[1]}\<gtr\>> will refer to the
3392 first part only. This can make it easy to include a C function prototype in
3393 a header file, if the first part of the chunk is just the function
3394 prototype without the trailing semi-colon. The header file would include
3395 the prototype with the trailing semi-colon, like this:
3397 <verbatim|=\<less\>\\chunkref{chunk-name[1]}\<gtr\>>
3399 This is handled in section <reference|sub:Chunk-parts>
3401 We should perhaps introduce a notion of language specific chunk options; so
3402 that perhaps we could specify:
3404 <verbatim|=\<less\>\\chunkref{chunk-name[function-declaration]}>
3406 which applies a transform <verbatim|function-declaration> to the chunk ---
3407 which in this case would extract a function prototype from a function.
3410 <chapter|Processing Options>
3412 At the start, first we set the default options.
3414 <\nf-chunk|default-options>
3419 <item>notangle_mode=0;
3426 Then we use getopt the standard way, and null out ARGV afterwards in the
3429 <\nf-chunk|read-options>
3430 <item>Optind = 1 \ \ \ # skip ARGV[0]
3432 <item>while(getopt(ARGC, ARGV, "R:LdT:hr")!=-1) {
3434 <item> \ =\<less\>\\chunkref{handle-options}\<gtr\>
3438 <item>for (i=1; i\<less\>Optind; i++) { ARGV[i]=""; }
3441 This is how we handle our options:
3443 <\nf-chunk|handle-options>
3444 <item>if (Optopt == "R") root = Optarg;
3446 <item>else if (Optopt == "r") root="";
3448 <item>else if (Optopt == "L") linenos = 1;
3450 <item>else if (Optopt == "d") debug = 1;
3452 <item>else if (Optopt == "T") tabs = indent_string(Optarg+0);
3454 <item>else if (Optopt == "h") help();
3456 <item>else if (Optopt == "?") help();
3459 We do all of this at the beginning of the program
3464 <item> \ =\<less\>\\chunkref{constants}\<gtr\>
3466 <item> \ =\<less\>\\chunkref{mode-definitions}\<gtr\>
3468 <item> \ =\<less\>\\chunkref{default-options}\<gtr\>
3472 <item> \ =\<less\>\\chunkref{read-options}\<gtr\>
3477 And have a simple help function
3480 <item>function help() {
3482 <item> \ print "Usage:"
3484 <item> \ print " \ fangle [-L] -R\<less\>rootname\<gtr\> [source.tex
3487 <item> \ print " \ fangle -r [source.tex ...]"
3489 <item> \ print " \ If the filename, source.tex is not specified then
3494 <item> \ print "-L causes the C statement: #line \<less\>lineno\<gtr\>
3495 \\"filename\\"" to be issued"
3497 <item> \ print "-R causes the named root to be written to stdout"
3499 <item> \ print "-r lists all roots in the file (even those used
3507 <chapter|Generating the Output>
3509 We generate output by calling output_chunk, or listing the chunk names.
3511 <\nf-chunk|generate-output>
3512 <item>if (length(root)) output_chunk(root);
3514 <item>else output_chunk_names();
3517 We also have some other output debugging:
3519 <\nf-chunk|debug-output>
3522 <item> \ print "------ chunk names "
3524 <item> \ output_chunk_names();
3526 <item> \ print "====== chunks"
3528 <item> \ output_chunks();
3530 <item> \ print "++++++ debug"
3532 <item> \ for (a in chunks) {
3534 <item> \ \ \ print a "=" chunks[a];
3541 We do both of these at the end. We also set <verbatim|ORS=""> because each
3542 chunklet is not necessarily a complete line, and we already added
3543 <verbatim|ORS> to each input line in section
3544 <reference|sub:ORS-chunk-text>.
3549 <item> \ =\<less\>\\chunkref{debug-output}\<gtr\>
3553 <item> \ =\<less\>\\chunkref{generate-output}\<gtr\>
3558 We write chunk names like this. If we seem to be running in notangle
3559 compatibility mode, then we enclose the name like this
3560 <verbatim|\<less\>\<less\>name\<gtr\>\<gtr\>> the same way notangle does:
3562 <\nf-chunk|output_chunk_names()>
3563 <item>function output_chunk_names( \ \ c, prefix, suffix)\
3567 <item> \ if (notangle_mode) {
3569 <item> \ \ \ prefix="\<less\>\<less\>";
3571 <item> \ \ \ suffix="\<gtr\>\<gtr\>";
3575 <item> \ for (c in chunk_names) {
3577 <item> \ \ \ print prefix c suffix "\\n";
3584 This function would write out all chunks
3586 <\nf-chunk|output_chunks()>
3587 <item>function output_chunks( \ a)\
3591 <item> \ for (a in chunk_names) {
3593 <item> \ \ \ output_chunk(a);
3601 <item>function output_chunk(chunk) {
3603 <item> \ newline = 1;
3605 <item> \ lineno_needed = linenos;
3609 <item> \ write_chunk(chunk);
3616 <section|Assembling the Chunks>
3618 <verbatim|chunk_path> holds a string consisting of the names of all the
3619 chunks that resulted in this chunk being output. It should probably also
3620 contain the source line numbers at which each inclusion also occured.
3622 We first initialize the mode tracker for this chunk.
3624 <\nf-chunk|write_chunk()>
3625 <item>function write_chunk(chunk_name) {
3627 <item> \ =\<less\>\\chunkref{awk-delete-array}(context)\<gtr\>
3629 <item> \ return write_chunk_r(chunk_name, context);
3635 <item>function write_chunk_r(chunk_name, context, indent, tail,
3637 <item> \ # optional vars
3639 <item> \ <with|font-shape|italic|chunk_path>, chunk_args,\
3641 <item> \ s, r, src, new_src,\
3643 <item> \ # local vars
3645 <item> \ chunk_params, part, max_part, part_line, frag, max_frag, text,\
3647 <item> \ chunklet, only_part, call_chunk_args, new_context)
3651 <item> \ if (debug) debug_log("write_chunk_r(" chunk_name ")");
3654 <subsection|Chunk Parts><label|sub:Chunk-parts>
3656 As mentioned in section <reference|sub:lstlistings-includes>, a chunk name
3657 may contain a part specifier in square brackets, limiting the parts that
3660 <\nf-chunk|write_chunk()>
3661 <item> \ if (match(chunk_name, "^(.*)\\\\[([0-9]*)\\\\]$",
3662 chunk_name_parts)) {
3664 <item> \ \ \ chunk_name = chunk_name_parts[1];
3666 <item> \ \ \ only_part = chunk_name_parts[2];
3671 We then create a mode tracker
3673 <\nf-chunk|write_chunk()>
3674 <item> =\<less\>\\chunkref{new-mode-tracker}(context, chunks[chunk_name,
3675 "language"], "")\<gtr\>
3678 We extract into <verbatim|chunk_params> the names of the parameters that
3679 this chunk accepts, whose values were (optionally) passed in
3680 <verbatim|chunk_args>.
3682 <\nf-chunk|write_chunk()>
3683 <item> split(chunks[chunk_name, "params"], chunk_params, " *; *");
3686 To assemble a chunk, we write out each part.
3688 <\nf-chunk|write_chunk()>
3689 <item> \ if (! (chunk_name in chunk_names)) {
3691 <item> \ \ \ error(sprintf(_"The root module
3692 \<less\>\<less\>%s\<gtr\>\<gtr\> was not defined.\\nUsed by: %s",\\
3694 <item> \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ chunk_name, chunk_path));
3700 <item> \ max_part = chunks[chunk_name, "part"];
3702 <item> \ for(part = 1; part \<less\>= max_part; part++) {
3704 <item> \ \ \ if (! only_part \|\| part == only_part) {
3706 <item> \ \ \ \ \ =\<less\>\\chunkref{write-part}\<gtr\>
3712 <item> \ if (! finalize_mode_tracker(context)) {
3714 <item> \ \ \ dump_mode_tracker(context);
3716 <item> \ \ \ error(sprintf(_"Module %s did not close context
3717 properly.\\nUsed by: %s\\n", chunk_name, chunk_path));
3724 A part can either be a chunklet of lines, or an include of another chunk.
3726 Chunks may also have parameters, specified in LaTeX style with braces after
3727 the chunk name --- looking like this in the document: chunkname{param1,
3728 param2}. Arguments are passed in square brackets:
3729 <verbatim|\\chunkref{chunkname}[arg1, arg2]>.
3731 Before we process each part, we check that the source position hasn't
3732 changed unexpectedly, so that we can know if we need to output a new
3733 file-line directive.
3735 <\nf-chunk|write-part>
3736 <item>=\<less\>\\chunkref{check-source-jump}\<gtr\>
3740 <item>chunklet = chunks[chunk_name, "part", part];
3742 <item>if (chunks[chunk_name, "part", part, "type"] == part_type_chunk) {
3744 <item> \ =\<less\>\\chunkref{write-included-chunk}\<gtr\>
3746 <item>} else if (chunklet SUBSEP "line" in chunks) {
3748 <item> \ =\<less\>\\chunkref{write-chunklets}\<gtr\>
3752 <item> \ # empty last chunklet
3757 To write an included chunk, we must detect any optional chunk arguments in
3758 parenthesis. Then we recurse calling <verbatim|write_chunk()>.
3760 <\nf-chunk|write-included-chunk>
3761 <item>if (match(chunklet, "^([^\\\\[\\\\(]*)\\\\((.*)\\\\)$",
3764 <item> \ chunklet = chunklet_parts[1];
3768 <item>gsub(sprintf("%c",11), "", chunklet);
3770 <item>gsub(sprintf("%c",11), "", chunklet_parts[2]);
3772 <item> \ parse_chunk_args("c-like", chunklet_parts[2], call_chunk_args,
3775 <item> \ for (c in call_chunk_args) {
3777 <item> \ \ \ call_chunk_args[c] = expand_chunk_args(call_chunk_args[c],
3778 chunk_params, chunk_args);
3784 <item> \ split("", call_chunk_args);
3788 <item># update the transforms arrays
3790 <item>new_src = mode_escaper(context, s, r, src);
3792 <item>=\<less\>\\chunkref{awk-delete-array}(new_context)\<gtr\>
3794 <item>write_chunk_r(chunklet, new_context,
3796 <item> \ \ \ \ \ \ \ \ \ \ \ chunks[chunk_name, "part", part, "indent"]
3799 <item> \ \ \ \ \ \ \ \ \ \ \ chunks[chunk_name, "part", part, "tail"],
3801 <item> \ \ \ \ \ \ \ \ \ \ \ chunk_path "\\n \ \ \ \ \ \ \ \ "
3804 <item> \ \ \ \ \ \ \ \ \ \ \ call_chunk_args,
3806 <item> \ \ \ \ \ \ \ \ \ \ \ s, r, new_src);
3809 Before we output a chunklet of lines, we first emit the file and line
3810 number if we have one, and if it is safe to do so.
3812 Chunklets are generally broken up by includes, so the start of a chunklet
3813 is a good place to do this. Then we output each line of the chunklet.
3815 When it is not safe, such as in the middle of a multi-line macro
3816 definition, <verbatim|lineno_suppressed> is set to true, and in such a case
3817 we note that we want to emit the line statement when it is next safe.
3819 <\nf-chunk|write-chunklets>
3820 <item>max_frag = chunks[chunklet, "line"];
3822 <item>for(frag = 1; frag \<less\>= max_frag; frag++) {
3824 <item> \ =\<less\>\\chunkref{write-file-line}\<gtr\>
3827 We then extract the chunklet text and expand any arguments.
3829 <\nf-chunk|write-chunklets>
3832 <item> \ text = chunks[chunklet, frag];
3836 <item> \ /* check params */
3838 <item> \ text = expand_chunk_args(text, chunk_params, chunk_args);
3841 If the text is a single newline (which we keep separate - see
3842 <reference|lone-newline>) then we increment the line number. In the case
3843 where this is the last line of a chunk and it is not a top-level chunk we
3844 replace the newline with an empty string --- because the chunk that
3845 included this chunk will have the newline at the end of the line that
3846 included this chunk.
3848 We also note by <verbatim|newline = 1> that we have started a new line, so
3849 that indentation can be managed with the following piece of text.
3851 <\nf-chunk|write-chunklets>
3854 <item> if (text == "\\n") {
3856 <item> \ \ \ lineno++;
3858 <item> \ \ \ if (part == max_part && frag == max_frag &&
3859 length(chunk_path)) {
3861 <item> \ \ \ \ \ text = "";
3863 <item> \ \ \ \ \ break;
3865 <item> \ \ \ } else {
3867 <item> \ \ \ \ \ newline = 1;
3872 If this text does not represent a newline, but we see that we are the first
3873 piece of text on a newline, then we prefix our text with the current
3877 <verbatim|newline> is a global output-state variable, but the
3878 <verbatim|indent> is not.
3881 <\nf-chunk|write-chunklets>
3882 <item> \ } else if (length(text) \|\| length(tail)) {
3884 <item> \ \ \ if (newline) text = indent text;
3886 <item> \ \ \ newline = 0;
3893 Tail will soon no longer be relevant once mode-detection is in place.
3895 <\nf-chunk|write-chunklets>
3896 <item> \ text = text tail;
3898 <item> \ mode_tracker(context, text);
3900 <item> \ print untab(transform_escape(s, r, text, src));
3903 If a line ends in a backslash --- suggesting continuation --- then we
3904 supress outputting file-line as it would probably break the continued
3907 <\nf-chunk|write-chunklets>
3908 <item> \ if (linenos) {
3910 <item> \ \ \ lineno_suppressed = substr(lastline, length(lastline)) ==
3918 Of course there is no point in actually outputting the source filename and
3919 line number (file-line) if they don't say anything new! We only need to
3920 emit them if they aren't what is expected, or if we we not able to emit one
3921 when they had changed.
3923 <\nf-chunk|write-file-line>
3924 <item>if (newline && lineno_needed && ! lineno_suppressed) {
3926 <item> \ filename = a_filename;
3928 <item> \ lineno = a_lineno;
3930 <item> \ print "#line " lineno " \\"" filename "\\"\\n"
3932 <item> \ lineno_needed = 0;
3937 We check if a new file-line is needed by checking if the source line
3938 matches what we (or a compiler) would expect.
3940 <\nf-chunk|check-source-jump>
3941 <item>if (linenos && (chunk_name SUBSEP "part" SUBSEP part SUBSEP
3942 "FILENAME" in chunks)) {
3944 <item> \ a_filename = chunks[chunk_name, "part", part, "FILENAME"];
3946 <item> \ a_lineno = chunks[chunk_name, "part", part, "LINENO"];
3948 <item> \ if (a_filename != filename \|\| a_lineno != lineno) {
3950 <item> \ \ \ lineno_needed++;
3957 <chapter|Storing Chunks>
3959 Awk has pretty limited data structures, so we will use two main hashes.
3960 Uninterrupted sequences of a chunk will be stored in chunklets and the
3961 chunklets used in a chunk will be stored in <verbatim|chunks>.
3963 <\nf-chunk|constants>
3964 <item>part_type_chunk=1;
3969 The params mentioned are not chunk parameters for parameterized chunks, as
3970 mentioned in <reference|Chunk Arguments>, but the lstlistings style
3971 parameters used in the <verbatim|\\Chunk> command<\footnote>
3972 The <verbatim|params> parameter is used to hold the parameters for
3973 parameterized chunks
3976 <\nf-chunk|chunk-storage-functions>
3977 <item>function new_chunk(chunk_name, opts, args,
3979 <item> \ # local vars
3981 <item> \ p, append )
3985 <item> \ # HACK WHILE WE CHANGE TO ( ) for PARAM CHUNKS
3987 <item> \ gsub("\\\\(\\\\)$", "", chunk_name);
3989 <item> \ if (! (chunk_name in chunk_names)) {
3991 <item> \ \ \ if (debug) print "New chunk " chunk_name;
3993 <item> \ \ \ chunk_names[chunk_name];
3995 <item> \ \ \ for (p in opts) {
3997 <item> \ \ \ \ \ chunks[chunk_name, p] = opts[p];
3999 <item> \ \ \ \ \ if (debug) print "chunks[" chunk_name "," p "] = "
4004 <item> \ \ \ for (p in args) {
4006 <item> \ \ \ \ \ chunks[chunk_name, "params", p] = args[p];
4010 <item> \ \ \ if ("append" in opts) {
4012 <item> \ \ \ \ \ append=opts["append"];
4014 <item> \ \ \ \ \ if (! (append in chunk_names)) {
4016 <item> \ \ \ \ \ \ \ warning("Chunk " chunk_name " is appended to chunk "
4017 append " which is not defined yet");
4019 <item> \ \ \ \ \ \ \ new_chunk(append);
4023 <item> \ \ \ \ \ chunk_include(append, chunk_name);
4025 <item> \ \ \ \ \ chunk_line(append, ORS);
4031 <item> \ active_chunk = chunk_name;
4033 <item> \ prime_chunk(chunk_name);
4038 <\nf-chunk|chunk-storage-functions>
4041 <item>function prime_chunk(chunk_name)
4045 <item> \ chunks[chunk_name, "part", ++chunks[chunk_name, "part"] ] = \\
4047 <item> \ \ \ \ \ \ \ \ chunk_name SUBSEP "chunklet" SUBSEP ""
4048 ++chunks[chunk_name, "chunklet"];
4050 <item> \ chunks[chunk_name, "part", chunks[chunk_name, "part"],
4051 "FILENAME"] = FILENAME;
4053 <item> \ chunks[chunk_name, "part", chunks[chunk_name, "part"], "LINENO"]
4060 <item>function chunk_line(chunk_name, line){
4062 <item> \ chunks[chunk_name, "chunklet", chunks[chunk_name, "chunklet"],
4064 <item> \ \ \ \ \ \ \ \ ++chunks[chunk_name, "chunklet",
4065 chunks[chunk_name, "chunklet"], "line"] \ ] = line;
4072 Chunk include represents a <em|chunkref> statement, and stores the
4073 requirement to include another chunk. The parameter indent represents the
4074 quanity of literal text characters that preceded this <em|chunkref>
4075 statement and therefore by how much additional lines of the included chunk
4078 <\nf-chunk|chunk-storage-functions>
4079 <item>function chunk_include(chunk_name, chunk_ref, indent, tail)
4083 <item> \ chunks[chunk_name, "part", ++chunks[chunk_name, "part"] ] =
4086 <item> \ chunks[chunk_name, "part", chunks[chunk_name, "part"], "type" ]
4089 <item> \ chunks[chunk_name, "part", chunks[chunk_name, "part"], "indent"
4090 ] = indent_string(indent);
4092 <item> \ chunks[chunk_name, "part", chunks[chunk_name, "part"], "tail" ]
4095 <item> \ prime_chunk(chunk_name);
4102 The indent is calculated by indent_string, which may in future convert some
4103 spaces into tab characters. This function works by generating a printf
4104 padded format string, like <verbatim|%22s> for an indent of 22, and then
4105 printing an empty string using that format.
4107 <\nf-chunk|chunk-storage-functions>
4108 <item>function indent_string(indent) {
4110 <item> \ return sprintf("%" indent "s", "");
4115 <chapter|getopt><label|cha:getopt>
4117 I use Arnold Robbins public domain getopt (1993 revision). This is probably
4118 the same one that is covered in chapter 12 of “Edition 3 of GAWK:
4119 Effective AWK Programming: A User's Guide for GNU Awk” but as that is
4120 licensed under the GNU Free Documentation License, Version 1.3, which
4121 conflicts with the GPL3, I can't use it from there (or it's accompanying
4122 explanations), so I do my best to explain how it works here.
4124 The getopt.awk header is:
4126 <\nf-chunk|getopt.awk-header>
4127 <item># getopt.awk --- do C library getopt(3) function in awk
4131 <item># Arnold Robbins, arnold@skeeve.com, Public Domain
4135 <item># Initial version: March, 1991
4137 <item># Revised: May, 1993
4142 The provided explanation is:
4144 <\nf-chunk|getopt.awk-notes>
4145 <item># External variables:
4147 <item># \ \ \ Optind -- index in ARGV of first nonoption argument
4149 <item># \ \ \ Optarg -- string value of argument to current option
4151 <item># \ \ \ Opterr -- if nonzero, print our own diagnostic
4153 <item># \ \ \ Optopt -- current option letter
4159 <item># \ \ \ -1 \ \ \ \ at end of options
4161 <item># \ \ \ ? \ \ \ \ \ for unrecognized option
4163 <item># \ \ \ \<less\>c\<gtr\> \ \ \ a character representing the current
4168 <item># Private Data:
4170 <item># \ \ \ _opti \ -- index in multi-flag option, e.g., -abc
4175 The function follows. The final two parameters, <verbatim|thisopt> and
4176 <verbatim|i> are local variables and not parameters --- as indicated by the
4177 multiple spaces preceding them. Awk doesn't care, the multiple spaces are a
4178 convention to help us humans.
4180 <\nf-chunk|getopt.awk-getopt()>
4181 <item>function getopt(argc, argv, options, \ \ \ thisopt, i)
4185 <item> \ \ \ if (length(options) == 0) \ \ \ # no options given
4187 <item> \ \ \ \ \ \ \ return -1
4189 <item> \ \ \ if (argv[Optind] == "--") { \ # all done
4191 <item> \ \ \ \ \ \ \ Optind++
4193 <item> \ \ \ \ \ \ \ _opti = 0
4195 <item> \ \ \ \ \ \ \ return -1
4197 <item> \ \ \ } else if (argv[Optind] !~ /^-[^: \\t\\n\\f\\r\\v\\b]/) {
4199 <item> \ \ \ \ \ \ \ _opti = 0
4201 <item> \ \ \ \ \ \ \ return -1
4205 <item> \ \ \ if (_opti == 0)
4207 <item> \ \ \ \ \ \ \ _opti = 2
4209 <item> \ \ \ thisopt = substr(argv[Optind], _opti, 1)
4211 <item> \ \ \ Optopt = thisopt
4213 <item> \ \ \ i = index(options, thisopt)
4215 <item> \ \ \ if (i == 0) {
4217 <item> \ \ \ \ \ \ \ if (Opterr)
4219 <item> \ \ \ \ \ \ \ \ \ \ \ printf("%c -- invalid option\\n",
4221 <item> \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ thisopt)
4222 \<gtr\> "/dev/stderr"
4224 <item> \ \ \ \ \ \ \ if (_opti \<gtr\>= length(argv[Optind])) {
4226 <item> \ \ \ \ \ \ \ \ \ \ \ Optind++
4228 <item> \ \ \ \ \ \ \ \ \ \ \ _opti = 0
4230 <item> \ \ \ \ \ \ \ } else
4232 <item> \ \ \ \ \ \ \ \ \ \ \ _opti++
4234 <item> \ \ \ \ \ \ \ return "?"
4239 At this point, the option has been found and we need to know if it takes
4242 <\nf-chunk|getopt.awk-getopt()>
4243 <item> \ \ \ if (substr(options, i + 1, 1) == ":") {
4245 <item> \ \ \ \ \ \ \ # get option argument
4247 <item> \ \ \ \ \ \ \ if (length(substr(argv[Optind], _opti + 1)) \<gtr\>
4250 <item> \ \ \ \ \ \ \ \ \ \ \ Optarg = substr(argv[Optind], _opti + 1)
4252 <item> \ \ \ \ \ \ \ else
4254 <item> \ \ \ \ \ \ \ \ \ \ \ Optarg = argv[++Optind]
4256 <item> \ \ \ \ \ \ \ _opti = 0
4260 <item> \ \ \ \ \ \ \ Optarg = ""
4262 <item> \ \ \ if (_opti == 0 \|\| _opti \<gtr\>= length(argv[Optind])) {
4264 <item> \ \ \ \ \ \ \ Optind++
4266 <item> \ \ \ \ \ \ \ _opti = 0
4270 <item> \ \ \ \ \ \ \ _opti++
4272 <item> \ \ \ return thisopt
4277 A test program is built in, too
4279 <\nf-chunk|getopt.awk-begin>
4282 <item> \ \ \ Opterr = 1 \ \ \ # default is to diagnose
4284 <item> \ \ \ Optind = 1 \ \ \ # skip ARGV[0]
4286 <item> \ \ \ # test program
4288 <item> \ \ \ if (_getopt_test) {
4290 <item> \ \ \ \ \ \ \ while ((_go_c = getopt(ARGC, ARGV, "ab:cd")) != -1)
4292 <item> \ \ \ \ \ \ \ \ \ \ \ printf("c = \<less\>%c\<gtr\>, optarg =
4293 \<less\>%s\<gtr\>\\n",
4295 <item> \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ _go_c,
4298 <item> \ \ \ \ \ \ \ printf("non-option arguments:\\n")
4300 <item> \ \ \ \ \ \ \ for (; Optind \<less\> ARGC; Optind++)
4302 <item> \ \ \ \ \ \ \ \ \ \ \ printf("\\tARGV[%d] = \<less\>%s\<gtr\>\\n",
4304 <item> \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Optind,
4312 The entire getopt.awk is made out of these chunks in order
4314 <\nf-chunk|getopt.awk>
4315 <item>=\<less\>\\chunkref{getopt.awk-header}\<gtr\>
4319 <item>=\<less\>\\chunkref{getopt.awk-notes}\<gtr\>
4321 <item>=\<less\>\\chunkref{getopt.awk-getopt()}\<gtr\>
4323 <item>=\<less\>\\chunkref{getopt.awk-begin}\<gtr\>
4326 Although we only want the header and function:
4329 <item># try: locate getopt.awk for the full original file
4331 <item># as part of your standard awk installation
4333 <item>=\<less\>\\chunkref{getopt.awk-header}\<gtr\>
4337 <item>=\<less\>\\chunkref{getopt.awk-getopt()}\<gtr\>
4340 <chapter|Fangle LaTeX source code><label|latex-source>
4342 <section|fangle module>
4344 Here we define a <LyX> <verbatim|.module> file that makes it convenient to
4345 use <LyX> for writing such literate programs.
4347 This file <verbatim|./fangle.module> can be installed in your personal
4348 <verbatim|.lyx/layouts> folder. You will need to Tools Reconfigure so that
4349 <LyX> notices it. It adds a new format Chunk, which should precede every
4350 listing and contain the chunk name.
4352 <\nf-chunk|./fangle.module>
4353 <item>#\\DeclareLyXModule{Fangle Literate Listings}
4355 <item>#DescriptionBegin
4357 <item># \ Fangle literate listings allow one to write
4359 <item># \ \ literate programs after the fashion of noweb, but without
4362 <item># \ \ to use noweave to generate the documentation. Instead the
4365 <item># \ \ package is extended in conjunction with the noweb package to
4368 <item># \ \ to code formating directly as latex.
4370 <item># \ The fangle awk script
4372 <item>#DescriptionEnd
4376 <item>=\<less\>\\chunkref{gpl3-copyright.hashed}\<gtr\>
4386 <item>=\<less\>\\chunkref{./fangle.sty}\<gtr\>
4392 <item>=\<less\>\\chunkref{chunkstyle}\<gtr\>
4396 <item>=\<less\>\\chunkref{chunkref}\<gtr\>
4397 </nf-chunk|lyx-module|>
4399 Because <LyX> modules are not yet a language supported by fangle or
4400 lstlistings, we resort to this fake awk chunk below in order to have each
4401 line of the GPL3 license commence with a #
4403 <\nf-chunk|gpl3-copyright.hashed>
4404 <item>#=\<less\>\\chunkref{gpl3-copyright}\<gtr\>
4409 <subsection|The Chunk style>
4411 The purpose of the <name|chunk> style is to make it easier for <LyX> users
4412 to provide the name to <verbatim|lstlistings>. Normally this requires
4413 right-clicking on the listing, choosing settings, advanced, and then typing
4414 <verbatim|name=chunk-name>. This has the further disadvantage that the name
4415 (and other options) are not generally visible during document editing.
4417 The chunk style is defined as a <LaTeX> command, so that all text on the
4418 same line is passed to the <verbatim|LaTeX> command <verbatim|Chunk>. This
4419 makes it easy to parse using <verbatim|fangle>, and easy to pass these
4420 options on to the listings package. The first word in a chunk section
4421 should be the chunk name, and will have <verbatim|name=> prepended to it.
4422 Any other words are accepted arguments to <verbatim|lstset>.
4424 We set PassThru to 1 because the user is actually entering raw latex.
4426 <\nf-chunk|chunkstyle>
4429 <item> \ LatexType \ \ \ \ \ \ \ \ \ \ \ \ Command
4431 <item> \ LatexName \ \ \ \ \ \ \ \ \ \ \ \ Chunk
4433 <item> \ Margin \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ First_Dynamic
4435 <item> \ LeftMargin \ \ \ \ \ \ \ \ \ \ \ Chunk:xxx
4437 <item> \ LabelSep \ \ \ \ \ \ \ \ \ \ \ \ \ xx
4439 <item> \ LabelType \ \ \ \ \ \ \ \ \ \ \ \ Static
4441 <item> \ LabelString \ \ \ \ \ \ \ \ \ \ "Chunk:"
4443 <item> \ Align \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Left
4445 <item> \ PassThru \ \ \ \ \ \ \ \ \ \ \ \ \ 1
4450 To make the label very visible we choose a larger font coloured red.
4452 <\nf-chunk|chunkstyle>
4455 <item> \ \ \ Family \ \ \ \ \ \ \ \ \ \ \ \ \ Sans
4457 <item> \ \ \ Size \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ Large
4459 <item> \ \ \ Series \ \ \ \ \ \ \ \ \ \ \ \ \ Bold
4461 <item> \ \ \ Shape \ \ \ \ \ \ \ \ \ \ \ \ \ \ Italic
4463 <item> \ \ \ Color \ \ \ \ \ \ \ \ \ \ \ \ \ \ red
4470 <subsection|The chunkref style>
4472 We also define the Chunkref style which can be used to express cross
4473 references to chunks.
4475 <\nf-chunk|chunkref>
4476 <item>InsetLayout Chunkref
4478 <item> \ LyxType \ \ \ \ \ \ \ \ \ \ \ \ \ \ charstyle
4480 <item> \ LatexType \ \ \ \ \ \ \ \ \ \ \ \ Command
4482 <item> \ LatexName \ \ \ \ \ \ \ \ \ \ \ \ chunkref
4484 <item> \ PassThru \ \ \ \ \ \ \ \ \ \ \ \ \ 1
4486 <item> \ LabelFont \ \ \ \ \ \ \ \ \ \ \ \
4488 <item> \ \ \ Shape \ \ \ \ \ \ \ \ \ \ \ \ \ \ Italic
4490 <item> \ \ \ Color \ \ \ \ \ \ \ \ \ \ \ \ \ \ red
4497 <section|Latex Macros><label|sec:Latex-Macros>
4499 We require the listings, noweb and xargs packages. As noweb defines it's
4500 own <verbatim|\\code> environment, we re-define the one that <LyX> logical
4501 markup module expects here.
4503 <\nf-chunk|./fangle.sty>
4504 <item>\\usepackage{listings}%
4506 <item>\\usepackage{noweb}%
4508 <item>\\usepackage{xargs}%
4510 <item>\\renewcommand{\\code}[1]{\\texttt{#1}}%
4513 We also define a <verbatim|CChunk> macro, for use as:
4514 <verbatim|\\begin{CChunk}> which will need renaming to
4515 <verbatim|\\begin{Chunk}> when I can do this without clashing with
4518 <\nf-chunk|./fangle.sty>
4519 <item>\\lstnewenvironment{Chunk}{\\relax}{\\relax}%
4522 We also define a suitable <verbatim|\\lstset> of parameters that suit the
4523 literate programming style after the fashion of <name|noweave>.
4525 <\nf-chunk|./fangle.sty>
4526 <item>\\lstset{numbers=left, stepnumber=5, numbersep=5pt,
4528 <item> \ \ \ \ \ \ \ breaklines=false,basicstyle=\\ttfamily,
4530 <item> \ \ \ \ \ \ \ numberstyle=\\tiny, language=C}%
4533 We also define a notangle-like mechanism for escaping to <LaTeX> from the
4534 listing, and by which we can refer to other listings. We declare the
4535 <verbatim|=\<less\>...\<gtr\>> sequence to contain <LaTeX> code, and
4536 include another like this chunk: <verbatim|=\<less\>\\chunkref{chunkname}\<gtr\>>.
4537 However, because <verbatim|=\<less\>...\<gtr\>> is already defined to
4538 contain <LaTeX> code for this document --- this is a fangle document after
4539 all --- the code fragment below effectively contains the <LaTeX> code:
4540 <verbatim|}{>. To avoid problems with document generation, I had to declare
4541 an lstlistings property: <verbatim|escapeinside={}> for this listing only;
4542 which in <LyX> was done by right-clicking the listings inset, choosing
4543 settings-\<gtr\>advanced. Therefore <verbatim|=\<less\>> isn't interpreted
4544 literally here, in a listing when the escape sequence is already defined as
4545 shown... we need to somehow escape this representation...
4547 <\nf-chunk|./fangle.sty>
4548 <item>\\lstset{escapeinside={=\<less\>}{\<gtr\>}}%
4551 Although our macros will contain the <verbatim|@> symbol, they will be
4552 included in a <verbatim|\\makeatletter> section by <LyX>; however we keep
4553 the commented out <verbatim|\\makeatletter> as a reminder. The listings
4554 package likes to centre the titles, but noweb titles are specially
4555 formatted and must be left aligned. The simplest way to do this turned out
4556 to be by removing the definition of <verbatim|\\lst@maketitle>. This may
4557 interact badly if other listings want a regular title or caption. We
4558 remember the old maketitle in case we need it.
4560 <\nf-chunk|./fangle.sty>
4561 <item>%\\makeatletter
4563 <item>%somehow re-defining maketitle gives us a left-aligned title
4565 <item>%which is extactly what our specially formatted title needs!
4567 <item>\\global\\let\\fangle@lst@maketitle\\lst@maketitle%
4569 <item>\\global\\def\\lst@maketitle{}%
4572 <subsection|The chunk command><label|sub:The-chunk-command>
4574 Our chunk command accepts one argument, and calls <verbatim|\\ltset>.
4575 Although <verbatim|\\ltset> will note the name, this is erased when the
4576 next <verbatim|\\lstlisting> starts, so we make a note of this in
4577 <verbatim|\\lst@chunkname> and restore in in lstlistings Init hook.
4579 <\nf-chunk|./fangle.sty>
4580 <item>\\def\\Chunk#1{%
4582 <item> \ \\lstset{title={\\fanglecaption},name=#1}%
4584 <item> \ \\global\\edef\\lst@chunkname{\\lst@intname}%
4588 <item>\\def\\lst@chunkname{\\empty}%
4591 <subsubsection|Chunk parameters>
4593 Fangle permits parameterized chunks, and requires the paramters to be
4594 specified as listings options. The fangle script uses this, and although we
4595 don't do anything with these in the <LaTeX> code right now, we need to stop
4596 the listings package complaining.
4598 <\nf-chunk|./fangle.sty>
4599 <item>\\lst@Key{params}\\relax{\\def\\fangle@chunk@params{#1}}%
4602 As it is common to define a chunk which then needs appending to another
4603 chunk, and annoying to have to declare a single line chunk to manage the
4604 include, we support an append= option.
4606 <\nf-chunk|./fangle.sty>
4607 <item>\\lst@Key{append}\\relax{\\def\\fangle@chunk@append{#1}}%
4610 <subsection|The noweb styled caption>
4612 We define a public macro <verbatim|\\fanglecaption> which can be set as a
4613 regular title. By means of <verbatim|\\protect>, It expands to
4614 <verbatim|\\fangle@caption> at the appopriate time when the caption is
4617 <nf-chunk|./fangle.sty|\\def\\fanglecaption{\\protect\\fangle@caption}%||>
4620 22c <math|\<langle\>>some-chunk 19b<math|\<rangle\>><math|\<equiv\>>+
4621 \ \ <math|\<vartriangleleft\>>22b 24d<math|\<vartriangleright\>>
4625 In this example, the current chunk is 22c, and therefore the third chunk
4628 It's name is some-chunk.\
4630 The first chunk with this name (19b) occurs as the second chunk on page
4633 The previous chunk (22d) with the same name is the second chunk on page
4636 The next chunk (24d) is the fourth chunk on page 24.
4637 </big-figure|Noweb Heading<label|noweb heading>>
4639 The general noweb output format compactly identifies the current chunk, and
4640 references to the first chunk, and the previous and next chunks that have
4643 This means that we need to keep a counter for each chunk-name, that we use
4644 to count chunks of the same name.
4646 <subsection|The chunk counter>
4648 It would be natural to have a counter for each chunk name, but TeX would
4649 soon run out of counters<\footnote>
4650 ...soon did run out of counters and so I had to re-write the LaTeX macros
4651 to share a counter as described here.
4652 </footnote>, so we have one counter which we save at the end of a chunk and
4653 restore at the beginning of a chunk.
4655 <\nf-chunk|./fangle.sty>
4656 <item>\\newcounter{fangle@chunkcounter}%
4659 We construct the name of this variable to store the counter to be the text
4660 <verbatim|lst-chunk-> prefixed onto the chunks own name, and store it in
4661 <verbatim|\\chunkcount>.\
4663 We save the counter like this:
4665 <nf-chunk|save-counter|\\global\\expandafter\\edef\\csname
4666 \\chunkcount\\endcsname{\\arabic{fangle@chunkcounter}}%||>
4668 and restore the counter like this:
4670 <nf-chunk|restore-counter|\\setcounter{fangle@chunkcounter}{\\csname
4671 \\chunkcount\\endcsname}%||>
4673 If there does not already exist a variable whose name is stored in
4674 <verbatim|\\chunkcount>, then we know we are the first chunk with this
4675 name, and then define a counter.\
4677 Although chunks of the same name share a common counter, they must still be
4678 distinguished. We use is the internal name of the listing, suffixed by the
4679 counter value. So the first chunk might be <verbatim|something-1> and the
4680 second chunk be <verbatim|something-2>, etc.
4682 We also calculate the name of the previous chunk if we can (before we
4683 increment the chunk counter). If this is the first chunk of that name, then
4684 <verbatim|\\prevchunkname> is set to <verbatim|\\relax> which the noweb
4685 package will interpret as not existing.
4687 <\nf-chunk|./fangle.sty>
4688 <item>\\def\\fangle@caption{%
4690 <item> \ \\edef\\chunkcount{lst-chunk-\\lst@intname}%
4692 <item> \ \\@ifundefined{\\chunkcount}{%
4694 <item> \ \ \ \\expandafter\\gdef\\csname \\chunkcount\\endcsname{0}%
4696 <item> \ \ \ \\setcounter{fangle@chunkcounter}{\\csname
4697 \\chunkcount\\endcsname}%
4699 <item> \ \ \ \\let\\prevchunkname\\relax%
4703 <item> \ \ \ \\setcounter{fangle@chunkcounter}{\\csname
4704 \\chunkcount\\endcsname}%
4706 <item> \ \ \ \\edef\\prevchunkname{\\lst@intname-\\arabic{fangle@chunkcounter}}%
4711 After incrementing the chunk counter, we then define the name of this
4712 chunk, as well as the name of the first chunk.
4714 <\nf-chunk|./fangle.sty>
4715 <item> \ \\addtocounter{fangle@chunkcounter}{1}%
4717 <item> \ \\global\\expandafter\\edef\\csname
4718 \\chunkcount\\endcsname{\\arabic{fangle@chunkcounter}}%
4720 <item> \ \\edef\\chunkname{\\lst@intname-\\arabic{fangle@chunkcounter}}%
4722 <item> \ \\edef\\firstchunkname{\\lst@intname-1}%
4725 We now need to calculate the name of the next chunk. We do this by
4726 temporarily skipping the counter on by one; however there may not actually
4727 be another chunk with this name! We detect this by also defining a label
4728 for each chunk based on the chunkname. If there is a next chunkname then it
4729 will define a label with that name. As labels are persistent, we can at
4730 least tell the second time <LaTeX> is run. If we don't find such a defined
4731 label then we define <verbatim|\\nextchunkname> to <verbatim|\\relax>.
4733 <\nf-chunk|./fangle.sty>
4734 <item> \ \\addtocounter{fangle@chunkcounter}{1}%
4736 <item> \ \\edef\\nextchunkname{\\lst@intname-\\arabic{fangle@chunkcounter}}%
4738 <item> \ \\@ifundefined{r@label-\\nextchunkname}{\\let\\nextchunkname\\relax}{}%
4741 The noweb package requires that we define a <verbatim|\\sublabel> for every
4742 chunk, with a unique name, which is then used to print out it's navigation
4745 We also define a regular label for this chunk, as was mentioned above when
4746 we calculated <verbatim|\\nextchunkname>. This requires <LaTeX> to be run
4747 at least twice after new chunk sections are added --- but noweb requried
4750 <\nf-chunk|./fangle.sty>
4751 <item> \ \\sublabel{\\chunkname}%
4753 <item>% define this label for every chunk instance, so we
4755 <item>% can tell when we are the last chunk of this name
4757 <item> \ \\label{label-\\chunkname}%
4760 We also try and add the chunk to the list of listings, but I'm afraid we
4761 don't do very well. We want each chunk name listing once, with all of it's
4764 <\nf-chunk|./fangle.sty>
4765 <item> \ \\addcontentsline{lol}{lstlisting}{\\lst@name~[\\protect\\subpageref{\\chunkname}]}%
4768 We then call the noweb output macros in the same way that noweave generates
4769 them, except that we don't need to call <verbatim|\\nwstartdeflinemarkup>
4770 or <verbatim|\\nwenddeflinemarkup> <emdash> and if we do, it messes up the
4773 <\nf-chunk|./fangle.sty>
4774 <item> \ \\nwmargintag{%
4778 <item> \ \ \ \ \ \\nwtagstyle{}%
4780 <item> \ \ \ \ \ \\subpageref{\\chunkname}%
4790 <item> \ \ \ {\\lst@name}%
4794 <item> \ \ \ \ \ \\nwtagstyle{}\\/%
4796 <item> \ \ \ \ \ \\@ifundefined{fangle@chunk@params}{}{%
4798 <item> \ \ \ \ \ \ \ (\\fangle@chunk@params)%
4802 <item> \ \ \ \ \ [\\csname \\chunkcount\\endcsname]~%
4804 <item> \ \ \ \ \ \\subpageref{\\firstchunkname}%
4808 <item> \ \ \ \\@ifundefined{fangle@chunk@append}{}{%
4810 <item> \ \ \ \\ifx{}\\fangle@chunk@append{x}\\else%
4812 <item> \ \ \ \ \ \ \ ,~add~to~\\fangle@chunk@append%
4818 <item>\\global\\def\\fangle@chunk@append{}%
4820 <item>\\lstset{append=x}%
4826 <item> \ \\ifx\\relax\\prevchunkname\\endmoddef\\else\\plusendmoddef\\fi%
4828 <item>% \ \\nwstartdeflinemarkup%
4830 <item> \ \\nwprevnextdefs{\\prevchunkname}{\\nextchunkname}%
4832 <item>% \ \\nwenddeflinemarkup%
4837 Originally this was developed as a <verbatim|listings> aspect, in the Init
4838 hook, but it was found easier to affect the title without using a hook
4839 <emdash> <verbatim|\\lst@AddToHookExe{PreSet}> is still required to set the
4840 listings name to the name passed to the <verbatim|\\Chunk> command, though.
4842 <\nf-chunk|./fangle.sty>
4843 <item>%\\lst@BeginAspect{fangle}
4845 <item>%\\lst@Key{fangle}{true}[t]{\\lstKV@SetIf{#1}{true}}
4847 <item>\\lst@AddToHookExe{PreSet}{\\global\\let\\lst@intname\\lst@chunkname}
4849 <item>\\lst@AddToHook{Init}{}%\\fangle@caption}
4851 <item>%\\lst@EndAspect
4854 <subsection|Cross references>
4856 We define the <verbatim|\\chunkref> command which makes it easy to generate
4857 visual references to different code chunks, e.g.
4859 <block|<tformat|<table|<row|<cell|Macro>|<cell|Appearance>>|<row|<cell|<verbatim|\\chunkref{preamble}>>|<cell|>>|<row|<cell|<verbatim|\\chunkref[3]{preamble}>>|<cell|>>|<row|<cell|<verbatim|\\chunkref{preamble}[arg1,
4862 Chunkref can also be used within a code chunk to include another code
4863 chunk. The third optional parameter to chunkref is a comma sepatarated list
4864 of arguments, which will replace defined parameters in the chunkref.
4867 Darn it, if I have: <verbatim|=\<less\>\\chunkref{new-mode-tracker}[{chunks[chunk_name,
4868 "language"]},{mode}]\<gtr\>> the inner braces (inside [ ]) cause _ to
4869 signify subscript even though we have <verbatim|lst@ReplaceIn>
4872 <\nf-chunk|./fangle.sty>
4873 <item>\\def\\chunkref@args#1,{%
4875 <item> \ \\def\\arg{#1}%
4877 <item> \ \\lst@ReplaceIn\\arg\\lst@filenamerpl%
4881 <item> \ \\@ifnextchar){\\relax}{, \\chunkref@args}%
4885 <item>\\newcommand\\chunkref[2][0]{%
4887 <item> \ \\@ifnextchar({\\chunkref@i{#1}{#2}}{\\chunkref@i{#1}{#2}()}%
4891 <item>\\def\\chunkref@i#1#2(#3){%
4893 <item> \ \\def\\zero{0}%
4895 <item> \ \\def\\chunk{#2}%
4897 <item> \ \\def\\chunkno{#1}%
4899 <item> \ \\def\\chunkargs{#3}%
4901 <item> \ \\ifx\\chunkno\\zero%
4903 <item> \ \ \ \\def\\chunkname{#2-1}%
4907 <item> \ \ \ \\def\\chunkname{#2-\\chunkno}%
4911 <item> \ \\let\\lst@arg\\chunk%
4913 <item> \ \\lst@ReplaceIn\\chunk\\lst@filenamerpl%
4915 <item> \ \\LA{%\\moddef{%
4917 <item> \ \ \ {\\chunk}%
4921 <item> \ \ \ \ \ \\nwtagstyle{}\\/%
4923 <item> \ \ \ \ \ \\ifx\\chunkno\\zero%
4925 <item> \ \ \ \ \ \\else%
4927 <item> \ \ \ \ \ [\\chunkno]%
4929 <item> \ \ \ \ \ \\fi%
4931 <item> \ \ \ \ \ \\ifx\\chunkargs\\empty%
4933 <item> \ \ \ \ \ \\else%
4935 <item> \ \ \ \ \ \ \ (\\chunkref@args #3,)%
4937 <item> \ \ \ \ \ \\fi%
4939 <item> \ \ \ \ \ ~\\subpageref{\\chunkname}%
4945 <item> \ \\RA%\\endmoddef%
4950 <subsection|The end>
4952 <\nf-chunk|./fangle.sty>
4955 <item>%\\makeatother
4958 <chapter|Extracting fangle>
4960 <section|Extracting from Lyx>
4962 To extract from <LyX>, you will need to configure <LyX> as explained in
4963 section <reference|Configuring-the-build>.
4965 <label|lyx-build-script>And this lyx-build scrap will extract fangle for
4968 <\nf-chunk|lyx-build>
4975 <item>=\<less\>\\chunkref{lyx-build-helper}\<gtr\>
4977 <item>cd $PROJECT_DIR \|\| exit 1
4981 <item>/usr/local/bin/fangle -R./fangle $TEX_SRC \<gtr\> ./fangle
4983 <item>/usr/local/bin/fangle -R./fangle.module $TEX_SRC \<gtr\>
4988 <item>=\<less\>\\chunkref{test:helpers}\<gtr\>
4990 <item>export FANGLE=./fangle
4992 <item>export TMP=${TMP:-/tmp}
4994 <item>=\<less\>\\chunkref{test:run-tests}\<gtr\>
4996 <item># Now check that we can extract a fangle that also passes the
4999 <item>$FANGLE -R./fangle $TEX_SRC \<gtr\> ./new-fangle
5001 <item>export FANGLE=./new-fangle
5003 <item>=\<less\>\\chunkref{test:run-tests}\<gtr\>
5006 <\nf-chunk|test:run-tests>
5009 <item>$FANGLE -Rpca-test.awk $TEX_SRC \| awk -f - \|\| exit 1
5011 <item>=\<less\>\\chunkref{test:cromulence}\<gtr\>
5013 <item>=\<less\>\\chunkref{test:escapes}\<gtr\>
5015 <item>=\<less\>\\chunkref{test:chunk-params}\<gtr\>
5018 With a lyx-build-helper
5020 <\nf-chunk|lyx-build-helper>
5021 <item>PROJECT_DIR="$LYX_r"
5023 <item>LYX_SRC="$PROJECT_DIR/${LYX_i%.tex}.lyx"
5025 <item>TEX_DIR="$LYX_p"
5027 <item>TEX_SRC="$TEX_DIR/$LYX_i"
5030 <section|Extracting documentation>
5032 <\nf-chunk|./gen-www>
5033 <item>#python -m elyxer --css lyx.css $LYX_SRC \| \\
5035 <item># \ iconv -c -f utf-8 -t ISO-8859-1//TRANSLIT \| \\
5037 <item># \ sed 's/UTF-8"\\(.\\)\<gtr\>/ISO-8859-1"\\1\<gtr\>/' \<gtr\>
5038 www/docs/fangle.html
5042 <item>python -m elyxer --css lyx.css --iso885915 --html --destdirectory
5043 www/docs/fangle.e \\
5045 <item> \ \ \ \ \ \ fangle.lyx \<gtr\> www/docs/fangle.e/fangle.html
5049 <item>( mkdir -p www/docs/fangle && cd www/docs/fangle && \\
5051 <item> \ lyx -e latex ../../../fangle.lyx && \\
5053 <item> \ htlatex ../../../fangle.tex "xhtml,fn-in" && \\
5055 <item> \ sed -i -e 's/\<less\>!--l\\. [0-9][0-9]* *--\<gtr\>//g'
5062 <item>( mkdir -p www/docs/literate && cd www/docs/literate && \\
5064 <item> \ lyx -e latex ../../../literate.lyx && \\
5066 <item> \ htlatex ../../../literate.tex "xhtml,fn-in" && \\
5068 <item> \ sed -i -e 's/\<less\>!--l\\. [0-9][0-9]* *--\<gtr\>$//g'
5074 <section|Extracting from the command line>
5076 First you will need the tex output, then you can extract:
5078 <\nf-chunk|lyx-build-manual>
5079 <item>lyx -e latex fangle.lyx
5081 <item>fangle -R./fangle fangle.tex \<gtr\> ./fangle
5083 <item>fangle -R./fangle.module fangle.tex \<gtr\> ./fangle.module
5088 <\nf-chunk|test:helpers>
5093 <item> \ then echo "Passed"
5095 <item> \ else echo "Failed"
5097 <item> \ \ \ \ \ \ return 1
5109 <item> \ then echo "Passed"
5111 <item> \ else echo "Failed"
5113 <item> \ \ \ \ \ \ return 1
5122 <chapter|Chunk Parameters>
5124 <\nf-chunk|test:chunk-params:sub>
5125 <item>I see a ${THING},
5127 <item>a ${THING} of colour ${colour},\
5129 <item>and looking closer =\<less\>\\chunkref{test:chunk-params:sub:sub}(${colour})\<gtr\>
5130 </nf-chunk||<tuple|THING|colour>>
5132 <\nf-chunk|test:chunk-params:sub:sub>
5133 <item>a funny shade of ${colour}
5134 </nf-chunk||<tuple|colour>>
5136 <\nf-chunk|test:chunk-params:text>
5137 <item>What do you see? "=\<less\>\\chunkref{test:chunk-params:sub}(joe,
5143 Should generate output:
5145 <\nf-chunk|test:chunk-params:result>
5146 <item>What do you see? "I see a joe,
5148 <item> \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ a joe of colour red,\
5150 <item> \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ \ and looking closer a funny shade
5156 And this chunk will perform the test:
5158 <\nf-chunk|test:chunk-params>
5159 <item>$FANGLE -Rtest:chunk-params:result $TEX_SRC \<gtr\> $TMP/answer
5162 <item>$FANGLE -Rtest:chunk-params:text $TEX_SRC \<gtr\> $TMP/result \|\|
5165 <item>passtest diff $TMP/answer $TMP/result \|\| (echo
5166 test:chunk-params:text failed ; exit 1)
5169 <chapter|Compile-log-lyx><label|Compile-log-lyx>
5171 <\nf-chunk|Chunk:./compile-log-lyx>
5174 <item># can't use gtkdialog -i, cos it uses the "source" command which
5175 ubuntu sh doesn't have
5181 <item> \ errors="/tmp/compile.log.$$"
5183 <item># \ if grep '^[^ ]*:\\( In \\\|[0-9][0-9]*: [^ ]*:\\)' \<gtr\>
5186 <item>if grep '^[^ ]*(\\([0-9][0-9]*\\)) *: *\\(error\\\|warning\\)'
5191 <item> \ \ \ sed -i -e 's/^[^ ]*[/\\\\]\\([^/\\\\]*\\)(\\([ 0-9][
5192 0-9]*\\)) *: */\\1:\\2\|\\2\|/' $errors
5194 <item> \ \ \ COMPILE_DIALOG='
5196 <item> \<less\>vbox\<gtr\>
5198 <item> \ \<less\>text\<gtr\>
5200 <item> \ \ \ \<less\>label\<gtr\>Compiler errors:\<less\>/label\<gtr\>
5202 <item> \ \<less\>/text\<gtr\>
5204 <item> \ \<less\>tree exported_column="0"\<gtr\>
5206 <item> \ \ \ \<less\>variable\<gtr\>LINE\<less\>/variable\<gtr\>
5208 <item> \ \ \ \<less\>height\<gtr\>400\<less\>/height\<gtr\>\<less\>width\<gtr\>800\<less\>/width\<gtr\>
5210 <item> \ \ \ \<less\>label\<gtr\>File \| Line \|
5211 Message\<less\>/label\<gtr\>
5213 <item> \ \ \ \<less\>action\<gtr\>'". $SELF ; "'lyxgoto
5214 $LINE\<less\>/action\<gtr\>
5216 <item> \ \ \ \<less\>input\<gtr\>'"cat $errors"'\<less\>/input\<gtr\>
5218 <item> \ \<less\>/tree\<gtr\>
5220 <item> \ \<less\>hbox\<gtr\>
5222 <item> \ \ \<less\>button\<gtr\>\<less\>label\<gtr\>Build\<less\>/label\<gtr\>
5224 <item> \ \ \ \ \<less\>action\<gtr\>lyxclient -c "LYXCMD:build-program"
5225 &\<less\>/action\<gtr\>
5227 <item> \ \ \<less\>/button\<gtr\>
5229 <item> \ \ \<less\>button ok\<gtr\>\<less\>/button\<gtr\>
5231 <item> \ \<less\>/hbox\<gtr\>
5233 <item> \<less\>/vbox\<gtr\>
5237 <item> \ \ \ export COMPILE_DIALOG
5239 <item> \ \ \ ( gtkdialog --program=COMPILE_DIALOG ; rm $errors ) &
5243 <item> \ \ \ rm $errors
5253 <item> \ file="${LINE%:*}"
5255 <item> \ line="${LINE##*:}"
5257 <item> \ extraline=`cat $file \| head -n $line \| tac \| sed
5258 '/^\\\\\\\\begin{lstlisting}/q' \| wc -l`
5260 <item> \ extraline=`expr $extraline - 1`
5262 <item> \ lyxclient -c "LYXCMD:command-sequence server-goto-file-row $file
5263 $line ; char-forward ; repeat $extraline paragraph-down ;
5264 paragraph-up-select"
5272 <item>if test -z "$COMPILE_DIALOG"
5274 <item>then main "$@"\
5284 <associate|info-flag|short>
5285 <associate|page-medium|paper>
5286 <associate|page-screen-height|982016tmpt>
5287 <associate|page-screen-margin|false>
5288 <associate|page-screen-width|1686528tmpt>
5289 <associate|preamble|false>
5290 <associate|sfactor|5>