Object Cross Reference


Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ

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

Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