Automatic generation produced by ISE Eiffel

Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:
class STORABLE General cluster: elks description: "Objects that may be stored and retrieved along with all their dependents. This class may be used as ancestor by classes needing its facilities." Ancestors EXCEPTIONS Queries assertion_violation: BOOLEAN Check_instruction: INTEGER_32 Class_invariant: INTEGER_32 class_name: detachable STRING_8 Com_exception: INTEGER_32 Create_on_deferred: INTEGER_32 Developer_exception: INTEGER_32 developer_exception_name: detachable STRING_8 Dollar_applied_to_melted_feature: INTEGER_32 Eiffel_runtime_fatal_error: INTEGER_32 Eiffel_runtime_panic: INTEGER_32 exception: INTEGER_32 Exception_in_signal_handler: INTEGER_32 Exception_manager: EXCEPTION_MANAGER exception_trace: detachable STRING_8 External_exception: INTEGER_32 Floating_point_exception: INTEGER_32 Incorrect_inspect_value: INTEGER_32 Io_exception: INTEGER_32 is_developer_exception: BOOLEAN is_developer_exception_of_name (name: detachable STRING_8): BOOLEAN is_signal: BOOLEAN is_system_exception: BOOLEAN Loop_invariant: INTEGER_32 Loop_variant: INTEGER_32 meaning (except: INTEGER_32): detachable STRING_8 No_more_memory: INTEGER_32 Number_of_codes: INTEGER_32 Old_exception: INTEGER_32 Operating_system_exception: INTEGER_32 original_class_name: detachable STRING_8 original_exception: INTEGER_32 original_recipient_name: detachable STRING_8 original_tag_name: detachable STRING_8 Out_of_memory: INTEGER_32 Postcondition: INTEGER_32 Precondition: INTEGER_32 recipient_name: detachable STRING_8 Rescue_exception: INTEGER_32 Resumption_failed: INTEGER_32 retrieve_by_name (file_name: READABLE_STRING_GENERAL): detachable ANY Retrieve_exception: INTEGER_32 retrieved (medium: IO_MEDIUM): detachable ANY Routine_failure: INTEGER_32 Runtime_check_exception: INTEGER_32 Runtime_io_exception: INTEGER_32 Serialization_exception: INTEGER_32 Signal_exception: INTEGER_32 tag_name: detachable STRING_8 valid_code (c: INTEGER_32): BOOLEAN Void_assigned_to_expanded: INTEGER_32 Void_call_target: INTEGER_32 Commands basic_store (medium: IO_MEDIUM) catch (code: INTEGER_32) die (code: INTEGER_32) ignore (code: INTEGER_32) independent_store (medium: IO_MEDIUM) message_on_failure no_message_on_failure raise (name: detachable STRING_8) raise_retrieval_exception (name: detachable STRING_8) set_discard_pointers (v: BOOLEAN) store_by_name (file_name: READABLE_STRING_GENERAL)
Classes Clusters Cluster hierarchy Chart Relations Flat contracts Go to:

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