Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:
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
Classes Clusters Cluster hierarchy Chart Relations Text Flat Contracts Go to:

-- Generated by ISE Eiffel --
For more details: www.eiffel.com