Type Cross Reference


Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ

file_header    (Type Record)
    Declare   [db_file_io.adb, 41]   db_format_specific
    Type   [db_file_io.adb, 59]      header
    Type   [db_file_io.adb, 63]      header
    Type   [db_file_io.adb, 67]      header
    Type   [db_file_io.adb, 73]      header
    Type   [db_file_io.adb, 89]      headings
    Type   [db_file_io.adb, 162]     head
    Type   [db_file_io-db_format_specific.adb, 66] header
    Type   [db_file_io-db_format_specific.adb, 108] header
    Type   [db_file_io-db_format_specific.adb, 152] header
    Type   [db_file_io-db_format_specific.adb, 184] header
    Type   [db_file_io-db_format_specific.adb, 208] header
    Type   [db_file_io-db_format_specific.adb, 220] header

File_Mode    (Type Enumeration)
    Instantiation   [b_tree_file.adb, 81] node_io
    Type   [b_tree_file.adb, 81]     Mode
    Type   [b_tree_file.adb, 81]     Mode
    Type   [b_tree_file.adb, 81]     Mode
    Type   [b_tree_file.adb, 81]     Mode
    Type   [b_tree_file.adb, 97]     io_mode

File_Mode    (Type Enumeration)
    Instantiation   [unsigned_io.adb, 15] bio
    Type   [unsigned_io.adb, 15]     Mode
    Type   [unsigned_io.adb, 15]     Mode
    Type   [unsigned_io.adb, 15]     Mode
    Type   [unsigned_io.adb, 15]     Mode
    Type   [unsigned_io.adb, 22]     bio_mode
    Ref   [unsigned_io.adb, 27]      bin_mode

file_mode    (Type Enumeration)
  Declared as: new unsigned_io.file_mode range in_file .. inout_file
    Declare   [db_file_io.ads, 17]   db_file_io
    Type   [db_file_io.ads, 44]      mode
    Type   [db_file_io.ads, 49]      mode
    Type   [db_file_io.ads, 52]      mode
    Type   [db_file_io.adb, 153]     which
    Type   [db_file_io.adb, 271]     mode
    Convert   [db_file_io.adb, 274]  mode
    Type   [db_file_io.adb, 296]     mode
    Type   [db_file_io.adb, 648]     mode
    Derive   [dbase_io.ads, 32]      file_mode
    Convert   [dbase_io.adb, 235]    reset
    Convert   [dbase_io.adb, 444]    open

file_mode    (Type Enumeration)
    Declare   [unsigned_io.ads, 18]  unsigned_io
    Type   [unsigned_io.ads, 23]     mode
    Type   [unsigned_io.ads, 28]     mode
    Type   [unsigned_io.ads, 35]     mode
    Type   [unsigned_io.ads, 38]     mode
    Derive   [db_file_io.ads, 17]    file_mode
    Ref   [unsigned_io.adb, 22]      bio_mode
    Type   [unsigned_io.adb, 27]     bin_mode
    Type   [unsigned_io.adb, 40]     mode
    Type   [unsigned_io.adb, 54]     mode
    Type   [unsigned_io.adb, 90]     mode
    Type   [unsigned_io.adb, 110]    mode
    Convert   [db_file_io.adb, 300]  reset
    Convert   [db_file_io.adb, 655]  open

file_mode    (Type Enumeration)
  Declared as: new db_file_io.file_mode
    Declare   [dbase_io.ads, 32]     dbase_io
    Type   [dbase_io.ads, 51]        mode
    Type   [dbase_io.ads, 56]        mode
    Type   [dbase_io.ads, 58]        mode
    Type   [dbase_io.adb, 208]       which
    Type   [dbase_io.adb, 233]       mode
    Type   [dbase_io.adb, 240]       mode
    Convert   [dbase_io.adb, 242]    mode
    Type   [dbase_io.adb, 439]       mode

file_object    (Type Record)
    Declare   [db_file_io.adb, 85]   db_file_io
    Ref   [db_file_io.adb, 654]      open
    Ref   [db_file_io.adb, 683]      create
    Incomplete   [db_file_io.ads, 115] db_file_io
    Type   [db_file_io.ads, 116]     file_type
    Ref   [db_file_io.adb, 127]      destroy

