class
	OPERATING_ENVIRONMENT

General
	cluster: elks
	description: "The objects available from the operating system"

Ancestors
	ANY

Queries
	case_sensitive_path_names: BOOLEAN
	Current_directory_name_representation: STRING_8
	Directory_separator: CHARACTER_8
	home_directory_supported: BOOLEAN
	root_directory_supported: BOOLEAN

Generated by ISE EiffelStudio