Package Name: java.util.properties

Return to: Package List

with java.util.Hashtable; use java.util.Hashtable;
with java.lang.String; use java.lang.String;
with java.util.Enumeration; use java.util.Enumeration;
with java.io.OutputStream; use java.io.OutputStream;
with java.io.InputStream; use java.io.InputStream;
with java.io.PrintStream; use java.io.PrintStream;

package java.util.Properties is
    type Properties_Obj is new Hashtable_Obj with null record;

    type Properties_Ptr is access all Properties_Obj'Class;
    procedure init_Properties(Obj : access Properties_Obj'Class);

    function new_Properties(Obj : Properties_Ptr := null) return Properties_Ptr;
    function new_Properties(
        defaults : Properties_Ptr;
        Obj : Properties_Ptr := null)

      return Properties_Ptr;
    procedure load(Obj : access Properties_Obj;

        stdin : InputStream_Ptr);
    procedure save(Obj : access Properties_Obj;
        stdout : OutputStream_Ptr;

        header : String_Ptr);
    function getProperty(Obj : access Properties_Obj;
        key : String_Ptr)

      return String_Ptr;
    function getProperty(Obj : access Properties_Obj;
        key : String_Ptr;
        defaultValue : String_Ptr)

      return String_Ptr;

    function propertyNames(Obj : access Properties_Obj) return Enumeration_Ptr;
    procedure list(Obj : access Properties_Obj;

        stdout : PrintStream_Ptr);
    pragma Import(Java, getProperty);
    pragma Import(Java, propertyNames);
    pragma Import(Java, load);
    pragma Import(Java, list);

    pragma Import(Java, save);
    pragma Import(Java_Constructor, init_Properties);

    pragma Import(Java_Constructor, new_Properties);
end java.util.Properties;