doc/parameter.tex

   1 \setlength{\unitlength}{0.01250000in}%
   2 %
   3 \begingroup\makeatletter\ifx\SetFigFont\undefined
   4 % extract first six characters in \fmtname
   5 \def\x#1#2#3#4#5#6#7\relax{\def\x{#1#2#3#4#5#6}}%
   6 \expandafter\x\fmtname xxxxxx\relax \def\y{splain}%
   7 \ifx\x\y   % LaTeX or SliTeX?
   8 \gdef\SetFigFont#1#2#3{%
   9   \ifnum #1<17\tiny\else \ifnum #1<20\small\else
  10   \ifnum #1<24\normalsize\else \ifnum #1<29\large\else
  11   \ifnum #1<34\Large\else \ifnum #1<41\LARGE\else
  12      \huge\fi\fi\fi\fi\fi\fi
  13   \csname #3\endcsname}%
  14 \else
  15 \gdef\SetFigFont#1#2#3{\begingroup
  16   \count@#1\relax \ifnum 25<\count@\count@25\fi
  17   \def\x{\endgroup\@setsize\SetFigFont{#2pt}}%
  18   \expandafter\x
  19     \csname \romannumeral\the\count@ pt\expandafter\endcsname
  20     \csname @\romannumeral\the\count@ pt\endcsname
  21   \csname #3\endcsname}%
  22 \fi
  23 \fi\endgroup
  24 \begin{picture}(482,239)(140,403)
  25 \thinlines
  26 \put(240,540){\line( 0,-1){ 35}}
  27 \put(300,540){\line( 0,-1){ 35}}
  28 \put(200,505){\framebox(420,35){}}
  29 \put(460,540){\line( 0,-1){ 35}}
  30 \put(270,605){\vector( 0,-1){ 65}}
  31 \put(380,440){\vector( 0, 1){ 65}}
  32 \put(390,605){\vector( 2,-1){130}}
  33 \put(300,640){\line( 0,-1){ 35}}
  34 \put(240,605){\framebox(220,35){}}
  35 \put(300,405){\framebox(160,35){}}
  36 \put(210,525){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Pre-}}}
  37 \put(205,510){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}fixes}}}
  38 \put(255,525){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Image}}}
  39 \put(255,510){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}name}}}
  40 \put(490,520){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Command-line options}}}
  41 \put(345,520){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Static options}}}
  42 \put(140,485){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Parameter string}}}
  43 \put(140,470){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}passed to the kernel}}}
  44 \put(255,625){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Image}}}
  45 \put(255,610){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}name}}}
  46 \put(330,620){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Command-line options}}}
  47 \put(345,420){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Static options}}}
  48 \put(140,420){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Options sector}}}
  49 \put(140,620){\makebox(0,0)[lb]{\smash{\SetFigFont{10}{12.0}{rm}Command line}}}
  50 \end{picture}