wneuper/isa: doc-src/rail.sty@13ba951a4572

     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 %

     8 % This style file needs to be used in conjunction with the 'rail'

     9 % program. Running LaTeX as 'latex file' produces file.rai, which should be

    10 % processed by Rail with 'rail file'. This produces file.rao, which will

    11 % be picked up by LaTeX on the next 'latex file' run.

    12 %

    13 % LaTeX will warn if there is no file.rao or it's out of date.

    14 %

    15 % The macros in this file thus consist of two parts: those that read and

    16 % write the .rai and .rao files, and those that do the actual formatting

    17 % of the railroad diagrams.

    19 % railroad read/write macros

    20 %

    21 % \begin{rail} TEXT \end{rail} : TEXT is written out to the .rai file,

    22 %                                as \rail@i{NR}{TEXT}. Then the matching

    23 %                                \rail@o{NR}{FMT} from the .rao file is

    24 %                                executed (if defined).

    25 %

    26 % \railoptions{OPTIONS} : OPTIONS are written out to the .rai file,

    27 %                         as \rail@p{OPTIONS}.

    28 %

    29 % \railterm{IDENT,IDENT,...} : format IDENT as terminals. writes out

    30 %                              \rail@t{IDENT} to the .rai file and

    31 %                              defines \rail@t@IDENT as \rail@termfont IDENT.

    32 %

    33 % \railtoken{IDENT}{TEXT} : format IDENT as terminal TEXT. writes out

    34 %                           \rail@t{IDENT} to the .rai file and defines

    35 %                           \rail@t@IDENT as TEXT.

    36 %

    37 % \rail@nr : railroad diagram counter, starts at 1

    38 %

    39 % \ifrail@match : current \rail@i{NR}{TEXT} matches

    40 %

    41 % \rail@first :	actions to be done first. read in .rao file,

    42 %               open .rai file if \@filesw true, undefine \rail@first.

    43 %               executed from \begin{rail} and \railtoken.

    44 %

    45 % \rail@i{NR}{TEXT} : defines \rail@i@NR as TEXT. written to the .rai

    46 %                     file by \rail, read from the .rao file by

    47 %                     \rail@first

    48 %

    49 % \rail@t{IDENT} : tells Rail that IDENT is to be custom formatted,

    50 %                  written to the .rai file by \railterm and \railtoken.

    51 %

    52 % \rail@o{NR}{TEXT} : defines \rail@o@NR as TEXT, read from the .rao

    53 %                     file by \rail@first.

    54 %

    55 % \rail@p{OPTIONS} : pass options to rail, written to the .rai file by

    56 %                    \railoptions

    57 %

    58 % \rail@warn : warn user for mismatching diagrams

    59 %

    60 % \rail@endwarn : either \relax or \rail@warn

    61 %

    62 % \rail@enddocument : original \enddocument

    63 %

    64 % \enddocument : checks \ifrail@all

    66 \newcount\rail@nr

    67 \rail@nr=1

    69 \newif\ifrail@all

    70 \rail@alltrue

    72 \newif\ifrail@match

    74 \def\rail@first{

    75 \makeatletter

    76 \@input{\jobname.rao}

    77 \makeatother

    78 \if@filesw

    79 \newwrite\tf@rai

    80 \immediate\openout\tf@rai\jobname.rai\relax

    81 \fi

    82 \global\let\rail@first=\relax

    83 }

    85 \long\def\rail#1\end#2{

    86 \end{#2}

    87 \rail@first

    88 \begingroup

    89 \let\\=\relax

    90 \global\edef\rail@i@{#1}

    91 \endgroup

    92 \@ifundefined{tf@rai}{}{

    93 \begingroup

    94 \let\\=\relax

    95 \immediate\write\tf@rai{\noexpand\rail@i{\number\rail@nr}{\rail@i@}}

    96 \endgroup

    97 }

    98 \rail@matchtrue

    99 \@ifundefined{rail@o@\number\rail@nr}{\rail@matchfalse}{}

   100 \expandafter\ifx\csname rail@i@\number\rail@nr\endcsname\rail@i@

   101 \else

   102 \rail@matchfalse

   103 \fi

   104 \ifrail@match

   105 \expandafter\relax\csname rail@o@\number\rail@nr\endcsname

   106 \else

   107 \@warning{Railroad diagram {\number\rail@nr} doesn't match}

   108 \global\let\rail@endwarn=\rail@warn

   109 \rail@begin{1}{}

   110 \rail@setbox{\bf ???}

   111 \rail@oval

   112 \rail@end

   113 \fi

   114 \global\advance\rail@nr by 1

   115 }

   117 \def\railoptions#1{

   118 \rail@first

   119 \@writefile{rai}{\noexpand\rail@p{#1}}

   120 }

   122 \def\railterm#1{

   123 \rail@first

   124 \@for\rail@i@:=#1\do{

   125 \@writefile{rai}{\noexpand\rail@t{\rail@i@}}

   126 }

   127 }

   129 \def\railtoken#1#2{

   130 \rail@first

   131 \@writefile{rai}{\noexpand\rail@t{#1}}

   132 \expandafter\def\csname rail@t@#1\endcsname{#2}

   133 }

   135 \long\def\rail@i#1#2{

   136 \expandafter\gdef\csname rail@i@#1\endcsname{#2}

   137 }

   139 \def\rail@o#1#2{

   140 \expandafter\gdef\csname rail@o@#1\endcsname{#2}

   141 }

   143 \def\rail@t#1{}

   145 \def\rail@p#1{}

   147 \def\rail@warn{

   148 \@warning{Railroad diagram(s) may have changed. Use 'rail' and rerun}

   149 }

   151 \let\rail@endwarn=\relax

   153 \let\rail@enddocument=\enddocument

   155 \def\enddocument{

   156 \rail@endwarn

   157 \rail@enddocument

   158 }

   160 % index entry macro

   161 %

   162 % \rail@index{IDENT} : add index entry for IDENT

   164 \def\rail@index#1{

   165 \index{\rail@indexfont#1}

   166 }

   168 % railroad diagram formatting parameters (user level)

   169 % all of these are copied into their internal versions by \railinit

   170 %

   171 % \railunit : \unitlength within railroad diagrams

   172 % \railextra : extra length at outside of diagram

   173 % \railboxheight : height of ovals and frames

   174 % \railboxskip : vertical space between lines

   175 % \railboxleft : space to the left of a box

   176 % \railboxright : space to the right of a box

   177 % \railovalspace : extra space around contents of oval

   178 % \railframespace : extra space around contents of frame

   179 % \railtextleft : space to the left of text

   180 % \railtextright : space to the right of text

   181 % \railtextup : space to lift text up

   182 % \railjoinsize : circle size of join/split arcs

   183 % \railjoinadjust : space to adjust join

   184 %

   185 % \railnamesep : separator between name and rule body

   187 \newdimen\railunit

   188 \newdimen\railextra

   189 \newdimen\railboxheight

   190 \newdimen\railboxskip

   191 \newdimen\railboxleft

   192 \newdimen\railboxright

   193 \newdimen\railovalspace

   194 \newdimen\railframespace

   195 \newdimen\railtextleft

   196 \newdimen\railtextright

   197 \newdimen\railtextup

   198 \newdimen\railjoinsize

   199 \newdimen\railjoinadjust

   200 \newdimen\railnamesep

   202 % internal versions of the formatting parameters

   203 %

   204 % \rail@extra   : \railextra

   205 % \rail@boxht   : \railboxheight

   206 % \rail@boxsp   : \railboxskip

   207 % \rail@boxlf   : \railboxleft

   208 % \rail@boxrt   : \railboxright

   209 % \rail@boxhht  : \railboxheight / 2

   210 % \rail@ovalsp  : \railovalspace

   211 % \rail@framesp : \railframespace

   212 % \rail@textlf	: \railtextleft

   213 % \rail@textrt	: \railtextright

   214 % \rail@textup	: \railtextup

   215 % \rail@joinsz  : \railjoinsize

   216 % \rail@joinhsz : \railjoinsize / 2

   217 % \rail@joinadj : \railjoinadjust

   218 %

   219 % \railinit : internalize all of the parameters.

   221 \newcount\rail@extra

   222 \newcount\rail@boxht

   223 \newcount\rail@boxsp

   224 \newcount\rail@boxlf

   225 \newcount\rail@boxrt

   226 \newcount\rail@boxhht

   227 \newcount\rail@ovalsp

   228 \newcount\rail@framesp

   229 \newcount\rail@textlf

   230 \newcount\rail@textrt

   231 \newcount\rail@textup

   232 \newcount\rail@joinsz

   233 \newcount\rail@joinhsz

   234 \newcount\rail@joinadj

   236 \def\railinit{

   237 \rail@extra=\railextra

   238 \divide\rail@extra by \railunit

   239 \rail@boxht=\railboxheight

   240 \divide\rail@boxht by \railunit

   241 \rail@boxsp=\railboxskip

   242 \divide\rail@boxsp by \railunit

   243 \rail@boxlf=\railboxleft

   244 \divide\rail@boxlf by \railunit

   245 \rail@boxrt=\railboxright

   246 \divide\rail@boxrt by \railunit

   247 \rail@boxhht=\railboxheight

   248 \divide\rail@boxhht by \railunit

   249 \divide\rail@boxhht by 2

   250 \rail@ovalsp=\railovalspace

   251 \divide\rail@ovalsp by \railunit

   252 \rail@framesp=\railframespace

   253 \divide\rail@framesp by \railunit

   254 \rail@textlf=\railtextleft

   255 \divide\rail@textlf by \railunit

   256 \rail@textrt=\railtextright

   257 \divide\rail@textrt by \railunit

   258 \rail@textup=\railtextup

   259 \divide\rail@textup by \railunit

   260 \rail@joinsz=\railjoinsize

   261 \divide\rail@joinsz by \railunit

   262 \rail@joinhsz=\railjoinsize

   263 \divide\rail@joinhsz by \railunit

   264 \divide\rail@joinhsz by 2

   265 \rail@joinadj=\railjoinadjust

   266 \divide\rail@joinadj by \railunit

   267 }

   269 % initialize the parameters

   271 \railunit=1sp

   272 \railextra=4ex

   273 \railboxleft=1ex

   274 \railboxright=1ex

   275 \railovalspace=2ex

   276 \railframespace=2ex

   277 \railtextleft=1ex

   278 \railtextright=1ex

   279 \railjoinadjust=0pt

   280 \railnamesep=1ex

   282 \ifcase\@ptsize

   283 % 10 pt

   284 \railboxheight=16pt

   285 \railboxskip=24pt

   286 \railtextup=5pt

   287 \railjoinsize=16pt

   288 \or

   289 % 11 pt

   290 \railboxheight=16pt

   291 \railboxskip=24pt

   292 \railtextup=5pt

   293 \railjoinsize=16pt

   294 \or

   295 % 12 pt

   296 \railboxheight=20pt

   297 \railboxskip=28pt

   298 \railtextup=6pt

   299 \railjoinsize=20pt

   300 \fi

   302 \railinit

   304 % railroad formatting primitives

   305 %

   306 % \rail@x : current x

   307 % \rail@y : current y

   308 % \rail@ex : current end x

   309 % \rail@sx : starting x for \rail@cr

   310 % \rail@rx : rightmost previous x for \rail@cr

   311 %

   312 % \rail@tmpa : temporary count

   313 % \rail@tmpb : temporary count

   314 % \rail@tmpc : temporary count

   315 %

   316 % \rail@put : put at (\rail@x,\rail@y)

   317 %

   318 % \rail@eline : end line by drawing from \rail@ex to \rail@x

   319 %

   320 % \rail@sety{LEVEL} : set \rail@y to level LEVEL

   322 \newcount\rail@x

   323 \newcount\rail@y

   324 \newcount\rail@ex

   325 \newcount\rail@sx

   326 \newcount\rail@rx

   328 \newcount\rail@tmpa

   329 \newcount\rail@tmpb

   330 \newcount\rail@tmpc

   332 \def\rail@put{\put(\number\rail@x,\number\rail@y)}

   334 \def\rail@eline{

   335 \rail@tmpb=\rail@x

   336 \advance\rail@tmpb by -\rail@ex

   337 \rail@put{\line(-1,0){\number\rail@tmpb}}

   338 }

   340 \def\rail@sety#1{

   341 \rail@y=#1

   342 \multiply\rail@y by -\rail@boxsp

   343 \advance\rail@y by -\rail@boxht

   344 }

   346 % \rail@list : declarations for list environment

   347 %

   348 % \railparam{TEXT} : sets \rail@list to TEXT

   349 %

   350 % \rail@begin{HEIGHT}{NAME} : begin a railroad diagram of height HEIGHT

   351 %

   352 % \rail@end : end a railroad diagram

   354 \def\rail@list{}

   356 \def\railparam#1{

   357 \def\rail@list{#1}

   358 }

   360 \newbox\tempbox

   362 \def\rail@begin#1#2{

   363 \medskip

   364 \begin{list}{}{\rail@list}

   365 \item[]

   366 \vbox\bgroup

   367 \ifx\@empty#2\else

   368 {\rail@namefont #2}

   369 \\*[\railnamesep]\nopagebreak

   370 \fi

   371 \unitlength=\railunit

   372 \rail@tmpa=#1

   373 \multiply\rail@tmpa by \rail@boxsp

   374 \begin{picture}(0,\number\rail@tmpa)(0,-\number\rail@tmpa)

   375 \rail@ex=0

   376 \rail@rx=0

   377 \rail@x=\rail@extra

   378 \rail@sx=\rail@x

   379 \rail@sety{0}

   380 }

   382 \def\rail@end{

   383 \advance\rail@x by \rail@extra

   384 \rail@eline

   385 \end{picture}

   386 \egroup

   387 \end{list}

   388 }

   390 % \rail@tokenfont : format setup for \railtoken identifiers

   391 %

   392 % \rail@termfont : format setup for terminals

   393 %

   394 % \rail@nontfont : format setup for nonterminals

   395 %

   396 % \rail@annofont : format setup for annotations

   397 %

   398 % \rail@rulefont : format setup for rule names

   399 %

   400 % \rail@indexfont : format setup for index entry

   401 %

   402 % \railtokenfont{TEXT} : set \railtoken format setup to TEXT

   403 %

   404 % \railtermfont{TEXT} : set terminal format setup to TEXT

   405 %

   406 % \railnontermfont{TEXT} : set nonterminal format setup to TEXT

   407 %

   408 % \railannotatefont{TEXT} : set annotation format setup to TEXT

   409 %

   410 % \railnamefont{TEXT} : set rule name format setup to TEXT

   411 %

   412 % \railindexfont{TEXT} : set index entry format setup to TEXT

   414 \let\rail@tokenfont=\tt

   415 \let\rail@termfont=\tt

   416 \let\rail@nontfont=\rm

   417 \let\rail@annofont=\it

   418 \let\rail@namefont=\it

   419 \let\rail@indexfont=\it

   421 \def\railtokenfont#1{

   422 \def\rail@tokenfont{#1}

   423 }

   425 \def\railtermfont#1{

   426 \def\rail@termfont{#1}

   427 }

   429 \def\railnontermfont#1{

   430 \def\rail@nontfont{#1}

   431 }

   433 \def\railannotatefont#1{

   434 \def\rail@annofont{#1}

   435 }

   437 \def\railnamefont#1{

   438 \def\rail@namefont{#1}

   439 }

   441 \def\railindexfont#1{

   442 \def\rail@indexfont{#1}

   443 }

   445 % \rail@token{TEXT} : format token TEXT

   446 %

   447 % \rail@ctoken{TEXT} : format token TEXT centered

   448 %

   449 % \rail@nont{TEXT} : format nonterminal TEXT

   450 %

   451 % \rail@cnont{TEXT} : format nonterminal TEXT centered

   452 %

   453 % \rail@cterm{TEXT} : format terminal TEXT

   454 %

   455 % \rail@cterm{TEXT} : format terminal TEXT centered

   456 %

   457 % \rail@annote[TEXT] : format TEXT as annotation

   458 %

   459 % \rail@annotebox[TEXT] : annotate box with TEXT

   461 \def\rail@token#1{

   462 \expandafter\@ifundefined{rail@t@#1}{

   463 \rail@setbox{\rail@termfont #1}

   464 }{

   465 \rail@setbox{\rail@tokenfont \csname rail@t@#1\endcsname}

   466 }

   467 \rail@oval

   468 }

   470 \def\rail@ctoken#1{

   471 \rail@setbox{\rail@tokenfont \csname rail@t@#1\endcsname}

   472 \rail@coval

   473 }

   475 \def\rail@nont#1{

   476 \rail@setbox{\rail@nontfont #1}

   477 \rail@frame

   478 }

   480 \def\rail@cnont#1{

   481 \rail@setbox{\rail@nontfont #1}

   482 \rail@cframe

   483 }

   485 \def\rail@term#1{

   486 \rail@setbox{\rail@termfont #1}

   487 \rail@oval

   488 }

   490 \def\rail@cterm#1{

   491 \rail@setbox{\rail@termfont #1}

   492 \rail@coval

   493 }

   495 \def\rail@annote[#1]{

   496 \rail@setbox{\rail@annofont #1}

   497 \rail@text

   498 }

   500 \def\rail@annotebox[#1]{

   501 \ \rail@annofont #1

   502 }

   504 % \rail@box : temporary box for \rail@oval and \rail@frame

   505 %

   506 % \rail@setbox{TEXT} : set \rail@box to TEXT, set \rail@tmpa to width

   507 %

   508 % \rail@oval : format \rail@box of width \rail@tmpa inside an oval

   509 %

   510 % \rail@coval : same as \rail@oval, but centered between \rail@x and

   511 %               \rail@mx

   512 %

   513 % \rail@frame : format \rail@box of width \rail@tmpa inside a frame

   514 %

   515 % \rail@cframe : same as \rail@frame, but centered between \rail@x and

   516 %                \rail@mx

   517 %

   518 % \rail@text : format \rail@box of width \rail@tmpa above the line

   520 \newbox\rail@box

   522 \def\rail@setbox#1{

   523 \setbox\rail@box\hbox{\strut#1}

   524 \rail@tmpa=\wd\rail@box

   525 \divide\rail@tmpa by \railunit

   526 }

   528 \def\rail@oval{

   529 \advance\rail@x by \rail@boxlf

   530 \rail@eline

   531 \advance\rail@tmpa by \rail@ovalsp

   532 \ifnum\rail@tmpa<\rail@boxht\rail@tmpa=\rail@boxht\fi

   533 \rail@tmpb=\rail@tmpa

   534 \divide\rail@tmpb by 2

   535 \advance\rail@y by -\rail@boxhht

   536 \rail@put{\makebox(\number\rail@tmpa,\number\rail@boxht){\box\rail@box}}

   537 \advance\rail@y by \rail@boxhht

   538 \advance\rail@x by \rail@tmpb

   539 \rail@put{\oval(\number\rail@tmpa,\number\rail@boxht)}

   540 \advance\rail@x by \rail@tmpb

   541 \rail@ex=\rail@x

   542 \advance\rail@x by \rail@boxrt

   543 }

   545 \def\rail@coval{

   546 \rail@tmpb=\rail@tmpa

   547 \advance\rail@tmpb by \rail@ovalsp

   548 \ifnum\rail@tmpb<\rail@boxht\rail@tmpb=\rail@boxht\fi

   549 \advance\rail@tmpb by \rail@boxlf

   550 \advance\rail@tmpb by \rail@boxrt

   551 \rail@tmpc=\rail@mx

   552 \advance\rail@tmpc by -\rail@x

   553 \advance\rail@tmpc by -\rail@tmpb

   554 \divide\rail@tmpc by 2

   555 \ifnum\rail@tmpc>0

   556 \advance\rail@x by \rail@tmpc

   557 \fi

   558 \rail@oval

   559 }

   561 \def\rail@frame{

   562 \advance\rail@x by \rail@boxlf

   563 \rail@eline

   564 \advance\rail@tmpa by \rail@framesp

   565 \ifnum\rail@tmpa<\rail@boxht\rail@tmpa=\rail@boxht\fi

   566 \advance\rail@y by -\rail@boxhht

   567 \rail@put{\framebox(\number\rail@tmpa,\number\rail@boxht){\box\rail@box}}

   568 \advance\rail@y by \rail@boxhht

   569 \advance\rail@x by \rail@tmpa

   570 \rail@ex=\rail@x

   571 \advance\rail@x by \rail@boxrt

   572 }

   574 \def\rail@cframe{

   575 \rail@tmpb=\rail@tmpa

   576 \advance\rail@tmpb by \rail@framesp

   577 \ifnum\rail@tmpb<\rail@boxht\rail@tmpb=\rail@boxht\fi

   578 \advance\rail@tmpb by \rail@boxlf

   579 \advance\rail@tmpb by \rail@boxrt

   580 \rail@tmpc=\rail@mx

   581 \advance\rail@tmpc by -\rail@x

   582 \advance\rail@tmpc by -\rail@tmpb

   583 \divide\rail@tmpc by 2

   584 \ifnum\rail@tmpc>0

   585 \advance\rail@x by \rail@tmpc

   586 \fi

   587 \rail@frame

   588 }

   590 \def\rail@text{

   591 \advance\rail@x by \rail@textlf

   592 \advance\rail@y by \rail@textup

   593 \rail@put{\box\rail@box}

   594 \advance\rail@y by -\rail@textup

   595 \advance\rail@x by \rail@tmpa

   596 \advance\rail@x by \rail@textrt

   597 }

   599 % alternatives

   600 %

   601 % \rail@jx \rail@jy : current join point

   602 %

   603 % \rail@gx \rail@gy \rail@gex \rail@grx : global versions of \rail@x etc,

   604 %                                         to pass values over group closings

   605 %

   606 % \rail@mx : maximum x so far

   607 %

   608 % \rail@sy : starting \rail@y for alternatives

   609 %

   610 % \rail@jput : put at (\rail@jx,\rail@jy)

   611 %

   612 % \rail@joval[PART] : put \oval[PART] with adjust

   614 \newcount\rail@jx

   615 \newcount\rail@jy

   617 \newcount\rail@gx

   618 \newcount\rail@gy

   619 \newcount\rail@gex

   620 \newcount\rail@grx

   622 \newcount\rail@sy

   623 \newcount\rail@mx

   625 \def\rail@jput{

   626 \put(\number\rail@jx,\number\rail@jy)

   627 }

   629 \def\rail@joval[#1]{

   630 \advance\rail@jx by \rail@joinadj

   631 \rail@jput{\oval(\number\rail@joinsz,\number\rail@joinsz)[#1]}

   632 \advance\rail@jx by -\rail@joinadj

   633 }

   635 % \rail@barsplit : incoming split for '|'

   636 %

   637 % \rail@plussplit : incoming split for '+'

   638 %

   640 \def\rail@barsplit{

   641 \advance\rail@jy by -\rail@joinhsz

   642 \rail@joval[tr]

   643 \advance\rail@jx by \rail@joinhsz

   644 }

   646 \def\rail@plussplit{

   647 \advance\rail@jy by -\rail@joinhsz

   648 \advance\rail@jx by \rail@joinsz

   649 \rail@joval[tl]

   650 \advance\rail@jx by -\rail@joinhsz

   651 }

   653 % \rail@alt{SPLIT} : start alternatives with incoming split SPLIT

   654 %

   656 \def\rail@alt#1{

   657 \rail@sy=\rail@y

   658 \rail@jx=\rail@x

   659 \rail@jy=\rail@y

   660 \advance\rail@x by \rail@joinsz

   661 \rail@mx=0

   662 \let\rail@list=\@empty

   663 \let\rail@comma=\@empty

   664 \let\rail@split=#1

   665 \begingroup

   666 \rail@sx=\rail@x

   667 \rail@rx=0

   668 }

   670 % \rail@nextalt{FIX}{Y} : start next alternative at vertical position Y

   671 %                         and fix-up FIX

   672 %

   674 \def\rail@nextalt#1#2{

   675 \global\rail@gx=\rail@x

   676 \global\rail@gy=\rail@y

   677 \global\rail@gex=\rail@ex

   678 \global\rail@grx=\rail@rx

   679 \endgroup

   680 #1

   681 \ifnum\rail@gx>\rail@mx\rail@mx=\rail@gx\fi

   682 \ifnum\rail@grx>\rail@mx\rail@mx=\rail@grx\fi

   683 \edef\rail@list{\rail@list\rail@comma\number\rail@gex:\number\rail@gy}

   684 \def\rail@comma{,}

   685 \rail@split

   686 \let\rail@split=\@empty

   687 \rail@sety{#2}

   688 \rail@tmpa=\rail@jy

   689 \advance\rail@tmpa by -\rail@y

   690 \advance\rail@tmpa by -\rail@joinhsz

   691 \rail@jput{\line(0,-1){\number\rail@tmpa}}

   692 \rail@jy=\rail@y

   693 \advance\rail@jy by \rail@joinhsz

   694 \advance\rail@jx by \rail@joinhsz

   695 \rail@joval[bl]

   696 \advance\rail@jx by -\rail@joinhsz

   697 \rail@ex=\rail@x

   698 \begingroup

   699 \rail@sx=\rail@x

   700 \rail@rx=0

   701 }

   703 % \rail@barjoin : outgoing join for first '|' alternative

   704 %

   705 % \rail@plusjoin : outgoing join for first '+' alternative

   706 %

   707 % \rail@altjoin : join for subsequent alternative

   708 %

   710 \def\rail@barjoin{

   711 \ifnum\rail@y<\rail@sy

   712 \global\rail@gex=\rail@jx

   713 \else

   714 \global\rail@gex=\rail@ex

   715 \fi

   716 \advance\rail@jy by -\rail@joinhsz

   717 \rail@joval[tl]

   718 \advance\rail@jx by -\rail@joinhsz

   719 \ifnum\rail@y<\rail@sy

   720 \rail@altjoin

   721 \fi

   722 }

   724 \def\rail@plusjoin{

   725 \global\rail@gex=\rail@ex

   726 \advance\rail@jy by -\rail@joinhsz

   727 \advance\rail@jx by -\rail@joinsz

   728 \rail@joval[tr]

   729 \advance\rail@jx by \rail@joinhsz

   730 }

   732 \def\rail@altjoin{

   733 \rail@eline

   734 \rail@tmpa=\rail@jy

   735 \advance\rail@tmpa by -\rail@y

   736 \advance\rail@tmpa by -\rail@joinhsz

   737 \rail@jput{\line(0,-1){\number\rail@tmpa}}

   738 \rail@jy=\rail@y

   739 \advance\rail@jy by \rail@joinhsz

   740 \advance\rail@jx by -\rail@joinhsz

   741 \rail@joval[br]

   742 \advance\rail@jx by \rail@joinhsz

   743 }

   745 % \rail@eltsplit EX:Y; : split EX:Y into \rail@ex \rail@y

   746 %

   747 % \rail@endalt{JOIN} : end alternatives with outgoing join JOIN

   749 \def\rail@eltsplit#1:#2;{\rail@ex=#1\rail@y=#2}

   751 \def\rail@endalt#1{

   752 \global\rail@gx=\rail@x

   753 \global\rail@gy=\rail@y

   754 \global\rail@gex=\rail@ex

   755 \global\rail@grx=\rail@rx

   756 \endgroup

   757 \ifnum\rail@gx>\rail@mx\rail@mx=\rail@gx\fi

   758 \ifnum\rail@grx>\rail@mx\rail@mx=\rail@grx\fi

   759 \edef\rail@list{\rail@list\rail@comma\number\rail@gex:\number\rail@gy}

   760 \rail@x=\rail@mx

   761 \rail@jx=\rail@x

   762 \rail@jy=\rail@sy

   763 \advance\rail@jx by \rail@joinsz

   764 \let\rail@join=#1

   765 \@for\rail@elt:=\rail@list\do{

   766 \expandafter\rail@eltsplit\rail@elt;

   767 \rail@join

   768 \let\rail@join=\rail@altjoin

   769 }

   770 \rail@x=\rail@mx

   771 \rail@y=\rail@sy

   772 \rail@ex=\rail@gex

   773 \advance\rail@x by \rail@joinsz

   774 }

   776 % \rail@bar : start '|' alternatives

   777 %

   778 % \rail@nextbar : next '|' alternative

   779 %

   780 % \rail@endbar : end '|' alternatives

   781 %

   783 \def\rail@bar{

   784 \rail@alt\rail@barsplit

   785 }

   787 \def\rail@nextbar{

   788 \rail@nextalt\relax

   789 }

   791 \def\rail@endbar{

   792 \rail@endalt\rail@barjoin

   793 }

   795 % \rail@plus : start '+' alternatives

   796 %

   797 % \rail@nextplus: next '+' alternative

   798 %

   799 % \rail@endplus : end '+' alternatives

   800 %

   802 \def\rail@plus{

   803 \rail@alt\rail@plussplit

   804 }

   806 \def\rail@nextplus{

   807 \rail@nextalt\rail@fixplus

   808 }

   810 \def\rail@fixplus{

   811 \ifnum\rail@gy<\rail@sy

   812 \begingroup

   813 \rail@x=\rail@gx

   814 \rail@y=\rail@gy

   815 \rail@ex=\rail@gex

   816 \rail@rx=\rail@grx

   817 \ifnum\rail@x<\rail@rx

   818 \rail@x=\rail@rx

   819 \fi

   820 \rail@eline

   821 \rail@jx=\rail@x

   822 \rail@jy=\rail@y

   823 \advance\rail@jy by \rail@joinhsz

   824 \rail@joval[br]

   825 \advance\rail@jx by \rail@joinhsz

   826 \rail@tmpa=\rail@sy

   827 \advance\rail@tmpa by -\rail@joinhsz

   828 \advance\rail@tmpa by -\rail@jy

   829 \rail@jput{\line(0,1){\number\rail@tmpa}}

   830 \rail@jy=\rail@sy

   831 \advance\rail@jy by -\rail@joinhsz

   832 \advance\rail@jx by \rail@joinhsz

   833 \rail@joval[tl]

   834 \advance\rail@jy by \rail@joinhsz

   835 \global\rail@gx=\rail@jx

   836 \global\rail@gy=\rail@jy

   837 \global\rail@gex=\rail@gx

   838 \global\rail@grx=\rail@rx

   839 \endgroup

   840 \fi

   841 }

   843 \def\rail@endplus{

   844 \rail@endalt\rail@plusjoin

   845 }

   847 % \rail@cr{Y} : carriage return to vertical position Y

   849 \def\rail@cr#1{

   850 \rail@tmpa=\rail@sx

   851 \advance\rail@tmpa by \rail@joinsz

   852 \ifnum\rail@x<\rail@tmpa\rail@x=\rail@tmpa\fi

   853 \rail@eline

   854 \rail@jx=\rail@x

   855 \rail@jy=\rail@y

   856 \advance\rail@x by \rail@joinsz

   857 \ifnum\rail@x>\rail@rx\rail@rx=\rail@x\fi

   858 \advance\rail@jy by -\rail@joinhsz

   859 \rail@joval[tr]

   860 \advance\rail@jx by \rail@joinhsz

   861 \rail@sety{#1}

   862 \rail@tmpa=\rail@jy

   863 \advance\rail@tmpa by -\rail@y

   864 \advance\rail@tmpa by -\rail@boxsp

   865 \advance\rail@tmpa by -\rail@joinhsz

   866 \rail@jput{\line(0,-1){\number\rail@tmpa}}

   867 \rail@jy=\rail@y

   868 \advance\rail@jy by \rail@boxsp

   869 \advance\rail@jy by \rail@joinhsz

   870 \advance\rail@jx by -\rail@joinhsz

   871 \rail@joval[br]

   872 \advance\rail@jy by -\rail@joinhsz

   873 \rail@tmpa=\rail@jx

   874 \advance\rail@tmpa by -\rail@sx

   875 \advance\rail@tmpa by -\rail@joinhsz

   876 \rail@jput{\line(-1,0){\number\rail@tmpa}}

   877 \rail@jx=\rail@sx

   878 \advance\rail@jx by \rail@joinhsz

   879 \advance\rail@jy by -\rail@joinhsz

   880 \rail@joval[tl]

   881 \advance\rail@jx by -\rail@joinhsz

   882 \rail@tmpa=\rail@boxsp

   883 \advance\rail@tmpa by -\rail@joinsz

   884 \rail@jput{\line(0,-1){\number\rail@tmpa}}

   885 \advance\rail@jy by -\rail@tmpa

   886 \advance\rail@jx by \rail@joinhsz

   887 \rail@joval[bl]

   888 \rail@x=\rail@jx

   889 \rail@ex=\rail@x

   890 }

author	wenzelm
	Thu, 20 Feb 1997 15:15:17 +0100
changeset 2658	13ba951a4572
child 3097	ae362c99a635
permissions	-rw-r--r--