Fuzion Logo
fuzion-lang.dev — The Fuzion Language Portal
JavaScript seems to be disabled. Functionality is limited.

Java/java/security/cert/Extension.fz


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

  # call Java instance method 'public abstract void java.security.cert.Extension.encode(java.io.OutputStream) throws java.io.IOException':
  #
  public encode_Ljava_7_io_7_OutputStream_s_(arg0 Java.java.io.OutputStream) outcome (unit) =>
    fuzion.java.call_virtual (outcome (unit)) "java.security.cert.Extension" "encode" "(Ljava/io/OutputStream;)V" Extension.this [(Java.java.security.cert.Extension.encode_Ljava_7_io_7_OutputStream_s_.this.arg0)]

  # call Java instance method 'public abstract java.lang.String java.security.cert.Extension.getId()':
  #
  public getId Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.security.cert.Extension" "getId" "()Ljava/lang/String;" Extension.this []

  # call Java instance method 'public abstract byte[] java.security.cert.Extension.getValue()':
  #
  public getValue fuzion.java.Array (i8) =>
    fuzion.java.call_virtual (fuzion.java.Array (i8)) "java.security.cert.Extension" "getValue" "()[B" Extension.this []

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

  # short-hand to call Java method 'public abstract void java.security.cert.Extension.encode(java.io.OutputStream) throws java.io.IOException':
  #
  public encode(arg0 Java.java.io.OutputStream) (outcome (unit)) =>
    encode_Ljava_7_io_7_OutputStream_s_ Java.java.security.cert.Extension.encode.this.arg0