Java/jdk/internal/math/FormattedFPDecimal_static.fz

# Fuzion interface to static members of Java 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_static is

  # call Java static method 'public static jdk.internal.math.FormattedFPDecimal jdk.internal.math.FormattedFPDecimal.valueOf(double,int,char)':
  #
  public valueOf_DIC(arg0 f64, arg1 i32, arg2 u16) Java.jdk.internal.math.FormattedFPDecimal =>
    fuzion.java.call_static (Java.jdk.internal.math.FormattedFPDecimal) "jdk.internal.math.FormattedFPDecimal" "valueOf" "(DIC)Ljdk/internal/math/FormattedFPDecimal;" [(fuzion.java.f64_to_java_object Java.jdk.internal.math.FormattedFPDecimal_static.valueOf_DIC.this.arg0); (fuzion.java.i32_to_java_object Java.jdk.internal.math.FormattedFPDecimal_static.valueOf_DIC.this.arg1); (fuzion.java.u16_to_java_object Java.jdk.internal.math.FormattedFPDecimal_static.valueOf_DIC.this.arg2)]

  # short-hand to call Java method 'public static jdk.internal.math.FormattedFPDecimal jdk.internal.math.FormattedFPDecimal.valueOf(double,int,char)':
  #
  public valueOf(arg0 f64, arg1 i32, arg2 u16) (Java.jdk.internal.math.FormattedFPDecimal) =>
    valueOf_DIC Java.jdk.internal.math.FormattedFPDecimal_static.valueOf.this.arg0 Java.jdk.internal.math.FormattedFPDecimal_static.valueOf.this.arg1 Java.jdk.internal.math.FormattedFPDecimal_static.valueOf.this.arg2

  # read static Java field 'public static final char jdk.internal.math.FormattedFPDecimal.GENERAL':
  #
  public GENERAL u16 =>
    fuzion.java.get_static_field (u16) "jdk.internal.math.FormattedFPDecimal" "GENERAL"

  # read static Java field 'public static final char jdk.internal.math.FormattedFPDecimal.PLAIN':
  #
  public PLAIN u16 =>
    fuzion.java.get_static_field (u16) "jdk.internal.math.FormattedFPDecimal" "PLAIN"

  # read static Java field 'public static final char jdk.internal.math.FormattedFPDecimal.SCIENTIFIC':
  #
  public SCIENTIFIC u16 =>
    fuzion.java.get_static_field (u16) "jdk.internal.math.FormattedFPDecimal" "SCIENTIFIC"