file_object    (Type Record)
    Declare   [unsigned_io.adb, 17]  unsigned_io
    Ref   [unsigned_io.adb, 44]      create
    Ref   [unsigned_io.adb, 58]      open

file_object    (Type)
    Incomplete   [unsigned_io.ads, 78] unsigned_io
    Type   [unsigned_io.ads, 79]     file_type
    Ref   [unsigned_io.adb, 33]      free

file_type    (Limited Private Type Access)
  Declared as: unsigned_io.file_type
    Declare   [db_file_io.adb, 56]   db_format_specific
    Type   [db_file_io.adb, 58]      file
    Type   [db_file_io.adb, 62]      file
    Type   [db_file_io.adb, 66]      file
    Type   [db_file_io.adb, 72]      file
    Type   [db_file_io-db_format_specific.adb, 66] file
    Type   [db_file_io-db_format_specific.adb, 88] file
    Type   [db_file_io-db_format_specific.adb, 108] file
    Type   [db_file_io-db_format_specific.adb, 134] file
    Type   [db_file_io-db_format_specific.adb, 151] file
    Type   [db_file_io-db_format_specific.adb, 183] file
    Type   [db_file_io-db_format_specific.adb, 207] file
    Type   [db_file_io-db_format_specific.adb, 219] file

File_Type    (Limited Private Type)
    Instantiation   [b_tree_file.adb, 81] node_io
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 81]     File
    Type   [b_tree_file.adb, 88]     file

File_Type    (Limited Private Type)
    Instantiation   [unsigned_io.adb, 15] bio
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 15]     File
    Type   [unsigned_io.adb, 19]     f

file_type    (Limited Private Type Access)
  Declared as: access file_object
    Declare   [db_file_io.ads, 16]   db_file_io
    Private   [db_file_io.ads, 116]  db_file_io
    Type   [db_file_io.ads, 35]      file
    Type   [db_file_io.ads, 37]      file
    Type   [db_file_io.ads, 43]      file
    Type   [db_file_io.ads, 48]      file
    Type   [db_file_io.ads, 49]      file
    Type   [db_file_io.ads, 50]      file
    Type   [db_file_io.ads, 52]      file
    Type   [db_file_io.ads, 53]      file
    Type   [db_file_io.ads, 54]      file
    Type   [db_file_io.ads, 55]      file
    Type   [db_file_io.ads, 57]      file
    Type   [db_file_io.ads, 58]      file
    Type   [db_file_io.ads, 59]      file
    Type   [db_file_io.ads, 60]      file
    Type   [db_file_io.ads, 63]      file
    Type   [db_file_io.ads, 64]      file
    Type   [db_file_io.ads, 65]      file
    Type   [db_file_io.ads, 66]      file
    Type   [db_file_io.ads, 67]      file
    Type   [db_file_io.ads, 69]      file
    Type   [db_file_io.ads, 73]      file
    Type   [db_file_io.ads, 77]      file
    Type   [db_file_io.ads, 81]      file
    Type   [db_file_io.ads, 85]      file
    Type   [db_file_io.ads, 89]      file
    Type   [db_file_io.ads, 90]      file
    Type   [db_file_io.ads, 91]      file
    Type   [db_file_io.ads, 93]      file
    Type   [db_file_io.ads, 94]      file
    Type   [db_file_io.ads, 95]      file
    Type   [db_file_io.ads, 97]      file
    Type   [db_file_io.ads, 101]     file
    Type   [db_file_io.adb, 126]     file
    Type   [db_file_io.adb, 127]     X
    Type   [db_file_io.adb, 146]     file
    Type   [db_file_io.adb, 153]     file
    Type   [db_file_io.adb, 160]     file
    Type   [db_file_io.adb, 189]     file
    Type   [db_file_io.adb, 197]     file
    Type   [db_file_io.adb, 218]     file
    Type   [db_file_io.adb, 229]     file
    Type   [db_file_io.adb, 236]     file
    Type   [db_file_io.adb, 259]     file
    Type   [db_file_io.adb, 271]     file
    Type   [db_file_io.adb, 279]     file
    Type   [db_file_io.adb, 287]     file
    Type   [db_file_io.adb, 295]     file
    Type   [db_file_io.adb, 305]     file
    Type   [db_file_io.adb, 314]     file
    Type   [db_file_io.adb, 324]     file
    Type   [db_file_io.adb, 332]     file
    Type   [db_file_io.adb, 340]     file
    Type   [db_file_io.adb, 348]     file
    Type   [db_file_io.adb, 357]     file
    Type   [db_file_io.adb, 365]     file
    Type   [db_file_io.adb, 373]     file
    Type   [db_file_io.adb, 381]     file
    Type   [db_file_io.adb, 390]     file
    Type   [db_file_io.adb, 406]     file
    Type   [db_file_io.adb, 415]     file
    Type   [db_file_io.adb, 424]     file
    Type   [db_file_io.adb, 433]     file
    Type   [db_file_io.adb, 444]     file
    Type   [db_file_io.adb, 453]     file
    Type   [db_file_io.adb, 464]     file
    Type   [db_file_io.adb, 478]     file
    Type   [db_file_io.adb, 492]     file
    Type   [db_file_io.adb, 507]     file
    Type   [db_file_io.adb, 533]     file
    Type   [db_file_io.adb, 584]     file
    Type   [db_file_io.adb, 620]     file
    Type   [db_file_io.adb, 647]     file
    Type   [db_file_io.adb, 671]     file
    Ref   [db_file_io.adb, 127]      destroy
    Type   [dbase_io.ads, 165]       file

