Object Cross Reference
f (Component)
Declared as: bio.file_type
Declare [unsigned_io.adb, 19] file_object
Use [unsigned_io.adb, 45] create
Set [unsigned_io.adb, 45] create
Use [unsigned_io.adb, 59] open
Set [unsigned_io.adb, 59] open
Use [unsigned_io.adb, 69] close
Set [unsigned_io.adb, 69] close
Use [unsigned_io.adb, 80] delete
Set [unsigned_io.adb, 80] delete
Use [unsigned_io.adb, 92] reset
Set [unsigned_io.adb, 92] reset
Use [unsigned_io.adb, 102] reset
Set [unsigned_io.adb, 102] reset
Use [unsigned_io.adb, 112] mode
Use [unsigned_io.adb, 122] name
Use [unsigned_io.adb, 132] form
Use [unsigned_io.adb, 145] is_open
Use [unsigned_io.adb, 154] read
Use [unsigned_io.adb, 166] read
Use [unsigned_io.adb, 178] read
Use [unsigned_io.adb, 203] write
Use [unsigned_io.adb, 215] write
Use [unsigned_io.adb, 227] write
Use [unsigned_io.adb, 252] set_index
Use [unsigned_io.adb, 262] index
Use [unsigned_io.adb, 272] size
Use [unsigned_io.adb, 282] end_of_file
f (Loop Object)
Ref [array_handler.adb, 349] locate
Declare [array_handler.adb, 347] locate
f_beg (Object)
Declared as: natural := name'first
Set [filenames.adb, 68] filename
Use [filenames.adb, 80] filename
Declare [filenames.adb, 68] filename
Set [filenames.adb, 76] filename
f_end (Object)
Declared as: natural := name'last
Set [filenames.adb, 67] filename
Use [filenames.adb, 80] filename
Declare [filenames.adb, 67] filename
Set [filenames.adb, 74] filename
false_msg (Parameter)
Declared as: string := ""
Set [silent_log.ads, 38] assert
Spec [silent_log.ads, 38] assert
false_msg (Parameter)
Declared as: string := ""
Set [system_log.adb, 63] assert
Use [system_log.adb, 70] assert
Use [system_log.adb, 72] assert
Body [system_log.adb, 63] assert
Set [system_log.ads, 29] assert
Spec [system_log.ads, 29] assert
false_msg (Parameter)
Declared as: string := ""
Set [program_log.ads, 36] assert
Spec [program_log.ads, 36] assert
Set [array_handler.adb, 17] assert
Set [testing.adb, 17] assert
fifo_left (Constant)
Declared as: constant edges_rule := (source => right_edge, target => left_edge)
Set [deque_types.ads, 26] deque_types
Declare [deque_types.ads, 26] deque_types
fifo_right (Constant)
Declared as: constant edges_rule := (source => left_edge, target => right_edge)
Set [deque_types.ads, 22] deque_types
Declare [deque_types.ads, 22] deque_types
Use [deque_types.ads, 39] default_state
file (Parameter)
Declared as: in control
Formal [array_handler.ads, 71] op
file (Object)
Declared as: file_type
Declare [filenames.adb, 104] fullname
Use [filenames.adb, 121] name_then_close
Set [filenames.adb, 121] name_then_close
Use [filenames.adb, 128] fullname
Set [filenames.adb, 128] fullname
Use [filenames.adb, 129] fullname
file (Parameter)
Declared as: in out file_type
Use [db_file_io.adb, 261] delete
Use [db_file_io.adb, 262] delete
Set [db_file_io.adb, 262] delete
Use [db_file_io.adb, 263] delete
Set [db_file_io.adb, 263] delete
Body [db_file_io.adb, 259] delete
Use [db_file_io.adb, 265] delete
Set [db_file_io.adb, 265] delete
file (Parameter)
Declared as: in out tree_type
Set [b_tree_file.adb, 718] open
Set [b_tree_file.adb, 719] open
Set [b_tree_file.adb, 720] open
Use [b_tree_file.adb, 722] open
Set [b_tree_file.adb, 722] open
Set [b_tree_file.adb, 723] open
Use [b_tree_file.adb, 724] open
Body [b_tree_file.adb, 713] open
Use [b_tree_file.adb, 726] open
Set [b_tree_file.adb, 726] open
Spec [b_tree_file.ads, 25] open
file (Parameter)
Declared as: in out file_type
Set [unsigned_io.adb, 44] create
Use [unsigned_io.adb, 45] create
Set [unsigned_io.adb, 45] create
Body [unsigned_io.adb, 39] create
Use [unsigned_io.adb, 47] create
Set [unsigned_io.adb, 47] create
Use [unsigned_io.adb, 49] create
Set [unsigned_io.adb, 49] create
Spec [unsigned_io.ads, 22] create
file (Parameter)
Declared as: in control
Use [array_handler.adb, 653] transfering_poly_in
Body [array_handler.adb, 648] transfering_poly_in
Spec [array_handler.ads, 73] transfering_poly_in
file (Parameter)
Declared as: in file_type
Use [dbase_io.adb, 210] except_mode
Body [dbase_io.adb, 208] except_mode
file (Parameter)
Declared as: in out file_type
Use [db_file_io-db_format_specific.adb, 148] write_desc
Set [db_file_io-db_format_specific.adb, 148] write_desc
Body [db_file_io-db_format_specific.adb, 134] write_desc
file (Component)
Declared as: db_file_io.file_type
Declare [dbase_io.ads, 165] file_type
Use [dbase_io.adb, 194] get_table
Use [dbase_io.adb, 195] get_table
Use [dbase_io.adb, 196] get_table
Use [dbase_io.adb, 220] close
Set [dbase_io.adb, 220] close
Use [dbase_io.adb, 227] reset
Set [dbase_io.adb, 227] reset
Use [dbase_io.adb, 235] reset
Set [dbase_io.adb, 235] reset
Use [dbase_io.adb, 242] mode
Use [dbase_io.adb, 249] name
Use [dbase_io.adb, 256] form
Use [dbase_io.adb, 263] is_open
Use [dbase_io.adb, 270] tab_length
Use [dbase_io.adb, 277] tab_updated
Use [dbase_io.adb, 287] row_attrib
Set [dbase_io.adb, 287] row_attrib
Use [dbase_io.adb, 294] row_attrib
Use [dbase_io.adb, 302] row_index
Set [dbase_io.adb, 302] row_index
Use [dbase_io.adb, 309] row_index
Use [dbase_io.adb, 321] col_align
Set [dbase_io.adb, 321] col_align
Use [dbase_io.adb, 336] col_attrib
Set [dbase_io.adb, 336] col_attrib
Use [dbase_io.adb, 356] col_count
Use [dbase_io.adb, 366] col_align
Use [dbase_io.adb, 380] col_attrib
Use [dbase_io.adb, 393] col_length
Use [dbase_io.adb, 405] col_exist
Use [dbase_io.adb, 416] create
Set [dbase_io.adb, 416] create
Use [dbase_io.adb, 423] create
Set [dbase_io.adb, 423] create
Use [dbase_io.adb, 429] create
Use [dbase_io.adb, 431] create
Set [dbase_io.adb, 431] create
Use [dbase_io.adb, 444] open
Set [dbase_io.adb, 444] open
Use [dbase_io.adb, 445] open
Use [dbase_io.adb, 449] open
Use [dbase_io.adb, 456] open
Use [dbase_io.adb, 458] open
Set [dbase_io.adb, 458] open
Use [dbase_io.adb, 471] get
Set [dbase_io.adb, 471] get
Use [dbase_io.adb, 487] put
Set [dbase_io.adb, 487] put
file_header (Object)
Declared as: dbf_header
Set [db_file_io-db_format_specific.adb, 116] write_header
Set [db_file_io-db_format_specific.adb, 117] write_header
Set [db_file_io-db_format_specific.adb, 118] write_header
Set [db_file_io-db_format_specific.adb, 119] write_header
Set [db_file_io-db_format_specific.adb, 121] write_header
Set [db_file_io-db_format_specific.adb, 126] write_header
Set [db_file_io-db_format_specific.adb, 127] write_header
Set [db_file_io-db_format_specific.adb, 128] write_header
Use [db_file_io-db_format_specific.adb, 131] write_header
Declare [db_file_io-db_format_specific.adb, 113] write_header
fill (Parameter)
Declared as: in byte
Body [db_file_io.adb, 539] clear
Use [db_file_io.adb, 543] clear
fino (Object)
Declared as: node_access renames b_tree_file.tree_object.node
Use [b_tree_file.adb, 1107] delete
Use [b_tree_file.adb, 1113] delete
Set [b_tree_file.adb, 1114] delete
Use [b_tree_file.adb, 1120] delete
Use [b_tree_file.adb, 1126] delete
Use [b_tree_file.adb, 1127] delete
Use [b_tree_file.adb, 1133] delete
Set [b_tree_file.adb, 1133] delete
Use [b_tree_file.adb, 1184] delete
Declare [b_tree_file.adb, 1099] delete
Use [b_tree_file.adb, 1138] delete
Use [b_tree_file.adb, 1149] delete
Set [b_tree_file.adb, 1149] delete
Use [b_tree_file.adb, 1150] delete
Use [b_tree_file.adb, 1151] delete
Use [b_tree_file.adb, 1154] delete
Set [b_tree_file.adb, 1154] delete
Use [b_tree_file.adb, 1155] delete
Use [b_tree_file.adb, 1163] delete
Use [b_tree_file.adb, 1166] delete
Set [b_tree_file.adb, 1166] delete
Use [b_tree_file.adb, 1168] delete
Use [b_tree_file.adb, 1170] delete
Set [b_tree_file.adb, 1170] delete
Use [b_tree_file.adb, 1176] delete
Set [b_tree_file.adb, 1176] delete
Use [b_tree_file.adb, 1177] delete
first (Parameter)
Declared as: natural
Use [array_handler.adb, 54] value
Body [array_handler.adb, 52] value
Spec [array_handler.ads, 107] value
fmt (Parameter)
Declared as: string
Use [string_tools.adb, 22] format
Body [string_tools.adb, 17] format
Use [string_tools.adb, 24] format
Use [string_tools.adb, 38] format
Use [string_tools.adb, 40] format
Use [string_tools.adb, 42] format
Use [string_tools.adb, 46] format
Use [string_tools.adb, 48] format
Use [string_tools.adb, 64] format
Use [string_tools.adb, 65] format
Use [string_tools.adb, 71] format
Use [string_tools.adb, 30] format
Use [string_tools.adb, 31] format
Use [string_tools.adb, 33] format
Use [string_tools.adb, 51] format
Use [string_tools.adb, 53] format
Use [string_tools.adb, 59] format
Spec [string_tools.ads, 21] format
fmt (Parameter)
Declared as: string
Use [format_string.adb, 15] format_string
Use [format_string.adb, 17] format_string
Use [format_string.adb, 17] format_string
Use [format_string.adb, 42] format_string
Body [format_string.adb, 11] format_string
Use [format_string.adb, 19] format_string
Use [format_string.adb, 19] format_string
Use [format_string.adb, 21] format_string
Use [format_string.adb, 23] format_string
Use [format_string.adb, 23] format_string
Use [format_string.adb, 24] format_string
Use [format_string.adb, 24] format_string
Use [format_string.adb, 29] format_string
Use [format_string.adb, 29] format_string
Use [format_string.adb, 31] format_string
Use [format_string.adb, 33] format_string
Use [format_string.adb, 36] format_string
Use [format_string.adb, 36] format_string
Spec [format_string.ads, 13] format_string
fore (Object)
Declared as: elem_location
Declare [b_tree_file.adb, 1069] delete
Set [b_tree_file.adb, 1116] delete
Use [b_tree_file.adb, 1126] delete
Use [b_tree_file.adb, 1127] delete
Use [b_tree_file.adb, 1129] delete
form (Parameter)
Declared as: in string := ""
Set [db_file_io.adb, 675] create
Use [db_file_io.adb, 684] create
Body [db_file_io.adb, 675] create
Set [db_file_io.ads, 41] create
Spec [db_file_io.ads, 41] create
form (Parameter)
Declared as: in string := ""
Set [b_tree_file.adb, 716] open
Use [b_tree_file.adb, 722] open
Body [b_tree_file.adb, 716] open
Set [b_tree_file.ads, 28] open
Spec [b_tree_file.ads, 28] open
form (Parameter)
Declared as: in string := ""
Set [unsigned_io.adb, 42] create
Use [unsigned_io.adb, 45] create
Body [unsigned_io.adb, 42] create
Set [unsigned_io.ads, 25] create
Spec [unsigned_io.ads, 25] create
form (Parameter)
Declared as: in string := ""
Set [dbase_io.adb, 441] open
Use [dbase_io.adb, 444] open
Body [dbase_io.adb, 441] open
Set [dbase_io.ads, 53] open
Spec [dbase_io.ads, 53] open
frag (Parameter)
Declared as: in elem_count
Use [b_tree_file.adb, 233] extend
Body [b_tree_file.adb, 225] extend
Use [b_tree_file.adb, 231] extend
frag (Parameter)
Declared as: object
Use [array_handler.adb, 378] locate
Use [array_handler.adb, 378] locate
Body [array_handler.adb, 373] locate
Spec [array_handler.ads, 149] locate
frag (Parameter)
Declared as: charset
Body [string_tools.adb, 80] locate
Use [string_tools.adb, 96] pos
Spec [string_tools.ads, 38] locate
from (Parameter)
Declared as: in positive
Use [db_file_io.adb, 409] col_align
Use [db_file_io.adb, 410] col_align
Body [db_file_io.adb, 406] col_align
Spec [db_file_io.ads, 89] col_align
from (Parameter)
Declared as: in out step_sequence
Use [b_tree_file.adb, 129] discard
Use [b_tree_file.adb, 129] discard
Set [b_tree_file.adb, 130] discard
Use [b_tree_file.adb, 130] discard
Body [b_tree_file.adb, 126] discard
from (Parameter)
Declared as: in positive_count
Use [unsigned_io.adb, 166] read
Body [unsigned_io.adb, 164] read
from (Parameter)
Declared as: in positive := 1
Set [array_handler.adb, 578] translating_poly_in
Use [array_handler.adb, 581] translating_poly_in
Body [array_handler.adb, 578] translating_poly_in
Set [array_handler.ads, 30] translating_poly_in
Spec [array_handler.ads, 30] translating_poly_in
Set [string_tools.ads, 15] translating_poly_in
from (Parameter)
Declared as: in col_stat
Use [dbase_io.adb, 80] convert
Use [dbase_io.adb, 81] convert
Use [dbase_io.adb, 84] convert
Use [dbase_io.adb, 85] convert
Body [dbase_io.adb, 78] convert
from (Parameter)
Declared as: positive := 1
Set [string_tools.adb, 82] locate
Use [string_tools.adb, 105] locate
Body [string_tools.adb, 82] locate
Use [string_tools.adb, 93] pos
Set [string_tools.ads, 40] locate
Spec [string_tools.ads, 40] locate
from (Parameter)
Declared as: in positive_count
Use [db_file_io-db_format_specific.adb, 226] read_record
Body [db_file_io-db_format_specific.adb, 223] read_record
Spec [db_file_io.adb, 76] read_record