Object Cross Reference
h (Parameter)
Declared as: in out boolean
Set [b_tree_avl.adb, 41] tryput
Use [b_tree_avl.adb, 43] tryput
Set [b_tree_avl.adb, 43] tryput
Use [b_tree_avl.adb, 44] tryput
Set [b_tree_avl.adb, 46] tryput
Set [b_tree_avl.adb, 74] tryput
Use [b_tree_avl.adb, 78] tryput
Set [b_tree_avl.adb, 78] tryput
Use [b_tree_avl.adb, 79] tryput
Set [b_tree_avl.adb, 81] tryput
Set [b_tree_avl.adb, 109] tryput
Body [b_tree_avl.adb, 34] tryput
head (Object)
Declared as: file_header renames db_file_io.file_object.headings
Use [db_file_io.adb, 178] ensure_data
Use [db_file_io.adb, 179] ensure_data
Use [db_file_io.adb, 180] ensure_data
Use [db_file_io.adb, 181] ensure_data
Declare [db_file_io.adb, 162] ensure_data
header (Parameter)
Declared as: in file_header
Use [db_file_io-db_format_specific.adb, 115] write_header
Use [db_file_io-db_format_specific.adb, 116] write_header
Use [db_file_io-db_format_specific.adb, 121] write_header
Use [db_file_io-db_format_specific.adb, 126] write_header
Use [db_file_io-db_format_specific.adb, 127] write_header
Body [db_file_io-db_format_specific.adb, 108] write_header
header_length (Component)
Declared as: word_bytes
Declare [db_file_io-db_format_specific.adb, 36] dbf_header
Use [db_file_io-db_format_specific.adb, 73] read_header
Set [db_file_io-db_format_specific.adb, 121] write_header
headings (Component)
Declared as: file_header
Declare [db_file_io.adb, 89] file_object
Rename [db_file_io.adb, 162] head
Use [db_file_io.adb, 162] head
Use [db_file_io.adb, 203] update
Set [db_file_io.adb, 203] update
Use [db_file_io.adb, 209] update
Use [db_file_io.adb, 327] tab_updated
Use [db_file_io.adb, 335] tab_attrib
Use [db_file_io.adb, 343] tab_length
Use [db_file_io.adb, 376] col_count
Set [db_file_io.adb, 437] tab_attrib
Set [db_file_io.adb, 439] tab_attrib
Set [db_file_io.adb, 459] row_attrib
Set [db_file_io.adb, 473] col_align
Set [db_file_io.adb, 487] col_attrib
Set [db_file_io.adb, 502] col_name
Use [db_file_io.adb, 519] get
Use [db_file_io.adb, 557] put
Set [db_file_io.adb, 579] put
Set [db_file_io.adb, 600] write
Use [db_file_io.adb, 604] write
Use [db_file_io.adb, 608] write
Set [db_file_io.adb, 610] write
Set [db_file_io.adb, 615] write
Use [db_file_io.adb, 636] read
Use [db_file_io.adb, 656] open
Set [db_file_io.adb, 656] open
Use [db_file_io.adb, 658] open
Use [db_file_io.adb, 659] open
Use [db_file_io.adb, 714] create
Set [db_file_io.adb, 714] create
Use [db_file_io.adb, 716] create
Set [db_file_io.adb, 704] create
Set [db_file_io.adb, 705] create
Set [db_file_io.adb, 706] create
Set [db_file_io.adb, 707] create
Set [db_file_io.adb, 708] create
hei (Object)
Declared as: boolean
Use [b_tree_avl.adb, 246] delete
Set [b_tree_avl.adb, 246] delete
Declare [b_tree_avl.adb, 205] delete
hght (Object)
Declared as: boolean
Use [b_tree_avl.adb, 119] insert
Set [b_tree_avl.adb, 119] insert
Declare [b_tree_avl.adb, 32] insert
hypothesis (Parameter)
Declared as: boolean
Spec [silent_log.ads, 37] assert
hypothesis (Parameter)
Declared as: boolean
Use [system_log.adb, 68] assert
Body [system_log.adb, 62] assert
Spec [system_log.ads, 28] assert
hypothesis (Parameter)
Declared as: boolean
Spec [program_log.ads, 35] assert