CodecsRasterPdfVersion Enumeration

 
import java.io.*; 
import java.net.*; 
import java.nio.file.Paths; 
import java.util.*; 
import java.time.Instant; 
import java.time.Duration; 
 
import org.junit.*; 
import org.junit.runner.JUnitCore; 
import org.junit.runner.Result; 
import org.junit.runner.notification.Failure; 
import static org.junit.Assert.*; 
 
import leadtools.*; 
import leadtools.codecs.*; 
import leadtools.codecs.RasterCodecs.FeedCallbackThunk; 
import leadtools.drawing.internal.*; 
import leadtools.imageprocessing.*; 
import leadtools.imageprocessing.color.ChangeIntensityCommand; 
import leadtools.svg.*; 
 
 
public void codecsRasterPdfInfoExample() throws IOException { 
   final String LEAD_VARS_IMAGES_DIR = "C:\\LEADTOOLS23\\Resources\\Images"; 
   String multiPageRasterPdfFileName = combine(LEAD_VARS_IMAGES_DIR, "MultiPageRasterPdf.pdf"); 
   String pagesPdfFileNames = combine(LEAD_VARS_IMAGES_DIR, "Page%s.pdf"); 
 
   // Create a 4 pages PDF file 
   createMultiPageRasterPdfFile(multiPageRasterPdfFileName); 
 
   // Without prior information, we will split this multi-page PDF file into 
   // multiple single page PDF files with original size, resolution, bit-depth and 
   // compression 
   RasterCodecs codecs = new RasterCodecs(); 
   int pagesSaved = 0; 
 
   // Get the file information 
   CodecsImageInfo imageInfo = codecs.getInformation(multiPageRasterPdfFileName, true); 
   System.out.printf( 
         "Information: Format:%n Format: %s%n Pages: %s%n Bits/Pixel: %s%n Size: %S%n by %s%n Resolution: %s by %s%n", 
         imageInfo.getFormat(), imageInfo.getTotalPages(), imageInfo.getBitsPerPixel(), imageInfo.getWidth(), 
         imageInfo.getHeight(), imageInfo.getXResolution(), imageInfo.getYResolution()); 
   System.out.println("-----------------------"); 
 
   // Now show the PDF specific information 
   // Notice: GetInformation will return RasPdf as the format for all PDF files 
   // regardless of the actual compression 
   if (imageInfo.getFormat() == RasterImageFormat.RAS_PDF) { 
      System.out.println("Image is PDF, getting the specific info for each page"); 
 
      ILeadStream multiPageRasterStream = LeadStreamFactory.create(multiPageRasterPdfFileName); 
      for (int i = 0; i < imageInfo.getTotalPages(); i++) { 
         int pageNumber = i + 1; 
         CodecsRasterPdfInfo pdfInfo = codecs.getRasterPdfInfo(multiPageRasterStream, i + 1); 
         if (pageNumber == 1) { 
            System.out.println(" LEAD PDF?: " + pdfInfo.isLeadPdf()); 
            System.out.println(" Version: " + pdfInfo.getVersion()); 
         } 
 
         if (pdfInfo.isLeadPdf()) { 
            System.out.printf( 
                  "Page %s of %s info:%n Bits/Pixel: %s%n Size: %s by %s%n Resolution: %s by %s%n Format: %s%n", 
                  pageNumber, imageInfo.getTotalPages(), pdfInfo.getBitsPerPixel(), pdfInfo.getWidth(), 
                  pdfInfo.getHeight(), pdfInfo.getXResolution(), pdfInfo.getYResolution(), pdfInfo.getFormat()); 
            System.out.println("-----------------------"); 
 
            // Load this page with its original parameters 
            codecs.getOptions().getRasterizeDocument().getLoad().setXResolution(pdfInfo.getXResolution()); 
            codecs.getOptions().getRasterizeDocument().getLoad().setYResolution(pdfInfo.getYResolution()); 
            codecs.getOptions().getPdf().getLoad().setDisplayDepth(pdfInfo.getBitsPerPixel()); 
 
            RasterImage pageImage = codecs.load(multiPageRasterPdfFileName, 0, CodecsLoadByteOrder.BGR_OR_GRAY, 
                  pageNumber, pageNumber); 
            System.out.printf( 
                  "Page %s of %s loaded:%n Bits/Pixel: %s%n Size: %s by %s%n Resolution: %s by %s%n", 
                  pageNumber, imageInfo.getTotalPages(), pageImage.getBitsPerPixel(), pageImage.getWidth(), 
                  pageImage.getHeight(), pageImage.getXResolution(), pageImage.getYResolution()); 
            System.out.println("-----------------------"); 
 
            // Setup the PDF save options 
            codecs.getOptions().getPdf().getSave().setUseImageResolution(true); 
            codecs.getOptions().getPdf().getSave().setVersion(pdfInfo.getVersion()); 
 
            // Save this page to a separate file 
            String pagePdfFileName = String.format(pagesPdfFileNames, pageNumber); 
            codecs.save(pageImage, pagePdfFileName, pdfInfo.getFormat(), pdfInfo.getBitsPerPixel()); 
            pagesSaved++; 
         } 
      } 
      multiPageRasterStream.close(); 
   } 
   // We are done, now show the info of the generated files 
   for (int i = 0; i < pagesSaved; i++) { 
      int pageNumber = i + 1; 
      String pagePdfFileName = String.format(pagesPdfFileNames, pageNumber); 
      ILeadStream pagePdfFileStream = LeadStreamFactory.create(pagePdfFileName); 
      CodecsRasterPdfInfo pdfInfo = codecs.getRasterPdfInfo(pagePdfFileStream, 1); 
      System.out.printf( 
            "Page %s of %s info:%n Bits/Pixel: %s%n Size: %s by %s%n Resolution: %s by %s%n Format: %s%n", 
            pageNumber, pagesSaved, pdfInfo.getBitsPerPixel(), pdfInfo.getWidth(), pdfInfo.getHeight(), 
            pdfInfo.getXResolution(), pdfInfo.getYResolution(), pdfInfo.getFormat()); 
      System.out.println("-----------------------"); 
      pagePdfFileStream.close(); 
   } 
} 
 
