Java/java/util/Properties.fz
# Fuzion interface to instance members of Java instance class 'java.util.Properties'
#
# !!!!!! 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.util.Properties(redef forbidden void) ref : Java.java.util.Hashtable(forbidden), fuzion.java.Java_Object(forbidden) is
# call Java instance method 'public java.lang.String java.util.Properties.getProperty(java.lang.String)':
#
public getProperty_Ljava_7_lang_7_String_s_(arg0 String) Java.java.lang.__jString =>
fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.Properties" "getProperty" "(Ljava/lang/String;)Ljava/lang/String;" Properties.this [(fuzion.java.string_to_java_object Java.java.util.Properties.getProperty_Ljava_7_lang_7_String_s_.this.arg0)]
# call Java instance method 'public java.lang.String java.util.Properties.getProperty(java.lang.String,java.lang.String)':
#
public getProperty_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) Java.java.lang.__jString =>
fuzion.java.call_virtual (Java.java.lang.__jString) "java.util.Properties" "getProperty" "(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/String;" Properties.this [(fuzion.java.string_to_java_object Java.java.util.Properties.getProperty_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.util.Properties.getProperty_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]
# call Java instance method 'public void java.util.Properties.list(java.io.PrintStream)':
#
public list_Ljava_7_io_7_PrintStream_s_(arg0 Java.java.io.PrintStream) unit =>
fuzion.java.call_virtual (unit) "java.util.Properties" "list" "(Ljava/io/PrintStream;)V" Properties.this [(Java.java.util.Properties.list_Ljava_7_io_7_PrintStream_s_.this.arg0)]
# call Java instance method 'public void java.util.Properties.list(java.io.PrintWriter)':
#
public list_Ljava_7_io_7_PrintWriter_s_(arg0 Java.java.io.PrintWriter) unit =>
fuzion.java.call_virtual (unit) "java.util.Properties" "list" "(Ljava/io/PrintWriter;)V" Properties.this [(Java.java.util.Properties.list_Ljava_7_io_7_PrintWriter_s_.this.arg0)]
# call Java instance method 'public synchronized void java.util.Properties.loadFromXML(java.io.InputStream) throws java.io.IOException,java.util.InvalidPropertiesFormatException':
#
public loadFromXML_Ljava_7_io_7_InputStream_s_(arg0 Java.java.io.InputStream) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.util.Properties" "loadFromXML" "(Ljava/io/InputStream;)V" Properties.this [(Java.java.util.Properties.loadFromXML_Ljava_7_io_7_InputStream_s_.this.arg0)]
# call Java instance method 'public synchronized void java.util.Properties.load(java.io.InputStream) throws java.io.IOException':
#
public load_Ljava_7_io_7_InputStream_s_(arg0 Java.java.io.InputStream) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.util.Properties" "load" "(Ljava/io/InputStream;)V" Properties.this [(Java.java.util.Properties.load_Ljava_7_io_7_InputStream_s_.this.arg0)]
# call Java instance method 'public synchronized void java.util.Properties.load(java.io.Reader) throws java.io.IOException':
#
public load_Ljava_7_io_7_Reader_s_(arg0 Java.java.io.Reader) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.util.Properties" "load" "(Ljava/io/Reader;)V" Properties.this [(Java.java.util.Properties.load_Ljava_7_io_7_Reader_s_.this.arg0)]
# call Java instance method 'public java.util.Enumeration java.util.Properties.propertyNames()':
#
public propertyNames Java.java.util.Enumeration =>
fuzion.java.call_virtual (Java.java.util.Enumeration) "java.util.Properties" "propertyNames" "()Ljava/util/Enumeration;" Properties.this []
# call Java instance method 'public void java.util.Properties.save(java.io.OutputStream,java.lang.String)':
#
public save_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_(arg0 Java.java.io.OutputStream, arg1 String) unit =>
fuzion.java.call_virtual (unit) "java.util.Properties" "save" "(Ljava/io/OutputStream;Ljava/lang/String;)V" Properties.this [(Java.java.util.Properties.save_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.util.Properties.save_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_.this.arg1)]
# call Java instance method 'public synchronized java.lang.Object java.util.Properties.setProperty(java.lang.String,java.lang.String)':
#
public setProperty_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 String, arg1 String) Java.java.lang.Object =>
fuzion.java.call_virtual (Java.java.lang.Object) "java.util.Properties" "setProperty" "(Ljava/lang/String;Ljava/lang/String;)Ljava/lang/Object;" Properties.this [(fuzion.java.string_to_java_object Java.java.util.Properties.setProperty_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.util.Properties.setProperty_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1)]
# call Java instance method 'public void java.util.Properties.storeToXML(java.io.OutputStream,java.lang.String) throws java.io.IOException':
#
public storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_(arg0 Java.java.io.OutputStream, arg1 String) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.util.Properties" "storeToXML" "(Ljava/io/OutputStream;Ljava/lang/String;)V" Properties.this [(Java.java.util.Properties.storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.util.Properties.storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_.this.arg1)]
# call Java instance method 'public void java.util.Properties.storeToXML(java.io.OutputStream,java.lang.String,java.lang.String) throws java.io.IOException':
#
public storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_(arg0 Java.java.io.OutputStream, arg1 String, arg2 String) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.util.Properties" "storeToXML" "(Ljava/io/OutputStream;Ljava/lang/String;Ljava/lang/String;)V" Properties.this [(Java.java.util.Properties.storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.util.Properties.storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg1); (fuzion.java.string_to_java_object Java.java.util.Properties.storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_.this.arg2)]
# call Java instance method 'public void java.util.Properties.storeToXML(java.io.OutputStream,java.lang.String,java.nio.charset.Charset) throws java.io.IOException':
#
public storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_(arg0 Java.java.io.OutputStream, arg1 String, arg2 Java.java.nio.charset.Charset) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.util.Properties" "storeToXML" "(Ljava/io/OutputStream;Ljava/lang/String;Ljava/nio/charset/Charset;)V" Properties.this [(Java.java.util.Properties.storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.util.Properties.storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg1); (Java.java.util.Properties.storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_nio_7_charset_7_Charset_s_.this.arg2)]
# call Java instance method 'public void java.util.Properties.store(java.io.OutputStream,java.lang.String) throws java.io.IOException':
#
public store_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_(arg0 Java.java.io.OutputStream, arg1 String) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.util.Properties" "store" "(Ljava/io/OutputStream;Ljava/lang/String;)V" Properties.this [(Java.java.util.Properties.store_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.util.Properties.store_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_.this.arg1)]
# call Java instance method 'public void java.util.Properties.store(java.io.Writer,java.lang.String) throws java.io.IOException':
#
public store_Ljava_7_io_7_Writer_s_Ljava_7_lang_7_String_s_(arg0 Java.java.io.Writer, arg1 String) outcome (unit) =>
fuzion.java.call_virtual (outcome (unit)) "java.util.Properties" "store" "(Ljava/io/Writer;Ljava/lang/String;)V" Properties.this [(Java.java.util.Properties.store_Ljava_7_io_7_Writer_s_Ljava_7_lang_7_String_s_.this.arg0); (fuzion.java.string_to_java_object Java.java.util.Properties.store_Ljava_7_io_7_Writer_s_Ljava_7_lang_7_String_s_.this.arg1)]
# call Java instance method 'public java.util.Set java.util.Properties.stringPropertyNames()':
#
public stringPropertyNames Java.java.util.Set =>
fuzion.java.call_virtual (Java.java.util.Set) "java.util.Properties" "stringPropertyNames" "()Ljava/util/Set;" Properties.this []
# short-hand to call Java method 'public java.lang.String java.util.Properties.getProperty(java.lang.String)':
#
public getProperty(arg0 String) (Java.java.lang.__jString) =>
getProperty_Ljava_7_lang_7_String_s_ Java.java.util.Properties.getProperty.this.arg0
# short-hand to call Java method 'public java.lang.String java.util.Properties.getProperty(java.lang.String,java.lang.String)':
#
public getProperty(arg0 String, arg1 String) (Java.java.lang.__jString) =>
getProperty_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.java.util.Properties.getProperty.this.arg0 Java.java.util.Properties.getProperty.this.arg1
# short-hand to call Java method 'public void java.util.Properties.list(java.io.PrintStream)':
#
public list(arg0 Java.java.io.PrintStream) (unit) =>
list_Ljava_7_io_7_PrintStream_s_ Java.java.util.Properties.list.this.arg0
# short-hand to call Java method 'public synchronized void java.util.Properties.load(java.io.Reader) throws java.io.IOException':
#
public load(arg0 Java.java.io.Reader) (outcome (unit)) =>
load_Ljava_7_io_7_Reader_s_ Java.java.util.Properties.load.this.arg0
# short-hand to call Java method 'public synchronized void java.util.Properties.loadFromXML(java.io.InputStream) throws java.io.IOException,java.util.InvalidPropertiesFormatException':
#
public loadFromXML(arg0 Java.java.io.InputStream) (outcome (unit)) =>
loadFromXML_Ljava_7_io_7_InputStream_s_ Java.java.util.Properties.loadFromXML.this.arg0
# short-hand to call Java method 'public void java.util.Properties.save(java.io.OutputStream,java.lang.String)':
#
public save(arg0 Java.java.io.OutputStream, arg1 String) (unit) =>
save_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_ Java.java.util.Properties.save.this.arg0 Java.java.util.Properties.save.this.arg1
# short-hand to call Java method 'public synchronized java.lang.Object java.util.Properties.setProperty(java.lang.String,java.lang.String)':
#
public setProperty(arg0 String, arg1 String) (Java.java.lang.Object) =>
setProperty_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.java.util.Properties.setProperty.this.arg0 Java.java.util.Properties.setProperty.this.arg1
# short-hand to call Java method 'public void java.util.Properties.store(java.io.OutputStream,java.lang.String) throws java.io.IOException':
#
public store(arg0 Java.java.io.OutputStream, arg1 String) (outcome (unit)) =>
store_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_ Java.java.util.Properties.store.this.arg0 Java.java.util.Properties.store.this.arg1
# short-hand to call Java method 'public void java.util.Properties.storeToXML(java.io.OutputStream,java.lang.String) throws java.io.IOException':
#
public storeToXML(arg0 Java.java.io.OutputStream, arg1 String) (outcome (unit)) =>
storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_ Java.java.util.Properties.storeToXML.this.arg0 Java.java.util.Properties.storeToXML.this.arg1
# short-hand to call Java method 'public void java.util.Properties.storeToXML(java.io.OutputStream,java.lang.String,java.lang.String) throws java.io.IOException':
#
public storeToXML(arg0 Java.java.io.OutputStream, arg1 String, arg2 String) (outcome (unit)) =>
storeToXML_Ljava_7_io_7_OutputStream_s_Ljava_7_lang_7_String_s_Ljava_7_lang_7_String_s_ Java.java.util.Properties.storeToXML.this.arg0 Java.java.util.Properties.storeToXML.this.arg1 Java.java.util.Properties.storeToXML.this.arg2
last changed: 2024-03-07