From a8fd7b92d3bbb262345f207f637eddc3b16d8c3a Mon Sep 17 00:00:00 2001
From: jochen <jochen@379699f6-c40d-0410-875b-85095c16579e>
Date: Thu, 11 Mar 1999 22:47:29 +0000
Subject: [PATCH] allow writing to zip files

git-svn-id: https://svn.code.sf.net/p/jode/code/trunk@357 379699f6-c40d-0410-875b-85095c16579e
---
 jode/jode/Decompiler.java | 36 ++++++++++++++++++++++++++++++++----
 1 file changed, 32 insertions(+), 4 deletions(-)

diff --git a/jode/jode/Decompiler.java b/jode/jode/Decompiler.java
index cb351ae..82dc00b 100644
--- a/jode/jode/Decompiler.java
+++ b/jode/jode/Decompiler.java
@@ -20,6 +20,8 @@
 package jode;
 import java.io.*;
 import jode.decompiler.TabbedPrintWriter;
+import java.util.zip.ZipOutputStream;
+import java.util.zip.ZipEntry;
 
 public class Decompiler {
     public final static String version = "0.99";
@@ -103,6 +105,7 @@ public class Decompiler {
         int i;
         String classPath = System.getProperty("java.class.path");
 	File destDir = null;
+	ZipOutputStream destZip = null;
 	err.println(copyright);
         for (i=0; i<params.length && params[i].startsWith("-"); i++) {
             if (params[i].equals("-v"))
@@ -166,12 +169,24 @@ public class Decompiler {
 	TabbedPrintWriter writer = null;
 	if (destDir == null)
 	    writer = new TabbedPrintWriter(System.out);
+	else if (destDir.getName().endsWith(".zip")) {
+	    try {
+		destZip = new ZipOutputStream(new FileOutputStream(destDir));
+	    } catch (IOException ex) {
+		err.println("Can't open zip file "+destDir);
+		ex.printStackTrace(err);
+		return;
+	    }
+	    writer = new TabbedPrintWriter(destZip);
+	}
         for (; i< params.length; i++) {
 	    try {
-		if (destDir != null) {
-		    File file = new File
-			(destDir, 
-			 params[i].replace('.', File.separatorChar)+".java");
+		String filename = 
+		    params[i].replace('.', File.separatorChar)+".java";
+		if (destZip != null) {
+		    destZip.putNextEntry(new ZipEntry(filename));
+		} else if (destDir != null) {
+		    File file = new File (destDir, filename);
 		    File directory = new File(file.getParent());
 		    if (!directory.exists() && !directory.mkdirs()) {
 			err.println("Could not create directory "
@@ -181,11 +196,24 @@ public class Decompiler {
 		    writer = new TabbedPrintWriter(new FileOutputStream(file));
 		}
 		env.doClass(params[i], writer);
+		if (destZip != null) {
+		    writer.flush();
+		    destZip.closeEntry();
+		} else if (destDir != null)
+		    writer.close();
 	    } catch (IOException ex) {
 		err.println("Can't write source of "+params[i]+".");
 		err.println("Check the permissions.");
 		ex.printStackTrace(err);
 	    }
 	}
+	if (destZip != null) {
+	    try {
+		destZip.close();
+	    } catch (IOException ex) {
+		err.println("Can't close Zipfile");
+		ex.printStackTrace(err);
+	    }
+	}
     }
 }