Automatic generation produced by ISE Eiffel
class EXECUTION_ENVIRONMENT Ancestors NATIVE_STRING_HANDLER Clients ES_TESTABLE* EXECUTION_ENVIRONMENT PATH SHARED_EXECUTION_ENVIRONMENT Suppliers ARGUMENTS ARGUMENTS_32 BOOLEAN CHARACTER_8 EXECUTION_ENVIRONMENT FILE_INFO HASH_TABLE [G, K -> detachable HASHABLE] IMMUTABLE_STRING_32 INTEGER_32 INTEGER_64 MANAGED_POINTER NATIVE_STRING OPERATING_ENVIRONMENT PATH PLATFORM POINTER READABLE_STRING_GENERAL* STRING_32 STRING_8 -- Generated by ISE Eiffel --
For more details: www.eiffel.com