Close

Close[stream]
ストリームを閉じる.

詳細詳細

  • Closeに与える引数には,InputStreamOutputStreamオブジェクトを使用することができる.
  • 特定の名前のストリームが1つしかなければ,Closeの引数はでもよい.

例題例題すべて開くすべて閉じる

  (1)  (1)

ストリームを開く:

In[1]:=
Click for copyable input
Out[1]=

ストリームオブジェクトから読む:

In[2]:=
Click for copyable input
Out[2]=

ストリームを閉じる:

In[3]:=
Click for copyable input
Out[3]=
1988年に導入
(1.0)