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)