file_type    (Limited Private Type Access)
  Declared as: access file_object
    Declare   [unsigned_io.ads, 16]  unsigned_io
    Private   [unsigned_io.ads, 79]  unsigned_io
    Type   [unsigned_io.ads, 22]     file
    Type   [unsigned_io.ads, 27]     file
    Type   [unsigned_io.ads, 32]     file
    Type   [unsigned_io.ads, 33]     file
    Type   [unsigned_io.ads, 34]     file
    Type   [unsigned_io.ads, 36]     file
    Type   [unsigned_io.ads, 38]     file
    Type   [unsigned_io.ads, 39]     file
    Type   [unsigned_io.ads, 41]     file
    Type   [unsigned_io.ads, 42]     file
    Type   [unsigned_io.ads, 44]     file
    Type   [unsigned_io.ads, 45]     file
    Type   [unsigned_io.ads, 48]     file
    Type   [unsigned_io.ads, 49]     file
    Type   [unsigned_io.ads, 54]     file
    Type   [unsigned_io.ads, 59]     file
    Type   [unsigned_io.ads, 62]     file
    Type   [unsigned_io.ads, 63]     file
    Type   [unsigned_io.ads, 64]     file
    Type   [unsigned_io.ads, 65]     file
    Type   [unsigned_io.adb, 32]     file
    Type   [unsigned_io.adb, 33]     X
    Type   [unsigned_io.adb, 39]     file
    Type   [unsigned_io.adb, 53]     file
    Type   [unsigned_io.adb, 67]     file
    Type   [unsigned_io.adb, 78]     file
    Type   [unsigned_io.adb, 89]     file
    Type   [unsigned_io.adb, 100]    file
    Type   [unsigned_io.adb, 110]    file
    Type   [unsigned_io.adb, 120]    file
    Type   [unsigned_io.adb, 130]    file
    Type   [unsigned_io.adb, 140]    file
    Type   [unsigned_io.adb, 151]    file
    Type   [unsigned_io.adb, 162]    file
    Type   [unsigned_io.adb, 174]    file
    Type   [unsigned_io.adb, 187]    file
    Type   [unsigned_io.adb, 200]    file
    Type   [unsigned_io.adb, 211]    file
    Type   [unsigned_io.adb, 223]    file
    Type   [unsigned_io.adb, 236]    file
    Type   [unsigned_io.adb, 249]    file
    Type   [unsigned_io.adb, 260]    file
    Type   [unsigned_io.adb, 270]    file
    Type   [unsigned_io.adb, 280]    file
    Type   [unsigned_io.adb, 290]    file
    Type   [unsigned_io.adb, 300]    file
    Ref   [unsigned_io.adb, 33]      free
    Type   [db_file_io.adb, 56]      file_type
    Type   [db_file_io.adb, 88]      uio_file
    Type   [db_file_io-db_format_specific.adb, 51] file
    Type   [db_file_io-db_format_specific.adb, 52] file
    Type   [db_file_io-db_format_specific.adb, 53] file
    Type   [db_file_io-db_format_specific.adb, 54] file

