java - PDFレンダラーで画像の解像度を上げる方法は?

Question

画像の解像度を上げたい。PDFRenderer-0.9.0 jarを使用しました。PDFページを画像に変換するためにjava.net からダウンロードされます。

46_2.pdf PDF ファイルを画像に変換したい。変換された46_2.png画像はサイズが小さく612 x 792 [ width x height ]、

そこで、画像のサイズを に増やしたいと思い1200 x 1400 [ width x height]ます。

PDFページをPNG画像ファイルに変換するために、以前にPdfBoxを試しました。問題がありますonly page is converted but text is missing。そこで、画像変換用のPdfRendererライブラリを試してみました。

コード：

package com.pdfrenderer.examples;

import java.awt.Graphics2D;
import java.awt.Image;
import java.awt.Rectangle;
import java.awt.image.BufferedImage;
import java.io.File;
import java.io.RandomAccessFile;
import java.nio.ByteBuffer;
import java.nio.channels.FileChannel;

import javax.imageio.ImageIO;

import com.sun.pdfview.PDFFile;
import com.sun.pdfview.PDFPage;

public class ConvertPdfPagesToImage {
    public static void main(String[] args) {
        try {
            String sourceDir = "C:/PDFCopy/46_2.pdf";
            String destinationDir = "C:/PDFCopy/";
            File sourceFile = new File(sourceDir);
            String fileName = sourceFile.getName().replace(".pdf", "");
            if (sourceFile.exists()) {
                RandomAccessFile raf = new RandomAccessFile(sourceFile, "r");
                FileChannel channel = raf.getChannel();
                ByteBuffer buf = channel.map(FileChannel.MapMode.READ_ONLY, 0, channel.size());
                PDFFile pdf = new PDFFile(buf);
                int pageNumber = 1;
                for (int i = 0; i < pdf.getNumPages(); i++) {
                    PDFPage page = pdf.getPage(i);
                    // create the image
                    Rectangle rect = new Rectangle(0, 0, (int) page.getBBox().getWidth(), (int) page.getBBox().getHeight());
                    BufferedImage bufferedImage = new BufferedImage(rect.width, rect.height, BufferedImage.TYPE_INT_RGB);
                    // image width, // image height, // clip rect, // null for the ImageObserver, // fill background with white, // block until drawing is done
                    Image image = page.getImage(rect.width, rect.height, rect, null, true, true );
                    Graphics2D bufImageGraphics = bufferedImage.createGraphics();
                    bufImageGraphics.drawImage(image, 0, 0, null);
                    ImageIO.write(bufferedImage, "png", new File( destinationDir + fileName +"_"+ pageNumber +".png"));
                    pageNumber++;
                }
            } else {
                System.err.println(sourceFile.getName() +" File not exists");
            }
        } catch (Exception e) {
            e.printStackTrace();
        }
    }
}