Java/jdk/internal/math/FormattedFPDecimal.fz

# Fuzion interface to instance members of Java instance class 'jdk.internal.math.FormattedFPDecimal'
#
# !!!!!!  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.jdk.internal.math.FormattedFPDecimal(redef forbidden void) ref : Java.java.lang.Object(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public void jdk.internal.math.FormattedFPDecimal.set(long,int,int)':
  #
  public __k__set_JII(arg0 i64, arg1 i32, arg2 i32) unit =>
    fuzion.java.call_virtual (unit) "jdk.internal.math.FormattedFPDecimal" "set" "(JII)V" FormattedFPDecimal.this [(fuzion.java.i64_to_java_object Java.jdk.internal.math.FormattedFPDecimal.__k__set_JII.this.arg0); (fuzion.java.i32_to_java_object Java.jdk.internal.math.FormattedFPDecimal.__k__set_JII.this.arg1); (fuzion.java.i32_to_java_object Java.jdk.internal.math.FormattedFPDecimal.__k__set_JII.this.arg2)]

  # call Java instance method 'public char[] jdk.internal.math.FormattedFPDecimal.getExponent()':
  #
  public getExponent fuzion.java.Array (u16) =>
    fuzion.java.call_virtual (fuzion.java.Array (u16)) "jdk.internal.math.FormattedFPDecimal" "getExponent" "()[C" FormattedFPDecimal.this []

  # call Java instance method 'public int jdk.internal.math.FormattedFPDecimal.getExponentRounded()':
  #
  public getExponentRounded i32 =>
    fuzion.java.call_virtual (i32) "jdk.internal.math.FormattedFPDecimal" "getExponentRounded" "()I" FormattedFPDecimal.this []

  # call Java instance method 'public char[] jdk.internal.math.FormattedFPDecimal.getMantissa()':
  #
  public getMantissa fuzion.java.Array (u16) =>
    fuzion.java.call_virtual (fuzion.java.Array (u16)) "jdk.internal.math.FormattedFPDecimal" "getMantissa" "()[C" FormattedFPDecimal.this []

  # short-hand to call Java method 'public void jdk.internal.math.FormattedFPDecimal.set(long,int,int)':
  #
  public __k__set(arg0 i64, arg1 i32, arg2 i32) (unit) =>
    __k__set_JII Java.jdk.internal.math.FormattedFPDecimal.__k__set.this.arg0 Java.jdk.internal.math.FormattedFPDecimal.__k__set.this.arg1 Java.jdk.internal.math.FormattedFPDecimal.__k__set.this.arg2