eof は colorcode & 0x1F==16？ - 秀丸エディタ関連ソフト会議室 - スレッド04441, 1999/11/18

eof は colorcode & 0x1F==16？

安久津 さん　99/11/18 00:32

こんにちは安久津といいます。
ファイル終端と colorcode の関係についての質問です。

(1)命題１
「code == eof」ならば「(colorcode & 0x1F) == 16」である。
(2)命題２
「(colorcode & 0x1F) == 16」ならば「code == eof」である。

両方の命題は真でしょうか？
自分で調べた限りで「命題１且つ命題２」は、真のようでした。
＃必要十分条件なのかどうか知りたいんですけど。
ではでは。

RE:04441 eof は colorcode & 0x1F==1

秀丸担当 さん　99/11/19 17:48

>(1)命題１
>「code == eof」ならば「(colorcode & 0x1F) == 16」である。
>(2)命題２
>「(colorcode & 0x1F) == 16」ならば「code == eof」である。
>
>両方の命題は真でしょうか？
>自分で調べた限りで「命題１且つ命題２」は、真のようでした。

内部的な値ですが、いまのバージョンではそれが正しいです。
今後もEOFの色とかを付けない限り、たぶんこれでｏｋです。