    class
    	DATABASE_BOOLEAN [G -> DATABASE create default_create end]

    General
    	cluster: dbms-support
    	description: "Boolean format of the database"

    Ancestors
    	DB_TYPE*
    	HANDLE_SPEC [G -> DATABASE create default_create end]

    Queries
    	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
    	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
    	db_spec: DATABASE
    	double_field (i: INTEGER_32; object: ANY): REAL_64
    	Double_type: INTEGER_32
    	dynamic: INTEGER_32
    	dynamic_type (object: ANY): INTEGER_32
    	dynamic_type_from_string (class_type: STRING_8): INTEGER_32
    	Eiffel_name: STRING_8
    	Eiffel_ref: BOOLEAN_REF
    	expanded_field_type (i: INTEGER_32; object: ANY): STRING_8
    	Expanded_type: INTEGER_32
    	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
    	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
    	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_instance_of (object: ANY; type_id: INTEGER_32): BOOLEAN
    	is_marked (obj: ANY): BOOLEAN
    	is_pre_ecma_mapping_disabled: 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
    	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
    	physical_size (object: ANY): INTEGER_32
    	pointer_field (i: INTEGER_32; object: ANY): POINTER
    	Pointer_type: 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
    	Reference_type: INTEGER_32
    	same (object: ANY): BOOLEAN
    	sql_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
    	Wide_character_type: INTEGER_32

    Commands
    	disable_pre_ecma_mapping
    	enable_pre_ecma_mapping
    	lock_marking
    	mark (obj: 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)
    	unlock_marking
    	unmark (obj: ANY)