Review

6

/Users/svenamann/Documents/MUBench/mubench.pipeline/../checkouts/itext/5091/original-src/com/itextpdf/text/pdf/PdfSmartCopy.java

serDic(PdfDictionary, int, ByteBuffer)

class PdfSmartCopy.ByteStore {
        private void serDic(PdfDictionary dic, int level, ByteBuffer bb) throws IOException {
            bb.append("$D");
            if (level <= 0)
                return;
            Object[] keys = dic.getKeys().toArray();
            Arrays.sort(keys);
            for (int k = 0; k < keys.length; ++k) {
                serObject((PdfObject)keys[k], level, bb);
                serObject(dic.get((PdfName)keys[k]), level, bb);
            }
        }

}