destroyオペレーションはネーミングコンテキストを削除します。
void destroy()
raises(NotEmpty);このオペレーションは、このネーミングコンテキストを削除します。削除されるコンテキストにバインディングが存在する場合、NotEmptyの例外が発生し、ネーミングコンテキストは削除されません。
destroyオペレーションを実行しても、このネーミングサービスが登録されているバインディングはネーミングコンテキストから削除されません。不要なネーミングコンテキストの場合、unbindオペレーションによりバインディングも削除してください。