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 - 階層