class DIRECTORY < $STR, $IS_EQ


Ancestors
$IS_EQ $STR



Public


Features
clear .. Included as clear
close .. Included as close
create(
current( .. Included as current
current : SAME .. Included as current
delete( .. Included as delete
delete : SAME .. Included as delete
dirname : FILE_PATH .. Included as dirname
error : BOOL .. Included as error
error_message : STR .. Included as error_message
existent( .. Included as existent
existent( .. Included as existent
exists( .. Included as exists
is_empty : BOOL .. Included as is_empty
**** This predicate returns true if and only if self is a directory which
___has_no_contents_other_than_self_and_parent.
is_eq( .. Included as is_eq
is_eq(other : $OB) : BOOL .. Included as is_eq
**** This is the generic equality predicate. c.f. the class $IS_EQ
is_open : BOOL .. Included as is_open
open : SAME .. Included as open
parent : SAME .. Included as parent
rename( .. Included as rename
root : SAME .. Included as root
str( .. Included as str
str : STR .. Included as str

Iters
elt! : FILE_PATH .. Included as elt!
matching!( .. Included as matching!


Private

attr handle : REFERENCE ;
attr handle : REFERENCE ;
attr priv_dirname : FILE_PATH ;
attr priv_dirname : FILE_PATH ;

The Sather Home Page