Object Cross Reference
s (Parameter)
Declared as: in string
Body [filenames.adb, 106] checked
Use [filenames.adb, 111] checked
Use [filenames.adb, 113] checked
s (Parameter)
Declared as: string
Use [string_tools.adb, 93] pos
Body [string_tools.adb, 91] pos
Use [string_tools.adb, 94] pos
Use [string_tools.adb, 96] pos
Spec [string_tools.adb, 88] pos
s (Parameter)
Declared as: string
Use [system_log-put_line.adb, 16] put_line
Use [system_log-put_line.adb, 17] put_line
Body [system_log-put_line.adb, 14] put_line
Stub [system_log.adb, 21] put_line
safe_length (Object)
Declared as: natural := min(name'length, desc.name'length)
Set [db_file_io.adb, 108] set_name
Use [db_file_io.adb, 110] set_name
Use [db_file_io.adb, 111] set_name
Use [db_file_io.adb, 112] set_name
Declare [db_file_io.adb, 108] set_name
Use [db_file_io.adb, 113] set_name
sc (Object)
Declared as: day_duration
Set [dbase_io.adb, 623] put
Declare [dbase_io.adb, 619] put
secs (Object)
Declared as: day_duration
Set [db_file_io-db_format_specific.adb, 115] write_header
Declare [db_file_io-db_format_specific.adb, 112] write_header
seek_softly (Constant)
Declared as: constant boolean := true
Set [b_tree_file.adb, 17] b_tree_file
Declare [b_tree_file.adb, 17] b_tree_file
Use [b_tree_file.adb, 448] seek_leaf
sep (Constant)
Declared as: constant string := ": "
Set [system_log.adb, 19] system_log
Declare [system_log.adb, 19] system_log
Use [system_log.adb, 34] error
Use [system_log.adb, 36] error
Use [system_log.adb, 45] warning
Use [system_log.adb, 47] warning
Use [system_log.adb, 56] message
Use [system_log.adb, 58] message
separator (Parameter)
Declared as: in character := '%'
Set [string_tools.ads, 20] format
Formal [string_tools.ads, 20] format
Use [string_tools.adb, 38] format
Use [string_tools.adb, 30] format
separator (Parameter)
Declared as: string := "-"
Set [silent_log.ads, 16] silent_log
Formal [silent_log.ads, 16] silent_log
Use [silent_log.ads, 20] owner_name
separator (Constant)
Declared as: constant character := '%'
Set [format_string.adb, 13] format_string
Use [format_string.adb, 17] format_string
Declare [format_string.adb, 13] format_string
Use [format_string.adb, 21] format_string
separator (Parameter)
Declared as: string := "-"
Set [program_log.ads, 16] program_log
Formal [program_log.ads, 16] program_log
Use [program_log.ads, 20] owner_name
Use [array_handler.adb, 17] owner_name
Use [testing.adb, 17] owner_name
seq (Component)
Declared as: elements (1 .. elem_count'last)
Declare [b_tree_file.adb, 45] elem_sequence
Use [b_tree_file.adb, 146] set_length
Use [b_tree_file.adb, 160] find_ge
Use [b_tree_file.adb, 181] find_le
Use [b_tree_file.adb, 205] append
Set [b_tree_file.adb, 206] append
Use [b_tree_file.adb, 216] append
Set [b_tree_file.adb, 218] append
Set [b_tree_file.adb, 231] extend
Use [b_tree_file.adb, 231] extend
Set [b_tree_file.adb, 242] amend
Set [b_tree_file.adb, 267] insert
Set [b_tree_file.adb, 280] delete
Use [b_tree_file.adb, 280] delete
Set [b_tree_file.adb, 292] set
Set [b_tree_file.adb, 300] set
Use [b_tree_file.adb, 374] is_equal
Use [b_tree_file.adb, 376] is_equal
Use [b_tree_file.adb, 404] seek_right
Use [b_tree_file.adb, 479] seek_leaf
Use [b_tree_file.adb, 454] seek_leaf
Use [b_tree_file.adb, 490] seek_leaf
Use [b_tree_file.adb, 493] seek_leaf
Use [b_tree_file.adb, 504] seek_leaf
Use [b_tree_file.adb, 524] next_node
Use [b_tree_file.adb, 585] next_node
Use [b_tree_file.adb, 656] seek_item
Use [b_tree_file.adb, 831] split_node
Use [b_tree_file.adb, 839] split_node
Use [b_tree_file.adb, 845] split_node
Use [b_tree_file.adb, 849] split_node
Use [b_tree_file.adb, 861] split_node
Set [b_tree_file.adb, 979] modify
Set [b_tree_file.adb, 995] junk
Use [b_tree_file.adb, 996] junk
Set [b_tree_file.adb, 1017] balance
Use [b_tree_file.adb, 1019] balance
Set [b_tree_file.adb, 1035] balance
Set [b_tree_file.adb, 1036] balance
Set [b_tree_file.adb, 1037] balance
Use [b_tree_file.adb, 1022] last
Use [b_tree_file.adb, 1044] balance
Use [b_tree_file.adb, 1041] last
Use [b_tree_file.adb, 1079] left
Use [b_tree_file.adb, 1107] delete
Set [b_tree_file.adb, 1126] delete
Use [b_tree_file.adb, 1126] delete
Set [b_tree_file.adb, 1127] delete
Use [b_tree_file.adb, 1127] delete
Use [b_tree_file.adb, 1151] delete
Use [b_tree_file.adb, 1163] delete
Use [b_tree_file.adb, 1176] delete
Set [b_tree_file.adb, 1176] delete
Use [b_tree_file.adb, 1177] delete
Use [b_tree_file.adb, 1224] get_first
Use [b_tree_file.adb, 1225] get_first
Use [b_tree_file.adb, 1254] get_last
Use [b_tree_file.adb, 1255] get_last
Use [b_tree_file.adb, 1295] get_ge
Use [b_tree_file.adb, 1296] get_ge
Use [b_tree_file.adb, 1302] get_ge
Use [b_tree_file.adb, 1319] get_ge
Use [b_tree_file.adb, 1320] get_ge
Use [b_tree_file.adb, 1360] get_le
Use [b_tree_file.adb, 1361] get_le
Use [b_tree_file.adb, 1367] get_le
Use [b_tree_file.adb, 1385] get_le
Use [b_tree_file.adb, 1386] get_le
Use [b_tree_file.adb, 1426] get_lt
Use [b_tree_file.adb, 1442] get_lt
Use [b_tree_file.adb, 1443] get_lt
Use [b_tree_file.adb, 1483] get_gt
Use [b_tree_file.adb, 1499] get_gt
Use [b_tree_file.adb, 1500] get_gt
slot (Component)
Declared as: elem_index := 1
Set [b_tree_file.adb, 53] elem_location
Declare [b_tree_file.adb, 53] elem_location
Use [b_tree_file.adb, 374] is_equal
Use [b_tree_file.adb, 376] is_equal
Set [b_tree_file.adb, 403] seek_right
Use [b_tree_file.adb, 404] seek_right
Set [b_tree_file.adb, 427] seek_left
Set [b_tree_file.adb, 478] seek_leaf
Use [b_tree_file.adb, 479] seek_leaf
Set [b_tree_file.adb, 453] seek_leaf
Use [b_tree_file.adb, 454] seek_leaf
Use [b_tree_file.adb, 456] seek_leaf
Use [b_tree_file.adb, 459] seek_leaf
Use [b_tree_file.adb, 486] seek_leaf
Use [b_tree_file.adb, 490] seek_leaf
Use [b_tree_file.adb, 493] seek_leaf
Set [b_tree_file.adb, 503] seek_leaf
Use [b_tree_file.adb, 504] seek_leaf
Use [b_tree_file.adb, 533] seek_pred
Use [b_tree_file.adb, 549] seek_pred
Set [b_tree_file.adb, 551] seek_pred
Use [b_tree_file.adb, 551] seek_pred
Use [b_tree_file.adb, 592] seek_succ
Use [b_tree_file.adb, 608] seek_succ
Set [b_tree_file.adb, 610] seek_succ
Use [b_tree_file.adb, 610] seek_succ
Use [b_tree_file.adb, 656] seek_item
Set [b_tree_file.adb, 702] create
Use [b_tree_file.adb, 828] split_node
Use [b_tree_file.adb, 836] split_node
Use [b_tree_file.adb, 838] split_node
Use [b_tree_file.adb, 842] split_node
Use [b_tree_file.adb, 852] split_node
Use [b_tree_file.adb, 857] split_node
Use [b_tree_file.adb, 896] insert
Use [b_tree_file.adb, 898] insert
Use [b_tree_file.adb, 902] insert
Set [b_tree_file.adb, 925] insert
Use [b_tree_file.adb, 979] modify
Use [b_tree_file.adb, 1107] delete
Use [b_tree_file.adb, 1108] delete
Use [b_tree_file.adb, 1126] delete
Use [b_tree_file.adb, 1126] delete
Use [b_tree_file.adb, 1127] delete
Use [b_tree_file.adb, 1127] delete
Use [b_tree_file.adb, 1133] delete
Use [b_tree_file.adb, 1151] delete
Use [b_tree_file.adb, 1156] delete
Use [b_tree_file.adb, 1163] delete
Use [b_tree_file.adb, 1165] delete
Use [b_tree_file.adb, 1166] delete
Use [b_tree_file.adb, 1176] delete
Use [b_tree_file.adb, 1177] delete
Use [b_tree_file.adb, 1178] delete
Use [b_tree_file.adb, 1224] get_first
Use [b_tree_file.adb, 1225] get_first
Use [b_tree_file.adb, 1254] get_last
Use [b_tree_file.adb, 1255] get_last
Use [b_tree_file.adb, 1295] get_ge
Use [b_tree_file.adb, 1296] get_ge
Use [b_tree_file.adb, 1302] get_ge
Use [b_tree_file.adb, 1319] get_ge
Use [b_tree_file.adb, 1320] get_ge
Use [b_tree_file.adb, 1360] get_le
Use [b_tree_file.adb, 1361] get_le
Use [b_tree_file.adb, 1367] get_le
Use [b_tree_file.adb, 1385] get_le
Use [b_tree_file.adb, 1386] get_le
Use [b_tree_file.adb, 1426] get_lt
Use [b_tree_file.adb, 1442] get_lt
Use [b_tree_file.adb, 1443] get_lt
Use [b_tree_file.adb, 1483] get_gt
Use [b_tree_file.adb, 1499] get_gt
Use [b_tree_file.adb, 1500] get_gt
source (Component)
Declared as: edge_type
Declare [deque_types.ads, 17] edges_rule
Use [deque_types.ads, 109] current
Set [deque_types.adb, 33] set_source
Use [deque_types.adb, 44] source
Use [deque_types.adb, 59] reset_rule
Use [deque_types.adb, 72] discard
Use [deque_types.adb, 123] value
source (Parameter)
Declared as: in edge_type
Use [deque_types.adb, 118] value
Body [deque_types.adb, 116] value
Spec [deque_types.ads, 49] value
spos (Object)
Declared as: elem_index := (left.data.len - num + 1)
Set [b_tree_file.adb, 1040] balance
Use [b_tree_file.adb, 1044] balance
Use [b_tree_file.adb, 1050] balance
Declare [b_tree_file.adb, 1040] balance
Use [b_tree_file.adb, 1041] last
start_time (Constant)
Declared as: constant time := system_log.start_time
Set [silent_log.ads, 21] silent_log
Declare [silent_log.ads, 21] silent_log
Use [silent_log.ads, 24] moment
Use [silent_log.ads, 28] moment
Use [silent_log.ads, 32] moment
Use [silent_log.ads, 40] moment
Use [silent_log.adb, 15] moment
Use [silent_log.adb, 22] moment
Use [silent_log.adb, 29] moment
start_time (Constant)
Declared as: constant time := system_log.start_time
Instantiation [array_handler.adb, 17] log
Use [array_handler.adb, 17] moment
Use [array_handler.adb, 17] moment
Use [array_handler.adb, 17] moment
Use [array_handler.adb, 17] moment
start_time (Constant)
Declared as: constant time := system_log.start_time
Instantiation [testing.adb, 17] log
Use [testing.adb, 17] moment
Use [testing.adb, 17] moment
Use [testing.adb, 17] moment
Use [testing.adb, 17] moment
start_time (Constant)
Declared as: constant time := calendar.clock - 1.0
Set [system_log.ads, 17] system_log
Declare [system_log.ads, 17] system_log
Use [system_log.ads, 20] moment
Use [system_log.ads, 23] moment
Use [system_log.ads, 26] moment
Use [system_log.ads, 31] moment
Use [program_log.ads, 21] start_time
Use [silent_log.ads, 21] start_time
Use [system_log.adb, 33] error
Use [system_log.adb, 30] moment
Use [system_log.adb, 44] warning
Use [system_log.adb, 41] moment
Use [system_log.adb, 55] message
Use [system_log.adb, 52] moment
Use [system_log.adb, 65] moment
Use [array_handler.adb, 17] start_time
Use [testing.adb, 17] start_time
start_time (Constant)
Declared as: constant time := system_log.start_time
Set [program_log.ads, 21] program_log
Declare [program_log.ads, 21] program_log
Use [program_log.ads, 24] moment
Use [program_log.ads, 28] moment
Use [program_log.ads, 32] moment
Use [program_log.ads, 38] moment
sub (Object)
Declared as: array (frag'range) of positive
Declare [array_handler.adb, 308] locate
Use [array_handler.adb, 314] subseq_check
Set [array_handler.adb, 316] subseq_check
Use [array_handler.adb, 325] subseq_check
Set [array_handler.adb, 327] subseq_check
Use [array_handler.adb, 358] locate
Use [array_handler.adb, 358] locate