V "GNAT Lib v5" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=i486 A -march=i486 P RN RV NO_ALLOCATORS RV NO_EXCEPTIONS RV NO_IMPLICIT_CONDITIONALS RV NO_IMPLICIT_LOOPS RV NO_LOCAL_ALLOCATORS RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_ACCESS RV NO_UNCHECKED_CONVERSION RV NO_DEFAULT_INITIALIZATION RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_ELABORATION_CODE RV NO_OBSOLESCENT_FEATURES RV SPARK_05 U fmap%b fmap.adb ecbd9d3f OO PK W ada.exceptions%s a-except.adb a-except.ali W gnat%s gnat.ads gnat.ali W gnat.htable%s g-htable.adb g-htable.ali W opt%s opt.adb opt.ali W osint%s osint.adb osint.ali W output%s output.adb output.ali AD W system%s system.ads system.ali W system.os_lib%s s-os_lib.adb s-os_lib.ali W table%s table.adb table.ali AD W types%s types.adb types.ali W unchecked_conversion%s U fmap%s fmap.ads 7c1f9d55 EE NE OO PK W namet%s namet.adb namet.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-except.ads 20140730140058 047121f5 ada.exceptions%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s D alloc.ads 20150107084147 61013b91 alloc%s D debug.ads 20090420131856 3ea59655 debug%s D fmap.ads 20121106112827 2fe51c48 fmap%s D fmap.adb 20121106112827 6aa90447 fmap%b D gnat.ads 20140801083227 fd2ad2f1 gnat%s D g-htable.ads 20140225151544 4b643b8d gnat.htable%s D hostparm.ads 20140801100131 a20ca6cf hostparm%s D namet.ads 20150302110329 53fa811d namet%s D opt.ads 20150302110329 e5e8f770 opt%s D osint.ads 20140804124756 38aa0095 osint%s D output.ads 20140801093848 2d9479ad output%s D system.ads 20141030114420 57068cbf system%s D s-conca2.ads 20140225151544 02a0d7d0 system.concat_2%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-htable.ads 20140225151139 84c2b3ea system.htable%s D s-htable.adb 20140225151139 90376e52 system.htable%b D s-memory.ads 20140225151139 597d6634 system.memory%s D s-os_lib.ads 20150220113817 5853d835 system.os_lib%s D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s D s-strhas.ads 20090623093900 269cd894 system.string_hash%s D s-string.ads 20140225151139 8fe54fb7 system.strings%s D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s D table.ads 20090506081141 e3a9ec16 table%s D table.adb 20141107135941 9716557f table%b D tree_io.ads 20140718093624 6de0ef2c tree_io%s D types.ads 20150130153101 63969ace types%s D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s D unchdeal.ads 20070406091342 214516a4 unchecked_deallocation%s X 7 fmap.ads 41K9*Fmap 81l5 81e9 8|41b14 535l5 535t9 43U14*Initialize 43>26 8|180b14 385l8 385t18 43a26 File_Name{string} 8|180b26 297r21 305r19 306r38 311r21 332r48 50V13*Mapped_Path_Name{12|571I9} 50>31 8|406b13 421l8 421t24 50i31 File{12|571I9} 8|406b31 410r31 414r37 54V13*Mapped_File_Name{12|571I9} 54>31 8|391b13 400l8 400t24 54i31 Unit{12|596I9} 8|391b31 392r56 59U14*Add_To_File_Map 60>7 61>7 62>7 8|135b14 160l8 160t23 378s13 60i7 Unit_Name{12|596I9} 8|136b7 140r57 147r31 149r22 158r22 61i7 File_Name{12|571I9} 8|137b7 141r57 144r50 149r42 156r31 62i7 Path_Name{12|571I9} 8|138b7 153r50 158r42 65U14*Update_Mapping_File 65>35 8|441b14 533l8 533t27 65a35 File_Name{string} 8|441b35 494r43 528r24 70U14*Reset_Tables 8|427b14 435l8 435t20 76U14*Add_Forbidden_File_Name 76>39 8|126b14 129l8 129t31 76i39 Name{12|571I9} 8|126b39 128r28 X 8 fmap.adb 43b4 No_Mapping_File{boolean} 313m10 487r10 48V13 To_Big_String_Ptr[35|20]{34|120P9} 316s16 51N4 Max_Buffer 52r26 52a4 Buffer{string} 463r42 464m37 464r37 475m10 478m10 514m37 514r37 55i4 Buffer_Last{natural} 463r13 464r57 466r26 470m13 475r18 475r37 477m10 . 477r25 478r18 514r57 516r26 58R9 Mapping 61e14 64r30 73r30 59i7*Uname{12|596I9} 149m13 158m13 502r61 60i7*Fname{12|571I9} 144r41 149m33 153r41 158m33 398r48 419r44 503r61 505r65 . 506r67 63K12 File_Mapping[31|55] 144r9 146r10 147r42 148r10 148r30 222r10 384r24 . 398r17 429r7 492r26 501r46 502r35 503r35 505r39 72K12 Path_Mapping[31|55] 153r9 155r10 156r42 157r10 157r30 221r10 419r17 . 430r7 506r35 81I9 Header_Num 83r46 90r20 99r46 103r20 115r20 166r46 168r14 . 168r38 171r46 173r14 173r38 83V13 Hash{81I9} 83>19 94r20 171b13 174l8 174t12 83i19 F{12|596I9} 171b19 173r31 86i4 No_Entry{34|59I9} 92r20 105r20 143r23 152r23 395r22 407r22 416r18 89K12 Unit_Hash_Table[19|70] 140r36 147r10 219r10 392r35 431r7 99V13 Hash{81I9} 99>19 107r20 119r20 166b13 169l8 169t12 99i19 F{12|571I9} 166b19 168r31 102K12 File_Hash_Table[19|70] 141r36 156r10 220r10 414r16 432r7 505r18 112i4 Last_In_Table{34|59I9} 223m10 384m7 434m7 492r10 497r16 501r25 114K12 Forbidden_Names[19|70] 128r7 410r10 433r7 140i7 Unit_Entry{34|59I9} 143r10 144r29 141i7 File_Entry{34|59I9} 152r10 153r29 181p7 Src{34|202P9} 307m44 307r44 309r10 316r35 182i7 Hi{34|212I12} 307m40 317r34 183p7 BS{34|120P9} 316m10 317r16 184p7 SP{34|113P9} 266r24 267r22 268r31 269r31 276r21 276r38 279r26 280r24 . 281r24 282r24 317m10 328r44 329r24 329r50 334r42 340r44 356r44 373r44 186i7 First{positive} 262m10 266r16 267r26 268r35 269r35 271m13 271r22 276r13 . 276r42 277r21 326r23 328r24 334r46 339r32 340r48 349r16 355r32 356r48 366r16 . 372r32 373r48 187i7 Last{natural} 262r19 277m13 279r19 280r28 281r28 282r28 284m16 284r24 . 326r31 328r17 328r48 329r28 329r54 334r55 339r25 340r57 349r24 355r25 356r57 . 366r24 372r25 373r57 189i7 Uname{12|596I9} 341m13 378r30 190i7 Fname{12|571I9} 358m13 378r37 191i7 Pname{12|571I9} 374m13 378r44 193U17 Empty_Tables 217b17 224l11 224t23 304s7 335s16 351s16 368s16 196V16 Find_File_Name{12|571I9} 230b16 243l11 243t25 251s33 358s22 374s22 202V16 Find_Unit_Name{12|596I9} 249b16 252l11 252t25 341s22 206U17 Get_Line 258b17 288l11 288t19 322s13 345s13 362s13 209U17 Report_Truncated 294b17 299l11 299t27 350s16 367s16 392i7 The_Index{34|59I9} 395r10 398r37 407i7 Index{34|59I9} 414m7 416r10 419r37 442i7 File{22|186I9} 464r31 494m10 496r13 498r23 514r31 520r20 443i7 N_Bytes{integer} 464m13 466r16 514m13 516r16 445i7 File_Entry{34|59I9} 504m16 506r55 447b7 Status{boolean} 520m26 522r20 450U17 Put_Line 450>27 457b17 479l11 479t19 502s16 503s16 506s16 450i27 Name{12|179I9} 457b27 459r27 501i17 Unit 502r55 503r55 505r59 X 9 gnat.ads 34K9*GNAT 8|39r6 89r35 102r35 114r35 9|37e9 X 10 g-htable.ads 46K14*HTable 8|39w11 89r40 102r40 114r40 10|60e16 55k20*Simple_HTable 8|89r47 102r47 114r47 X 12 namet.ads 38K9*Namet 7|39w6 39r17 12|707e10 151a4*Name_Buffer{string} 8|232r13 306m7 340m13 356m13 357m39 357r39 373m13 . 476r12 157i4*Name_Len{natural} 8|232r31 305m7 306r25 339m13 340r31 355m13 356r31 . 357r57 372m13 373r31 463r27 475r51 476r30 477r39 179I9*Name_Id 8|450r34 457r34 502r26 503r26 506r26 316U14*Get_Name_String 8|459s10 415V13*Name_Find{179I9} 8|241s20 430V13*Name_Enter{179I9} 8|307s25 571I9*File_Name_Type<179I9> 7|50r38 50r61 54r61 61r19 62r19 76r46 8|60r15 . 99r23 106r20 118r20 126r46 137r19 138r19 166r23 190r15 191r15 196r38 230r38 . 391r61 406r38 406r61 576i4*No_File{571I9} 8|396r17 417r17 580i4*Error_File_Name{571I9} 8|238r20 411r17 596I9*Unit_Name_Type<179I9> 7|54r38 60r19 8|59r15 83r23 93r20 136r19 171r23 . 189r15 202r38 249r38 251r17 391r38 X 13 opt.ads 50K9*Opt 8|26w6 26r18 13|2285e8 1257b4*Quiet_Output{boolean} 8|526r20 X 14 osint.ads 44K9*Osint 8|27w6 27r18 14|790e10 63n40*Config{63E9} 8|307r49 94U14*Canonical_Case_File_Name 8|357s13 151U14*Fail 8|467s16 517s16 523s16 413U14*Read_Source_File 8|307s7 X 15 output.ads 44K9*Output 8|28w6 28r18 15|227e11 130U14*Write_Str 8|296s10 297s10 310s10 311s10 527s13 528s13 137U14*Write_Line 8|298s10 312s10 331s16 334s16 529s13 X 16 system.ads 47K9*System 8|34r6 34r25 16|177e11 77M9*Address X 19 s-htable.ads 56I12 Header_Num 8|90r6 103r6 115r6 59+12 Element 8|91r6 104r6 116r6 62*7 No_Element{59+12} 8|92r6 105r6 117r6 66+12 Key 8|93r6 106r6 118r6 67V21 Hash{56I12} 8|94r6 107r6 119r6 68V21 Equal{boolean} 8|95r6 108r6 120r6 72U17*Set 8|128s23[114] 147s26[89] 156s26[102] 76U17*Reset 8|219s26[89] 220s26[102] 431s23[89] 432s23[102] 433s23[114] 79V16*Get{34|59I9} 8|140s52[89] 141s52[102] 392s51[89] 410s26[114] 414s32[102] . 505s34[102] X 21 s-memory.ads 53V13*Alloc{16|77M9} 103i22 68U14*Free 104i22 76V13*Realloc{16|77M9} 105i22 X 22 s-os_lib.ads 59K16*OS_Lib 8|34w13 34r32 22|1053e18 186I9*File_Descriptor 8|442r17 194i4*Invalid_FD{186I9} 8|496r21 197n18*Binary{197E9} 8|494r63 214V13*Open_Read_Write{186I9} 8|494s18 215a7 Name{string} 8|494r35 216e7 Fmode{197E9} 8|494r54 302U14*Close 8|520s13 415V13*Write{integer} 8|464s24 514s24 424N4*Seek_End 8|498r32 428U14*Lseek 8|498s16 X 31 table.ads 43K9*Table 8|29w6 63r32 72r32 31|238e10 47+12 Table_Component_Type 8|64r6 73r6 48I12 Table_Index_Type 8|65r6 74r6 50*7 Table_Low_Bound{48I12} 8|66r6 75r6 51i7 Table_Initial{34|65I12} 8|67r6 76r6 52i7 Table_Increment{34|62I12} 8|68r6 77r6 53a7 Table_Name{string} 8|69r6 78r6 55k12*Table 8|63r38 72r38 31|237e13 106A12*Table_Type(8|58R9)<34|59I9> 109A15*Big_Table_Type{106A12[8|63]}<34|59I9> 117P12*Table_Ptr(109A15[8|63]) 121p7*Table{117P12[8|63]} 8|144r22[63] 148r23[63] 153r22[72] 157r23[72] 398r30[63] . 419r30[72] 502r48[63] 503r48[63] 505r52[63] 506r48[72] 138U17*Init 8|429s20[63] 430s20[72] 145V16*Last{34|59I9} 8|147s55[63] 148s43[63] 156s55[72] 157s43[72] 384s37[63] . 492s39[63] 501s59[63] 165U17*Set_Last 8|221s23[72] 222s23[63] 174U17*Increment_Last 8|146s23[63] 155s23[72] X 34 types.ads 52K9*Types 8|30w6 30r18 34|942e10 59I9*Int 8|65r30 74r30 86r24 91r20 104r20 112r20 140r29 141r29 168r26 . 173r26 392r28 407r15 445r20 62I12*Nat{59I9} 65I12*Pos{59I9} 91e4*EOF{character} 8|269r44 276r52 282r41 113P9*String_Ptr(string) 8|184r13 119A12*Big_String{string} 120P9*Big_String_Ptr(119A12) 8|49r26 183r13 144I9*Text_Ptr<59I9> 147A9*Text_Buffer(character)<144I9> 198A12*Big_Source_Buffer{147A9}<144I9> 202P9*Source_Buffer_Ptr(198A12) 8|49r7 181r13 212I12*Source_Ptr{144I9} 8|182r13 X 35 unchconv.ads 20v10*Unchecked_Conversion 8|37w6 48r38