Fix bugs during installation of libsndfile-ocaml.
[Faustine.git] / doc / user-manual-src / rail.sty
1 % rail.sty - style file to support railroad diagrams
2 %
3 % 09-Jul-90 L. Rooijakkers
4 % 08-Oct-90 L. Rooijakkers fixed centering bug when \rail@tmpc<0.
5 % 07-Feb-91 L. Rooijakkers added \railoptions command, indexing
6 % 08-Feb-91 L. Rooijakkers minor fixes
7 % 28-Jun-94 K. Barthelmann turned into LaTeX2e package
8 % 08-Dec-96 K. Barthelmann replaced \@writefile
9 % 13-Dec-96 K. Barthelmann cleanup
10 % 22-Feb-98 K. Barthelmann fixed catcodes of special characters
11 % 18-Apr-98 K. Barthelmann fixed \par handling
12 % 19-May-98 J. Olsson Added new macros to support arrow heads.
13 % 26-Jul-98 K. Barthelmann changed \par to output newlines
14 %
15 % This style file needs to be used in conjunction with the 'rail'
16 % program. Running LaTeX as 'latex file' produces file.rai, which should be
17 % processed by Rail with 'rail file'. This produces file.rao, which will
18 % be picked up by LaTeX on the next 'latex file' run.
19 %
20 % LaTeX will warn if there is no file.rao or it's out of date.
21 %
22 % The macros in this file thus consist of two parts: those that read and
23 % write the .rai and .rao files, and those that do the actual formatting
24 % of the railroad diagrams.
25
26 \NeedsTeXFormat{LaTeX2e}
27 \ProvidesPackage{rail}[1998/05/19]
28
29 % railroad diagram formatting parameters (user level)
30 % all of these are copied into their internal versions by \railinit
31 %
32 % \railunit : \unitlength within railroad diagrams
33 % \railextra : extra length at outside of diagram
34 % \railboxheight : height of ovals and frames
35 % \railboxskip : vertical space between lines
36 % \railboxleft : space to the left of a box
37 % \railboxright : space to the right of a box
38 % \railovalspace : extra space around contents of oval
39 % \railframespace : extra space around contents of frame
40 % \railtextleft : space to the left of text
41 % \railtextright : space to the right of text
42 % \railtextup : space to lift text up
43 % \railjoinsize : circle size of join/split arcs
44 % \railjoinadjust : space to adjust join
45 %
46 % \railnamesep : separator between name and rule body
47
48 \newlength\railunit
49 \newlength\railextra
50 \newlength\railboxheight
51 \newlength\railboxskip
52 \newlength\railboxleft
53 \newlength\railboxright
54 \newlength\railovalspace
55 \newlength\railframespace
56 \newlength\railtextleft
57 \newlength\railtextright
58 \newlength\railtextup
59 \newlength\railjoinsize
60 \newlength\railjoinadjust
61 \newlength\railnamesep
62
63 % initialize the parameters
64
65 \setlength\railunit{1sp}
66 \setlength\railextra{4ex}
67 \setlength\railboxleft{1ex}
68 \setlength\railboxright{1ex}
69 \setlength\railovalspace{2ex}
70 \setlength\railframespace{2ex}
71 \setlength\railtextleft{1ex}
72 \setlength\railtextright{1ex}
73 \setlength\railjoinadjust{0pt}
74 \setlength\railnamesep{1ex}
75
76 \DeclareOption{10pt}{
77 \setlength\railboxheight{16pt}
78 \setlength\railboxskip{24pt}
79 \setlength\railtextup{5pt}
80 \setlength\railjoinsize{16pt}
81 }
82 \DeclareOption{11pt}{
83 \setlength\railboxheight{16pt}
84 \setlength\railboxskip{24pt}
85 \setlength\railtextup{5pt}
86 \setlength\railjoinsize{16pt}
87 }
88 \DeclareOption{12pt}{
89 \setlength\railboxheight{20pt}
90 \setlength\railboxskip{28pt}
91 \setlength\railtextup{6pt}
92 \setlength\railjoinsize{20pt}
93 }
94
95 \ExecuteOptions{10pt}
96 \ProcessOptions
97
98 % internal versions of the formatting parameters
99 %
100 % \rail@extra : \railextra
101 % \rail@boxht : \railboxheight
102 % \rail@boxsp : \railboxskip
103 % \rail@boxlf : \railboxleft
104 % \rail@boxrt : \railboxright
105 % \rail@boxhht : \railboxheight / 2
106 % \rail@ovalsp : \railovalspace
107 % \rail@framesp : \railframespace
108 % \rail@textlf : \railtextleft
109 % \rail@textrt : \railtextright
110 % \rail@textup : \railtextup
111 % \rail@joinsz : \railjoinsize
112 % \rail@joinhsz : \railjoinsize / 2
113 % \rail@joinadj : \railjoinadjust
114 %
115 % \railinit : internalize all of the parameters.
116
117 \newcount\rail@extra
118 \newcount\rail@boxht
119 \newcount\rail@boxsp
120 \newcount\rail@boxlf
121 \newcount\rail@boxrt
122 \newcount\rail@boxhht
123 \newcount\rail@ovalsp
124 \newcount\rail@framesp
125 \newcount\rail@textlf
126 \newcount\rail@textrt
127 \newcount\rail@textup
128 \newcount\rail@joinsz
129 \newcount\rail@joinhsz
130 \newcount\rail@joinadj
131
132 \newcommand\railinit{
133 \rail@extra=\railextra
134 \divide\rail@extra by \railunit
135 \rail@boxht=\railboxheight
136 \divide\rail@boxht by \railunit
137 \rail@boxsp=\railboxskip
138 \divide\rail@boxsp by \railunit
139 \rail@boxlf=\railboxleft
140 \divide\rail@boxlf by \railunit
141 \rail@boxrt=\railboxright
142 \divide\rail@boxrt by \railunit
143 \rail@boxhht=\railboxheight
144 \divide\rail@boxhht by \railunit
145 \divide\rail@boxhht by 2
146 \rail@ovalsp=\railovalspace
147 \divide\rail@ovalsp by \railunit
148 \rail@framesp=\railframespace
149 \divide\rail@framesp by \railunit
150 \rail@textlf=\railtextleft
151 \divide\rail@textlf by \railunit
152 \rail@textrt=\railtextright
153 \divide\rail@textrt by \railunit
154 \rail@textup=\railtextup
155 \divide\rail@textup by \railunit
156 \rail@joinsz=\railjoinsize
157 \divide\rail@joinsz by \railunit
158 \rail@joinhsz=\railjoinsize
159 \divide\rail@joinhsz by \railunit
160 \divide\rail@joinhsz by 2
161 \rail@joinadj=\railjoinadjust
162 \divide\rail@joinadj by \railunit
163 }
164
165 \AtBeginDocument{\railinit}
166
167 % \rail@param : declarations for list environment
168 %
169 % \railparam{TEXT} : sets \rail@param to TEXT
170 %
171 % \rail@reserved : characters reserved for grammar
172
173 \newcommand\railparam[1]{
174 \def\rail@param{
175 \setlength\leftmargin{0pt}\setlength\rightmargin{0pt}
176 \setlength\labelwidth{0pt}\setlength\labelsep{0pt}
177 \setlength\itemindent{0pt}\setlength\listparindent{0pt}
178 #1
179 }
180 }
181 \railparam{}
182
183 \newtoks\rail@reserved
184 \rail@reserved={:;|*+?[]()'"}
185
186 % \rail@termfont : format setup for terminals
187 %
188 % \rail@nontfont : format setup for nonterminals
189 %
190 % \rail@annofont : format setup for annotations
191 %
192 % \rail@rulefont : format setup for rule names
193 %
194 % \rail@indexfont : format setup for index entry
195 %
196 % \railtermfont{TEXT} : set terminal format setup to TEXT
197 %
198 % \railnontermfont{TEXT} : set nonterminal format setup to TEXT
199 %
200 % \railannotatefont{TEXT} : set annotation format setup to TEXT
201 %
202 % \railnamefont{TEXT} : set rule name format setup to TEXT
203 %
204 % \railindexfont{TEXT} : set index entry format setup to TEXT
205
206 \def\rail@termfont{\ttfamily\upshape}
207 \def\rail@nontfont{\rmfamily\upshape}
208 \def\rail@annofont{\rmfamily\itshape}
209 \def\rail@namefont{\rmfamily\itshape}
210 \def\rail@indexfont{\rmfamily\itshape}
211
212 \newcommand\railtermfont[1]{
213 \def\rail@termfont{#1}
214 }
215
216 \newcommand\railnontermfont[1]{
217 \def\rail@nontfont{#1}
218 }
219
220 \newcommand\railannotatefont[1]{
221 \def\rail@annofont{#1}
222 }
223
224 \newcommand\railnamefont[1]{
225 \def\rail@namefont{#1}
226 }
227
228 \newcommand\railindexfont[1]{
229 \def\rail@indexfont{#1}
230 }
231
232 % railroad read/write macros
233 %
234 % \begin{rail} TEXT \end{rail} : TEXT is written out to the .rai file,
235 % as \rail@i{NR}{TEXT}. Then the matching
236 % \rail@o{NR}{FMT} from the .rao file is
237 % executed (if defined).
238 %
239 % \railoptions{OPTIONS} : OPTIONS are written out to the .rai file,
240 % as \rail@p{OPTIONS}.
241 %
242 % \railterm{IDENT,IDENT,...} : format IDENT as terminals. writes out
243 % \rail@t{IDENT} to the .rai file
244 %
245 % \railalias{IDENT}{TEXT} : format IDENT as TEXT. defines \rail@t@IDENT as
246 % TEXT.
247 %
248 % \railtoken{IDENT}{TEXT} : abbreviates \railalias{IDENT}{TEXT}\railterm{IDENT}
249 % (for backward compatibility)
250 %
251 % \rail@setcodes : guards special characters
252 %
253 % \rail@makeother{CHARACTER} : sets \catcode of CHARACTER to "other"
254 % used inside a loop for \rail@setcodes
255 %
256 % \rail@nr : railroad diagram counter
257 %
258 % \ifrail@match : current \rail@i{NR}{TEXT} matches
259 %
260 % \rail@first : actions to be done first. read in .rao file,
261 % open .rai file if \@filesw true, undefine \rail@first.
262 % executed from \begin{rail}, \railoptions and \railterm.
263 %
264 % \rail@i{NR}{TEXT} : defines \rail@i@NR as TEXT. written to the .rai
265 % file by \rail, read from the .rao file by
266 % \rail@first
267 %
268 % \rail@t{IDENT} : tells Rail that IDENT is to be custom formatted,
269 % written to the .rai file by \railterm.
270 %
271 % \rail@o{NR}{TEXT} : defines \rail@o@NR as TEXT, read from the .rao
272 % file by \rail@first.
273 %
274 % \rail@p{OPTIONS} : pass options to rail, written to the .rai file by
275 % \railoptions
276 %
277 % \rail@write{TEXT} : write TEXT to the .rai file
278 %
279 % \rail@warn : warn user for mismatching diagrams
280 %
281 % \rail@endwarn : either \relax or \rail@warn
282 %
283 % \ifrail@all : checked at the end of the document
284
285 \def\rail@makeother#1{
286 \expandafter\catcode\expandafter`\csname\string #1\endcsname=12
287 }
288
289 \def\rail@setcodes{
290 \let\par=\relax
291 \let\\=\relax
292 \expandafter\@tfor\expandafter\rail@symbol\expandafter:\expandafter=%
293 \the\rail@reserved
294 \do{\expandafter\rail@makeother\rail@symbol}
295 }
296
297 \newcount\rail@nr
298
299 \newif\ifrail@all
300 \rail@alltrue
301
302 \newif\ifrail@match
303
304 \def\rail@first{
305 \begingroup
306 \makeatletter
307 \rail@setcodes
308 \InputIfFileExists{\jobname.rao}{}{\PackageInfo{rail}{No file \jobname.rao}}
309 \makeatother
310 \endgroup
311 \if@filesw
312 \newwrite\tf@rai
313 \immediate\openout\tf@rai=\jobname.rai
314 \fi
315 \global\let\rail@first=\relax
316 }
317
318 \long\def\rail@body#1\end{
319 {
320 \newlinechar=`^^J
321 \def\par{\string\par^^J}
322 \rail@write{\string\rail@i{\number\rail@nr}{#1}}
323 }
324 \xdef\rail@i@{#1}
325 \end
326 }
327
328 \newenvironment{rail}{
329 \global\advance\rail@nr by 1
330 \rail@first
331 \begingroup
332 \rail@setcodes
333 \rail@body
334 }{
335 \endgroup
336 \rail@matchtrue
337 \@ifundefined{rail@o@\number\rail@nr}{\rail@matchfalse}{}
338 \expandafter\ifx\csname rail@i@\number\rail@nr\endcsname\rail@i@
339 \else
340 \rail@matchfalse
341 \fi
342 \ifrail@match
343 \csname rail@o@\number\rail@nr\endcsname
344 \else
345 \PackageWarning{rail}{Railroad diagram {\number\rail@nr} doesn't match}
346 \global\let\rail@endwarn=\rail@warn
347 \begin{list}{}{\rail@param}
348 \rail@begin{1}{}
349 \rail@setbox{\bfseries ???}
350 \rail@oval
351 \rail@end
352 \end{list}
353 \fi
354 }
355
356 \newcommand\railoptions[1]{
357 \rail@first
358 \rail@write{\string\rail@p{#1}}
359 }
360
361 \newcommand\railterm[1]{
362 \rail@first
363 \@for\rail@@:=#1\do{
364 \rail@write{\string\rail@t{\rail@@}}
365 }
366 }
367
368 \newcommand\railalias[2]{
369 \expandafter\def\csname rail@t@#1\endcsname{#2}
370 }
371
372 \newcommand\railtoken[2]{\railalias{#1}{#2}\railterm{#1}}
373
374 \long\def\rail@i#1#2{
375 \expandafter\gdef\csname rail@i@#1\endcsname{#2}
376 }
377
378 \def\rail@o#1#2{
379 \expandafter\gdef\csname rail@o@#1\endcsname{
380 \begin{list}{}{\rail@param}
381 #2
382 \end{list}
383 }
384 }
385
386 \def\rail@t#1{}
387
388 \def\rail@p#1{}
389
390 \long\def\rail@write#1{\@ifundefined{tf@rai}{}{\immediate\write\tf@rai{#1}}}
391
392 \def\rail@warn{
393 \PackageWarningNoLine{rail}{Railroad diagram(s) may have changed.
394 Use 'rail' and rerun}
395 }
396
397 \let\rail@endwarn=\relax
398
399 \AtEndDocument{\rail@endwarn}
400
401 % index entry macro
402 %
403 % \rail@index{IDENT} : add index entry for IDENT
404
405 \def\rail@index#1{
406 \index{\rail@indexfont#1}
407 }
408
409 % railroad formatting primitives
410 %
411 % \rail@x : current x
412 % \rail@y : current y
413 % \rail@ex : current end x
414 % \rail@sx : starting x for \rail@cr
415 % \rail@rx : rightmost previous x for \rail@cr
416 %
417 % \rail@tmpa : temporary count
418 % \rail@tmpb : temporary count
419 % \rail@tmpc : temporary count
420 %
421 % \rail@put : put at (\rail@x,\rail@y)
422 % \rail@vput : put vector at (\rail@x,\rail@y)
423 %
424 % \rail@eline : end line by drawing from \rail@ex to \rail@x
425 %
426 % \rail@vreline : end line by drawing a vector from \rail@x to \rail@ex
427 %
428 % \rail@vleline : end line by drawing a vector from \rail@ex to \rail@x
429 %
430 % \rail@sety{LEVEL} : set \rail@y to level LEVEL
431
432 \newcount\rail@x
433 \newcount\rail@y
434 \newcount\rail@ex
435 \newcount\rail@sx
436 \newcount\rail@rx
437
438 \newcount\rail@tmpa
439 \newcount\rail@tmpb
440 \newcount\rail@tmpc
441
442 \def\rail@put{\put(\number\rail@x,\number\rail@y)}
443
444 \def\rail@vput{\put(\number\rail@ex,\number\rail@y)}
445
446 \def\rail@eline{
447 \rail@tmpb=\rail@x
448 \advance\rail@tmpb by -\rail@ex
449 \rail@put{\line(-1,0){\number\rail@tmpb}}
450 }
451
452 \def\rail@vreline{
453 \rail@tmpb=\rail@x
454 \advance\rail@tmpb by -\rail@ex
455 \rail@vput{\vector(1,0){\number\rail@tmpb}}
456 }
457
458 \def\rail@vleline{
459 \rail@tmpb=\rail@x
460 \advance\rail@tmpb by -\rail@ex
461 \rail@put{\vector(-1,0){\number\rail@tmpb}}
462 }
463
464 \def\rail@sety#1{
465 \rail@y=#1
466 \multiply\rail@y by -\rail@boxsp
467 \advance\rail@y by -\rail@boxht
468 }
469
470 % \rail@begin{HEIGHT}{NAME} : begin a railroad diagram of height HEIGHT
471 %
472 % \rail@end : end a railroad diagram
473 %
474 % \rail@expand{IDENT} : expand IDENT
475
476 \def\rail@begin#1#2{
477 \item
478 \begin{minipage}[t]{\linewidth}
479 \ifx\@empty#2\else
480 {\rail@namefont \rail@expand{#2}}\\*[\railnamesep]
481 \fi
482 \unitlength=\railunit
483 \rail@tmpa=#1
484 \multiply\rail@tmpa by \rail@boxsp
485 \begin{picture}(0,\number\rail@tmpa)(0,-\number\rail@tmpa)
486 \rail@ex=0
487 \rail@rx=0
488 \rail@x=\rail@extra
489 \rail@sx=\rail@x
490 \rail@sety{0}
491 }
492
493 \def\rail@end{
494 \advance\rail@x by \rail@extra
495 \rail@eline
496 \end{picture}
497 \end{minipage}
498 }
499
500 \def\rail@vend{
501 \advance\rail@x by \rail@extra
502 \rail@vreline
503 \end{picture}
504 \end{minipage}
505 }
506
507 \def\rail@expand#1{\@ifundefined{rail@t@#1}{#1}{\csname rail@t@#1\endcsname}}
508
509 % \rail@token{TEXT}[ANNOT] : format token TEXT with annotation
510 % \rail@ltoken{TEXT}[ANNOT] : format token TEXT with annotation, arrow left
511 % \rail@rtoken{TEXT}[ANNOT] : format token TEXT with annotation, arrow right
512 %
513 % \rail@ctoken{TEXT}[ANNOT] : format token TEXT centered with annotation
514 % \rail@lctoken{TEXT}[ANNOT] : format token TEXT centered with annotation, arrow left
515 % \rail@rctoken{TEXT}[ANNOT] : format token TEXT centered with annotation, arrow right
516 %
517 % \rail@nont{TEXT}[ANNOT] : format nonterminal TEXT with annotation
518 % \rail@lnont{TEXT}[ANNOT] : format nonterminal TEXT with annotation, arrow left
519 % \rail@rnont{TEXT}[ANNOT] : format nonterminal TEXT with annotation. arrow right
520 %
521 % \rail@cnont{TEXT}[ANNOT] : format nonterminal TEXT centered with annotation
522 % \rail@lcnont{TEXT}[ANNOT] : format nonterminal TEXT centered with annotation,
523 % arrow left
524 % \rail@rcnont{TEXT}[ANNOT] : format nonterminal TEXT centered with annotation,
525 % arrow right
526 %
527 % \rail@term{TEXT}[ANNOT] : format terminal TEXT with annotation
528 % \rail@lterm{TEXT}[ANNOT] : format terminal TEXT with annotation, arrow left
529 % \rail@rterm{TEXT}[ANNOT] : format terminal TEXT with annotation, arrow right
530 %
531 % \rail@cterm{TEXT}[ANNOT] : format terminal TEXT centered with annotation
532 % \rail@lcterm{TEXT}[ANNOT] : format terminal TEXT centered with annotation, arrow left
533 % \rail@rcterm{TEXT}[ANNOT] : format terminal TEXT centered with annotation,
534 % arrow right
535 %
536 % \rail@annote[TEXT] : format TEXT as annotation
537
538 \def\rail@token#1[#2]{
539 \rail@setbox{%
540 {\rail@termfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
541 }
542 \rail@oval
543 }
544
545 \def\rail@ltoken#1[#2]{
546 \rail@setbox{%
547 {\rail@termfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
548 }
549 \rail@vloval
550 }
551
552 \def\rail@rtoken#1[#2]{
553 \rail@setbox{%
554 {\rail@termfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
555 }
556 \rail@vroval
557 }
558
559 \def\rail@ctoken#1[#2]{
560 \rail@setbox{%
561 {\rail@termfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
562 }
563 \rail@coval
564 }
565
566 \def\rail@lctoken#1[#2]{
567 \rail@setbox{%
568 {\rail@termfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
569 }
570 \rail@vlcoval
571 }
572
573 \def\rail@rctoken#1[#2]{
574 \rail@setbox{%
575 {\rail@termfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
576 }
577 \rail@vrcoval
578 }
579
580 \def\rail@nont#1[#2]{
581 \rail@setbox{%
582 {\rail@nontfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
583 }
584 \rail@frame
585 }
586
587 \def\rail@lnont#1[#2]{
588 \rail@setbox{%
589 {\rail@nontfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
590 }
591 \rail@vlframe
592 }
593
594 \def\rail@rnont#1[#2]{
595 \rail@setbox{%
596 {\rail@nontfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
597 }
598 \rail@vrframe
599 }
600
601 \def\rail@cnont#1[#2]{
602 \rail@setbox{%
603 {\rail@nontfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
604 }
605 \rail@cframe
606 }
607
608 \def\rail@lcnont#1[#2]{
609 \rail@setbox{%
610 {\rail@nontfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
611 }
612 \rail@vlcframe
613 }
614
615 \def\rail@rcnont#1[#2]{
616 \rail@setbox{%
617 {\rail@nontfont \rail@expand{#1}}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
618 }
619 \rail@vrcframe
620 }
621
622 \def\rail@term#1[#2]{
623 \rail@setbox{%
624 {\rail@termfont #1}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
625 }
626 \rail@oval
627 }
628
629 \def\rail@lterm#1[#2]{
630 \rail@setbox{%
631 {\rail@termfont #1}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
632 }
633 \rail@vloval
634 }
635
636 \def\rail@rterm#1[#2]{
637 \rail@setbox{%
638 {\rail@termfont #1}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
639 }
640 \rail@vroval
641 }
642
643 \def\rail@cterm#1[#2]{
644 \rail@setbox{%
645 {\rail@termfont #1}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
646 }
647 \rail@coval
648 }
649
650 \def\rail@lcterm#1[#2]{
651 \rail@setbox{%
652 {\rail@termfont #1}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
653 }
654 \rail@vlcoval
655 }
656
657 \def\rail@rcterm#1[#2]{
658 \rail@setbox{%
659 {\rail@termfont #1}\ifx\@empty#2\else\ {\rail@annofont #2}\fi
660 }
661 \rail@vrcoval
662 }
663
664 \def\rail@annote[#1]{
665 \rail@setbox{\rail@annofont #1}
666 \rail@text
667 }
668
669 % \rail@box : temporary box for \rail@oval and \rail@frame
670 %
671 % \rail@setbox{TEXT} : set \rail@box to TEXT, set \rail@tmpa to width
672 %
673 % \rail@oval : format \rail@box of width \rail@tmpa inside an oval
674 % \rail@vloval : format \rail@box of width \rail@tmpa inside an oval, vector left
675 % \rail@vroval : format \rail@box of width \rail@tmpa inside an oval, vector right
676 %
677 % \rail@coval : same as \rail@oval, but centered between \rail@x and
678 % \rail@mx
679 % \rail@vlcoval : same as \rail@oval, but centered between \rail@x and
680 % \rail@mx, vector left
681 % \rail@vrcoval : same as \rail@oval, but centered between \rail@x and
682 % \rail@mx, vector right
683 %
684 % \rail@frame : format \rail@box of width \rail@tmpa inside a frame
685 % \rail@vlframe : format \rail@box of width \rail@tmpa inside a frame, vector left
686 % \rail@vrframe : format \rail@box of width \rail@tmpa inside a frame, vector right
687 %
688 % \rail@cframe : same as \rail@frame, but centered between \rail@x and
689 % \rail@mx
690 % \rail@vlcframe : same as \rail@frame, but centered between \rail@x and
691 % \rail@mx, vector left
692 % \rail@vrcframe : same as \rail@frame, but centered between \rail@x and
693 % \rail@mx, vector right
694 %
695 % \rail@text : format \rail@box of width \rail@tmpa above the line
696
697 \newbox\rail@box
698
699 \def\rail@setbox#1{
700 \setbox\rail@box\hbox{\strut#1}
701 \rail@tmpa=\wd\rail@box
702 \divide\rail@tmpa by \railunit
703 }
704
705 \def\rail@oval{
706 \advance\rail@x by \rail@boxlf
707 \rail@eline
708 \advance\rail@tmpa by \rail@ovalsp
709 \ifnum\rail@tmpa<\rail@boxht\rail@tmpa=\rail@boxht\fi
710 \rail@tmpb=\rail@tmpa
711 \divide\rail@tmpb by 2
712 \advance\rail@y by -\rail@boxhht
713 \rail@put{\makebox(\number\rail@tmpa,\number\rail@boxht){\box\rail@box}}
714 \advance\rail@y by \rail@boxhht
715 \advance\rail@x by \rail@tmpb
716 \rail@put{\oval(\number\rail@tmpa,\number\rail@boxht)}
717 \advance\rail@x by \rail@tmpb
718 \rail@ex=\rail@x
719 \advance\rail@x by \rail@boxrt
720 }
721
722 \def\rail@vloval{
723 \advance\rail@x by \rail@boxlf
724 \rail@eline
725 \advance\rail@tmpa by \rail@ovalsp
726 \ifnum\rail@tmpa<\rail@boxht\rail@tmpa=\rail@boxht\fi
727 \rail@tmpb=\rail@tmpa
728 \divide\rail@tmpb by 2
729 \advance\rail@y by -\rail@boxhht
730 \rail@put{\makebox(\number\rail@tmpa,\number\rail@boxht){\box\rail@box}}
731 \advance\rail@y by \rail@boxhht
732 \advance\rail@x by \rail@tmpb
733 \rail@put{\oval(\number\rail@tmpa,\number\rail@boxht)}
734 \advance\rail@x by \rail@tmpb
735 \rail@ex=\rail@x
736 \advance\rail@x by \rail@boxrt
737 \rail@vleline
738 }
739
740 \def\rail@vroval{
741 \advance\rail@x by \rail@boxlf
742 \rail@vreline
743 \advance\rail@tmpa by \rail@ovalsp
744 \ifnum\rail@tmpa<\rail@boxht\rail@tmpa=\rail@boxht\fi
745 \rail@tmpb=\rail@tmpa
746 \divide\rail@tmpb by 2
747 \advance\rail@y by -\rail@boxhht
748 \rail@put{\makebox(\number\rail@tmpa,\number\rail@boxht){\box\rail@box}}
749 \advance\rail@y by \rail@boxhht
750 \advance\rail@x by \rail@tmpb
751 \rail@put{\oval(\number\rail@tmpa,\number\rail@boxht)}
752 \advance\rail@x by \rail@tmpb
753 \rail@ex=\rail@x
754 \advance\rail@x by \rail@boxrt
755 }
756
757 \def\rail@coval{
758 \rail@tmpb=\rail@tmpa
759 \advance\rail@tmpb by \rail@ovalsp
760 \ifnum\rail@tmpb<\rail@boxht\rail@tmpb=\rail@boxht\fi
761 \advance\rail@tmpb by \rail@boxlf
762 \advance\rail@tmpb by \rail@boxrt
763 \rail@tmpc=\rail@mx
764 \advance\rail@tmpc by -\rail@x
765 \advance\rail@tmpc by -\rail@tmpb
766 \divide\rail@tmpc by 2
767 \ifnum\rail@tmpc>0
768 \advance\rail@x by \rail@tmpc
769 \fi
770 \rail@oval
771 }
772
773 \def\rail@vlcoval{
774 \rail@tmpb=\rail@tmpa
775 \advance\rail@tmpb by \rail@ovalsp
776 \ifnum\rail@tmpb<\rail@boxht\rail@tmpb=\rail@boxht\fi
777 \advance\rail@tmpb by \rail@boxlf
778 \advance\rail@tmpb by \rail@boxrt
779 \rail@tmpc=\rail@mx
780 \advance\rail@tmpc by -\rail@x
781 \advance\rail@tmpc by -\rail@tmpb
782 \divide\rail@tmpc by 2
783 \ifnum\rail@tmpc>0
784 \advance\rail@x by \rail@tmpc
785 \fi
786 \rail@vloval
787 }
788
789 \def\rail@vrcoval{
790 \rail@tmpb=\rail@tmpa
791 \advance\rail@tmpb by \rail@ovalsp
792 \ifnum\rail@tmpb<\rail@boxht\rail@tmpb=\rail@boxht\fi
793 \advance\rail@tmpb by \rail@boxlf
794 \advance\rail@tmpb by \rail@boxrt
795 \rail@tmpc=\rail@mx
796 \advance\rail@tmpc by -\rail@x
797 \advance\rail@tmpc by -\rail@tmpb
798 \divide\rail@tmpc by 2
799 \ifnum\rail@tmpc>0
800 \advance\rail@x by \rail@tmpc
801 \fi
802 \rail@vroval
803 }
804
805 \def\rail@frame{
806 \advance\rail@x by \rail@boxlf
807 \rail@eline
808 \advance\rail@tmpa by \rail@framesp
809 \ifnum\rail@tmpa<\rail@boxht\rail@tmpa=\rail@boxht\fi
810 \advance\rail@y by -\rail@boxhht
811 \rail@put{\framebox(\number\rail@tmpa,\number\rail@boxht){\box\rail@box}}
812 \advance\rail@y by \rail@boxhht
813 \advance\rail@x by \rail@tmpa
814 \rail@ex=\rail@x
815 \advance\rail@x by \rail@boxrt
816 }
817
818 \def\rail@vlframe{
819 \advance\rail@x by \rail@boxlf
820 \rail@eline
821 \advance\rail@tmpa by \rail@framesp
822 \ifnum\rail@tmpa<\rail@boxht\rail@tmpa=\rail@boxht\fi
823 \advance\rail@y by -\rail@boxhht
824 \rail@put{\framebox(\number\rail@tmpa,\number\rail@boxht){\box\rail@box}}
825 \advance\rail@y by \rail@boxhht
826 \advance\rail@x by \rail@tmpa
827 \rail@ex=\rail@x
828 \advance\rail@x by \rail@boxrt
829 \rail@vleline
830 }
831
832 \def\rail@vrframe{
833 \advance\rail@x by \rail@boxlf
834 \rail@vreline
835 \advance\rail@tmpa by \rail@framesp
836 \ifnum\rail@tmpa<\rail@boxht\rail@tmpa=\rail@boxht\fi
837 \advance\rail@y by -\rail@boxhht
838 \rail@put{\framebox(\number\rail@tmpa,\number\rail@boxht){\box\rail@box}}
839 \advance\rail@y by \rail@boxhht
840 \advance\rail@x by \rail@tmpa
841 \rail@ex=\rail@x
842 \advance\rail@x by \rail@boxrt
843 }
844
845 \def\rail@cframe{
846 \rail@tmpb=\rail@tmpa
847 \advance\rail@tmpb by \rail@framesp
848 \ifnum\rail@tmpb<\rail@boxht\rail@tmpb=\rail@boxht\fi
849 \advance\rail@tmpb by \rail@boxlf
850 \advance\rail@tmpb by \rail@boxrt
851 \rail@tmpc=\rail@mx
852 \advance\rail@tmpc by -\rail@x
853 \advance\rail@tmpc by -\rail@tmpb
854 \divide\rail@tmpc by 2
855 \ifnum\rail@tmpc>0
856 \advance\rail@x by \rail@tmpc
857 \fi
858 \rail@frame
859 }
860
861 \def\rail@vlcframe{
862 \rail@tmpb=\rail@tmpa
863 \advance\rail@tmpb by \rail@framesp
864 \ifnum\rail@tmpb<\rail@boxht\rail@tmpb=\rail@boxht\fi
865 \advance\rail@tmpb by \rail@boxlf
866 \advance\rail@tmpb by \rail@boxrt
867 \rail@tmpc=\rail@mx
868 \advance\rail@tmpc by -\rail@x
869 \advance\rail@tmpc by -\rail@tmpb
870 \divide\rail@tmpc by 2
871 \ifnum\rail@tmpc>0
872 \advance\rail@x by \rail@tmpc
873 \fi
874 \rail@vlframe
875 }
876
877 \def\rail@vrcframe{
878 \rail@tmpb=\rail@tmpa
879 \advance\rail@tmpb by \rail@framesp
880 \ifnum\rail@tmpb<\rail@boxht\rail@tmpb=\rail@boxht\fi
881 \advance\rail@tmpb by \rail@boxlf
882 \advance\rail@tmpb by \rail@boxrt
883 \rail@tmpc=\rail@mx
884 \advance\rail@tmpc by -\rail@x
885 \advance\rail@tmpc by -\rail@tmpb
886 \divide\rail@tmpc by 2
887 \ifnum\rail@tmpc>0
888 \advance\rail@x by \rail@tmpc
889 \fi
890 \rail@vrframe
891 }
892
893 \def\rail@text{
894 \advance\rail@x by \rail@textlf
895 \advance\rail@y by \rail@textup
896 \rail@put{\box\rail@box}
897 \advance\rail@y by -\rail@textup
898 \advance\rail@x by \rail@tmpa
899 \advance\rail@x by \rail@textrt
900 }
901
902 % alternatives
903 %
904 % \rail@jx \rail@jy : current join point
905 %
906 % \rail@gx \rail@gy \rail@gex \rail@grx : global versions of \rail@x etc,
907 % to pass values over group closings
908 %
909 % \rail@mx : maximum x so far
910 %
911 % \rail@sy : starting \rail@y for alternatives
912 %
913 % \rail@jput : put at (\rail@jx,\rail@jy)
914 %
915 % \rail@joval[PART] : put \oval[PART] with adjust
916
917 \newcount\rail@jx
918 \newcount\rail@jy
919
920 \newcount\rail@gx
921 \newcount\rail@gy
922 \newcount\rail@gex
923 \newcount\rail@grx
924
925 \newcount\rail@sy
926 \newcount\rail@mx
927
928 \def\rail@jput{
929 \put(\number\rail@jx,\number\rail@jy)
930 }
931
932 \def\rail@joval[#1]{
933 \advance\rail@jx by \rail@joinadj
934 \rail@jput{\oval(\number\rail@joinsz,\number\rail@joinsz)[#1]}
935 \advance\rail@jx by -\rail@joinadj
936 }
937
938 % \rail@barsplit : incoming split for '|'
939 %
940 % \rail@plussplit : incoming split for '+'
941 %
942
943 \def\rail@barsplit{
944 \advance\rail@jy by -\rail@joinhsz
945 \rail@joval[tr]
946 \advance\rail@jx by \rail@joinhsz
947 }
948
949 \def\rail@plussplit{
950 \advance\rail@jy by -\rail@joinhsz
951 \advance\rail@jx by \rail@joinsz
952 \rail@joval[tl]
953 \advance\rail@jx by -\rail@joinhsz
954 }
955
956 % \rail@alt{SPLIT} : start alternatives with incoming split SPLIT
957 %
958
959 \def\rail@alt#1{
960 \rail@sy=\rail@y
961 \rail@jx=\rail@x
962 \rail@jy=\rail@y
963 \advance\rail@x by \rail@joinsz
964 \rail@mx=0
965 \let\rail@list=\@empty
966 \let\rail@comma=\@empty
967 \let\rail@split=#1
968 \begingroup
969 \rail@sx=\rail@x
970 \rail@rx=0
971 }
972
973 % \rail@nextalt{FIX}{Y} : start next alternative at vertical position Y
974 % and fix-up FIX
975 %
976
977 \def\rail@nextalt#1#2{
978 \global\rail@gx=\rail@x
979 \global\rail@gy=\rail@y
980 \global\rail@gex=\rail@ex
981 \global\rail@grx=\rail@rx
982 \endgroup
983 #1
984 \ifnum\rail@gx>\rail@mx\rail@mx=\rail@gx\fi
985 \ifnum\rail@grx>\rail@mx\rail@mx=\rail@grx\fi
986 \edef\rail@list{\rail@list\rail@comma\number\rail@gex:\number\rail@gy}
987 \def\rail@comma{,}
988 \rail@split
989 \let\rail@split=\@empty
990 \rail@sety{#2}
991 \rail@tmpa=\rail@jy
992 \advance\rail@tmpa by -\rail@y
993 \advance\rail@tmpa by -\rail@joinhsz
994 \rail@jput{\line(0,-1){\number\rail@tmpa}}
995 \rail@jy=\rail@y
996 \advance\rail@jy by \rail@joinhsz
997 \advance\rail@jx by \rail@joinhsz
998 \rail@joval[bl]
999 \advance\rail@jx by -\rail@joinhsz
1000 \rail@ex=\rail@x
1001 \begingroup
1002 \rail@sx=\rail@x
1003 \rail@rx=0
1004 }
1005
1006 % \rail@barjoin : outgoing join for first '|' alternative
1007 %
1008 % \rail@plusjoin : outgoing join for first '+' alternative
1009 %
1010 % \rail@altjoin : join for subsequent alternative
1011 %
1012
1013 \def\rail@barjoin{
1014 \ifnum\rail@y<\rail@sy
1015 \global\rail@gex=\rail@jx
1016 \else
1017 \global\rail@gex=\rail@ex
1018 \fi
1019 \advance\rail@jy by -\rail@joinhsz
1020 \rail@joval[tl]
1021 \advance\rail@jx by -\rail@joinhsz
1022 \ifnum\rail@y<\rail@sy
1023 \rail@altjoin
1024 \fi
1025 }
1026
1027 \def\rail@plusjoin{
1028 \global\rail@gex=\rail@ex
1029 \advance\rail@jy by -\rail@joinhsz
1030 \advance\rail@jx by -\rail@joinsz
1031 \rail@joval[tr]
1032 \advance\rail@jx by \rail@joinhsz
1033 }
1034
1035 \def\rail@altjoin{
1036 \rail@eline
1037 \rail@tmpa=\rail@jy
1038 \advance\rail@tmpa by -\rail@y
1039 \advance\rail@tmpa by -\rail@joinhsz
1040 \rail@jput{\line(0,-1){\number\rail@tmpa}}
1041 \rail@jy=\rail@y
1042 \advance\rail@jy by \rail@joinhsz
1043 \advance\rail@jx by -\rail@joinhsz
1044 \rail@joval[br]
1045 \advance\rail@jx by \rail@joinhsz
1046 }
1047
1048 % \rail@eltsplit EX:Y; : split EX:Y into \rail@ex \rail@y
1049 %
1050 % \rail@endalt{JOIN} : end alternatives with outgoing join JOIN
1051
1052 \def\rail@eltsplit#1:#2;{\rail@ex=#1\rail@y=#2}
1053
1054 \def\rail@endalt#1{
1055 \global\rail@gx=\rail@x
1056 \global\rail@gy=\rail@y
1057 \global\rail@gex=\rail@ex
1058 \global\rail@grx=\rail@rx
1059 \endgroup
1060 \ifnum\rail@gx>\rail@mx\rail@mx=\rail@gx\fi
1061 \ifnum\rail@grx>\rail@mx\rail@mx=\rail@grx\fi
1062 \edef\rail@list{\rail@list\rail@comma\number\rail@gex:\number\rail@gy}
1063 \rail@x=\rail@mx
1064 \rail@jx=\rail@x
1065 \rail@jy=\rail@sy
1066 \advance\rail@jx by \rail@joinsz
1067 \let\rail@join=#1
1068 \@for\rail@elt:=\rail@list\do{
1069 \expandafter\rail@eltsplit\rail@elt;
1070 \rail@join
1071 \let\rail@join=\rail@altjoin
1072 }
1073 \rail@x=\rail@mx
1074 \rail@y=\rail@sy
1075 \rail@ex=\rail@gex
1076 \advance\rail@x by \rail@joinsz
1077 }
1078
1079 % \rail@bar : start '|' alternatives
1080 %
1081 % \rail@nextbar : next '|' alternative
1082 %
1083 % \rail@endbar : end '|' alternatives
1084 %
1085
1086 \def\rail@bar{
1087 \rail@alt\rail@barsplit
1088 }
1089
1090 \def\rail@nextbar{
1091 \rail@nextalt\relax
1092 }
1093
1094 \def\rail@endbar{
1095 \rail@endalt\rail@barjoin
1096 }
1097
1098 % \rail@plus : start '+' alternatives
1099 %
1100 % \rail@nextplus: next '+' alternative
1101 %
1102 % \rail@endplus : end '+' alternatives
1103 %
1104
1105 \def\rail@plus{
1106 \rail@alt\rail@plussplit
1107 }
1108
1109 \def\rail@nextplus{
1110 \rail@nextalt\rail@fixplus
1111 }
1112
1113 \def\rail@fixplus{
1114 \ifnum\rail@gy<\rail@sy
1115 \begingroup
1116 \rail@x=\rail@gx
1117 \rail@y=\rail@gy
1118 \rail@ex=\rail@gex
1119 \rail@rx=\rail@grx
1120 \ifnum\rail@x<\rail@rx
1121 \rail@x=\rail@rx
1122 \fi
1123 \rail@eline
1124 \rail@jx=\rail@x
1125 \rail@jy=\rail@y
1126 \advance\rail@jy by \rail@joinhsz
1127 \rail@joval[br]
1128 \advance\rail@jx by \rail@joinhsz
1129 \rail@tmpa=\rail@sy
1130 \advance\rail@tmpa by -\rail@joinhsz
1131 \advance\rail@tmpa by -\rail@jy
1132 \rail@jput{\line(0,1){\number\rail@tmpa}}
1133 \rail@jy=\rail@sy
1134 \advance\rail@jy by -\rail@joinhsz
1135 \advance\rail@jx by \rail@joinhsz
1136 \rail@joval[tl]
1137 \advance\rail@jy by \rail@joinhsz
1138 \global\rail@gx=\rail@jx
1139 \global\rail@gy=\rail@jy
1140 \global\rail@gex=\rail@gx
1141 \global\rail@grx=\rail@rx
1142 \endgroup
1143 \fi
1144 }
1145
1146 \def\rail@endplus{
1147 \rail@endalt\rail@plusjoin
1148 }
1149
1150 % \rail@cr{Y} : carriage return to vertical position Y
1151
1152 \def\rail@cr#1{
1153 \rail@tmpa=\rail@sx
1154 \advance\rail@tmpa by \rail@joinsz
1155 \ifnum\rail@x<\rail@tmpa\rail@x=\rail@tmpa\fi
1156 \rail@eline
1157 \rail@jx=\rail@x
1158 \rail@jy=\rail@y
1159 \advance\rail@x by \rail@joinsz
1160 \ifnum\rail@x>\rail@rx\rail@rx=\rail@x\fi
1161 \advance\rail@jy by -\rail@joinhsz
1162 \rail@joval[tr]
1163 \advance\rail@jx by \rail@joinhsz
1164 \rail@sety{#1}
1165 \rail@tmpa=\rail@jy
1166 \advance\rail@tmpa by -\rail@y
1167 \advance\rail@tmpa by -\rail@boxsp
1168 \advance\rail@tmpa by -\rail@joinhsz
1169 \rail@jput{\line(0,-1){\number\rail@tmpa}}
1170 \rail@jy=\rail@y
1171 \advance\rail@jy by \rail@boxsp
1172 \advance\rail@jy by \rail@joinhsz
1173 \advance\rail@jx by -\rail@joinhsz
1174 \rail@joval[br]
1175 \advance\rail@jy by -\rail@joinhsz
1176 \rail@tmpa=\rail@jx
1177 \advance\rail@tmpa by -\rail@sx
1178 \advance\rail@tmpa by -\rail@joinhsz
1179 \rail@jput{\line(-1,0){\number\rail@tmpa}}
1180 \rail@jx=\rail@sx
1181 \advance\rail@jx by \rail@joinhsz
1182 \advance\rail@jy by -\rail@joinhsz
1183 \rail@joval[tl]
1184 \advance\rail@jx by -\rail@joinhsz
1185 \rail@tmpa=\rail@boxsp
1186 \advance\rail@tmpa by -\rail@joinsz
1187 \rail@jput{\line(0,-1){\number\rail@tmpa}}
1188 \advance\rail@jy by -\rail@tmpa
1189 \advance\rail@jx by \rail@joinhsz
1190 \rail@joval[bl]
1191 \rail@x=\rail@jx
1192 \rail@ex=\rail@x
1193 }