home *** CD-ROM | disk | FTP | other *** search
/ rtsi.com / 2014.01.www.rtsi.com.tar / www.rtsi.com / OS9 / OSK / APPS / gs403osk.tgz / gs403osk.tar / gs_setpd.ps < prev    next >
Text File  |  1996-10-21  |  21KB  |  638 lines
  1. %    Copyright (C) 1994, 1996 Aladdin Enterprises.  All rights reserved.
  2. % 
  3. % This file is part of Aladdin Ghostscript.
  4. % 
  5. % Aladdin Ghostscript is distributed with NO WARRANTY OF ANY KIND.  No author
  6. % or distributor accepts any responsibility for the consequences of using it,
  7. % or for whether it serves any particular purpose or works at all, unless he
  8. % or she says so in writing.  Refer to the Aladdin Ghostscript Free Public
  9. % License (the "License") for full details.
  10. % 
  11. % Every copy of Aladdin Ghostscript must include a copy of the License,
  12. % normally in a plain ASCII text file named PUBLIC.  The License grants you
  13. % the right to copy, modify and redistribute Aladdin Ghostscript, but only
  14. % under certain conditions described in the License.  Among other things, the
  15. % License requires that the copyright notice and this notice be preserved on
  16. % all copies.
  17.  
  18. % The current implementation of setpagedevice has the following limitations:
  19. %   - It doesn't attempt to "interact with the user" for Policy = 2.
  20. % 
  21. % jw note -- this file hacked - gs_setpd.ps.bak in this directory is
  22. % the original version.  Search jw for hacks.  
  23.  
  24. languagelevel 1 .setlanguagelevel
  25. level2dict begin
  26.  
  27. % ---------------- Redefinitions ---------------- %
  28.  
  29. % Redefine .beginpage and .endpage so that they call BeginPage and
  30. % EndPage respectively if appropriate.
  31.  
  32. /.beginpage
  33.  { .currentshowpagecount
  34.     { .currentpagedevice pop /BeginPage .knownget { exec } { pop } ifelse }
  35.    if
  36.  } bind odef
  37.  
  38. /.endpage
  39.  { .currentshowpagecount
  40.     { exch .currentpagedevice pop /EndPage .knownget
  41.        { exec }
  42.        { exch pop 2 ne }
  43.       ifelse
  44.     }
  45.     { 2 ne
  46.     }
  47.    ifelse
  48.  } bind odef
  49.  
  50. % Define interpreter callouts for handling gstate-saving operators,
  51. % to make sure that they create a page device dictionary for use by
  52. % the corresponding gstate-restoring operator.
  53. % We'd really like to avoid the cost of doing this, but we don't see how.
  54. % The names %gsavepagedevice, %savepagedevice, %gstatepagedevice,
  55. % %copygstatepagedevice, and %currentgstatepagedevice are known to the
  56. % interpreter.
  57.  
  58. (%gsavepagedevice) cvn
  59.  { currentpagedevice pop gsave
  60.  } bind def
  61.  
  62. (%savepagedevice) cvn
  63.  { currentpagedevice pop save
  64.  } bind def
  65.  
  66. (%gstatepagedevice) cvn
  67.  { currentpagedevice pop gstate
  68.  } bind def
  69.  
  70. (%copygstatepagedevice) cvn
  71.  { currentpagedevice pop copy
  72.  } bind def
  73.  
  74. (%currentgstatepagedevice) cvn
  75.  { currentpagedevice pop currentgstate
  76.  } bind def
  77.  
  78. % Define interpreter callouts for handling gstate-restoring operators
  79. % when the current page device needs to be changed.
  80. % The names %grestorepagedevice, %grestoreallpagedevice,
  81. % %restorepagedevice, and %setgstatepagedevice are known to the interpreter.
  82.  
  83. /.installpagedevice
  84.  {  % Since setpagedevice doesn't create new device objects,
  85.     % we must (carefully) reinstall the old parameters in
  86.     % the same device.
  87.    .currentpagedevice pop null currentdevice null .trysetparams
  88.    dup type /booleantype eq
  89.     { pop pop }
  90.     {       % This should never happen!
  91.       DEBUG { (Error in .trysetparams!\n) print pstack flush } if
  92.       cleartomark pop pop pop
  93.       /.installpagedevice cvx /rangecheck signalerror
  94.     }
  95.    ifelse pop pop
  96.    erasepage initgraphics .beginpage
  97.  } bind def
  98.  
  99. /.uninstallpagedevice
  100.  { 2 .endpage { .currentnumcopies false .outputpage } if
  101.    nulldevice
  102.  } bind def
  103.  
  104. (%grestorepagedevice) cvn
  105.  { .uninstallpagedevice grestore .installpagedevice
  106.  } bind def
  107.  
  108. (%grestoreallpagedevice) cvn
  109.  { .uninstallpagedevice grestore .installpagedevice grestoreall
  110.  } bind def
  111.  
  112. (%restorepagedevice) cvn
  113.  { .uninstallpagedevice grestore .installpagedevice restore
  114.  } bind def
  115.  
  116. (%setgstatepagedevice) cvn
  117.  { .uninstallpagedevice setgstate .installpagedevice
  118.  } bind def
  119.  
  120. % Redefine .currentnumcopies so it consults the NumCopies device parameter.
  121. /.numcopiesdict mark
  122.   /NumCopies dup
  123. .dicttomark readonly def
  124.  
  125. /.currentnumcopies
  126.  { currentdevice //.numcopiesdict .getdeviceparams
  127.    dup type /integertype eq
  128.     { exch pop exch pop }
  129.     { cleartomark #copies }
  130.    ifelse
  131.  } bind odef
  132.  
  133. % ---------------- Auxiliary definitions ---------------- %
  134.  
  135. % Define the required attributes of all page devices, and their default values.
  136. % We don't include attributes such as .MediaSize, which all devices
  137. % are guaranteed to supply on their own.
  138. /.defaultpolicies mark
  139.   /PolicyNotFound 1
  140.   /PageSize 0
  141.   /PolicyReport {pop} bind
  142. .dicttomark readonly def
  143. /.requiredattrs mark
  144.   /PageOffset [0 0] readonly
  145. % We define InputAttributes and OutputAttributes with a single
  146. % dummy media type that handles pages of any size.
  147. % Devices that care will override this.
  148.   /InputAttributes mark 0
  149.     mark /PageSize [0 dup 16#7ffff dup] .dicttomark readonly
  150.   .dicttomark readonly
  151.   (%MediaSource) 0
  152.   /OutputAttributes mark 0
  153.     mark .dicttomark readonly
  154.   .dicttomark readonly
  155.   (%MediaDestination) 0
  156.   /Install {.callinstall} bind
  157.   /BeginPage {.callbeginpage} bind
  158.   /EndPage {.callendpage} bind
  159.   /Policies .defaultpolicies
  160. .dicttomark readonly def
  161.  
  162. % Define currentpagedevice so it creates the dictionary on demand if needed,
  163. % adding all the required entries defined just above.
  164. % We have to deal specially with entries that the driver may change
  165. % on its own.
  166. /.dynamicppkeys mark
  167.   /.MediaSize dup       % because it changes when PageSize is set
  168.   /PageCount dup
  169. .dicttomark readonly def
  170. /.makecurrentpagedevice     % - .makecurrentpagedevice <dict>
  171.  { currentdevice null .getdeviceparams
  172.     % In case of duplicate keys, .dicttomark takes the entry
  173.     % lower on the stack, so we can just append the defaults here.
  174.    .requiredattrs { } forall .dicttomark
  175.    dup .setpagedevice
  176.  } bind def
  177. /currentpagedevice
  178.  { .currentpagedevice
  179.     { dup length 0 eq
  180.        { pop .makecurrentpagedevice
  181.        }
  182.        {    % If any of the dynamic keys have changed,
  183.         % we must update the page device dictionary.
  184.      currentdevice //.dynamicppkeys .getdeviceparams .dicttomark
  185.       { % Stack: current key value
  186.         2 index 2 index .knownget { 1 index ne } { true } ifelse
  187.          { 2 index wcheck not
  188.         {   % This is the first entry being updated.
  189.             % Copy the dictionary to make it writable.
  190.           3 -1 roll dup length dict .copydict
  191.           3 1 roll
  192.         }
  193.            if
  194.            2 index 3 1 roll put
  195.          }
  196.          { pop pop
  197.          }
  198.         ifelse
  199.       }
  200.      forall
  201.         % We would like to do a .setpagedevice so we don't keep
  202.         % re-creating the dictionary.  Unfortunately, the effect
  203.         % of this is that if any dynamic key changes (PageCount
  204.         % in particular), we will do the equivalent of a
  205.         % setpagedevice at the next restore or grestore.
  206.         % Therefore, we make the dictionary read-only, but
  207.         % we don't store it away.  I.e., NOT:
  208.         % dup wcheck { .setpagedevice .currentpagedevice pop } if
  209.      readonly
  210.        }
  211.       ifelse
  212.     }
  213.    if
  214.  } bind odef
  215.  
  216. % The implementation of setpagedevice is quite complex.  Currently,
  217. % everything but the media matching algorithm is implemented here.
  218.  
  219. % By default, we only present the requested changes to the device,
  220. % but there are some parameters that require special merging action.
  221. % Define those parameters here, with the procedures that do the merging.
  222. % The procedures are called as follows:
  223. %   <merged> <key> <new_value> -proc- <merged> <key> <new_value'>
  224. /.mergespecial mark
  225.   /InputAttributes
  226.    { dup null eq
  227.       { pop null
  228.       }
  229.       { 3 copy pop .knownget
  230.      { dup null eq
  231.         { pop dup length dict }
  232.         { dup length 2 index length add dict .copydict }
  233.        ifelse
  234.      }
  235.      { dup length dict
  236.      }
  237.         ifelse .copydict readonly
  238.       }
  239.      ifelse
  240.    } bind
  241.   /OutputAttributes 1 index
  242.   /Policies
  243.     { 3 copy pop .knownget
  244.        { dup length 2 index length add dict .copydict }
  245.        { dup length dict }
  246.       ifelse copy readonly
  247.     } bind
  248. .dicttomark readonly def
  249.  
  250. % Define the keys used in input attribute matching.
  251. /.inputattrkeys [
  252.   /PageSize /MediaColor /MediaWeight /MediaType /InsertSheet
  253. ] readonly def
  254. % Define other keys used in media selection.
  255. /.inputselectionkeys [
  256.   /MediaPosition /Orientation
  257. ] readonly def
  258.  
  259. % Define the keys used in output attribute matching.
  260. /.outputattrkeys [
  261.   /OutputType
  262. ] readonly def
  263.  
  264. % Define all the parameters that should always be copied to the merged
  265. % dictionary.
  266. /.copiedkeys [
  267.   /OutputDevice
  268.   .mergespecial { pop } forall
  269.   .inputattrkeys aload pop
  270.   .inputselectionkeys aload pop
  271.   .outputattrkeys aload pop
  272. ] readonly def
  273.  
  274. % Define the parameters that should not be presented to the device.
  275. % The procedures are called as follows:
  276. %   <merged> <key> <value> -proc-
  277. % The procedure leaves all its operands on the stack and returns
  278. % true iff the key/value pair should be presented to .putdeviceparams.
  279. /.presentspecial mark
  280.   .dynamicppkeys { pop false } forall
  281.             % We must ignore an explicit request for .MediaSize,
  282.             % because media matching always handles this.
  283.   /.MediaSize false
  284.   /Name false
  285.   /OutputDevice false
  286.   /PageOffset false
  287.   /PageSize false       % obsolete alias for .MediaSize
  288.   /InputAttributes false
  289.   .inputattrkeys
  290.     { dup /PageSize eq
  291.        { pop }
  292.        { { 2 index /InputAttributes .knownget { null eq } { true } ifelse } }
  293.       ifelse
  294.     }
  295.   forall
  296.   .inputselectionkeys { false } forall
  297.   /OutputAttributes false
  298.   .outputattrkeys
  299.     { { 2 index /OutputAttributes .knownget { null eq } { true } ifelse } }
  300.   forall
  301.   /Install false
  302.   /BeginPage false
  303.   /EndPage false
  304.   /Policies false
  305.     % Our extensions:
  306.   /HWColorMap
  307.     {           % HACK: don't transmit the color map, because
  308.             % window systems can change the color map on their own
  309.             % incrementally.  Someday we'll have a better
  310.             % solution for this....
  311.       false
  312.     }
  313.   /ViewerPreProcess false
  314. .dicttomark readonly def
  315.  
  316. % Define access to device defaults.
  317. /.defaultdeviceparams
  318.  { finddevice null .getdeviceparams
  319.  } bind def
  320.  
  321. % Select media (input or output).  The hard work is done in an operator:
  322. %   <pagedict> <attrdict> <policydict> <keys> .matchmedia <key> true
  323. %   <pagedict> <attrdict> <policydict> <keys> .matchmedia false
  324. %   <pagedict> null <policydict> <keys> .matchmedia null true
  325. /.selectmedia       % <orig> <request> <merged> <failed>     <-- retained
  326.             %   <attrdict> <policydict> <attrkeys> <mediakey>
  327.             %   .selectmedia
  328.  { 5 index 5 -2 roll 4 index .matchmedia
  329.         % Stack: orig request merged failed attrkeys mediakey
  330.         %   (key true | false)
  331.     { 4 index 3 1 roll put pop
  332.     }
  333.     {   % Adobe's implementations have a "big hairy heuristic"
  334.     % to choose the set of keys to report as having failed the match.
  335.     % For the moment, we report any keys that are in the request
  336.     % and don't have the same value as in the original dictionary.
  337.       5 index 1 index .knownget
  338.        { 4 index 3 1 roll put }
  339.        { 3 index exch .undef }
  340.       ifelse
  341.        {    % Stack: <orig> <request> <merged> <failed> <attrkey>
  342.      3 index 1 index .knownget
  343.       { 5 index 2 index .knownget { ne } { pop true } ifelse }
  344.       { true }
  345.      ifelse     % Stack: ... <failed> <attrkey> <report>
  346.       { 2 copy /rangecheck put }
  347.      if pop
  348.        }
  349.       forall
  350.     }
  351.    ifelse
  352.  } bind def
  353.  
  354. % Apply Policies to any unprocessed failed requests.
  355. % As we process each request entry, we replace the error name
  356. % in the <failed> dictionary with the policy value,
  357. % and we replace the key in the <merged> dictionary with its prior value
  358. % (or remove it if it had no prior value).
  359. /.applypolicies     % <orig> <merged> <failed> .applypolicies
  360.             %   <orig> <merged'> <failed'>
  361.  { 1 index /Policies get 1 index
  362.     { type /integertype eq
  363.        { pop        % already processed
  364.        }
  365.        { 2 copy .knownget not { 1 index /PolicyNotFound get } if
  366.             % Stack: <orig> <merged> <failed> <Policies> <key>
  367.             %   <policy>
  368.      dup 1 ne
  369.       { % Set errorinfo and signal a configurationerror.
  370.         % Note that we currently treat all Policy values other than 1
  371.         % the same as 0.
  372.         pop dup 4 index exch get 2 array astore
  373.         $error /errorinfo 3 -1 roll put
  374.         cleartomark
  375.         /setpagedevice load /configurationerror signalerror
  376.       }
  377.       { % Roll back the failed request to its previous status.
  378. DEBUG { (Rolling back.\n) print pstack flush } if
  379.         3 index 2 index 3 -1 roll put
  380.         4 index 1 index .knownget
  381.          { 4 index 3 1 roll put }
  382.          { 3 index exch .undef }
  383.         ifelse
  384.       }
  385.      ifelse
  386.        }
  387.       ifelse
  388.     }
  389.    forall pop
  390.  } bind def
  391.  
  392. % Prepare to present parameters to the device, by spreading them onto the
  393. % operand stack and removing any that shouldn't be presented.
  394. /.prepareparams     % <params> .prepareparams -mark- <key1> <value1> ...
  395.  { mark exch dup
  396.     {           % Stack: -mark- key1 value1 ... merged key value
  397.       .presentspecial 2 index .knownget
  398.        { exec { 3 -1 roll } { pop pop } ifelse }
  399.        { 3 -1 roll }
  400.       ifelse
  401.     }
  402.    forall pop
  403.  } bind def
  404.  
  405. % Put device parameters without resetting currentpagedevice.
  406. % (.putdeviceparams clears the current page device.)
  407. /.putdeviceparamsonly   % <device> <Policies|null> <require_all> -mark-
  408.             %   <key1> <value1> ... .putdeviceparamsonly
  409.             % On success: <device> <eraseflag>
  410.             % On failure: <device> <Policies|null> <req_all> -mark-
  411.             %   <key1> <error1> ...
  412.  { .currentpagedevice
  413.     { counttomark 4 add 1 roll .putdeviceparams
  414.       dup type /booleantype eq { 3 } { counttomark 5 add } ifelse -1 roll
  415.       .setpagedevice
  416.     }
  417.     { pop .putdeviceparams
  418.     }
  419.    ifelse
  420.  } bind def
  421.  
  422. % Try setting the device parameters from the merged request.
  423. /.trysetparams      % <merged> <(ignored)> <device> <Policies>
  424.             %   .trysetparams
  425.  { true 4 index .prepareparams
  426.             % Add the computed .MediaSize.
  427.             % Stack: merged (ignored) device Policies -true-
  428.             %   -mark- key1 value1 ...
  429.    counttomark 5 add index .computemediasize
  430.    exch pop exch pop /.MediaSize exch
  431. DEBUG { (Putting.\n) print pstack flush } if
  432.    .putdeviceparamsonly
  433. DEBUG { (Result of putting.\n) print pstack flush } if
  434.  } bind def
  435.  
  436. % Compute the media size and initial matrix from a merged request (after
  437. % media selection).
  438. /.computemediasize  % <request> .computemediasize
  439.             %   <request> <matrix> <[width height]>
  440.  { dup /PageSize get                    % requested page size
  441.    1 index /InputAttributes get
  442.      2 index (%MediaSource) get get /PageSize get   % media size
  443.                             % (may be a range)
  444.    2 index /Policies get
  445.      dup /PageSize .knownget
  446.       { exch pop } { /PolicyNotFound get } ifelse   % PageSize policy,
  447.                             % affects scaling
  448.    3 index /Orientation .knownget not { null } if
  449.    matrix .matchpagesize pop        % (can't fail)
  450.    2 array astore
  451.  } bind def
  452.  
  453. % ---------------- setpagedevice itself ---------------- %
  454.  
  455. /setpagedevice
  456.  { mark exch currentpagedevice
  457.  
  458.         % Check whether we are changing OutputDevice;
  459.         % also handle the case where the current device
  460.         % is not a page device.
  461.         % Stack: mark <request> <current>
  462. DEBUG { (Checking.\n) print pstack flush } if
  463.  
  464.    dup /OutputDevice .knownget
  465.     {       % Current device is a page device.
  466.       2 index /OutputDevice .knownget
  467.        {    % A specific OutputDevice was requested.
  468.      2 copy eq
  469.       { pop pop null }
  470.       { exch pop }
  471.      ifelse
  472.        }
  473.        { pop null
  474.        }
  475.       ifelse
  476.     }
  477.     {       % Current device is not a page device.
  478.         % Use the default device.
  479.       1 index /OutputDevice .knownget not { .defaultdevicename } if
  480.     }
  481.    ifelse
  482.    dup null eq
  483.     { pop
  484.     }
  485.     { exch pop .defaultdeviceparams
  486.         % In case of duplicate keys, .dicttomark takes the entry
  487.         % lower on the stack, so we can just append the defaults here.
  488.       .requiredattrs { } forall .dicttomark
  489.     }
  490.    ifelse
  491.  
  492.         % Check whether a viewer wants to intervene.
  493.         % We must check both the request (which takes precedence)
  494.         % and the current dictionary.
  495.         % Stack: mark <request> <orig>
  496.    exch dup /ViewerPreProcess .knownget
  497.     { exec }
  498.     { 1 index /ViewerPreProcess .knownget { exec } if }
  499.    ifelse exch
  500.  
  501.         % Construct a merged request from the actual request plus
  502.         % any keys that should always be propagated.
  503.         % Stack: mark <request> <orig>
  504. DEBUG { (Merging.\n) print pstack flush } if
  505.  
  506.    exch 1 index length 1 index length add dict
  507.    .copiedkeys
  508.     {       % Stack: <orig> <request> <merged> <key>
  509.       3 index 1 index .knownget { 3 copy put pop } if pop
  510.     }
  511.    forall
  512.         % Stack: <orig> <request> <merged>
  513.    dup 2 index
  514.     {       % stack: <orig> <request> <merged> <merged> <rkey> <rvalue>
  515.       .mergespecial 2 index .knownget { exec } if
  516.       put dup
  517.     }
  518.    forall pop
  519.         % Hack: if FIXEDRESOLUTION is true, discard any attempt to
  520.         % change HWResolution.
  521.    FIXEDRESOLUTION { dup /HWResolution .undef } if
  522.  
  523.         % Select input and output media.
  524.         % Stack: mark <orig> <request> <merged>
  525. DEBUG { (Selecting.\n) print pstack flush } if
  526.  
  527.    0 dict   % <failed>
  528.    1 index /InputAttributes .knownget
  529.     { 2 index /Policies get
  530.       .inputattrkeys (%MediaSource) cvn .selectmedia
  531.     } if
  532.    1 index /OutputAttributes .knownget
  533.     { 2 index /Policies get
  534.       .outputattrkeys (%MediaDestination) cvn .selectmedia
  535.      } if
  536.    3 -1 roll 4 1 roll       % temporarily swap orig & request
  537.    .applypolicies
  538.    3 -1 roll 4 1 roll       % swap back
  539.  
  540.         % Construct the new device, and attempt to set its attributes.
  541.         % Stack: mark <orig> <request> <merged> <failed>
  542. DEBUG { (Constructing.\n) print pstack flush } if
  543.  
  544.    currentdevice .devicename 2 index /OutputDevice get eq
  545.     { currentdevice }
  546.     { 1 index /OutputDevice get finddevice }
  547.    ifelse
  548.         %**************** We should copy the device here,
  549.         %**************** but since we can't close the old device,
  550.         %**************** we don't.  This is WRONG.
  551.     %****************copydevice
  552.    2 index /Policies get
  553.    .trysetparams
  554.    dup type /booleantype ne
  555.     {       % The request failed.
  556.         % Stack: ... <orig> <request> <merged> <failed> <device>
  557.         %   <Policies> true mark <name> <errorname> ...
  558. DEBUG { (Recovering.\n) print pstack flush } if
  559.       counttomark 4 add index
  560.       counttomark 2 idiv { dup 4 -2 roll put } repeat
  561.       pop pop pop
  562.         % Stack: mark ... <orig> <request> <merged> <failed> <device>
  563.         %   <Policies>
  564.       6 2 roll 3 -1 roll 4 1 roll
  565.       .applypolicies
  566.       3 -1 roll 4 1 roll 6 -2 roll
  567.       .trysetparams     % shouldn't fail!
  568.       dup type /booleantype ne
  569.        { 2 { counttomark 1 add 1 roll cleartomark } repeat
  570.          /setpagedevice load exch signalerror
  571.        }
  572.       if
  573.     }
  574.    if
  575.  
  576.         % The attempt succeeded.  Install the new device.
  577.         % Stack: mark ... <merged> <failed> <device> <eraseflag>
  578. DEBUG { (Installing.\n) print pstack flush } if
  579.  
  580.    pop 2 .endpage
  581.     { 1 true .outputpage
  582.       (>>setpagedevice, press <return> to continue<<\n) .confirm
  583.     }
  584.    if
  585.         % .setdevice clears the current page device!
  586.    .currentpagedevice pop exch
  587.    .setdevice pop
  588.    .setpagedevice
  589.  
  590.         % Merge the request into the current page device.
  591.         % Stack: mark ... <merged> <failed>
  592.    exch currentpagedevice dup length 2 index length add dict
  593.    .copydict .copydict
  594.         % Initialize the default matrix, taking media matching
  595.         % into account.
  596.    .computemediasize pop initmatrix concat
  597. % jw hack dump this stuff for test -- kwin and vsc drivers choke on it
  598.     currentdevice .devicename /kwin eq currentdevice .devicename /vsc eq or not 
  599.     {  % If running kwin or vsc device, don't do this
  600.        dup /PageOffset .knownget
  601.         {       % Translate by the given number of 1/72" units in device X/Y.
  602.           dup 0 get exch 1 get
  603.           2 index /HWResolution get dup 1 get exch 0 get
  604.           4 -1 roll mul 72 div   3 1 roll mul 72 div
  605.           idtransform translate
  606.         }
  607.        if
  608.      }
  609.     if
  610. % end jw hack
  611.         % We must install the new page device dictionary
  612.         % before calling the Install procedure.
  613.    dup .setpagedevice
  614.    .setdefaultscreen    % Set the default screen before calling Install.
  615.    dup /Install .knownget { exec } if
  616.    matrix currentmatrix .setdefaultmatrix
  617.         % Erase and initialize the page.
  618.    erasepage initgraphics
  619.    .beginpage
  620.  
  621.         % Clean up, calling PolicyReport if needed.
  622.         % Stack: mark ... <failed> <merged>
  623. DEBUG { (Finishing.\n) print pstack flush } if
  624.  
  625.    exch dup length 0 ne
  626.     { 1 index /Policies get /PolicyReport get
  627.       counttomark 1 add 2 roll cleartomark
  628.       exec
  629.     }
  630.     { cleartomark
  631.     }
  632.    ifelse
  633.  
  634.  } odef
  635.  
  636. end             % level2dict
  637. .setlanguagelevel
  638.