public class Properties
extends java.lang.Object
ストリームへ保管したり、ストリームからロードしたりできる。 各プロパティのキー、およびそれに対応する値は文字列。 プロパティセットには、デフォルトを指定することができ、 元のプロパティセットで指定されたキーが見つからない場合には、 この2番目のプロパティセットが検索される。
| コンストラクタと説明 |
|---|
Properties()
デフォルトコンストラクタ
|
Properties(java.util.Map<java.lang.String,java.lang.String> defaults)
コンストラクタ
指定されたデータでデフォルトが初期設定される
|
Properties(Properties prop)
コピーコンストラクタ
コピー元となるPropertiesオブジェクトと同内容を持つ
別のPropertiesオブジェクトを新たに作成する。
|
Properties(java.lang.String key)
コンストラクタ
{@.ja 指定されたキーを持つプロパティが初期設定される。
|
Properties(java.lang.String[] defaults)
コンストラクタ
指定されたデータでデフォルトが初期設定される。
|
Properties(java.lang.String key,
java.lang.String value)
コンストラクタ
指定されたキーおよび値を持つプロパティが初期設定される。
|
| 修飾子とタイプ | メソッドと説明 |
|---|---|
protected java.io.OutputStream |
_dump(java.io.OutputStream out,
Properties curr,
int index) |
java.lang.String |
_dump(java.lang.String out,
Properties curr,
int index)
Propertiesの内容を文字列にする。
|
protected Properties |
_getNode(java.util.Vector<java.lang.String> keys,
int index,
Properties curr) |
protected void |
_propertyNames(java.util.Vector<java.lang.String> names,
java.lang.String curr_name,
Properties curr) |
protected void |
_store(java.io.OutputStream out,
java.lang.String curr_name,
Properties curr) |
void |
clear()
子ノードを全て削除する。
|
boolean |
createNode(java.lang.String key)
指定されたキーのPropertiesオブジェクトを、
当該Propertiesオブジェクト内に子ノードとして作成する。
|
void |
destruct()
削除処理を行う。
|
protected void |
finalize() |
Properties |
findNode(java.lang.String key)
ノードを検索する
|
java.lang.String |
getDefault(java.lang.String key)
指定されたキーに対応するデフォルト値を取得する。
|
java.lang.String |
getDefaultValue()
当該Propertiesオブジェクトのデフォルト値を取得する。
|
java.util.Vector<Properties> |
getLeaf()
当該Propertiesオブジェクトの子ノード群を取得する。
|
java.lang.String |
getName()
当該Propertiesオブジェクトのキーを取得する。
|
Properties |
getNode(java.lang.String key)
指定されたキーに対応する値を直接保持しているProperties
オブジェクトを取得する
|
java.lang.String |
getProperty(java.lang.String key)
指定されたキーに対応する値を取得する。
|
java.lang.String |
getProperty(java.lang.String key,
java.lang.String alternative)
指定されたキーに対応する値を取得する。
|
Properties |
getRoot()
当該Propertiesオブジェクトの親ノードを取得する。
|
java.lang.String |
getValue()
当該Propertiesオブジェクトの値を取得する。
|
Properties |
hasKey(java.lang.String key)
{@.ja 当該Propertiesオブジェクトの
直接の子ノード(つまり、孫ノード以下は含まない)の中に、
指定されたキーを持つものが存在するかどうか調べる。
|
protected java.lang.String |
indent(int index) |
void |
list(java.io.OutputStream out)
指定された出力ストリームに、
当該Propertiesオブジェクトの内容を出力する。
|
void |
load(java.io.BufferedReader reader)
指定されたリーダーから、
キーと値が対となったプロパティセットを読み込む。
|
void |
merge(Properties prop)
指定されたPropertiesオブジェクト内のプロパティセットを、
当該Propertiesオブジェクト内にマージする。
|
java.util.Vector<java.lang.String> |
propertyNames()
当該Propertiesオブジェクトおよび子ノード内に存在するキーの
リストを取得する。
|
Properties |
removeNode(java.lang.String name)
指定されたキーの子ノードPropertiesオブジェクトを、
当該Propertiesオブジェクトから切り離す。
|
void |
save(java.io.OutputStream out,
java.lang.String header)
当該Propertiesオブジェクトの内容を、
指定されたストリームに出力する。
|
java.lang.String |
setDefault(java.lang.String key,
java.lang.String defaultValue)
指定されたキーに対応するデフォルト値を設定する。
|
void |
setDefaults(java.lang.String[] defaults)
指定されたキーに対応するデフォルト値を設定する。
|
java.lang.String |
setProperty(java.lang.String key,
java.lang.String value)
指定されたキーに対応する値を登録する。
|
int |
size()
当該Propertiesオブジェクトおよび子ノード内に存在するプロパティの
数を取得する。
|
protected boolean |
split(java.lang.String str,
char delim,
java.util.Vector<java.lang.String> values)
指定された文字列を指定したデリミタで分離した結果を取得する。
|
protected Pair<java.lang.String,java.lang.String> |
splitKeyValue(java.lang.String str)
指定された文字列を、
所定のデリミタによってキーと値のペアに分離する。
|
void |
store(java.io.OutputStream out,
java.lang.String header)
当該Propertiesオブジェクトの内容を、
指定されたストリームに出力する。
|
void |
substitute(Properties prop)
指定されたPropertiesオブジェクトの内容を、
当該Propertiesオブジェクトに設定する。
|
public Properties()
public Properties(java.lang.String key)
指定されたキーを持つプロパティが初期設定される。 指定されたキーに対応する値は空文字列となる。
key - キー
public Properties(java.lang.String key,
java.lang.String value)
指定されたキーおよび値を持つプロパティが初期設定される。
key - キー
value - 値
public Properties(java.util.Map<java.lang.String,java.lang.String> defaults)
指定されたデータでデフォルトが初期設定される
defaults - デフォルトとなるキーと値を持つMapオブジェクト
public Properties(java.lang.String[] defaults)
指定されたデータでデフォルトが初期設定される。
defaults - デフォルト値を、キー・値の順に交互に並べたもの
public Properties(Properties prop)
コピー元となるPropertiesオブジェクトと同内容を持つ 別のPropertiesオブジェクトを新たに作成する。
prop - コピー元となるPropertiesオブジェクト
public void substitute(Properties prop)
prop - コピー元となるPropertiesオブジェクト
public void destruct()
当該Propertiesオブジェクトの内容をクリアして、 親ノードから切り離す。 また、すべての子ノードについても削除処理を行う。
protected void finalize()
throws java.lang.Throwable
finalize クラス内 java.lang.Objectjava.lang.Throwablepublic java.lang.String getName()
public java.lang.String getValue()
public java.lang.String getDefaultValue()
public java.util.Vector<Properties> getLeaf()
public Properties getRoot()
public java.lang.String getProperty(java.lang.String key)
key - キー
public java.lang.String getProperty(java.lang.String key,
java.lang.String alternative)
ただし、指定されたキーが存在しない場合や、 キーに対応する値が空文字列である場合は、指定された代替値が取得される。
key - i
キー
alternative - 代替値
public java.lang.String getDefault(java.lang.String key)
key - キー
public java.lang.String setProperty(java.lang.String key,
java.lang.String value)
key - キー
value - キーに対応する値
public java.lang.String setDefault(java.lang.String key,
java.lang.String defaultValue)
key - キー
defaultValue - キーに対応する新たなデフォルト値
public void setDefaults(java.lang.String[] defaults)
defaults - デフォルト値を、キー・値の順に交互に並べたもの
public void list(java.io.OutputStream out)
out - 出力先ストリーム
public void load(java.io.BufferedReader reader)
throws java.io.IOException
reader - 読み込み元となるリーダー。
java.io.IOExceptionpublic void save(java.io.OutputStream out,
java.lang.String header)
out - 出力先ストリーム
header - 出力内容の先頭に付加されるヘッダコメント文字列
public void store(java.io.OutputStream out,
java.lang.String header)
out - 出力先ストリーム
header - 出力内容の先頭に付加されるヘッダコメント文字列
public final java.util.Vector<java.lang.String> propertyNames()
public final int size()
public final Properties findNode(java.lang.String key)
key - キー
public final Properties getNode(java.lang.String key)
key - キー
public boolean createNode(java.lang.String key)
key - キー
public Properties removeNode(java.lang.String name)
name - 切り離したい子ノードのキー
public final Properties hasKey(java.lang.String key)
key - キー
public void clear()
public void merge(Properties prop)
ただし、デフォルト値はマージされない。
prop - マージ元となるPropertiesオブジェクト
protected Pair<java.lang.String,java.lang.String> splitKeyValue(java.lang.String str)
str - 分離対象となる文字列。
通常は、キーと値がデリミタで区切られている文字列。protected boolean split(java.lang.String str,
char delim,
java.util.Vector<java.lang.String> values)
str - 分離対象となる文字列delim - デリミタprotected java.lang.String indent(int index)
protected Properties _getNode(java.util.Vector<java.lang.String> keys, int index, Properties curr)
protected void _propertyNames(java.util.Vector<java.lang.String> names,
java.lang.String curr_name,
Properties curr)
protected void _store(java.io.OutputStream out,
java.lang.String curr_name,
Properties curr)
protected java.io.OutputStream _dump(java.io.OutputStream out,
Properties curr,
int index)
public java.lang.String _dump(java.lang.String out,
Properties curr,
int index)
out - 出力用文字列
curr - Properties
index - 階層