
8 May
2005
8 May
'05
4:26 p.m.
Beman Dawes wrote:
1) Add an other_flag and a matching is_other() function. Change definition of exists() to status() & (directory_flag|file_flag|other_flag)
An entity that is not file or directory should just return false from is_file and is_directory. There are no operations defined on "other", so the category and the corresponding predicate are useless. It seems to me that the correct definition of exists() in terms of status() is just !(status() & not_found_flag).