Java/java/net/JarURLConnection.fz

# Fuzion interface to instance members of Java instance class 'java.net.JarURLConnection'
#
# !!!!!!  DO NOT EDIT, GENERATED CODE !!!!!!
#
# This code was generated automatically using the fzjava tool V0.087 called 
# as follows:
#
#   ./build/bin/fzjava java.base -to=build/modules/java.base -verbose=0
#
public Java.java.net.JarURLConnection(redef forbidden void) ref : Java.java.net.URLConnection(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public java.util.jar.Attributes java.net.JarURLConnection.getAttributes() throws java.io.IOException':
  #
  public getAttributes outcome (Java.java.util.jar.Attributes) =>
    fuzion.java.call_virtual (outcome (Java.java.util.jar.Attributes)) "java.net.JarURLConnection" "getAttributes" "()Ljava/util/jar/Attributes;" JarURLConnection.this []

  # call Java instance method 'public java.security.cert.Certificate[] java.net.JarURLConnection.getCertificates() throws java.io.IOException':
  #
  public getCertificates outcome (fuzion.java.Array (Java.java.security.cert.Certificate)) =>
    fuzion.java.call_virtual (outcome (fuzion.java.Array (Java.java.security.cert.Certificate))) "java.net.JarURLConnection" "getCertificates" "()[Ljava/security/cert/Certificate;" JarURLConnection.this []

  # call Java instance method 'public java.lang.String java.net.JarURLConnection.getEntryName()':
  #
  public getEntryName Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.net.JarURLConnection" "getEntryName" "()Ljava/lang/String;" JarURLConnection.this []

  # call Java instance method 'public java.util.jar.JarEntry java.net.JarURLConnection.getJarEntry() throws java.io.IOException':
  #
  public getJarEntry outcome (Java.java.util.jar.JarEntry) =>
    fuzion.java.call_virtual (outcome (Java.java.util.jar.JarEntry)) "java.net.JarURLConnection" "getJarEntry" "()Ljava/util/jar/JarEntry;" JarURLConnection.this []

  # call Java instance method 'public abstract java.util.jar.JarFile java.net.JarURLConnection.getJarFile() throws java.io.IOException':
  #
  public getJarFile outcome (Java.java.util.jar.JarFile) =>
    fuzion.java.call_virtual (outcome (Java.java.util.jar.JarFile)) "java.net.JarURLConnection" "getJarFile" "()Ljava/util/jar/JarFile;" JarURLConnection.this []

  # call Java instance method 'public java.net.URL java.net.JarURLConnection.getJarFileURL()':
  #
  public getJarFileURL Java.java.net.URL =>
    fuzion.java.call_virtual (Java.java.net.URL) "java.net.JarURLConnection" "getJarFileURL" "()Ljava/net/URL;" JarURLConnection.this []

  # call Java instance method 'public java.util.jar.Attributes java.net.JarURLConnection.getMainAttributes() throws java.io.IOException':
  #
  public getMainAttributes outcome (Java.java.util.jar.Attributes) =>
    fuzion.java.call_virtual (outcome (Java.java.util.jar.Attributes)) "java.net.JarURLConnection" "getMainAttributes" "()Ljava/util/jar/Attributes;" JarURLConnection.this []

  # call Java instance method 'public java.util.jar.Manifest java.net.JarURLConnection.getManifest() throws java.io.IOException':
  #
  public getManifest outcome (Java.java.util.jar.Manifest) =>
    fuzion.java.call_virtual (outcome (Java.java.util.jar.Manifest)) "java.net.JarURLConnection" "getManifest" "()Ljava/util/jar/Manifest;" JarURLConnection.this []