5.3.2　destroyメソッド

このメソッドは，ユーザプラグインのEARが停止するときに呼び出されます。このメソッドが呼び出されると，ユーザプラグインの終了処理が実行されます。

〈この項の構成〉

• (1)　形式

• (2)　引数

• (3)　戻り値

• (4)　例外

public void destroy();