java.lang.Object
   |
   +--java.util.Dictionary
         |
         +--java.util.Hashtable
               |
               +--java.util.Properties

Deklaration

Beschreibung

Methoden
public String	getProperty(String key)
public String	getProperty(String key, String defaultValue)
public void	list(PrintWriter out)
public void	list(PrintStream out)
public synchronized void	load(InputStream in)
public Enumeration	propertyNames()
public synchronized void	save(OutputStream out, String header)       Verworfen in Version 1.2. Ersetzt durch store(java.io.OutputStream,java.lang.String).
public String	setProperty(String key, String value)
public synchronized void	store(OutputStream out, String header)

Datenelemente im Detail

protected Properties defaults

Enthält die voreingestellten Eigenschaften.

Konstruktoren im Detail

public Properties()

Erzeugt ein neues Properties-Objekt ohne voreingestellte Eigenschaften.

public Properties(Properties defaults)

Erzeugt ein neues Properties-Objekt mit den voreingestellten Eigenschaften defaults.

Methoden im Detail

public String getProperty(String key)

Liefert den Wert der durch key bezeichneten Eigenschaft. Falls die Eigenschaft nicht definiert ist, wird null zurückgeliefert.

public String getProperty(String key, String defaultValue)

Liefert den Wert der durch key bezeichneten Eigenschaft. Falls die Eigenschaft nicht definiert ist, wird defaultValue zurückgeliefert.

public void list(PrintWriter out)     

Gibt alle Merkmale und ihre Werte mit dem PrintWriter out aus.

public void list(PrintStream out)

Gibt alle Merkmale und ihre Werte in den Stream out aus.

public synchronized void load(InputStream in)

Lädt die Eigenschaften aus dem Stream in. Die zuvor bereits vorhandenen Eigenschaften bleiben erhalten, d. h., es ist möglich, Merkmale hinzuzuladen. Im Anhang C ist das Format für Property-Dateien beschrieben.

Exception: IOException

• Falls beim Lesen aus dem Stream ein Fehler auftritt.

public Enumeration propertyNames()

Liefert ein Exemplar von Enumeration, das die Name aller definierten Merkmale liefert.

public synchronized void save(OutputStream out, String header)

Gibt die Merkmale und ihre Werte in den Stream out aus. Zuvor wird die Kopfzeile header und das aktuelle Datum eingetragen. header darf null sein.

public String setProperty(String key, String value)     

Setzt den Wert der durch key bezeichneten Eigenschaft auf value und liefert null, falls die Eigenschaft bisher noch nicht definiert war. Ansonsten wird der Wert ersetzt und der alte Wert zurückgeliefert.

public synchronized void store(OutputStream out, String header)

Gibt die Merkmale und ihre Werte in den Stream out aus. Zuvor wird die Kopfzeile header und das aktuelle Datum eingetragen. header darf null sein.

Exception: IOException

• Falls beim Speichern ein Fehler aufgetreten ist.