    class
    	DATABASE_REPOSITORY [reference G -> DATABASE create default_create end]

    General
    	cluster: dbms-support
    	description: "Implementation of DB_REPOSITORY"
    	create: make

    Ancestors
    	ACTION
    	BASIC_ROUTINES
    	DB_STATUS_USE
    	EXCEPTIONS
    	EXT_INTERNAL
    	TYPES [G -> DATABASE create default_create end]

    Queries
    	abs (n: INTEGER_32): INTEGER_32
    	assertion_violation: BOOLEAN
    	bit_size (i: INTEGER_32; object: ANY): INTEGER_32
    	Bit_type: INTEGER_32
    	boolean_field (i: INTEGER_32; object: ANY): BOOLEAN
    	Boolean_type: INTEGER_32
    	Boolean_type_database: INTEGER_32
    	bottom_int_div (n1, n2: INTEGER_32): INTEGER_32
    	Character_32_type: INTEGER_32
    	Character_8_type: INTEGER_32
    	character_field (i: INTEGER_32; object: ANY): CHARACTER_8
    	Character_type: INTEGER_32
    	Character_type_database: INTEGER_32
    	charconv (i: INTEGER_32): CHARACTER_8
    	Check_instruction: INTEGER_32
    	Class_invariant: INTEGER_32
    	class_name (object: ANY): STRING_8
    	class_name_of_type (type_id: INTEGER_32): STRING_8
    	column_i_th (i: INTEGER_32): COLUMNS [DATABASE]
    	column_name (i: INTEGER_32): STRING_8
    	column_number: INTEGER_32
    	Com_exception: INTEGER_32
    	compiler_version: INTEGER_32
    	conforms (object: ANY): BOOLEAN
    	Create_on_deferred: INTEGER_32
    	Date_type_database: INTEGER_32
    	db_spec: DATABASE
    	Developer_exception: INTEGER_32
    	developer_exception_name: STRING_8
    	dimension: INTEGER_32
    	Dollar_applied_to_melted_feature: INTEGER_32
    	double_field (i: INTEGER_32; object: ANY): REAL_64
    	Double_type: INTEGER_32
    	dynamic_type (object: ANY): INTEGER_32
    	dynamic_type_from_string (class_type: STRING_8): INTEGER_32
    	Eiffel_runtime_fatal_error: INTEGER_32
    	Eiffel_runtime_panic: INTEGER_32
    	exception: INTEGER_32
    	Exception_in_signal_handler: INTEGER_32
    	exception_trace: STRING_8
    	exceptions_class_name: STRING_8
    	exists: BOOLEAN
    	expanded_field_type (i: INTEGER_32; object: ANY): STRING_8
    	Expanded_type: INTEGER_32
    	External_exception: INTEGER_32
    	field (i: INTEGER_32; object: ANY): ANY
    	field_clean (i: INTEGER_32; object: ANY): BOOLEAN
    	field_copy (i: INTEGER_32; object, value: ANY): BOOLEAN
    	field_count (object: ANY): INTEGER_32
    	field_count_of_type (type_id: INTEGER_32): INTEGER_32
    	field_name (i: INTEGER_32; object: ANY): STRING_8
    	field_name_of_type (i, type_id: INTEGER_32): STRING_8
    	field_offset (i: INTEGER_32; object: ANY): INTEGER_32
    	field_static_type_of_type (i, type_id: INTEGER_32): INTEGER_32
    	field_type (i: INTEGER_32; object: ANY): INTEGER_32
    	field_type_of_type (i, type_id: INTEGER_32): INTEGER_32
    	Float_type_database: INTEGER_32
    	Floating_point_exception: INTEGER_32
    	found: BOOLEAN
    	generic_count (obj: ANY): INTEGER_32
    	generic_count_of_type (type_id: INTEGER_32): INTEGER_32
    	generic_dynamic_type (object: ANY; i: INTEGER_32): INTEGER_32
    	generic_dynamic_type_of_type (type_id, i: INTEGER_32): INTEGER_32
    	Incorrect_inspect_value: INTEGER_32
    	integer_16_field (i: INTEGER_32; object: ANY): INTEGER_16
    	Integer_16_type: INTEGER_32
    	integer_32_field (i: INTEGER_32; object: ANY): INTEGER_32
    	Integer_32_type: INTEGER_32
    	integer_64_field (i: INTEGER_32; object: ANY): INTEGER_64
    	Integer_64_type: INTEGER_32
    	integer_8_field (i: INTEGER_32; object: ANY): INTEGER_8
    	Integer_8_type: INTEGER_32
    	integer_field (i: INTEGER_32; object: ANY): INTEGER_32
    	Integer_type: INTEGER_32
    	Integer_type_database: INTEGER_32
    	Io_exception: INTEGER_32
    	is_developer_exception: BOOLEAN
    	is_developer_exception_of_name (name: STRING_8): BOOLEAN
    	is_instance_of (object: ANY; type_id: INTEGER_32): BOOLEAN
    	is_marked (obj: ANY): BOOLEAN
    	is_pre_ecma_mapping_disabled: BOOLEAN
    	is_signal: BOOLEAN
    	is_special (object: ANY): BOOLEAN
    	is_special_any_type (type_id: INTEGER_32): BOOLEAN
    	is_special_type (type_id: INTEGER_32): BOOLEAN
    	is_system_exception: BOOLEAN
    	is_tuple (object: ANY): BOOLEAN
    	is_tuple_type (type_id: INTEGER_32): BOOLEAN
    	is_valid_type_string (s: STRING_8): BOOLEAN
    	Loop_invariant: INTEGER_32
    	Loop_variant: INTEGER_32
    	mapped_type (a_type: STRING_8): STRING_8
    	Max_predefined_type: INTEGER_32
    	meaning (except: INTEGER_32): STRING_8
    	natural_16_field (i: INTEGER_32; object: ANY): NATURAL_16
    	Natural_16_type: INTEGER_32
    	natural_32_field (i: INTEGER_32; object: ANY): NATURAL_32
    	Natural_32_type: INTEGER_32
    	natural_64_field (i: INTEGER_32; object: ANY): NATURAL_64
    	Natural_64_type: INTEGER_32
    	natural_8_field (i: INTEGER_32; object: ANY): NATURAL_8
    	Natural_8_type: INTEGER_32
    	new_instance_of (type_id: INTEGER_32): ANY
    	new_special_any_instance (type_id, count: INTEGER_32): SPECIAL [ANY]
    	No_more_memory: INTEGER_32
    	None_type: INTEGER_32
    	Number_of_codes: INTEGER_32
    	Operating_system_exception: INTEGER_32
    	original_class_name: STRING_8
    	original_exception: INTEGER_32
    	original_recipient_name: STRING_8
    	original_tag_name: STRING_8
    	Out_of_memory: INTEGER_32
    	physical_size (object: ANY): INTEGER_32
    	pointer_field (i: INTEGER_32; object: ANY): POINTER
    	Pointer_type: INTEGER_32
    	Postcondition: INTEGER_32
    	Precondition: INTEGER_32
    	real_32_field (i: INTEGER_32; object: ANY): REAL_32
    	Real_32_type: INTEGER_32
    	real_64_field (i: INTEGER_32; object: ANY): REAL_64
    	Real_64_type: INTEGER_32
    	real_field (i: INTEGER_32; object: ANY): REAL_32
    	Real_type: INTEGER_32
    	Real_type_database: INTEGER_32
    	recipient_name: STRING_8
    	Reference_type: INTEGER_32
    	rep_owner: STRING_8
    	rep_qualifier: STRING_8
    	repository_name: STRING_8
    	Rescue_exception: INTEGER_32
    	Resumption_failed: INTEGER_32
    	Retrieve_exception: INTEGER_32
    	Routine_failure: INTEGER_32
    	rsign (r: REAL_32): INTEGER_32
    	Runtime_check_exception: INTEGER_32
    	Runtime_io_exception: INTEGER_32
    	sign (n: INTEGER_32): INTEGER_32
    	Signal_exception: INTEGER_32
    	String_type_database: INTEGER_32
    	tag_name: STRING_8
    	type_conforms_to (type1, type2: INTEGER_32): BOOLEAN
    	type_name (object: ANY): STRING_8
    	type_name_of_type (type_id: INTEGER_32): STRING_8
    	up_int_div (n1, n2: INTEGER_32): INTEGER_32
    	valid_code (c: INTEGER_32): BOOLEAN
    	Void_assigned_to_expanded: INTEGER_32
    	Void_call_target: INTEGER_32
    	Wide_character_type: INTEGER_32

    Commands
    	allocate (object: ANY; table_name: STRING_8)
    	catch (code: INTEGER_32)
    	change_name (new_name: STRING_8)
    	deep_traversal (object: ANY)
    	die (code: INTEGER_32)
    	disable_pre_ecma_mapping
    	enable_pre_ecma_mapping
    	execute
    	generate_class (f: FILE)
    	ignore (code: INTEGER_32)
    	load
    	lock_marking
    	make
    	mark (obj: ANY)
    	message_on_failure
    	no_message_on_failure
    	object_finish_action (object: ANY)
    	object_init_action (object: ANY)
    	raise (name: STRING_8)
    	raise_retrieval_exception (name: STRING_8)
    	reference_object_action (i: INTEGER_32; object: ANY)
    	set_boolean_field (i: INTEGER_32; object: ANY; value: BOOLEAN)
    	set_character_field (i: INTEGER_32; object: ANY; value: CHARACTER_8)
    	set_double_field (i: INTEGER_32; object: ANY; value: REAL_64)
    	set_integer_16_field (i: INTEGER_32; object: ANY; value: INTEGER_16)
    	set_integer_32_field (i: INTEGER_32; object: ANY; value: INTEGER_32)
    	set_integer_64_field (i: INTEGER_32; object: ANY; value: INTEGER_64)
    	set_integer_8_field (i: INTEGER_32; object: ANY; value: INTEGER_8)
    	set_integer_field (i: INTEGER_32; object: ANY; value: INTEGER_32)
    	set_natural_16_field (i: INTEGER_32; object: ANY; value: NATURAL_16)
    	set_natural_32_field (i: INTEGER_32; object: ANY; value: NATURAL_32)
    	set_natural_64_field (i: INTEGER_32; object: ANY; value: NATURAL_64)
    	set_natural_8_field (i: INTEGER_32; object: ANY; value: NATURAL_8)
    	set_pointer_field (i: INTEGER_32; object: ANY; value: POINTER)
    	set_real_32_field (i: INTEGER_32; object: ANY; value: REAL_32)
    	set_real_64_field (i: INTEGER_32; object: ANY; value: REAL_64)
    	set_real_field (i: INTEGER_32; object: ANY; value: REAL_32)
    	set_reference_field (i: INTEGER_32; object, value: ANY)
    	simple_object_action (type, i: INTEGER_32; object: ANY)
    	start
    	store_action (object: ANY)
    	switch_mark (obj: ANY)
    	traversal (object: ANY)
    	unlock_marking
    	unmark (obj: ANY)
    	unmark_structure (obj: ANY)