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
Direct Known Subclasses:
Provider

public class Properties
extends Hashtable


Model Field Summary
 
Model fields inherited from class java.util.Hashtable
initialCapacity, mLoadFactor
 
Model fields inherited from class java.lang.Object
_getClass, objectState, theString
 
Model fields inherited from interface java.util.Map
theMap
 
Ghost Field Summary
 
Ghost fields inherited from class java.util.Dictionary
elementType, keyType
 
Ghost fields inherited from class java.lang.Object
objectTimesFinalized, owner
 
Ghost fields inherited from interface java.util.Map
containsNull
 
Field Summary
protected  Properties defaults
           
private static char[] hexDigit
           
private static String keyValueSeparators
           
private static long serialVersionUID
           
private static String specialSaveChars
           
private static String strictKeyValueSeparators
           
private static String whiteSpaceChars
           
 
Constructor Summary
Properties()
           
Properties(Properties)
           
 
Model Method Summary
 
Model methods inherited from class java.lang.Object
hashValue
 
Model methods inherited from interface java.util.Map
contains, contains, nullequals
 
Method Summary
private  boolean continueLine(String)
           
private  void enumerate(Hashtable)
           
 String getProperty(String)
           
 String getProperty(String, String)
           
 void list(PrintStream)
           
 void list(PrintWriter)
           
 void load(InputStream)
           
private  String loadConvert(String)
           
 Enumeration propertyNames()
           
 void save(OutputStream, String)
           
private  String saveConvert(String, boolean)
           
 Object setProperty(String, String)
           
 void store(OutputStream, String)
           
private static char toHex(int)
           
private static void writeln(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

strictKeyValueSeparators

private static final String strictKeyValueSeparators

whiteSpaceChars

private static final String whiteSpaceChars

keyValueSeparators

private static final String keyValueSeparators

defaults

protected Properties defaults

specialSaveChars

private static final String specialSaveChars

serialVersionUID

private static final long serialVersionUID
Constructor Detail

Properties

public Properties()

Properties

public Properties(Properties)
Method Detail

toHex

private static char toHex(int)

load

public void load(InputStream)
          throws IOException
Throws:
IOException

list

public void list(PrintStream)

list

public void list(PrintWriter)

continueLine

private boolean continueLine(String)

propertyNames

public Enumeration propertyNames()

enumerate

private void enumerate(Hashtable)

writeln

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

save

public void save(OutputStream,
                 String)

store

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

getProperty

public String getProperty(String)

loadConvert

private String loadConvert(String)

saveConvert

private String saveConvert(String,
                           boolean)

setProperty

public Object setProperty(String,
                          String)

getProperty

public String getProperty(String,
                          String)

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.