[infer][java] Simplify some of the models of Java resources [4/n]

Reviewed By: sblackshear

Differential Revision: D4542437

fbshipit-source-id: 018cbf8

infer/models/java/src/java/io/FilterOutputStream.java

@@ -11,7 +11,7 @@ package java.io;
 
 import com.facebook.infer.builtins.InferUndefined;
 
-public class FilterOutputStream extends OutputStream {
+public class FilterOutputStream {
 
     protected OutputStream out;
 
@@ -19,16 +19,12 @@ public class FilterOutputStream extends OutputStream {
     }
 
     public FilterOutputStream(OutputStream out) {
-        this.out = out;
+      this.out = out;
     }
 
     public void close() throws IOException {
         if (out != null) {
-            if (out instanceof FileOutputStream) {
+          out.close();
-                ((FileOutputStream) out).close();
-            } else {
-                out.close();
-            }
         }
     }
 

infer/models/java/src/java/util/jar/JarOutputStream.java

@@ -9,6 +9,7 @@
 
 package java.util.jar;
 
+import com.facebook.infer.builtins.InferBuiltins;
 import com.facebook.infer.builtins.InferUndefined;
 
 import java.io.IOException;
@@ -16,20 +17,21 @@ import java.io.OutputStream;
 import java.util.zip.ZipEntry;
 import java.util.zip.ZipOutputStream;
 
-public class JarOutputStream extends ZipOutputStream {
 
-    public JarOutputStream(OutputStream out, Manifest man) throws IOException {
+public class JarOutputStream {
-        super(out);
-        InferUndefined.can_throw_ioexception_void();
-    }
 
-    public JarOutputStream(OutputStream out) throws IOException {
+  public JarOutputStream(OutputStream out, Manifest man) throws IOException {
-        super(out);
+    this(out);
-        InferUndefined.can_throw_ioexception_void();
+  }
-    }
 
-    public void putNextEntry(ZipEntry ze) throws IOException {
+  public JarOutputStream(OutputStream out) throws IOException {
-        InferUndefined.can_throw_ioexception_void();
+    InferUndefined.can_throw_ioexception_void();
-    }
+    InferBuiltins.__set_mem_attribute(out);
+    InferBuiltins.__set_file_attribute(this);
+  }
+
+  public void putNextEntry(ZipEntry ze) throws IOException {
+    InferUndefined.can_throw_ioexception_void();
+  }
 
 }

infer/models/java/src/java/util/zip/ZipOutputStream.java

@@ -17,11 +17,7 @@ import java.io.OutputStream;
 import com.facebook.infer.builtins.InferUndefined;
 
 
-public class ZipOutputStream extends DeflaterOutputStream {
+public class ZipOutputStream {
-
-    public ZipOutputStream(OutputStream out) {
-        super(out);
-    }
 
     public void putNextEntry(ZipEntry e) throws IOException {
         InferUndefined.can_throw_ioexception_void();
@@ -31,13 +27,4 @@ public class ZipOutputStream extends DeflaterOutputStream {
         InferUndefined.can_throw_ioexception_void();
     }
 
-    public void close() throws IOException {
-        if (out != null) {
-            if (out instanceof FileOutputStream) {
-                ((FileOutputStream) out).close();
-            } else if (out instanceof BufferedOutputStream) {
-                ((BufferedOutputStream) out).close();
-            }
-        }
-    }
 }