Automatic generation produced by ISE Eiffel
class STORABLE General cluster: base.kernel 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 Class_invariant: INTEGER class_name: STRING Com_exception: INTEGER Developer_exception: INTEGER developer_exception_name: STRING exception: INTEGER exception_trace: STRING External_exception: INTEGER Floating_point_exception: INTEGER Incorrect_inspect_value: INTEGER Io_exception: INTEGER is_developer_exception: BOOLEAN is_developer_exception_of_name (name: STRING): BOOLEAN is_signal: BOOLEAN is_system_exception: BOOLEAN Loop_invariant: INTEGER Loop_variant: INTEGER meaning (except: INTEGER): STRING No_more_memory: INTEGER Operating_system_exception: INTEGER original_class_name: STRING original_exception: INTEGER original_recipient_name: STRING original_tag_name: STRING Postcondition: INTEGER Precondition: INTEGER recipient_name: STRING Rescue_exception: INTEGER retrieve_by_name (file_name: STRING): ANY Retrieve_exception: INTEGER retrieved (medium: IO_MEDIUM): ANY Routine_failure: INTEGER Runtime_io_exception: INTEGER Signal_exception: INTEGER tag_name: STRING Void_assigned_to_expanded: INTEGER Void_call_target: INTEGER Commands basic_store (medium: IO_MEDIUM) catch (code: INTEGER) die (code: INTEGER) general_store (medium: IO_MEDIUM) ignore (code: INTEGER) independent_store (medium: IO_MEDIUM) message_on_failure no_message_on_failure raise (name: STRING) set_discard_pointers (v: BOOLEAN) set_new_independent_format (v: BOOLEAN) store_by_name (file_name: STRING) -- Generated by ISE Eiffel --
For more details: www.eiffel.com