class DIRECTORY General cluster: base description: "Directories, in the Unix sense, with creation and exploration features" create: make_open_read, make Ancestors DISPOSABLE* Queries count: INTEGER_32 exists: BOOLEAN has_entry (entry_name: STRING_8): BOOLEAN is_closed: BOOLEAN is_empty: BOOLEAN is_executable: BOOLEAN is_readable: BOOLEAN is_writable: BOOLEAN lastentry: STRING_8 linear_representation: ARRAYED_LIST [STRING_8] name: STRING_8 Commands change_name (new_name: STRING_8) close create_dir delete delete_content delete_content_with_action (action: PROCEDURE [ANY, TUPLE]; is_cancel_requested: FUNCTION [ANY, TUPLE, BOOLEAN]; file_number: INTEGER_32) dispose make (dn: STRING_8) make_open_read (dn: STRING_8) open_read readentry recursive_delete recursive_delete_with_action (action: PROCEDURE [ANY, TUPLE]; is_cancel_requested: FUNCTION [ANY, TUPLE, BOOLEAN]; file_number: INTEGER_32) start