class DIRECTORY < $STR, $IS_EQ
****
This class provides the directory services of the underlying
___operating_system_for_the_given_directory.

________An_object_of_this_class_can_only_be_created_if_there_is_an_operating
___system_file_system_directory_of_the_name_given.___The_value_returned_by
___the_str_routine_is_therefore_always_valid_for_path_creation_(see_the
___FILE_PATH_class).


Flattened version is here

Ancestors
$IS_EQ $STR



Public


Features
clear
close
create(name : STR,access : ACCESS_SET) : SAME
current( path : FILE_PATH) : SAME
current : SAME
delete( fname : STR)
****
_____pre_~void(self)
__________and_void(handle)____--_must_not_be_open!
_____post_true
delete : SAME
dirname : FILE_PATH
error : BOOL
****
________This_predicate_returns_true_if_and_only_if_an_error_occurred_in
___the_most_recently_tried_operation_on_the_directory_-_since_the_last_clear
___operation.
error_message : STR
existent(path : FILE_PATH) : SAME
existent(name : STR) : SAME
exists(leaf : STR) : BOOL
****
________This_predicate_returns_true_iff_the_object_with_the_given_leaf_name
___is_in_this_directory,_otherwise_false.

___NOTE_Should_true_be_returned_from_this_routine_call_this_may_NOT_be
________taken_to_imply_that_anything_may_be_done_with_the_object_queried.
________This_reports_only_the_EXISTENCE_or_otherwise_of_the_named_object,
________providing_that_the_program_has_permission_to_know_this!
is_empty : BOOL
**** This predicate returns true if and only if self is a directory which
___has_no_contents_other_than_self_and_parent.
is_eq(other : SAME) : BOOL
**** This predicate returns true if and only if other and self refer to
___the_same_file_system_directory.___They_may_therefore_be_different_objects
___while_having_a_common_external_identity!!
is_open : BOOL
**** This predicate returns true if and only if self is a directory which
___has_been_successfully_opened.
open : SAME
parent : SAME
rename( old_name, new_name : STR)
root : SAME
str(lib : LIBCHARS) : STR
**** This routine returns the name by which this directory object was
___known_at_the_time_of_creation_or_later_renaming.___It_is_provided_to
___conform_to_the_$STR_interface.
str : STR
**** This routine returns the name by which this directory object was
___known_at_the_time_of_creation_or_later_renaming_in_the_default_repertoire
___and_encoding.

Iters
elt! : FILE_PATH
matching!( once exp : REG_EXP) : FILE_PATH


Private

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

The Sather Home Page