Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class JAVA_CLASS Ancestors JAVA_ENTITY* SHARED_JNI_ENVIRONMENT Clients JAVA_CLASS JAVA_OBJECT JAVA_OBJECT_ARRAY JNI_ENVIRONMENT Suppliers BOOLEAN C_STRING HASH_TABLE [G, K -> detachable HASHABLE] JAVA_ARGS JAVA_CLASS JAVA_OBJECT JNI_ENVIRONMENT STD_FILES
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

-- Generated by Eiffel Studio --
For more details: eiffel.org