ghc/docs/storage-mgt/gen.eepic

   1 \setlength{\unitlength}{0.00050000in}
   2 %
   3 \begingroup\makeatletter\ifx\SetFigFont\undefined%
   4 \gdef\SetFigFont#1#2#3#4#5{%
   5   \reset@font\fontsize{#1}{#2pt}%
   6   \fontfamily{#3}\fontseries{#4}\fontshape{#5}%
   7   \selectfont}%
   8 \fi\endgroup%
   9 {\renewcommand{\dashlinestretch}{30}
  10 \begin{picture}(9849,5907)(0,-10)
  11 \path(3237,5562)(4212,5562)(4212,4062)
  12         (3237,4062)(3237,5562)
  13 \path(4212,5562)(5187,5562)(5187,4062)
  14         (4212,4062)(4212,5562)
  15 \path(5187,5562)(6162,5562)(6162,4062)
  16         (5187,4062)(5187,5562)
  17 \path(6162,5562)(7137,5562)(7137,4062)
  18         (6162,4062)(6162,5562)
  19 \put(5487,4737){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
  20 \put(4812,5712){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}step[]}}}}}
  21 \path(7812,2712)(9837,2712)(9837,2112)
  22         (7812,2112)(7812,2712)
  23 \put(7887,2862){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}END\_MUT\_LIST}}}}}
  24 \path(6687,312)(7812,2412)
  25 \path(7781.778,2292.056)(7812.000,2412.000)(7728.889,2320.389)
  26 \path(6687,2412)(7812,2412)
  27 \path(7692.000,2382.000)(7812.000,2412.000)(7692.000,2442.000)
  28 \put(6012,312){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
  29 \put(6012,2412){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}......}}}}}
  30 \path(4662,312)(5787,312)
  31 \path(5667.000,282.000)(5787.000,312.000)(5667.000,342.000)
  32 \path(3237,612)(5262,612)(5262,12)
  33         (3237,12)(3237,612)
  34 \path(4662,2412)(5787,2412)
  35 \path(5667.000,2382.000)(5787.000,2412.000)(5667.000,2442.000)
  36 \path(3237,2712)(5262,2712)(5262,2112)
  37         (3237,2112)(3237,2712)
  38 \put(3387,237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}mut\_link}}}}}
  39 \put(3312,762){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}StgMutClosure}}}}}
  40 \put(3387,2337){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}mut\_link}}}}}
  41 \put(3312,2862){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}StgMutClosure}}}}}
  42 \path(912,3012)(2487,3012)(2487,4887)(3237,4887)
  43 \path(3117.000,4857.000)(3237.000,4887.000)(3117.000,4917.000)
  44 \path(1212,2412)(3237,2412)
  45 \path(3117.000,2382.000)(3237.000,2412.000)(3117.000,2442.000)
  46 \path(1737,2112)(2487,2112)(2487,312)(3237,312)
  47 \path(3117.000,282.000)(3237.000,312.000)(3117.000,342.000)
  48 \path(12,3462)(1887,3462)(1887,1962)
  49         (12,1962)(12,3462)
  50 \put(87,3237){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}no}}}}}
  51 \put(237,3612){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}generation}}}}}
  52 \put(87,2937){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}steps}}}}}
  53 \put(87,2637){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}n\_steps}}}}}
  54 \put(87,2337){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}mut\_list}}}}}
  55 \put(87,2052){\makebox(0,0)[lb]{\smash{{{\SetFigFont{10}{12.0}{\rmdefault}{\mddefault}{\updefault}mut\_once\_list}}}}}
  56 \end{picture}
  57 }