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

Java/java/text/DateFormat.fz


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

  # call Java instance method 'public final java.lang.String java.text.DateFormat.format(java.util.Date)':
  #
  public format_Ljava_7_util_7_Date_s_(arg0 Java.java.util.Date) Java.java.lang.__jString =>
    fuzion.java.call_virtual (Java.java.lang.__jString) "java.text.DateFormat" "format" "(Ljava/util/Date;)Ljava/lang/String;" DateFormat.this [(Java.java.text.DateFormat.format_Ljava_7_util_7_Date_s_.this.arg0)]

  # call Java instance method 'public abstract java.lang.StringBuffer java.text.DateFormat.format(java.util.Date,java.lang.StringBuffer,java.text.FieldPosition)':
  #
  public format_Ljava_7_util_7_Date_s_Ljava_7_lang_7_StringBuffer_s_Ljava_7_text_7_FieldPosition_s_(arg0 Java.java.util.Date, arg1 Java.java.lang.StringBuffer, arg2 Java.java.text.FieldPosition) Java.java.lang.StringBuffer =>
    fuzion.java.call_virtual (Java.java.lang.StringBuffer) "java.text.DateFormat" "format" "(Ljava/util/Date;Ljava/lang/StringBuffer;Ljava/text/FieldPosition;)Ljava/lang/StringBuffer;" DateFormat.this [(Java.java.text.DateFormat.format_Ljava_7_util_7_Date_s_Ljava_7_lang_7_StringBuffer_s_Ljava_7_text_7_FieldPosition_s_.this.arg0); (Java.java.text.DateFormat.format_Ljava_7_util_7_Date_s_Ljava_7_lang_7_StringBuffer_s_Ljava_7_text_7_FieldPosition_s_.this.arg1); (Java.java.text.DateFormat.format_Ljava_7_util_7_Date_s_Ljava_7_lang_7_StringBuffer_s_Ljava_7_text_7_FieldPosition_s_.this.arg2)]

  # call Java instance method 'public java.util.Calendar java.text.DateFormat.getCalendar()':
  #
  public getCalendar Java.java.util.Calendar =>
    fuzion.java.call_virtual (Java.java.util.Calendar) "java.text.DateFormat" "getCalendar" "()Ljava/util/Calendar;" DateFormat.this []

  # call Java instance method 'public java.text.NumberFormat java.text.DateFormat.getNumberFormat()':
  #
  public getNumberFormat Java.java.text.NumberFormat =>
    fuzion.java.call_virtual (Java.java.text.NumberFormat) "java.text.DateFormat" "getNumberFormat" "()Ljava/text/NumberFormat;" DateFormat.this []

  # call Java instance method 'public java.util.TimeZone java.text.DateFormat.getTimeZone()':
  #
  public getTimeZone Java.java.util.TimeZone =>
    fuzion.java.call_virtual (Java.java.util.TimeZone) "java.text.DateFormat" "getTimeZone" "()Ljava/util/TimeZone;" DateFormat.this []

  # call Java instance method 'public boolean java.text.DateFormat.isLenient()':
  #
  public isLenient bool =>
    fuzion.java.call_virtual (bool) "java.text.DateFormat" "isLenient" "()Z" DateFormat.this []

  # call Java instance method 'public java.util.Date java.text.DateFormat.parse(java.lang.String) throws java.text.ParseException':
  #
  public parse_Ljava_7_lang_7_String_s_(arg0 String) outcome (Java.java.util.Date) =>
    fuzion.java.call_virtual (outcome (Java.java.util.Date)) "java.text.DateFormat" "parse" "(Ljava/lang/String;)Ljava/util/Date;" DateFormat.this [(fuzion.java.string_to_java_object Java.java.text.DateFormat.parse_Ljava_7_lang_7_String_s_.this.arg0)]

  # call Java instance method 'public abstract java.util.Date java.text.DateFormat.parse(java.lang.String,java.text.ParsePosition)':
  #
  public parse_Ljava_7_lang_7_String_s_Ljava_7_text_7_ParsePosition_s_(arg0 String, arg1 Java.java.text.ParsePosition) Java.java.util.Date =>
    fuzion.java.call_virtual (Java.java.util.Date) "java.text.DateFormat" "parse" "(Ljava/lang/String;Ljava/text/ParsePosition;)Ljava/util/Date;" DateFormat.this [(fuzion.java.string_to_java_object Java.java.text.DateFormat.parse_Ljava_7_lang_7_String_s_Ljava_7_text_7_ParsePosition_s_.this.arg0); (Java.java.text.DateFormat.parse_Ljava_7_lang_7_String_s_Ljava_7_text_7_ParsePosition_s_.this.arg1)]

  # call Java instance method 'public void java.text.DateFormat.setCalendar(java.util.Calendar)':
  #
  public setCalendar_Ljava_7_util_7_Calendar_s_(arg0 Java.java.util.Calendar) unit =>
    fuzion.java.call_virtual (unit) "java.text.DateFormat" "setCalendar" "(Ljava/util/Calendar;)V" DateFormat.this [(Java.java.text.DateFormat.setCalendar_Ljava_7_util_7_Calendar_s_.this.arg0)]

  # call Java instance method 'public void java.text.DateFormat.setLenient(boolean)':
  #
  public setLenient_Z(arg0 bool) unit =>
    fuzion.java.call_virtual (unit) "java.text.DateFormat" "setLenient" "(Z)V" DateFormat.this [(fuzion.java.bool_to_java_object Java.java.text.DateFormat.setLenient_Z.this.arg0)]

  # call Java instance method 'public void java.text.DateFormat.setNumberFormat(java.text.NumberFormat)':
  #
  public setNumberFormat_Ljava_7_text_7_NumberFormat_s_(arg0 Java.java.text.NumberFormat) unit =>
    fuzion.java.call_virtual (unit) "java.text.DateFormat" "setNumberFormat" "(Ljava/text/NumberFormat;)V" DateFormat.this [(Java.java.text.DateFormat.setNumberFormat_Ljava_7_text_7_NumberFormat_s_.this.arg0)]

  # call Java instance method 'public void java.text.DateFormat.setTimeZone(java.util.TimeZone)':
  #
  public setTimeZone_Ljava_7_util_7_TimeZone_s_(arg0 Java.java.util.TimeZone) unit =>
    fuzion.java.call_virtual (unit) "java.text.DateFormat" "setTimeZone" "(Ljava/util/TimeZone;)V" DateFormat.this [(Java.java.text.DateFormat.setTimeZone_Ljava_7_util_7_TimeZone_s_.this.arg0)]

  # short-hand to call Java method 'public java.util.Date java.text.DateFormat.parse(java.lang.String) throws java.text.ParseException':
  #
  public parse(arg0 String) (outcome (Java.java.util.Date)) =>
    parse_Ljava_7_lang_7_String_s_ Java.java.text.DateFormat.parse.this.arg0

  # short-hand to call Java method 'public abstract java.util.Date java.text.DateFormat.parse(java.lang.String,java.text.ParsePosition)':
  #
  public parse(arg0 String, arg1 Java.java.text.ParsePosition) (Java.java.util.Date) =>
    parse_Ljava_7_lang_7_String_s_Ljava_7_text_7_ParsePosition_s_ Java.java.text.DateFormat.parse.this.arg0 Java.java.text.DateFormat.parse.this.arg1

  # short-hand to call Java method 'public void java.text.DateFormat.setCalendar(java.util.Calendar)':
  #
  public setCalendar(arg0 Java.java.util.Calendar) (unit) =>
    setCalendar_Ljava_7_util_7_Calendar_s_ Java.java.text.DateFormat.setCalendar.this.arg0

  # short-hand to call Java method 'public void java.text.DateFormat.setLenient(boolean)':
  #
  public setLenient(arg0 bool) (unit) =>
    setLenient_Z Java.java.text.DateFormat.setLenient.this.arg0

  # short-hand to call Java method 'public void java.text.DateFormat.setNumberFormat(java.text.NumberFormat)':
  #
  public setNumberFormat(arg0 Java.java.text.NumberFormat) (unit) =>
    setNumberFormat_Ljava_7_text_7_NumberFormat_s_ Java.java.text.DateFormat.setNumberFormat.this.arg0

  # short-hand to call Java method 'public void java.text.DateFormat.setTimeZone(java.util.TimeZone)':
  #
  public setTimeZone(arg0 Java.java.util.TimeZone) (unit) =>
    setTimeZone_Ljava_7_util_7_TimeZone_s_ Java.java.text.DateFormat.setTimeZone.this.arg0