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.Object
java.lang.Throwable
public 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.IOException
public 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
- 階層