Java/java/time/format/DecimalStyle_static.fz

# Fuzion interface to static members of Java class 'java.time.format.DecimalStyle'
#
# !!!!!!  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.time.format.DecimalStyle_static is

  # call Java static method 'public static java.time.format.DecimalStyle java.time.format.DecimalStyle.of(java.util.Locale)':
  #
  public __k__of_Ljava_7_util_7_Locale_s_(arg0 Java.java.util.Locale) Java.java.time.format.DecimalStyle =>
    fuzion.java.call_static (Java.java.time.format.DecimalStyle) "java.time.format.DecimalStyle" "of" "(Ljava/util/Locale;)Ljava/time/format/DecimalStyle;" [(Java.java.time.format.DecimalStyle_static.__k__of_Ljava_7_util_7_Locale_s_.this.arg0)]

  # call Java static method 'public static java.util.Set java.time.format.DecimalStyle.getAvailableLocales()':
  #
  public getAvailableLocales Java.java.util.Set =>
    fuzion.java.call_static (Java.java.util.Set) "java.time.format.DecimalStyle" "getAvailableLocales" "()Ljava/util/Set;" []

  # call Java static method 'public static java.time.format.DecimalStyle java.time.format.DecimalStyle.ofDefaultLocale()':
  #
  public ofDefaultLocale Java.java.time.format.DecimalStyle =>
    fuzion.java.call_static (Java.java.time.format.DecimalStyle) "java.time.format.DecimalStyle" "ofDefaultLocale" "()Ljava/time/format/DecimalStyle;" []

  # short-hand to call Java method 'public static java.time.format.DecimalStyle java.time.format.DecimalStyle.of(java.util.Locale)':
  #
  public __k__of(arg0 Java.java.util.Locale) (Java.java.time.format.DecimalStyle) =>
    __k__of_Ljava_7_util_7_Locale_s_ Java.java.time.format.DecimalStyle_static.__k__of.this.arg0

  # read static Java field 'public static final java.time.format.DecimalStyle java.time.format.DecimalStyle.STANDARD':
  #
  public STANDARD Java.java.time.format.DecimalStyle =>
    fuzion.java.get_static_field (Java.java.time.format.DecimalStyle) "java.time.format.DecimalStyle" "STANDARD"