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