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)