indexing
	description: "The objects available from the operating system"

class interface
	OPERATING_ENVIRONMENT

feature 

	case_sensitive_path_names: BOOLEAN
			-- Are path names case sensitive?

	current_directory_name_representation: STRING
			-- Representation of the current directory

	directory_separator: CHARACTER
			-- Character used to separate subdirectories in a path name on this platform.

	home_directory_supported: BOOLEAN
			-- Is the notion of home directory supported on this platform?

	root_directory_supported: BOOLEAN
			-- Is the notion of root directory supported on this platform?
	
invariant

		-- from GENERAL
	reflexive_equality: standard_is_equal (Current);
	reflexive_conformance: conforms_to (Current);

end -- class OPERATING_ENVIRONMENT