private static void createMultiPageRasterPdfFile(String pdfFileName) { 
   final String LEAD_VARS_IMAGES_DIR = "C:\\LEADTOOLS23\\Resources\\Images"; 
   String sourceFile = combine(LEAD_VARS_IMAGES_DIR, "Sample1.cmp"); 
 
   // Delete the destination PDF file if exists 
   File pdfFile = new File(pdfFileName); 
   if (pdfFile.exists()) { 
      pdfFile.delete(); 
   } 
 
   RasterCodecs codecs = new RasterCodecs(); 
   // Save to PDF v1.4 
   codecs.getOptions().getPdf().getSave().setVersion(CodecsRasterPdfVersion.V14); 
   // Save using image resolution 
   codecs.getOptions().getPdf().getSave().setUseImageResolution(true); 
 
   // Load the source file to use for each page 
   RasterImage pageImage = codecs.load(sourceFile, 0, CodecsLoadByteOrder.BGR_OR_GRAY, 1, 1); 
 
   System.out.printf("Original image dimension:%n Size: %s by %s%n Resolution: %s by %s%n", 
         pageImage.getWidth(), pageImage.getHeight(), pageImage.getXResolution(), pageImage.getYResolution()); 
 
   // Array of bits/pixel and compression to use when saving the pages 
   int[] bitsPerPixel = { 1, 8, 24 }; 
   RasterImageFormat[] formats = { RasterImageFormat.RAS_PDF_G4, RasterImageFormat.RAS_PDF_LZW, 
         RasterImageFormat.RAS_PDF_JPEG }; 
 
   int pageCount = bitsPerPixel.length; 
   for (int i = 0; i < pageCount; i++) { 
      // Append this page with given format 
      System.out.printf("Saving page %s of %s using %s at %s", i + 1, pageCount, bitsPerPixel[i], formats[i]); 
      codecs.save(pageImage, pdfFileName, formats[i], bitsPerPixel[i], 1, 1, -1, CodecsSavePageMode.APPEND); 
   } 
   System.out.println("-----------------------"); 
 
}