class
	DATABASE_ALL_TYPES [G -> DATABASE create default_create end]

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

Ancestors
	HASH_TABLE [G, H -> HASHABLE]
	INTERNAL

Queries
	after: 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
	capacity: INTEGER_32
	changeable_comparison_criterion: BOOLEAN
	Character_32_type: INTEGER_32
	Character_8_type: INTEGER_32
	character_field (i: INTEGER_32; object: ANY): CHARACTER_8
	Character_type: INTEGER_32
	class_name (object: ANY): STRING_8
	class_name_of_type (type_id: INTEGER_32): STRING_8
	compiler_version: INTEGER_32
	conflict: BOOLEAN
	count: INTEGER_32
	current_keys: ARRAY [INTEGER_32]
	cursor: CURSOR
	db_type (object: ANY): DB_TYPE
	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
	expanded_field_type (i: INTEGER_32; object: ANY): STRING_8
	Expanded_type: INTEGER_32
	Extendible: BOOLEAN
	field (i: INTEGER_32; object: ANY): ANY
	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
	found: BOOLEAN
	found_item: DB_TYPE
	Full: 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
	has (key: INTEGER_32): BOOLEAN
	has_item (v: DB_TYPE): BOOLEAN
	infix "@" (key: INTEGER_32): DB_TYPE
	inserted: BOOLEAN
	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
	is_empty: BOOLEAN
	is_equal (other: [like Current] DATABASE_ALL_TYPES [G]): BOOLEAN
	is_inserted (v: DB_TYPE): BOOLEAN
	is_instance_of (object: ANY; type_id: INTEGER_32): BOOLEAN
	is_marked (obj: ANY): BOOLEAN
	is_pre_ecma_mapping_disabled: BOOLEAN
	is_registered (object: ANY): BOOLEAN
	is_special (object: ANY): BOOLEAN
	is_special_any_type (type_id: INTEGER_32): BOOLEAN
	is_special_type (type_id: INTEGER_32): BOOLEAN
	is_tuple (object: ANY): BOOLEAN
	is_tuple_type (type_id: INTEGER_32): BOOLEAN
	is_valid_type_string (s: STRING_8): BOOLEAN
	item alias "[]" (key: INTEGER_32): DB_TYPE
	item_for_iteration: DB_TYPE
	key_for_iteration: INTEGER_32
	linear_representation: ARRAYED_LIST [DB_TYPE]
	mapped_type (a_type: STRING_8): STRING_8
	Max_predefined_type: INTEGER_32
	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]
	None_type: INTEGER_32
	not_found: BOOLEAN
	object_comparison: BOOLEAN
	occurrences (v: DB_TYPE): INTEGER_32
	off: BOOLEAN
	physical_size (object: ANY): INTEGER_32
	pointer_field (i: INTEGER_32; object: ANY): POINTER
	Pointer_type: INTEGER_32
	prunable: BOOLEAN
	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
	Reference_type: INTEGER_32
	removed: BOOLEAN
	replaced: BOOLEAN
	type_conforms_to (type1, type2: INTEGER_32): BOOLEAN
	type_name (object: ANY): STRING_8
	type_name_of_type (type_id: INTEGER_32): STRING_8
	valid_cursor (c: CURSOR): BOOLEAN
	valid_key (k: INTEGER_32): BOOLEAN
	Wide_character_type: INTEGER_32

Commands
	accommodate (n: INTEGER_32)
	clear_all
	compare_objects
	compare_references
	copy (other: [like Current] DATABASE_ALL_TYPES [G])
	disable_pre_ecma_mapping
	enable_pre_ecma_mapping
	extend (new: DB_TYPE; key: INTEGER_32)
	fill (other: CONTAINER [DB_TYPE])
	force (new: DB_TYPE; key: INTEGER_32)
	forth
	go_to (c: CURSOR)
	ht_make (n: INTEGER_32)
	lock_marking
	make
	mark (obj: ANY)
	merge (other: HASH_TABLE [DB_TYPE, INTEGER_32])
	put (new: DB_TYPE; key: INTEGER_32)
	Register_all
	register_type (type: DB_TYPE)
	remove (key: INTEGER_32)
	replace (new: DB_TYPE; key: INTEGER_32)
	replace_key (new_key, old_key: INTEGER_32)
	search (key: INTEGER_32)
	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)
	start
	unlock_marking
	unmark (obj: ANY)