Automatic generation produced by ISE Eiffel
indexing description: "Directory name abstraction" status: "See notice at end of class" date: "$Date: 2001-11-16 20:32:23 +0000 (Fri, 16 Nov 2001) $" revision: "$Revision: 51435 $" class interface DIRECTORY_NAME create make -- Create path name object. -- (from PATH_NAME) make_from_string (p: STRING) -- Create path name object and initialize it with the -- path name p -- (from PATH_NAME) ensure -- from PATH_NAME valid_file_name: is_valid feature -- Initialization make -- Create path name object. -- (from PATH_NAME) make_from_string (p: STRING) -- Create path name object and initialize it with the -- path name p -- (from PATH_NAME) ensure -- from PATH_NAME valid_file_name: is_valid feature -- Comparison is_equal (other: like Current): BOOLEAN -- Is the path name equal to other? -- (from PATH_NAME) require -- from ANY other_not_void: other /= void ensure -- from ANY symmetric: Result implies other.is_equal (Current) consistent: standard_is_equal (other) implies Result ensure then -- from COMPARABLE trichotomy: Result = (not (Current < other) and not (other < Current)) feature -- Status report is_directory_name_valid (dir_name: STRING): BOOLEAN -- Is dir_name a valid subdirectory part for the operating system? -- (from PATH_NAME) require -- from PATH_NAME exists: dir_name /= void is_volume_name_valid (vol_name: STRING): BOOLEAN -- Is vol_name a valid volume name for the operating system? -- (from PATH_NAME) require -- from PATH_NAME exists: vol_name /= void feature -- Status report is_empty: BOOLEAN -- Is structure empty? -- (from FINITE) feature -- Status setting extend (directory_name: STRING) -- Append the subdirectory directory_name to the path name. -- Was declared in PATH_NAME as synonym of set_subdirectory. -- (from PATH_NAME) require -- from PATH_NAME string_exists: directory_name /= void valid_directory_name: is_directory_name_valid (directory_name) ensure -- from PATH_NAME valid_file_name: is_valid extend_from_array (directories: ARRAY [STRING]) -- Append the subdirectories from directories to the path name. -- (from PATH_NAME) require -- from PATH_NAME array_exists: directories /= void and then not (directories.is_empty) ensure -- from PATH_NAME valid_file_name: is_valid set_directory (directory_name: STRING) -- Set the absolute directory part of the path name to directory_name. -- (from PATH_NAME) require -- from PATH_NAME string_exists: directory_name /= void valid_directory_name: is_directory_name_valid (directory_name) ensure -- from PATH_NAME valid_file_name: is_valid set_subdirectory (directory_name: STRING) -- Append the subdirectory directory_name to the path name. -- Was declared in PATH_NAME as synonym of extend. -- (from PATH_NAME) require -- from PATH_NAME string_exists: directory_name /= void valid_directory_name: is_directory_name_valid (directory_name) ensure -- from PATH_NAME valid_file_name: is_valid set_volume (volume_name: STRING) -- Set the volume part of the path name to volume_name. -- (from PATH_NAME) require -- from PATH_NAME string_exists: volume_name /= void valid_volume_name: is_volume_name_valid (volume_name) empty_path_name: is_empty ensure -- from PATH_NAME valid_file_name: is_valid feature -- Removal wipe_out -- Remove all characters. -- (from STRING) require -- from COLLECTION prunable ensure -- from COLLECTION wiped_out: is_empty ensure then -- from STRING is_empty: count = 0 empty_capacity: capacity = 0 feature -- Conversion frozen to_c: ANY -- A reference to a C form of current string. -- Useful only for interfacing with C software. -- (from STRING) feature is_valid: BOOLEAN -- Is the directory name valid? invariant -- from ANY reflexive_equality: standard_is_equal (Current) reflexive_conformance: conforms_to (Current) -- from STRING extendible: extendible compare_character: not object_comparison index_set_has_same_count: index_set.count = count -- from INDEXABLE index_set_not_void: index_set /= void -- from RESIZABLE increase_by_at_least_one: minimal_increase >= 1 -- from BOUNDED valid_count: count <= capacity full_definition: full = (count = capacity) -- from FINITE empty_definition: is_empty = (count = 0) non_negative_count: count >= 0 -- from COMPARABLE irreflexive_comparison: not (Current < Current) indexing library: "[ EiffelBase: Library of reusable components for Eiffel. ]" status: "[ Copyright 1986-2001 Interactive Software Engineering (ISE). For ISE customers the original versions are an ISE product covered by the ISE Eiffel license and support agreements. ]" license: "[ EiffelBase may now be used by anyone as FREE SOFTWARE to develop any product, public-domain or commercial, without payment to ISE, under the terms of the ISE Free Eiffel Library License (IFELL) at http://eiffel.com/products/base/license.html. ]" source: "[ Interactive Software Engineering Inc. ISE Building 360 Storke Road, Goleta, CA 93117 USA Telephone 805-685-1006, Fax 805-685-6869 Electronic mail <info@eiffel.com> Customer support http://support.eiffel.com ]" info: "[ For latest info see award-winning pages: http://eiffel.com ]" end -- class DIRECTORY_NAME -- Generated by ISE Eiffel --
For more details: www.eiffel.com