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