class DIRECTORY < $STR, $IS_EQ |
---|
$IS_EQ | $STR |
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 |
---|
elt! : FILE_PATH .. Included as elt! |
---|
matching!( .. Included as matching! |
---|
attr handle : REFERENCE ; |
---|
attr handle : REFERENCE ; |
---|
attr priv_dirname : FILE_PATH ; |
---|
attr priv_dirname : FILE_PATH ; |
---|