home *** CD-ROM | disk | FTP | other *** search
/ PC World 2001 April / PCWorld_2001-04_cd.bin / Software / Vyzkuste / gs / gs650w32.exe / gs6.50 / lib / pdf_base.ps < prev    next >
Text File  |  2000-12-05  |  20KB  |  624 lines
  1. %    Copyright (C) 1994, 1996, 1997, 1998, 1999, 2000 Aladdin Enterprises.  All rights reserved.
  2. % 
  3. % This file is part of AFPL Ghostscript.
  4. % 
  5. % AFPL Ghostscript is distributed with NO WARRANTY OF ANY KIND.  No author or
  6. % distributor accepts any responsibility for the consequences of using it, or
  7. % for whether it serves any particular purpose or works at all, unless he or
  8. % she says so in writing.  Refer to the Aladdin Free Public License (the
  9. % "License") for full details.
  10. % 
  11. % Every copy of AFPL Ghostscript must include a copy of the License, normally
  12. % in a plain ASCII text file named PUBLIC.  The License grants you the right
  13. % to copy, modify and redistribute AFPL Ghostscript, but only under certain
  14. % conditions described in the License.  Among other things, the License
  15. % requires that the copyright notice and this notice be preserved on all
  16. % copies.
  17.  
  18. % $Id: pdf_base.ps,v 1.10 2000/09/19 18:29:11 lpd Exp $
  19. % pdf_base.ps
  20. % Basic parser for PDF reader.
  21.  
  22. % This handles basic parsing of the file (including the trailer
  23. % and cross-reference table), as well as objects, object references,
  24. % streams, and name/number trees; it doesn't include any facilities for
  25. % making marks on the page.
  26.  
  27. /.setlanguagelevel where { pop 2 .setlanguagelevel } if
  28. .currentglobal true .setglobal
  29. /pdfdict where { pop } { /pdfdict 100 dict def } ifelse
  30. pdfdict begin
  31.  
  32. % Define the name interpretation dictionary for reading values.
  33. /valueopdict mark
  34.   (<<) cvn { mark } bind    % don't push an actual mark!
  35.   (>>) cvn /.dicttomark load
  36.   ([) cvn { mark } bind        % ditto
  37.   (]) cvn dup load
  38.   /true true
  39.   /false false
  40.   /null null
  41.   /F dup cvx        % see Objects section below
  42.   /R dup cvx        % see Objects section below
  43.   /stream dup cvx    % see Streams section below
  44. .dicttomark readonly def
  45.  
  46. % ------ Utilities ------ %
  47.  
  48. % Define a scratch string.  The PDF language definition says that
  49. % no line in a PDF file can exceed 255 characters.
  50. /pdfstring 255 string def
  51.  
  52. % Read the previous line of a file.  If we aren't at a line boundary,
  53. % read the line containing the current position.
  54. % Skip any blank lines.
  55. /prevline        % - prevline <startpos> <substring>
  56.  { PDFfile fileposition dup () pdfstring
  57.    2 index 257 sub 0 .max PDFfile exch setfileposition
  58.     {        % Stack: initpos linepos line string
  59.       PDFfile fileposition
  60.       PDFfile 2 index readline pop
  61.       dup length 0 gt
  62.        { 3 2 roll 5 -2 roll pop pop 2 index }
  63.        { pop }
  64.       ifelse
  65.         % Stack: initpos linepos line string startpos
  66.       PDFfile fileposition 5 index ge { exit } if
  67.       pop
  68.     }
  69.    loop pop pop 3 -1 roll pop
  70.  } bind def
  71.  
  72. % Handle the PDF 1.2 #nn escape convention when reading from a file.
  73. % This should eventually be done in C.
  74. /.pdffixname {            % <execname> .pdffixname <execname'>
  75.   PDFversion 1.2 ge {
  76.     dup .namestring (#) search {
  77.       name#escape cvn exch pop
  78.     } {
  79.       pop
  80.     } ifelse
  81.   } if
  82. } bind def
  83. /name#escape            % <post> <(#)> <pre> name#escape <string>
  84. { exch pop
  85.   1 index 2 () /SubFileDecode filter dup (x) readhexstring
  86.         % Stack: post pre stream char t/f
  87.   not { /.pdftoken cvx /syntaxerror signalerror } if
  88.   exch closefile concatstrings
  89.   exch 2 1 index length 2 sub getinterval
  90.   (#) search { name#escape } if concatstrings
  91. } bind def
  92.  
  93. % Execute a file, interpreting its executable names in a given
  94. % dictionary.  The name procedures may do whatever they want
  95. % to the operand stack.
  96. /.pdfexectoken {        % <count> <opdict> <exectoken> .pdfexectoken ?
  97.   DEBUG { dup == flush } if
  98.   2 copy .knownget {
  99.     exch pop exch pop exch pop exec
  100.   } {
  101.     BXlevel 0 le {
  102.       (%stderr) (w) file
  103.       dup (****************Unknown operator: ) writestring
  104.       dup 2 index .writecvs dup (\n) writestring flushfile
  105.     } if pop pop
  106.     count exch sub { pop } repeat    % pop all the operands
  107.   } ifelse
  108. } bind def
  109. /.pdfrun {            % <file> <opdict> .pdfrun -
  110.     % Construct a procedure with the stack depth, file and opdict
  111.     % bound into it.
  112.   1 index cvlit count 2 sub 3 1 roll mark mark 5 2 roll
  113.   {    % Stack: ..operands.. count opdict file
  114.     token {
  115.       dup type /nametype eq {
  116.     dup xcheck {
  117.       .pdfexectoken
  118.     } {
  119.       .pdffixname
  120.       exch pop exch pop DEBUG { dup ==only ( ) print flush } if
  121.     } ifelse
  122.       } {
  123.     exch pop exch pop DEBUG { dup ==only ( ) print flush } if
  124.       } ifelse
  125.     } {
  126.       (%%EOF) cvn cvx .pdfexectoken
  127.     } ifelse
  128.   }
  129.   aload pop .packtomark cvx
  130.   /loop cvx 2 packedarray cvx
  131.   { stopped /PDFsource } aload pop
  132.   PDFsource
  133.   { store { stop } if } aload pop .packtomark cvx
  134.   /PDFsource 3 -1 roll store exec
  135. } bind def
  136.  
  137. % Execute a file, like .pdfrun, for a marking context.
  138. % This temporarily rebinds LocalResources and DefaultMatrix.
  139. /.pdfruncontext {        % <resdict> <file> <opdict> .pdfruncontext -
  140.   /.pdfrun load LocalResources DefaultMatrix
  141.   /LocalResources 7 -1 roll store
  142.   /DefaultMatrix matrix currentmatrix store
  143.   3 .execn
  144.   /DefaultMatrix exch store
  145.   /LocalResources exch store
  146. } bind def
  147.  
  148. % Get the depth of the PDF operand stack.  The main program (pdf_main.ps)
  149. % sets pdfemptycount before calling .pdfrun.
  150. /.pdfcount {        % - .pdfcount <count>
  151.   count pdfemptycount sub
  152. } bind def
  153.  
  154. % ------ File reading ------ %
  155.  
  156. % Read the cross-reference entry for an (unresolved) object.
  157. % The caller must save and restore the PDFfile position if desired.
  158. % For invalid (free) objects, we return 0.
  159. /readxrefentry        % <object#> readxrefentry <objpos>
  160.  { dup Objects exch lget
  161.    PDFfile exch setfileposition
  162.    PDFfile token pop        % object position
  163.    PDFfile token pop        % generation #
  164.    PDFfile token pop        % n or f
  165.    dup /n eq
  166.     { pop 1 add dup 255 gt
  167.        { Generations ltype /stringtype eq
  168.       {        % Convert Generations from a string to an array.
  169.         larray Generations llength lgrowto dup
  170.         0 1 2 index llength 1 sub
  171.          { Generations 1 index lget lput dup
  172.          }
  173.         for pop /Generations exch store
  174.       }
  175.      if
  176.        }
  177.       if
  178.     }
  179.     { /f eq
  180.        { pop 0 }
  181.        { /readxrefentry cvx /syntaxerror signalerror }
  182.       ifelse
  183.     }
  184.    ifelse
  185.         % Stack: obj# objpos 1+gen#
  186.    Generations 4 -1 roll 3 -1 roll lput
  187.  } bind def
  188.  
  189. % ================================ Objects ================================ %
  190.  
  191. % Since we may have more than 64K objects, we have to use a 2-D array to
  192. % hold them (and the parallel Generations structure).
  193. /lshift 9 def
  194. /lnshift lshift neg def
  195. /lsubmask 1 lshift bitshift 1 sub def
  196. /lsublen lsubmask 1 add def
  197. /larray {    % - larray <larray>
  198.   [ [] ]
  199. } bind def
  200. /lstring {    % - lstring <lstring>
  201.   [ () ]
  202. } bind def
  203. /ltype {    % <lseq> type <type>
  204.   0 get type
  205. } bind def
  206. /lget {        % <lseq> <index> lget <value>
  207.   dup //lsubmask and 3 1 roll //lnshift bitshift get exch get
  208. } bind def
  209. /lput {        % <lseq> <index> <value> lput -
  210.   3 1 roll
  211.   dup //lsubmask and 4 1 roll //lnshift bitshift get
  212.   3 1 roll put
  213. } bind def
  214. /llength {    % <lseq> llength <length>
  215.   dup length 1 sub dup //lshift bitshift
  216.   3 1 roll get length add
  217. } bind def
  218. % lgrowto assumes newlength > llength(lseq)
  219. /growto {    % <string/array> <length> growto <string'/array'>
  220.   1 index type /stringtype eq { string } { array } ifelse
  221.   2 copy copy pop exch pop
  222. } bind def
  223. /lgrowto {    % <lseq> <newlength> lgrowto <lseq'>
  224.     dup //lsubmask add //lnshift bitshift dup 3 index length gt {
  225.     % Add more sub-arrays.  Start by completing the last existing one.
  226.         % Stack: lseq newlen newtoplen
  227.     3 -1 roll dup llength 1 sub //lsubmask or 1 add lgrowto
  228.         % Stack: newlen newtoplen lseq
  229.     [ exch aload pop
  230.     counttomark 2 add -1 roll        % newtoplen
  231.     counttomark sub { dup 0 0 getinterval lsublen growto } repeat
  232.     dup 0 0 getinterval ] exch
  233.   } {
  234.     pop
  235.   } ifelse
  236.     % Expand the last sub-array.
  237.   1 sub //lsubmask and 1 add
  238.   exch dup dup length 1 sub 2 copy
  239.         % Stack: newsublen lseq lseq len-1 lseq len-1
  240.   get 5 -1 roll growto put
  241. } bind def
  242. /lforall {    % <lseq> <proc> lforall -
  243.   /forall cvx 2 packedarray cvx forall
  244. } bind def
  245.  
  246. % We keep track of PDF objects using the following PostScript variables:
  247. %
  248. %    Generations (lstring): Generations[N] holds 1+ the current
  249. %        generation number for object number N.  (As far as we can tell,
  250. %        this is needed only for error checking.)  For free objects,
  251. %        Generations[N] is 0.
  252. %
  253. %    Objects (larray): If object N is loaded, Objects[N] is the actual
  254. %        object; otherwise, Objects[N] is an executable integer giving
  255. %        the file offset of the object's entry in the cross-reference
  256. %        table.
  257. %
  258. %    GlobalObjects (dictionary): If object N has been resolved in
  259. %        global VM, GlobalObjects[N] is the same as Objects[N]
  260. %        (except that GlobalObjects itself is stored in global VM,
  261. %        so the entry will not be deleted at the end of the page).
  262. %
  263. %    IsGlobal (lstring): IsGlobal[N] = 1 iff object N was resolved in
  264. %        global VM.  This is an accelerator to avoid having to do a
  265. %        dictionary lookup in GlobalObjects when resolving every object.
  266.  
  267. % Initialize the PDF object tables.
  268. /initPDFobjects {        % - initPDFobjects -
  269.   /Objects larray def
  270.   /Generations lstring def
  271.   .currentglobal true .setglobal
  272.   /GlobalObjects 20 dict def
  273.   .setglobal
  274.   /IsGlobal lstring def
  275. } bind def
  276.  
  277. % Grow the tables to a specified size.
  278. /growPDFobjects {        % <minsize> growPDFobjects -
  279.   dup Objects llength gt {
  280.     dup Objects exch lgrowto /Objects exch def
  281.   } if
  282.   dup Generations llength gt {
  283.     dup Generations exch lgrowto /Generations exch def
  284.   } if
  285.   dup IsGlobal llength gt {
  286.     dup IsGlobal exch lgrowto /IsGlobal exch def
  287.   } if
  288.   pop
  289. } bind def
  290.  
  291. % We represent an unresolved object reference by a procedure of the form
  292. % {obj# gen# resolveR}.  This is not a possible PDF object, because PDF has
  293. % no way to represent procedures.  Since PDF in fact has no way to represent
  294. % any PostScript object that doesn't evaluate to itself, we can 'force'
  295. % a possibly indirect object painlessly with 'exec'.
  296. % Note that since we represent streams by executable dictionaries
  297. % (see below), we need both an xcheck and a type check to determine
  298. % whether an object has been resolved.
  299. /resolved? {        % <object#> resolved? <value> true
  300.             % <object#> resolved? false
  301.   Objects 1 index lget dup xcheck {
  302.     dup type /integertype eq {
  303.         % Check whether the object is in GlobalObjects.
  304.       pop IsGlobal 1 index lget 0 eq {
  305.     pop false
  306.       } {
  307.         % Update Objects from GlobalObjects
  308.     DEBUG { (%Global=>local: ) print dup == } if
  309.     GlobalObjects 1 index get dup Objects 4 1 roll lput true
  310.       } ifelse
  311.     } {
  312.       exch pop true
  313.     } ifelse
  314.   } {
  315.     exch pop true
  316.   } ifelse
  317. } bind def
  318. /oforce /exec load def
  319. /oget {        % <array> <index> oget <object>
  320.         % <dict> <key> oget <object>
  321.         % Before release 6.20, this procedure stored the resolved
  322.         % object back into the referring slot.  In order to support
  323.         % PDF linearization, we no longer do this.
  324.   get oforce
  325. } bind def
  326. % A null value in a dictionary is equivalent to an omitted key;
  327. % we must check for this specially.
  328. /knownoget {    % <dict> <key> knownoget <value> true
  329.         % <dict> <key> knownoget false
  330.         % See oget above regarding this procedure.
  331.   .knownget {
  332.     oforce dup null eq { pop false } { true } ifelse
  333.   } {
  334.     false
  335.   } ifelse
  336. } bind def
  337.  
  338. % PDF 1.1 defines a 'foreign file reference', but not its meaning.
  339. % Per the specification, we convert these to nulls.
  340. /F {        % <file#> <object#> <generation#> F <object>
  341.         % Some PDF 1.1 files use F as a synonym for f!
  342.    .pdfcount 3 lt { f } { pop pop pop null } ifelse
  343. } bind def
  344.  
  345. /checkgeneration {  % <object#> <generation#> checkgeneration <object#> <OK>
  346.   Generations 2 index lget 1 sub 1 index eq {
  347.     pop true
  348.   } {
  349.     QUIET not {
  350.       Generations 2 index lget 0 eq {
  351.     (Warning: reference to free object: )
  352.       } {
  353.     (Warning: wrong generation: )
  354.       } ifelse print 1 index =only ( ) print =only ( R) =
  355.     } {
  356.       pop
  357.     } ifelse false
  358.   } ifelse
  359. } bind def
  360. /R {        % <object#> <generation#> R <object>
  361.   /resolveR cvx 3 packedarray cvx
  362. } bind def
  363.  
  364. % If we encounter an object definition while reading sequentially,
  365. % we just store it away and keep going.
  366. /objopdict mark
  367.   valueopdict { } forall
  368.   /endobj dup cvx
  369. .dicttomark readonly def
  370. /obj {            % <object#> <generation#> obj <object>
  371.   PDFfile objopdict .pdfrun
  372. } bind def
  373. /endobj {        % <object#> <generation#> <object> endobj <object>
  374.   3 1 roll
  375.         % Read the xref entry if we haven't yet done so.
  376.         % This is only needed for generation # checking.
  377.   1 index resolved? {
  378.     pop
  379.   } {
  380.     PDFfile fileposition
  381.     2 index readxrefentry pop
  382.     PDFoffset add PDFfile exch setfileposition
  383.   } ifelse
  384.   checkgeneration {
  385.         % The only global objects we bother to save are
  386.         % (resource) dictionaries.
  387.     1 index dup gcheck exch type /dicttype eq and {
  388.       DEBUG { (%Local=>global: ) print dup == } if
  389.       GlobalObjects 1 index 3 index put
  390.       IsGlobal 1 index 1 put
  391.     } if
  392.     Objects exch 2 index lput
  393.   } {
  394.     pop pop null
  395.   } ifelse
  396. } bind def
  397.  
  398. % When resolving an object reference, we stop at the endobj.
  399. /resolveopdict mark
  400.   valueopdict { } forall
  401.   /endobj { endobj exit } bind
  402. .dicttomark readonly def
  403. /resolveR {        % <object#> <generation#> resolveR <object>
  404.   DEBUG { (%Resolving: ) print 2 copy 2 array astore == } if
  405.   1 index resolved? {
  406.     exch pop exch pop
  407.   } {
  408.     PDFfile fileposition 3 1 roll
  409.     1 index readxrefentry
  410.     3 1 roll checkgeneration {
  411.             % Stack: savepos objpos obj#
  412.      exch PDFoffset add PDFfile exch setfileposition
  413.      PDFfile token pop 2 copy ne
  414.       { (xref error!) = /resolveR cvx /rangecheck signalerror
  415.       }
  416.      if pop PDFfile token pop
  417.      PDFfile token pop /obj ne
  418.       { (xref error!) = /resolveR cvx /rangecheck signalerror
  419.       }
  420.      if
  421.      pdf_run_resolve    % PDFfile resolveopdict .pdfrun
  422.     }
  423.     {        % Don't cache if the generation # is wrong.
  424.      pop pop null
  425.     } ifelse
  426.     exch PDFfile exch setfileposition
  427.   } ifelse
  428. } bind def      
  429.  
  430. % ================================ Streams ================================ %
  431.  
  432. % We represent a stream by an executable dictionary that contains,
  433. % in addition to the contents of the original stream dictionary:
  434. %    /File - the file or string where the stream contents are stored,
  435. %      if the stream is not an external one.
  436. %    /FilePosition - iff File is a file, the position in the file
  437. %      where the contents start.
  438. %    /StreamKey - the key used to decrypt this stream, if any.
  439. % We do the real work of constructing the data stream only when the
  440. % contents are needed.
  441.  
  442. % Construct a stream.  The length is not reliable in the face of
  443. % different end-of-line conventions, but it's all we've got.
  444. %
  445. % PDF files are inconsistent about what may fall between the 'stream' keyword
  446. % and the actual stream data, and it appears that no one algorithm can
  447. % detect this reliably.  We used to try to guess whether the file included
  448. % extraneous \r and/or \n characters, but we no longer attempt to do so,
  449. % especially since the PDF 1.2 specification states flatly that the only
  450. % legal terminators following the 'stream' keyword are \n or \r\n, both of
  451. % which are properly skipped and discarded by the token operator.
  452. /stream {    % <dict> stream <modified_dict>
  453.   dup /F known dup PDFsource PDFfile eq or {
  454.     not {
  455.       dup /File PDFfile put
  456.       dup /FilePosition PDFfile fileposition put
  457.       DEBUG { (%FilePosition: ) print dup /FilePosition get == } if
  458.     } if
  459.     PDFfile fileposition 1 index /Length oget add
  460.       PDFfile exch setfileposition
  461.   } {
  462.     pop
  463.     % We're already reading from a stream, which we can't reposition.
  464.     % Capture the sub-stream contents in a string.
  465.     dup /Length oget string PDFsource exch readstring
  466.     not {
  467.       (Unexpected EOF in stream!) =
  468.       /stream cvx /rangecheck signalerror
  469.     } if
  470.     1 index exch /File exch put
  471.   } ifelse
  472.   PDFsource token pop
  473.     /endstream ne { /stream cvx /syntaxerror signalerror } if
  474.   cvx
  475. } bind def
  476. /endstream {
  477.   exit
  478. } bind def
  479.  
  480. % Contrary to the published PDF (1.3) specification, Acrobat Reader
  481. % accepts abbreviated filter names everywhere, not just for in-line images,
  482. % and some applications (notably htmldoc) rely on this.
  483. /unabbrevfilterdict mark
  484.   /AHx /ASCIIHexDecode  /A85 /ASCII85Decode  /CCF /CCITTFaxDecode
  485.   /DCT /DCTDecode  /Fl /FlateDecode  /LZW /LZWDecode  /RL /RunLengthDecode
  486. .dicttomark readonly def
  487.  
  488. % Extract and apply filters.
  489. /filterparms {        % <dict> <DPkey> <Fkey> filterparms
  490.             %   <dict> <parms> <filternames>
  491.   2 index exch .knownget {
  492.     exch 2 index exch .knownget {
  493.         % Both filters and parameters.
  494.       exch dup type /nametype eq {
  495.     1 array astore exch 1 array astore exch
  496.       } if
  497.     } {
  498.         % Filters, but no parameters.
  499.       null exch
  500.       dup type /nametype eq { 1 array astore } if
  501.     } ifelse
  502.   } {
  503.         % No filters: ignore parameters, if any.
  504.     pop null { }
  505.   } ifelse
  506. } bind def
  507. /filtername {        % <filtername> filtername <filtername'>
  508.   //unabbrevfilterdict 1 index .knownget { exch pop } if
  509. } bind def
  510. /applyfilters {        % <parms> <source> <filternames> applyfilters <stream>
  511.   2 index null eq {
  512.     { filtername filter }
  513.   } {
  514.     {        % Stack: parms stream filtername
  515.       2 index 0 oget dup null eq { pop } { exch } ifelse filtername filter
  516.       exch dup length 1 sub 1 exch getinterval exch
  517.     }
  518.   } ifelse forall exch pop
  519. } bind def
  520.  
  521. % Resolve a stream dictionary to a PostScript stream.
  522. % Streams with no filters require special handling:
  523. %    - If we are going to interpret their contents, we let endstream
  524. %      terminate the interpretation loop;
  525. %    - If we are just going to read data from them, we impose
  526. %      a SubFileDecode filter that reads just the requisite amount of data.
  527. % Note that, in general, resolving a stream repositions PDFfile.
  528. % Clients must save and restore the position of PDFfile themselves.
  529. /resolvestream {    % <streamdict> <readdata?> resolvestream <stream>
  530.   1 index /F .knownget {
  531.         % This stream is stored on an external file.
  532.     (r) file exch
  533.     /FDecodeParms /FFilter filterparms
  534.         % Stack: readdata? dict parms filternames
  535.     4 -1 roll exch
  536.     pdf_decrypt_stream
  537.     applyfilters
  538.   } {
  539.     exch dup /FilePosition .knownget {
  540.       1 index /File get exch setfileposition
  541.     } if
  542.         % Stack: readdata? dict
  543.     /DecodeParms /Filter filterparms
  544.         % Stack: readdata? dict parms filternames
  545.     2 index /File get exch
  546.         % Stack: readdata? dict parms file/string filternames
  547.     pdf_decrypt_stream        % add decryption if needed
  548.     dup length 0 eq {
  549.         % All the PDF filters have EOD markers, but in this case
  550.         % there is no specified filter.
  551.       pop exch pop
  552.         % Stack: readdata? dict file/string
  553.       2 index {
  554.         % We're going to read data; use a SubFileDecode filter.
  555.     1 index /Length oget () /SubFileDecode filter
  556.       } {
  557.     dup type /filetype ne {
  558.         % Use a SubFileDecode filter to read from a string.
  559.       0 () /SubFileDecode filter
  560.     } if
  561.       } ifelse
  562.     } {
  563.       applyfilters
  564.     } ifelse
  565.   } ifelse
  566.         % Stack: readdata? dict file
  567.   exch pop exch pop
  568. } bind def
  569.  
  570. % ============================ Name/number trees ============================ %
  571.  
  572. /nameoget {        % <nametree> <key> nameoget <obj|null>
  573.   exch /Names exch .treeget
  574. } bind def
  575.  
  576. /numoget {        % <numtree> <key> numoget <obj|null>
  577.   exch /Nums exch .treeget
  578. } bind def
  579.  
  580. /.treeget {        % <key> <leafkey> <tree> .treeget <obj|null>
  581.   dup /Kids knownoget {
  582.     exch pop .branchget
  583.   } {
  584.     exch get .leafget
  585.   } ifelse
  586. } bind def
  587.  
  588. /.branchget {        %  <key> <leafkey> <kids> .branchget <obj|null>
  589.   dup length 0 eq {
  590.     pop pop pop null
  591.   } {
  592.     dup length -1 bitshift 2 copy oget
  593.             % Stack: key leafkey kids mid kids[mid]
  594.     dup /Limits oget aload pop
  595.             % Stack: key leafkey kids mid kids[mid] min max
  596.     6 index lt {
  597.       pop pop
  598.       1 add 1 index length 1 index sub getinterval .branchget
  599.     } {
  600.       5 index gt {
  601.     pop
  602.     0 exch getinterval .branchget
  603.       } {
  604.     exch pop exch pop .treeget
  605.       } ifelse
  606.     } ifelse
  607.   } ifelse
  608. } bind def
  609.  
  610. /.leafget {        % <key> <pairs> .leafget <obj|null>
  611.   dup length 2 eq {
  612.     dup 0 get 2 index eq { 1 oget } { pop null } ifelse
  613.     exch pop
  614.   } {
  615.     dup length -1 bitshift -2 and 2 copy oget
  616.             % Stack: key pairs mid pairs[mid]
  617.     3 index gt { 0 exch } { 1 index length 1 index sub } ifelse
  618.     getinterval .leafget
  619.   } ifelse
  620. } bind def
  621.  
  622. end            % pdfdict
  623. .setglobal
  624.