Java/jdk/internal/util/xml/PropertiesDefaultHandler.fz
# Fuzion interface to instance members of Java instance class 'jdk.internal.util.xml.PropertiesDefaultHandler' # # !!!!!! 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.util.xml.PropertiesDefaultHandler(redef forbidden void) ref : Java.jdk.internal.org.xml.sax.helpers.DefaultHandler(forbidden), fuzion.java.Java_Object(forbidden) is # call Java instance method 'public void jdk.internal.util.xml.PropertiesDefaultHandler.load(java.util.Properties,java.io.InputStream) throws java.io.IOException,java.util.InvalidPropertiesFormatException,java.io.UnsupportedEncodingException': # public load_Ljava_7_util_7_Properties_s_Ljava_7_io_7_InputStream_s_(arg0 Java.java.util.Properties, arg1 Java.java.io.InputStream) outcome (unit) => fuzion.java.call_virtual (outcome (unit)) "jdk.internal.util.xml.PropertiesDefaultHandler" "load" "(Ljava/util/Properties;Ljava/io/InputStream;)V" PropertiesDefaultHandler.this [(Java.jdk.internal.util.xml.PropertiesDefaultHandler.load_Ljava_7_util_7_Properties_s_Ljava_7_io_7_InputStream_s_.this.arg0); (Java.jdk.internal.util.xml.PropertiesDefaultHandler.load_Ljava_7_util_7_Properties_s_Ljava_7_io_7_InputStream_s_.this.arg1)] # call Java instance method 'public void jdk.internal.util.xml.PropertiesDefaultHandler.startDTD(java.lang.String,java.lang.String,java.lang.String) throws jdk.internal.org.xml.sax.SAXException': # public startDTD_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String, arg2 String) outcome (unit) => fuzion.java.call_virtual (outcome (unit)) "jdk.internal.util.xml.PropertiesDefaultHandler" "startDTD" "(Ljava/lang/String;Ljava/lang/String;Ljava/lang/String;)V" PropertiesDefaultHandler.this [(fuzion.java.string_to_java_object Java.jdk.internal.util.xml.PropertiesDefaultHandler.startDTD_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.jdk.internal.util.xml.PropertiesDefaultHandler.startDTD_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1); (fuzion.java.string_to_java_object Java.jdk.internal.util.xml.PropertiesDefaultHandler.startDTD_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg2)] # call Java instance method 'public void jdk.internal.util.xml.PropertiesDefaultHandler.startInternalSub() throws jdk.internal.org.xml.sax.SAXException': # public startInternalSub outcome (unit) => fuzion.java.call_virtual (outcome (unit)) "jdk.internal.util.xml.PropertiesDefaultHandler" "startInternalSub" "()V" PropertiesDefaultHandler.this [] # call Java instance method 'public void jdk.internal.util.xml.PropertiesDefaultHandler.store(java.util.Properties,java.io.OutputStream,java.lang.String,java.nio.charset.Charset) throws java.io.IOException': # public store_Ljava_7_util_7_Properties_s_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_(arg0 Java.java.util.Properties, arg1 Java.java.io.OutputStream, arg2 String, arg3 Java.java.nio.charset.Charset) outcome (unit) => fuzion.java.call_virtual (outcome (unit)) "jdk.internal.util.xml.PropertiesDefaultHandler" "store" "(Ljava/util/Properties;Ljava/io/OutputStream;Ljava/lang/String;Ljava/nio/charset/Charset;)V" PropertiesDefaultHandler.this [(Java.jdk.internal.util.xml.PropertiesDefaultHandler.store_Ljava_7_util_7_Properties_s_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg0); (Java.jdk.internal.util.xml.PropertiesDefaultHandler.store_Ljava_7_util_7_Properties_s_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg1); (fuzion.java.string_to_java_object Java.jdk.internal.util.xml.PropertiesDefaultHandler.store_Ljava_7_util_7_Properties_s_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg2); (Java.jdk.internal.util.xml.PropertiesDefaultHandler.store_Ljava_7_util_7_Properties_s_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg3)] # short-hand to call Java method 'public void jdk.internal.util.xml.PropertiesDefaultHandler.load(java.util.Properties,java.io.InputStream) throws java.io.IOException,java.util.InvalidPropertiesFormatException,java.io.UnsupportedEncodingException': # public load(arg0 Java.java.util.Properties, arg1 Java.java.io.InputStream) (outcome (unit)) => load_Ljava_7_util_7_Properties_s_Ljava_7_io_7_InputStream_s_ Java.jdk.internal.util.xml.PropertiesDefaultHandler.load.this.arg0 Java.jdk.internal.util.xml.PropertiesDefaultHandler.load.this.arg1 # short-hand to call Java method 'public void jdk.internal.util.xml.PropertiesDefaultHandler.startDTD(java.lang.String,java.lang.String,java.lang.String) throws jdk.internal.org.xml.sax.SAXException': # public startDTD(arg0 String, arg1 String, arg2 String) (outcome (unit)) => startDTD_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.jdk.internal.util.xml.PropertiesDefaultHandler.startDTD.this.arg0 Java.jdk.internal.util.xml.PropertiesDefaultHandler.startDTD.this.arg1 Java.jdk.internal.util.xml.PropertiesDefaultHandler.startDTD.this.arg2 # short-hand to call Java method 'public void jdk.internal.util.xml.PropertiesDefaultHandler.store(java.util.Properties,java.io.OutputStream,java.lang.String,java.nio.charset.Charset) throws java.io.IOException': # public store(arg0 Java.java.util.Properties, arg1 Java.java.io.OutputStream, arg2 String, arg3 Java.java.nio.charset.Charset) (outcome (unit)) => store_Ljava_7_util_7_Properties_s_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_ Java.jdk.internal.util.xml.PropertiesDefaultHandler.store.this.arg0 Java.jdk.internal.util.xml.PropertiesDefaultHandler.store.this.arg1 Java.jdk.internal.util.xml.PropertiesDefaultHandler.store.this.arg2 Java.jdk.internal.util.xml.PropertiesDefaultHandler.store.this.arg3