|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||
java.lang.Objectjp.go.aist.rtm.RTC.util.Properties
public class Properties
キーと値のセットからなるプロパティセットを表す。
ストリームへ保管したり、ストリームからロードしたりできる。 各プロパティのキー、およびそれに対応する値は文字列。 プロパティセットには、デフォルトを指定することができ、 元のプロパティセットで指定されたキーが見つからない場合には、 この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オブジェクトに設定する。 |
| クラス java.lang.Object から継承されたメソッド |
|---|
clone, equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| コンストラクタの詳細 |
|---|
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
java.lang.Object 内の finalizejava.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.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 - 階層
|
||||||||||
| 前のクラス 次のクラス | フレームあり フレームなし | |||||||||
| 概要: 入れ子 | フィールド | コンストラクタ | メソッド | 詳細: フィールド | コンストラクタ | メソッド | |||||||||