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
last changed: 2024-03-07