読み込み専用。選択されている位置がストリームの最後かどうかを示します。

定義位置

NotesStream

データ型

Boolean 型

構文

取得方法:flag = notesStream.IsEOS

有効な値

• True の場合、ストリームの最後を示します。
• False の場合、ストリームの最後ではありません。

次のような場合、このプロパティは True です。

• ストリームが空の場合
• Open が空のストリームで実行される場合
• Truncate がストリームで実行される場合
• Write または WriteText がストリームで実行される場合

Java Stream クラスの IsEOS プロパティ

例

用語集