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). |
$IS_EQ | $STR |
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_eq(other : $OB) : BOOL .. Included as is_eq |
---|
**** | This is the generic equality predicate. c.f. the class $IS_EQ |
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. |
elt! : FILE_PATH |
---|
matching!( once exp : REG_EXP) : FILE_PATH |
---|
attr handle : REFERENCE ; |
---|
attr handle : REFERENCE ; |
---|
attr priv_dirname : FILE_PATH ; |
---|
attr priv_dirname : FILE_PATH ; |
---|