* This program is free software; you can redistribute it and/or
* modify it under the terms of version 3 of the GNU Lesser General Public License
* or later as published by the Free Software Foundation.
* This program is free software; you can redistribute it and/or
* modify it under the terms of version 3 of the GNU Lesser General Public License
* or later as published by the Free Software Foundation.
private static void makeJpegThumbnail(File inputFile, File outputFile, java.awt.Dimension preferredTargetDimensions)
throws IOException, ImageFormatError {
private static void makeJpegThumbnail(File inputFile, File outputFile, java.awt.Dimension preferredTargetDimensions)
throws IOException, ImageFormatError {
- final java.awt.Dimension sourceImageDimension = new java.awt.Dimension(
- inputImage.getWidth(), inputImage.getHeight());
+ final java.awt.Dimension sourceImageDimension = new java.awt.Dimension(
+ inputImage.getWidth(), inputImage.getHeight());
- final java.awt.Dimension targetDimensions = getTargetThumbnailDimension(
- sourceImageDimension, preferredTargetDimensions);
+ final java.awt.Dimension targetDimensions = getTargetThumbnailDimension(
+ sourceImageDimension, preferredTargetDimensions);
- final Image scaledImage = scaleImage(inputImage,
- targetDimensions.width, targetDimensions.height);
+ final Image scaledImage = scaleImage(inputImage,
+ targetDimensions.width, targetDimensions.height);
- final BufferedImage bufferedImage = new BufferedImage(
- scaledImage.getWidth(null), scaledImage.getHeight(null),
- TYPE_INT_RGB);
+ final BufferedImage bufferedImage = new BufferedImage(
+ scaledImage.getWidth(null), scaledImage.getHeight(null),
+ TYPE_INT_RGB);
- final Graphics2D g = bufferedImage.createGraphics();
- g.drawImage(scaledImage, 0, 0, null);
- g.dispose();
+ final Graphics2D g = bufferedImage.createGraphics();
+ g.drawImage(scaledImage, 0, 0, null);
+ g.dispose();
ImageReader reader = ImageIO.getImageReadersByFormatName("gif").next();
ImageInputStream stream = ImageIO.createImageInputStream(inputFile);
reader.setInput(stream);
ImageReader reader = ImageIO.getImageReadersByFormatName("gif").next();
ImageInputStream stream = ImageIO.createImageInputStream(inputFile);
reader.setInput(stream);
Utils.ImageFrame[] frames = Utils.readGIF(reader);
for (Utils.ImageFrame frame : frames) {
Image scaleImage = scaleImage(frame.image, targetDimensions.width, targetDimensions.height);
Utils.ImageFrame[] frames = Utils.readGIF(reader);
for (Utils.ImageFrame frame : frames) {
Image scaleImage = scaleImage(frame.image, targetDimensions.width, targetDimensions.height);
bGr.drawImage(scaleImage, 0, 0, null);
bGr.dispose();
bGr.drawImage(scaleImage, 0, 0, null);
bGr.dispose();
- new GifSequenceWriter( output, frames[0].image.getType(), frames[0].getDelay(), true );
+ new GifSequenceWriter(output, frames[0].image.getType(), frames[0].getDelay(), true);
* relative to designated thumbnails directory within parent directory.
*/
public String getRelativeThumbnailFileName(final Dimension targetDimension) {
* relative to designated thumbnails directory within parent directory.
*/
public String getRelativeThumbnailFileName(final Dimension targetDimension) {