Java/java/security/cert/X509Extension.fz

# Fuzion interface to instance members of Java instance class 'java.security.cert.X509Extension'
#
# !!!!!!  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.security.cert.X509Extension(forbidden void) ref : fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public abstract java.util.Set java.security.cert.X509Extension.getCriticalExtensionOIDs()':
  #
  public getCriticalExtensionOIDs Java.java.util.Set =>
    fuzion.java.call_virtual (Java.java.util.Set) "java.security.cert.X509Extension" "getCriticalExtensionOIDs" "()Ljava/util/Set;" X509Extension.this []

  # call Java instance method 'public abstract byte[] java.security.cert.X509Extension.getExtensionValue(java.lang.String)':
  #
  public getExtensionValue_Ljava_7_lang_7_String_s_(arg0 String) fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "java.security.cert.X509Extension" "getExtensionValue" "(Ljava/lang/String;)[B" X509Extension.this [(fuzion.java.string_to_java_object Java.java.security.cert.X509Extension.getExtensionValue_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public abstract java.util.Set java.security.cert.X509Extension.getNonCriticalExtensionOIDs()':
  #
  public getNonCriticalExtensionOIDs Java.java.util.Set =>
    fuzion.java.call_virtual (Java.java.util.Set) "java.security.cert.X509Extension" "getNonCriticalExtensionOIDs" "()Ljava/util/Set;" X509Extension.this []

  # call Java instance method 'public abstract boolean java.security.cert.X509Extension.hasUnsupportedCriticalExtension()':
  #
  public hasUnsupportedCriticalExtension bool =>
    fuzion.java.call_virtual (bool) "java.security.cert.X509Extension" "hasUnsupportedCriticalExtension" "()Z" X509Extension.this []

  # short-hand to call Java method 'public abstract byte[] java.security.cert.X509Extension.getExtensionValue(java.lang.String)':
  #
  public getExtensionValue(arg0 String) (fuzion.java.Array (i8)) =>
    getExtensionValue_Ljava_7_lang_7_String_s_ Java.java.security.cert.X509Extension.getExtensionValue.this.arg0