file_type    (Limited Private Type Record)
    Declare   [dbase_io.ads, 43]     table_io
    Private   [dbase_io.ads, 163]    table_io
    Type   [dbase_io.ads, 45]        file
    Type   [dbase_io.ads, 50]        file
    Type   [dbase_io.ads, 55]        file
    Type   [dbase_io.ads, 56]        file
    Type   [dbase_io.ads, 57]        file
    Type   [dbase_io.ads, 58]        file
    Type   [dbase_io.ads, 59]        file
    Type   [dbase_io.ads, 60]        file
    Type   [dbase_io.ads, 61]        file
    Type   [dbase_io.ads, 63]        file
    Type   [dbase_io.ads, 64]        file
    Type   [dbase_io.ads, 65]        file
    Type   [dbase_io.ads, 67]        file
    Type   [dbase_io.ads, 69]        file
    Type   [dbase_io.ads, 70]        file
    Type   [dbase_io.ads, 72]        file
    Type   [dbase_io.ads, 74]        file
    Type   [dbase_io.ads, 78]        file
    Type   [dbase_io.ads, 82]        file
    Type   [dbase_io.ads, 84]        file
    Type   [dbase_io.ads, 86]        file
    Type   [dbase_io.ads, 88]        file
    Type   [dbase_io.ads, 90]        file
    Type   [dbase_io.ads, 92]        file
    Type   [dbase_io.ads, 95]        file
    Type   [dbase_io.ads, 99]        file
    Type   [dbase_io.ads, 103]       file
    Type   [dbase_io.ads, 107]       file
    Type   [dbase_io.ads, 111]       file
    Type   [dbase_io.ads, 115]       file
    Type   [dbase_io.ads, 119]       file
    Type   [dbase_io.ads, 123]       file
    Type   [dbase_io.ads, 129]       file
    Type   [dbase_io.ads, 133]       file
    Type   [dbase_io.ads, 141]       file
    Type   [dbase_io.ads, 144]       file
    Type   [dbase_io.ads, 152]       file
    Type   [dbase_io.ads, 156]       file
    Type   [dbase_io.adb, 141]       file
    Type   [dbase_io.adb, 151]       file
    Type   [dbase_io.adb, 183]       file
    Type   [dbase_io.adb, 208]       file
    Type   [dbase_io.adb, 218]       file
    Type   [dbase_io.adb, 225]       file
    Type   [dbase_io.adb, 232]       file
    Type   [dbase_io.adb, 240]       file
    Type   [dbase_io.adb, 247]       file
    Type   [dbase_io.adb, 254]       file
    Type   [dbase_io.adb, 261]       file
    Type   [dbase_io.adb, 268]       file
    Type   [dbase_io.adb, 275]       file
    Type   [dbase_io.adb, 282]       file
    Type   [dbase_io.adb, 292]       file
    Type   [dbase_io.adb, 299]       file
    Type   [dbase_io.adb, 307]       file
    Type   [dbase_io.adb, 314]       file
    Type   [dbase_io.adb, 329]       file
    Type   [dbase_io.adb, 344]       file
    Type   [dbase_io.adb, 353]       file
    Type   [dbase_io.adb, 361]       file
    Type   [dbase_io.adb, 375]       file
    Type   [dbase_io.adb, 388]       file
    Type   [dbase_io.adb, 401]       file
    Type   [dbase_io.adb, 410]       file
    Type   [dbase_io.adb, 438]       file
    Type   [dbase_io.adb, 465]       file
    Type   [dbase_io.adb, 480]       file
    Type   [dbase_io.adb, 495]       file
    Type   [dbase_io.adb, 522]       file
    Type   [dbase_io.adb, 551]       file
    Type   [dbase_io.adb, 566]       file
    Type   [dbase_io.adb, 583]       file
    Type   [dbase_io.adb, 610]       file
    Type   [dbase_io.adb, 640]       file
    Type   [dbase_io.adb, 655]       file
    Type   [dbase_io.adb, 678]       file
    Type   [dbase_io.adb, 693]       file
    Type   [dbase_io.adb, 716]       file
    Type   [dbase_io.adb, 730]       file

Non-AlphaABCDEFGHIJKLMNOPQRSTUVWXYZ