3.7.7 setExecIDメソッド
(2) 形式
public void setExecID(java.lang.String execID)
(3) 実行権限
なし。
(4) 引数
引数名 |
省略 |
説明 |
---|---|---|
execID |
不可 |
実行IDを,文字列で指定します。 setGenerationメソッドで「EXECID(指定した実行IDの世代を取得)」を指定した場合にだけ有効です。その他の指定では無視します。 指定する形式は「@[mmmm]{A〜Z}nnnn」です。 |
(5) 戻り値
なし。
(6) 例外
なし。