Die Properties Datei
Die Java Properties Dateien sind normale Textdateien, die als einfaches Konfigurationswerkzeug dienen. Diese Dateien können unter einem beliebigen Namen abgelegt werden. Die Dateiendung lautet .properties.
Beispiel
# Kommentar zur Datei
! Ebenfalls Kommentar
Portnummer 3128
hostname = beispielhost
sprache:de
langerText Dieser Text \
ist länger als eine Zeile
! Ebenfalls Kommentar
Portnummer 3128
hostname = beispielhost
sprache:de
langerText Dieser Text \
ist länger als eine Zeile
Es gibt 3 Möglichkeiten um Schlüssel, Werte und normale Werte einzugeben.
- Mit Leerzeichen, wobei die Menge der Leerzeichen keine Rolle spielt. Wie im obigen Beispiel der Schlüssel "Portnummer" sowie der Wert "3128".
- Mit Gleichheitszeichen, die Anzahl Leerzeichen ist gleichgültig. So wie im obigen Beispiel "hostname" und "beispielhost"
- Mit einem Doppelpunkt, auch hier spielt die Anzahl Leerzeichen keine Rolle
Um den Text auf der nächsten Linie fortzuführen, kann man einen Zeilenumbruch mit folgendem Zeichen realisieren: \
Aufruf im Java Code
Der folgende Code ruft das Properties File "beispiel.properties" auf. Danach wird aus diesem File der Wert "hostname" ausgelesen.
String propertyFile = "beispiel.properties";
Properties prop = new Properties();
try
{
prop.load(new FileInputStream(propertyFile));
// Properties File laden
}
catch (IOException e)
{
// Wenn das laden fehlgeschlagen ist
}
String hostname = prop.getProperty("hostname");
Wikipedia - Java Properties Datei
Properties prop = new Properties();
try
{
prop.load(new FileInputStream(propertyFile));
// Properties File laden
}
catch (IOException e)
{
// Wenn das laden fehlgeschlagen ist
}
String hostname = prop.getProperty("hostname");
Keine Kommentare:
Kommentar veröffentlichen