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