Type Cross Reference
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