doc/sod.sty: Hoist `\@desc@dispatch' above its call sites.
[sod] / doc / sod.sty
1 %%% -*-latex-*-
2 %%%
3 %%% Styles and other hacking for the Sod manual
4 %%%
5 %%% (c) 2015 Straylight/Edgeware
6 %%%
7
8 %%%----- Licensing notice ---------------------------------------------------
9 %%%
10 %%% This file is part of the Sensible Object Design, an object system for C.
11 %%%
12 %%% SOD is free software; you can redistribute it and/or modify
13 %%% it under the terms of the GNU General Public License as published by
14 %%% the Free Software Foundation; either version 2 of the License, or
15 %%% (at your option) any later version.
16 %%%
17 %%% SOD is distributed in the hope that it will be useful,
18 %%% but WITHOUT ANY WARRANTY; without even the implied warranty of
19 %%% MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
20 %%% GNU General Public License for more details.
21 %%%
22 %%% You should have received a copy of the GNU General Public License
23 %%% along with SOD; if not, write to the Free Software Foundation,
24 %%% Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
25
26 \ProvidesPackage{sod}
27
28 %% More reference types.
29 \defxref{p}{part}
30
31 %% Other languages with special typesetting.
32 \def\Cplusplus{C\kern-\p@++}
33 \def\Csharp{C\#}
34
35 %% Special maths notation.
36 \def\chain#1#2{\mathsf{ch}_{#1}(#2)}
37 \def\chainhead#1#2{\mathsf{hd}_{#1}(#2)}
38 \def\chaintail#1#2{\mathsf{tl}_{#1}(#2)}
39
40 %% Other mathematical tweaks.
41 \let\implies\Rightarrow
42 \let\epsilon\varepsilon
43
44 %% A table heading cell. Clone and hack \multicolumn.
45 \def\thd{\omit\@ifnextchar[\thd@{\thd@[l]}}
46 \def\thd@[#1]#2{%
47 \begingroup
48 \tab@multicol \tab@initread \let\tab@looped\tab@err@multi
49 \tab@preamble{}\def\tab@midtext{\bfseries#2}\tab@readpreamble{#1}%
50 \the\tab@preamble
51 \endgroup \ignorespaces
52 }
53
54 %% Unix manpage references.
55 \def\man#1#2{\textbf{#1}(#2)}
56
57 %% Listings don't need to be small.
58 \let\listingsize\relax
59
60 %% Notes for later.
61 \def\fixme#1{\leavevmode\marginpar{FIXME}\index{FIXME}[FIXME: #1]}
62
63 %% Diagram settings.
64 \tikzset{
65 every picture/.style={>=stealth, thick},
66 lit/.style={font=\sffamily}
67 }
68
69 %% Metavariables are italics without decoration.
70 \def\syntleft{\normalfont\itshape}
71 \let\syntright\empty
72
73 %% Literal code is in sans face.
74 \def\codeface{\upshape\sffamily}
75 \DeclareRobustCommand\code[1]{%
76 \ifmmode\hbox\else\leavevmode\fi%
77 {\normalfont\codeface\/#1\/}%
78 }
79 \def\ulitleft{\normalfont\codeface}
80 \let\ulitright\empty
81 \def\lit@i#1#2#3{\ifmmode\leavevmode\hbox\fi{#1{#3\/}#2}}
82
83 %% Conditionally enter maths mode. Can't use \ensuremath here because we
84 %% aren't necessarily sure where the maths will actually end.
85 \let\m@maybe@end\relax
86 \def\m@maybe{\ifmmode\else$\let\m@maybe@end$\fi}
87
88 %% Standard syntax shortcuts.
89 \atdef <#1>{\synt{#1}\@scripts}
90 \atdef "#1"{\lit*{#1}\@scripts}
91 \atdef `#1'{\lit{#1}\@scripts}
92 \atdef |#1|{\lit*{#1}\@scripts}
93
94 %% A handy abbreviation; `\\' itself is too good to steal.
95 \atdef \\{\textbackslash}
96
97 %% Intercept grammar typesetting and replace the vertical bar with the
98 %% maths-font version.
99 \let\@@grammar\grammar
100 \def\grammar{\def\textbar{\hbox{$|$}}\@@grammar}
101
102 %% Collect super- and subscripts. (Note that underscores are active for the
103 %% most part.) When we're done, end maths mode if we entered it
104 %% conditionally.
105 \def\@scripts{\futurelet\@ch\@scripts@i}
106 \begingroup\lccode`\~=`\_\lowercase{\endgroup
107 \def\@scripts@i{\if1\ifx\@ch~1\else\ifx\@ch^1\else0\fi\fi%
108 \expandafter\@scripts@ii\else\expandafter\m@maybe@end\fi}}
109 \def\@scripts@ii#1#2{\m@maybe#1{#2}\@scripts}
110
111 %% Doubling characters, maybe. Either way, chain onto \@scripts.
112 \def\dbl@maybe#1{\let\@tempa#1\futurelet\@ch\dbl@maybe@i}
113 \def\dbl@maybe@i{\m@maybe\ifx\@ch\@tempa\@tempa\!\@tempa%
114 \expandafter\@firstoftwo\expandafter\@scripts%
115 \else\@tempa\expandafter\@scripts\fi}
116
117 %% Extra syntax for Lisp templates. These produce the maths-font versions of
118 %% characters, which should contrast well against the sans face used for
119 %% literals.
120 \atdef [{\dbl@maybe[}
121 \atdef ]{\dbl@maybe]}
122 \atdef {{\m@maybe\{\@scripts}
123 \atdef }{\m@maybe\}\@scripts}
124 \atdef ({\m@maybe(\@scripts}
125 \atdef ){\m@maybe)\@scripts}
126 \atdef !{\m@maybe|\@scripts}
127 \def\returns{\m@maybe\longrightarrow\m@maybe@end\hspace{0.5em}\ignorespaces}
128 \atdef >{\leavevmode\unskip\hspace{0.5em}\returns}
129 \atdef -#1{\if>#1\hbox{--\raisebox{.4pt}{>}}\penalty200\relax\fi}
130
131 %% Comment setting.
132 \def\comment#1{\mbox{\normalfont\itshape\/#1\/}}
133 \atdef /*#1*/{/*\comment{#1}*/}
134 \def\@semis{\@ifnextchar;{;\@semis}\@semicomment}
135 \def\@semicomment#1\\{\comment{#1}\\}
136 \atdef ;#1\\{;\@semis}
137
138 %% Environment for setting programs. Newlines are explicit, because
139 %% otherwise I need comments in weird places to make the vertical spacing
140 %% come out properly. You can write `\obeylines' if you really want to.
141 \def\@prog{\let\prog@@cr\@tabcr\let\@tabcr\@progcr\codeface\tabbing}
142 \def\prog{\quote\@prog}
143 \def\endprog{\endtabbing\endquote}
144 \let\nprog\@prog
145 \let\endnprog\endtabbing
146 \def\ind{\quad\=\+\kill}
147 \def\@progcr{\futurelet\@tempa\@progcr@i}
148 {\def\:{\gdef\@progcr@sp}\: {\@progcr}}
149 \atdef~{\textasciitilde}
150 \def\@progcr@i{%
151 \ifx\@tempa\@sptoken\let\next@\@progcr@sp\else
152 \if1\ifx\@tempa[1\else
153 \ifx\@tempa*1\else
154 0\fi\fi
155 \let\next@\prog@@cr\else
156 \if1\ifx\@tempa+1\else
157 \ifx\@tempa-1\else
158 0\fi\fi
159 \let\next@\@progcr@ii\else
160 \let\next@\@progcr@a\fi\fi\fi
161 \next@}
162 \def\@progcr@a{\prog@@cr*{}\ignorespaces}
163 \def\@progcr@ii#1{\csname @progcr@#1\endcsname\ignorespaces}
164 \@namedef{@progcr@+}{\prog@@cr[\medskipamount]}
165 \@namedef{@progcr@-}{\prog@@cr*[\jot]}
166 \def\macsl{\`\textbackslash\hskip\leftmargin}
167
168 %% Put a chunk of text in a box.
169 \newenvironment{boxy}[1][\q@]{%
170 \savenotes
171 \dimen@\linewidth\advance\dimen@-1.2pt\advance\dimen@-2ex%
172 \medskip%
173 \vbox\bgroup\hrule\hbox\bgroup\vrule%
174 \vbox\bgroup\vskip1ex\hbox\bgroup\hskip1ex\minipage\dimen@%
175 \def\@temp{#1}\ifx\@temp\q@\else\leavevmode{\headfam\bfseries#1\quad}\fi%
176 }{%
177 \endminipage\hskip1ex\egroup\vskip1ex\egroup%
178 \vrule\egroup\hrule\egroup%
179 \medskip%
180 \spewnotes%
181 }
182
183 %% Lisp documentation machinery.
184 \def\definedescribecategory#1{%
185 \@ifnextchar[{\def@desc{#1}}{\def@desc{#1}[plain]}}
186 \def\def@desc#1[#2]#3{\@namedef{cat!#1}##1{#3}\@namedef{catsw!#1}{#2}}
187 \def\describecategoryname{\@ifnextchar[\@descname@i{\@descname@i[]}}
188 \def\@descname@i[#1]#2{%
189 \expandafter\let\expandafter\@tempa\csname cat!#2\endcsname%
190 \expandafter\let\expandafter\@tempb\csname descmod/#1\endcsname%
191 \ifx\@tempa\relax\@tempb{#2}\else\@tempa\@tempb\fi}
192 \def\@maybe@modlabel#1#2{\if!#1!\else#1/\fi#2}
193 \def\@desc@dispatch#1#2{%
194 \csname #1/%
195 \expandafter\ifx\csname catsw!#2\endcsname\relax plain%
196 \else \csname catsw!#2\endcsname \fi%
197 \endcsname%
198 }
199
200 \definedescribecategory{sym}{symbol}
201 \definedescribecategory{fun}{#1{function}}
202 \definedescribecategory{gf}{generic #1{function}}
203 \definedescribecategory{msg}{message}
204 \definedescribecategory{var}{variable}
205 \definedescribecategory{modvar}{module variable}
206 \definedescribecategory{const}{constant}
207 \definedescribecategory{meth}[method]{primary #1{method}}
208 \definedescribecategory{ar-meth}[method]{\code{:around} #1{method}}
209 \definedescribecategory{be-meth}[method]{\code{:before} #1{method}}
210 \definedescribecategory{af-meth}[method]{\code{:after} #1{method}}
211 \definedescribecategory{cls}{class}
212 \definedescribecategory{rst}{restart}
213 \definedescribecategory{ty}{type}
214 \definedescribecategory{type}{type}
215 \definedescribecategory{mac}{#1{macro}}
216 \definedescribecategory{lmac}{local #1{macro}}
217 \definedescribecategory{parse}{parser spec}
218 \definedescribecategory{parseform}{parser form}
219 \definedescribecategory{opt}{option handler}
220 \definedescribecategory{optmac}{option macro}
221 \definedescribecategory{plug}{pluggable parser}
222 \def\nlret{\\\hspace{4em}\returns}
223
224 \@namedef{descmod/}#1{#1}
225
226 \@namedef{descmod/setf}#1{\code{setf}-#1}
227
228 \@namedef{descargs/plain}#1{#1{}}
229 \@namedef{desclabel/plain}#1#2#3{#1:\@maybe@modlabel{#2}{#3}}
230 \@namedef{descindex/plain}#1#2#3{%
231 #3@\noexpand\code{#3}!%
232 \protect\describecategoryname[#2]{#1}%
233 }
234
235 \@namedef{descargs/method}#1#2{#1{{#2}}}
236 \@namedef{desclabel/method}#1#2#3#4{#1:\@maybe@modlabel{#2}{#3}(#4)}
237 \@namedef{descindex/method}#1#2#3#4{%
238 #3@\noexpand\code{#3}!%
239 \protect\describecategoryname[#2]{#1}%
240 \protect\fmtspecs{ specialized at }{#4}%
241 }
242
243 \def\q@{\q@}
244 \def\@setf{setf}
245
246 \def\fmtspecs#1#2{%
247 \if!#2!\else\count@\z@\toks@{}#1\@fmtspecs@i#2,\q@,\fi}
248 \def\@fmtspecs@i#1,{%
249 \def\@tempa{#1}%
250 \ifx\@tempa\q@%
251 \ifcase\count@(no args?!)%
252 \or% nothin' doin
253 \or \space and %
254 \else, and %
255 \fi%
256 \the\toks@%
257 \else%
258 \ifnum\count@>\@ne, \fi%
259 \the\toks@%
260 \toks@{\code{#1}}\advance\count@\@ne%
261 \expandafter\@fmtspecs@i%
262 \fi%
263 }
264
265 %% \parse@dhd{NEXT}[MOD]{CAT}{...}...[NAME]{SYNOPSIS}
266 %% call NEXT{MOD}{CAT}{{...}...}{NAME}{SYNOPSIS}
267 %% #1 #2 #3 #4 #5
268 \def\@setf{setf}
269 \def\parse@dhd#1{% {NEXT}
270 \@ifnextchar[{\parse@dhd@a{#1}}{\parse@dhd@c{#1}}}
271 \def\parse@dhd@a#1[#2]#3{% {NEXT}[MOD]{CAT}
272 \@desc@dispatch{descargs}{#3}{\parse@dhd@ab{#1}{#2}{#3}}}
273 \def\parse@dhd@ab#1#2#3#4{% {NEXT}{MOD}{CAT}{{...}...}
274 \@ifnextchar[{\parse@dhd@ac{#1}{#2}{#3}{#4}}{\parse@dhd@ad{#1}{#2}{#3}{#4}}}
275 \def\parse@dhd@ac#1#2#3#4[#5]#6{% {NEXT}{MOD}{CAT}{{...}...}[NAME]{SYNOPSIS}
276 #1{#2}{#3}{#4}{#5}{#6}}
277 \def\parse@dhd@ad#1#2#3#4#5{% {NEXT}{MOD}{CAT}{{...}...}{NAME [ARGS...]}
278 \parse@dhd@ae{#1}{#2}{#3}{#4}{#5}#5 \q@}
279 \def\parse@dhd@ae#1#2#3#4#5#6 #7\q@{%
280 % {NEXT}{MOD}{CAT}{{...}...}{SYNSOPSIS}NAME [ARGS...]\q@
281 #1{#2}{#3}{#4}{#6}{#5}}
282
283 \def\parse@dhd@c#1#2{% {NEXT}{CAT}
284 \@desc@dispatch{descargs}{#2}{\parse@dhd@cb{#1}{#2}}}
285 \def\parse@dhd@cb#1#2#3{% {NEXT}{CAT}{{...}...}
286 \@ifnextchar[{\parse@dhd@cc{#1}{#2}{#3}}{\parse@dhd@cd{#1}{#2}{#3}}}
287 \def\parse@dhd@cc#1#2#3[#4]#5{% {NEXT}{CAT}{{...}...}[NAME]{SYNOPSIS}
288 #1{}{#2}{#3}{#4}{#5}}
289 \def\parse@dhd@cd#1#2#3#4{% {NEXT}{CAT}{{...}...}{SYNOPSIS}
290 \parse@dhd@ce{#1}{#2}{#3}{#4}#4 \q@}
291 \def\parse@dhd@ce#1#2#3#4#5 #6\q@{%
292 % {NEXT}{CAT}{{...}...}{SYNOPSIS}NAME [ARGS...]\q@
293 \def\temp@{#5}%
294 \ifx\@setf\temp@\def\next@{\parse@dhd@csetf{#1}{#2}{#3}{#4}#6 \q@}%
295 \else\def\next@{#1{}{#2}{#3}{#5}{#4}}\fi%
296 \next@%
297 }
298 \def\parse@dhd@csetf#1#2#3#4(#5 #6\q@{%
299 % {NEXT}{CAT}{{...}...}{SYNOPSIS}(NAME [ARGS...])\q@
300 #1{setf}{#2}{#3}{#5}{#4}}
301
302 \newif\if@dheadfirst
303 \def\dhead{\parse@dhd\dhead@}
304 \def\dhead@#1#2#3#4#5{% {MOD}{CAT}{{...}...}{NAME}{SYNOPSIS}
305 \if@dheadfirst\global\@dheadfirstfalse\else\relax\\*[\smallskipamount]\fi%
306 \phantomsection%
307 {\let\protect\@empty\let\@uscore\relax%
308 \edef\temp@{\@desc@dispatch{desclabel}{#2}{#2}{#1}{#4}#3}%
309 \def\@uscore{_\@gobble}\expandafter\message\expandafter{\temp@}%
310 \def\@uscore{-\@gobble}\expandafter\label\expandafter{\temp@}}%
311 {\begingroup\lccode`\~=`\_\lowercase{\endgroup\def~{_}}%
312 \protected@edef\@tempa##1{%
313 \noexpand\index{\@desc@dispatch{descindex}{#2}{#2}{#1}{#4}#3##1}}%
314 \toks@\expandafter{\@tempa{|)}}%
315 \toks\tw@\expandafter{\after@desc}%
316 \xdef\after@desc{\the\toks\tw@\the\toks@}%
317 \@tempa{|(}}%
318 \rlap{\hb@xt@\linewidth{\hfil\normalfont\bfseries
319 [\describecategoryname[#1]{#2}]}}%
320 #5%
321 }
322
323 \def\desc@begin#1{%
324 \let\saved@after@desc\after@desc%
325 \gdef\after@desc{}%
326 \normalfont%
327 \if@nobreak\else\par\goodbreak\fi%
328 \global\@dheadfirsttrue%
329 \begingroup%
330 \let\@endparenv\relax%
331 \clubpenalty\@M \widowpenalty\@M \interlinepenalty50%
332 \@prog#1\endtabbing%
333 \endgroup%
334 \penalty\@M\@afterheading%
335 \list{}{\rightmargin\z@\topsep\z@}\item%
336 }
337 \def\desc@end{\endlist\after@desc\global\let\after@desc\saved@after@desc}
338
339 \@namedef{describe*}#1{\desc@begin{#1}}
340 \expandafter\let\csname enddescribe*\endcsname\desc@end
341 \def\describe{\parse@dhd\desc@}
342 \def\desc@#1#2#3#4#5{\desc@begin{\dhead@{#1}{#2}{#3}{#4}{#5}}}
343 \let\enddescribe\desc@end
344
345 \def\descref#1{\@ifnextchar[{\descref@i{#1}}{\descref@ii{#1}{}}}
346 \def\descref@i#1[#2]{\descref@ii{#1}{ #2}}
347 \def\descref@ii#1#2#3{%
348 \code{#1}#2 (page~%
349 {\let\protect\@empty%
350 \def\@uscore{-\@gobble}\edef\@tempa{\noexpand\pageref{#3:#1}}\@tempa}%
351 )%
352 }
353
354 %%%----- That's all, folks --------------------------------------------------
355 \endinput