From: Mathieu Baudier Date: Wed, 4 May 2022 10:05:42 +0000 (+0200) Subject: Remove SVG to PNG converter X-Git-Tag: v2.3.8~122 X-Git-Url: https://git.argeo.org/?p=gpl%2Fargeo-suite.git;a=commitdiff_plain;h=ec8e12e87106d5ed4799e104b386f5d44ff30701 Remove SVG to PNG converter --- diff --git a/org.argeo.app.core/src/org/argeo/app/image/SvgToPng.java b/org.argeo.app.core/src/org/argeo/app/image/SvgToPng.java deleted file mode 100644 index 38aeb91..0000000 --- a/org.argeo.app.core/src/org/argeo/app/image/SvgToPng.java +++ /dev/null @@ -1,64 +0,0 @@ -package org.argeo.app.image; - -import java.io.IOException; -import java.io.OutputStream; -import java.io.Reader; -import java.nio.file.Files; -import java.nio.file.Path; -import java.nio.file.Paths; - -import org.apache.batik.transcoder.TranscoderException; -import org.apache.batik.transcoder.TranscoderInput; -import org.apache.batik.transcoder.TranscoderOutput; -import org.apache.batik.transcoder.image.ImageTranscoder; -import org.apache.batik.transcoder.image.PNGTranscoder; -import org.apache.commons.io.FilenameUtils; - -public class SvgToPng { - - public void convertSvgDir(Path sourceDir, Path targetDir, int width) { - System.out.println("##\n## " + width + "px - " + sourceDir+"\n##"); - try { - if (targetDir == null) - targetDir = sourceDir.getParent().resolve(Integer.toString(width)); - Files.createDirectories(targetDir); - - PNGTranscoder transcoder = new PNGTranscoder(); - // transcoder.addTranscodingHint(ImageTranscoder.KEY_BACKGROUND_COLOR, - // Color.WHITE); - transcoder.addTranscodingHint(PNGTranscoder.KEY_WIDTH, (float) width); - transcoder.addTranscodingHint(PNGTranscoder.KEY_HEIGHT, (float) width); - - for (Path source : Files.newDirectoryStream(sourceDir, "*.svg")) { - String baseName = FilenameUtils.getBaseName(source.toString()); - Path target = targetDir.resolve(baseName + ".png"); - convertSvgFile(transcoder, source, target); - } - } catch (IOException | TranscoderException e) { - throw new IllegalStateException("Cannot convert from " + sourceDir + " to " + targetDir, e); - } - - } - - protected void convertSvgFile(ImageTranscoder transcoder, Path source, Path target) - throws IOException, TranscoderException { - try (Reader reader = Files.newBufferedReader(source); OutputStream out = Files.newOutputStream(target);) { - TranscoderInput input = new TranscoderInput(reader); -// BufferedImage image = transcoder.createImage(32, 32); - TranscoderOutput output = new TranscoderOutput(out); - transcoder.transcode(input, output); - System.out.println(source.getFileName() + " -> " + target); - } - } - - public static void main(String[] args) throws Exception { - - Path path = Paths.get(args[0]); - - SvgToPng svgToPng = new SvgToPng(); - svgToPng.convertSvgDir(path, null, 16); - svgToPng.convertSvgDir(path, null, 32); - svgToPng.convertSvgDir(path, null, 64); - svgToPng.convertSvgDir(path, null, 96); - } -}