public class org.apache.isis.applib.util.ZipReader extends java.lang.Object
{
private static final java.nio.charset.Charset ENTRY_NAME_CHARSET;
public void <init>()
{
org.apache.isis.applib.util.ZipReader v;
v := @this: org.apache.isis.applib.util.ZipReader;
specialinvoke v.<java.lang.Object: void <init>()>();
return;
}
public static void read(java.io.InputStream, org.apache.isis.applib.util.ZipReader$ZipVisistor)
{
java.lang.Throwable v, v;
java.io.BufferedInputStream v;
java.util.zip.ZipInputStream v;
java.lang.NullPointerException v;
org.apache.isis.applib.util.ZipReader$ZipVisistor v;
java.nio.charset.Charset v;
java.util.zip.ZipEntry v;
boolean v;
java.io.InputStream v;
v := @parameter: java.io.InputStream;
v := @parameter: org.apache.isis.applib.util.ZipReader$ZipVisistor;
label:
if v != null goto label;
v = new java.lang.NullPointerException;
specialinvoke v.<java.lang.NullPointerException: void <init>(java.lang.String)>("zipVisistor is marked non-null but is null");
throw v;
label:
if v != null goto label;
label:
return;
label:
v = new java.util.zip.ZipInputStream;
v = new java.io.BufferedInputStream;
specialinvoke v.<java.io.BufferedInputStream: void <init>(java.io.InputStream,int)>(v, 65536);
v = <org.apache.isis.applib.util.ZipReader: java.nio.charset.Charset ENTRY_NAME_CHARSET>;
specialinvoke v.<java.util.zip.ZipInputStream: void <init>(java.io.InputStream,java.nio.charset.Charset)>(v, v);
label:
v = virtualinvoke v.<java.util.zip.ZipInputStream: java.util.zip.ZipEntry getNextEntry()>();
if v == null goto label;
v = interfaceinvoke v.<org.apache.isis.applib.util.ZipReader$ZipVisistor: boolean test(java.lang.Object,java.lang.Object)>(v, v);
if v != 0 goto label;
label:
virtualinvoke v.<java.util.zip.ZipInputStream: void close()>();
label:
return;
label:
virtualinvoke v.<java.util.zip.ZipInputStream: void close()>();
goto label;
label:
v := @caughtexception;
throw v;
label:
v := @caughtexception;
throw v;
label:
return;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
}
public static java.util.Optional digest(java.io.InputStream, org.apache.isis.applib.util.ZipReader$ZipDigester)
{
java.lang.Throwable v, v;
java.io.BufferedInputStream v;
java.util.zip.ZipInputStream v;
java.lang.NullPointerException v;
java.nio.charset.Charset v;
java.util.Optional v, v, v;
java.lang.Object v;
java.util.zip.ZipEntry v;
org.apache.isis.applib.util.ZipReader$ZipDigester v;
java.io.InputStream v;
v := @parameter: java.io.InputStream;
v := @parameter: org.apache.isis.applib.util.ZipReader$ZipDigester;
label:
if v != null goto label;
v = new java.lang.NullPointerException;
specialinvoke v.<java.lang.NullPointerException: void <init>(java.lang.String)>("zipDigester is marked non-null but is null");
throw v;
label:
if v != null goto label;
v = staticinvoke <java.util.Optional: java.util.Optional empty()>();
label:
return v;
label:
v = new java.util.zip.ZipInputStream;
v = new java.io.BufferedInputStream;
specialinvoke v.<java.io.BufferedInputStream: void <init>(java.io.InputStream,int)>(v, 65536);
v = <org.apache.isis.applib.util.ZipReader: java.nio.charset.Charset ENTRY_NAME_CHARSET>;
specialinvoke v.<java.util.zip.ZipInputStream: void <init>(java.io.InputStream,java.nio.charset.Charset)>(v, v);
label:
v = virtualinvoke v.<java.util.zip.ZipInputStream: java.util.zip.ZipEntry getNextEntry()>();
if v == null goto label;
v = interfaceinvoke v.<org.apache.isis.applib.util.ZipReader$ZipDigester: java.lang.Object apply(java.lang.Object,java.lang.Object)>(v, v);
if v == null goto label;
v = staticinvoke <java.util.Optional: java.util.Optional of(java.lang.Object)>(v);
label:
virtualinvoke v.<java.util.zip.ZipInputStream: void close()>();
label:
return v;
label:
virtualinvoke v.<java.util.zip.ZipInputStream: void close()>();
goto label;
label:
v := @caughtexception;
throw v;
label:
v = staticinvoke <java.util.Optional: java.util.Optional empty()>();
label:
return v;
label:
v := @caughtexception;
throw v;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
catch java.lang.Throwable from label to label with label;
}
static void <clinit>()
{
java.nio.charset.Charset v;
v = <java.nio.charset.StandardCharsets: java.nio.charset.Charset UTF_8>;
<org.apache.isis.applib.util.ZipReader: java.nio.charset.Charset ENTRY_NAME_CHARSET> = v;
return;
}
}