JML

java.util
Class Properties

java.lang.Object
  extended byjava.util.Dictionary
      extended byjava.util.Hashtable
          extended byjava.util.Properties
All Implemented Interfaces:
Cloneable, Map, Serializable

public class Properties
extends Hashtable


Nested Class Summary
(package private)  class Properties.LineReader
           
 
Nested classes inherited from class java.util.Hashtable
Hashtable.1
 
Field Summary
protected  Properties defaults
           
private static char[] hexDigit
           
private static long serialVersionUID
           
 
Fields inherited from class java.util.Hashtable
 
Constructor Summary
Properties()
           
Properties(Properties)
           
 
Method Summary
private  void enumerate(Hashtable)
           
private  void enumerateStringProperties(Hashtable)
           
 String getProperty(String)
           
 String getProperty(String, String)
           
 void list(PrintStream)
           
 void list(PrintWriter)
           
 void load(InputStream)
           
 void load(Reader)
           
private  void load0(Properties.LineReader)
           
private  String loadConvert(char[], int, int, char[])
           
 void loadFromXML(InputStream)
           
 Enumeration propertyNames()
           
 void save(OutputStream, String)
           
private  String saveConvert(String, boolean, boolean)
           
 Object setProperty(String, String)
           
 void store(OutputStream, String)
           
 void store(Writer, String)
           
private  void store0(BufferedWriter, String, boolean)
           
 void storeToXML(OutputStream, String)
           
 void storeToXML(OutputStream, String, String)
           
 Set stringPropertyNames()
           
private static char toHex(int)
           
private static void writeComments(BufferedWriter, String)
           
 
Methods inherited from class java.util.Hashtable
clear, clone, contains, containsKey, containsValue, elements, entrySet, equals, get, hashCode, isEmpty, keys, keySet, put, putAll, rehash, remove, size, toString, values
 
Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait
 

Field Detail

hexDigit

private static final char[] hexDigit

defaults

protected Properties defaults

serialVersionUID

private static final long serialVersionUID
Constructor Detail

Properties

public Properties()

Properties

public Properties(Properties)
Method Detail

setProperty

public Object setProperty(String,
                          String)

load

public void load(Reader)
          throws IOException
Throws:
IOException

load

public void load(InputStream)
          throws IOException
Throws:
IOException

load0

private void load0(Properties.LineReader)
            throws IOException
Throws:
IOException

loadConvert

private String loadConvert(char[],
                           int,
                           int,
                           char[])

saveConvert

private String saveConvert(String,
                           boolean,
                           boolean)

writeComments

private static void writeComments(BufferedWriter,
                                  String)
                           throws IOException
Throws:
IOException

save

public void save(OutputStream,
                 String)

store

public void store(Writer,
                  String)
           throws IOException
Throws:
IOException

store

public void store(OutputStream,
                  String)
           throws IOException
Throws:
IOException

store0

private void store0(BufferedWriter,
                    String,
                    boolean)
             throws IOException
Throws:
IOException

loadFromXML

public void loadFromXML(InputStream)
                 throws IOException,
                        InvalidPropertiesFormatException
Throws:
IOException
InvalidPropertiesFormatException

storeToXML

public void storeToXML(OutputStream,
                       String)
                throws IOException
Throws:
IOException

storeToXML

public void storeToXML(OutputStream,
                       String,
                       String)
                throws IOException
Throws:
IOException

getProperty

public String getProperty(String)

getProperty

public String getProperty(String,
                          String)

propertyNames

public Enumeration propertyNames()

stringPropertyNames

public Set stringPropertyNames()

list

public void list(PrintStream)

list

public void list(PrintWriter)

enumerate

private void enumerate(Hashtable)

enumerateStringProperties

private void enumerateStringProperties(Hashtable)

toHex

private static char toHex(int)

JML

JML is Copyright (C) 1998-2002 by Iowa State University and is distributed under the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version. This release depends on code from the MultiJava project and is based in part on the Kopi project Copyright (C) 1990-99 DMS Decision Management Systems Ges.m.b.H.