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)