Java/java/text/spi/DateFormatProvider.fz

# Fuzion interface to instance members of Java instance class 'java.text.spi.DateFormatProvider'
#
# !!!!!!  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.text.spi.DateFormatProvider(redef forbidden void) ref : Java.java.util.spi.LocaleServiceProvider(forbidden), fuzion.java.Java_Object(forbidden) is

  # call Java instance method 'public abstract java.text.DateFormat java.text.spi.DateFormatProvider.getDateInstance(int,java.util.Locale)':
  #
  public getDateInstance_ILjava_7_util_7_Locale_s_(arg0 i32, arg1 Java.java.util.Locale) Java.java.text.DateFormat =>
    fuzion.java.call_virtual (Java.java.text.DateFormat) "java.text.spi.DateFormatProvider" "getDateInstance" "(ILjava/util/Locale;)Ljava/text/DateFormat;" DateFormatProvider.this [(fuzion.java.i32_to_java_object Java.java.text.spi.DateFormatProvider.getDateInstance_ILjava_7_util_7_Locale_s_.this.arg0); (Java.java.text.spi.DateFormatProvider.getDateInstance_ILjava_7_util_7_Locale_s_.this.arg1)]

  # call Java instance method 'public abstract java.text.DateFormat java.text.spi.DateFormatProvider.getDateTimeInstance(int,int,java.util.Locale)':
  #
  public getDateTimeInstance_IILjava_7_util_7_Locale_s_(arg0 i32, arg1 i32, arg2 Java.java.util.Locale) Java.java.text.DateFormat =>
    fuzion.java.call_virtual (Java.java.text.DateFormat) "java.text.spi.DateFormatProvider" "getDateTimeInstance" "(IILjava/util/Locale;)Ljava/text/DateFormat;" DateFormatProvider.this [(fuzion.java.i32_to_java_object Java.java.text.spi.DateFormatProvider.getDateTimeInstance_IILjava_7_util_7_Locale_s_.this.arg0); (fuzion.java.i32_to_java_object Java.java.text.spi.DateFormatProvider.getDateTimeInstance_IILjava_7_util_7_Locale_s_.this.arg1); (Java.java.text.spi.DateFormatProvider.getDateTimeInstance_IILjava_7_util_7_Locale_s_.this.arg2)]

  # call Java instance method 'public abstract java.text.DateFormat java.text.spi.DateFormatProvider.getTimeInstance(int,java.util.Locale)':
  #
  public getTimeInstance_ILjava_7_util_7_Locale_s_(arg0 i32, arg1 Java.java.util.Locale) Java.java.text.DateFormat =>
    fuzion.java.call_virtual (Java.java.text.DateFormat) "java.text.spi.DateFormatProvider" "getTimeInstance" "(ILjava/util/Locale;)Ljava/text/DateFormat;" DateFormatProvider.this [(fuzion.java.i32_to_java_object Java.java.text.spi.DateFormatProvider.getTimeInstance_ILjava_7_util_7_Locale_s_.this.arg0); (Java.java.text.spi.DateFormatProvider.getTimeInstance_ILjava_7_util_7_Locale_s_.this.arg1)]

  # short-hand to call Java method 'public abstract java.text.DateFormat java.text.spi.DateFormatProvider.getDateInstance(int,java.util.Locale)':
  #
  public getDateInstance(arg0 i32, arg1 Java.java.util.Locale) (Java.java.text.DateFormat) =>
    getDateInstance_ILjava_7_util_7_Locale_s_ Java.java.text.spi.DateFormatProvider.getDateInstance.this.arg0 Java.java.text.spi.DateFormatProvider.getDateInstance.this.arg1

  # short-hand to call Java method 'public abstract java.text.DateFormat java.text.spi.DateFormatProvider.getDateTimeInstance(int,int,java.util.Locale)':
  #
  public getDateTimeInstance(arg0 i32, arg1 i32, arg2 Java.java.util.Locale) (Java.java.text.DateFormat) =>
    getDateTimeInstance_IILjava_7_util_7_Locale_s_ Java.java.text.spi.DateFormatProvider.getDateTimeInstance.this.arg0 Java.java.text.spi.DateFormatProvider.getDateTimeInstance.this.arg1 Java.java.text.spi.DateFormatProvider.getDateTimeInstance.this.arg2

  # short-hand to call Java method 'public abstract java.text.DateFormat java.text.spi.DateFormatProvider.getTimeInstance(int,java.util.Locale)':
  #
  public getTimeInstance(arg0 i32, arg1 Java.java.util.Locale) (Java.java.text.DateFormat) =>
    getTimeInstance_ILjava_7_util_7_Locale_s_ Java.java.text.spi.DateFormatProvider.getTimeInstance.this.arg0 Java.java.text.spi.DateFormatProvider.getTimeInstance.this.arg1