WSDeinitialize （C 関数）

void WSDeinitialize(WSENV env)

WSTP環境オブジェクトを破壊する．

詳細

  • WSTP環境オブジェクトは， プログラムの実行中にWSTPの大域状態を保持する．
  • プログラムを終了する前に，WSDeinitialize()を呼び出さなければならない．
  • WSDeinitialize()を呼び出す前に，WSClose()をすべての開かれているリンクのために呼び出さなければならない．
  • 外部プログラムがWSTPテンプレートから作成されると，WSDeinitialize()への適切な呼び出しが自動的に生成される．
  • WSDeinitialize()は，WSTPヘッダファイルwstp.hの中で宣言される．

例題

例  (1)

#include "wstp.h"

int main(int argc, char **argv)
{
    WSENV ep;

    ep = WSInitialize((WSEnvironmentParameter)0);

    ...

     WSDeinitialize(ep);
    return 0;
}