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_EXCEPTION_HANDLERS RV NO_EXCEPTIONS RV NO_LOCAL_ALLOCATORS RV NO_STANDARD_ALLOCATORS_AFTER_ELABORATION RV NO_DEFAULT_INITIALIZATION RV NO_OBSOLESCENT_FEATURES RV SPARK_05 U get_spark_xrefs%b get_spark_xrefs.adb a400d98f NE OO SU GE W ada%s ada.ads ada.ali W ada.io_exceptions%s a-ioexce.ads a-ioexce.ali W spark_xrefs%s spark_xrefs.adb spark_xrefs.ali W types%s types.adb types.ali U get_spark_xrefs%s get_spark_xrefs.ads bf1810db BN EE NE OO GE D ada.ads 20070406091342 3ffc8e18 ada%s D a-ioexce.ads 20140225151544 e4a01f64 ada.io_exceptions%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D get_spark_xrefs.ads 20130424141427 bf1810db get_spark_xrefs%s D get_spark_xrefs.adb 20140127163957 3ebfe2d3 get_spark_xrefs%b D gnat.ads 20140801083227 fd2ad2f1 gnat%s D g-table.ads 20130910150540 16cef446 gnat.table%s D spark_xrefs.ads 20141017090750 a291ae2d spark_xrefs%s D system.ads 20141030114420 57068cbf system%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%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 1 ada.ads 16K9*Ada 19e8 5|29r6 29r29 X 2 a-ioexce.ads 18K13*IO_Exceptions 30e22 5|29w10 29r33 27X4*Data_Error 5|108r16 125r16 147r16 219r16 481r19 X 4 get_spark_xrefs.ads 34V18 Getc{character} 5|161s26 214s12 292s25 408s34 453s37 39V18 Nextc{character} 5|96s14 96s33 105s10 121s12 138s15 159s13 177s15 182s18 . 194s13 211s10 249s16 306s19 434s35 439s25 447s28 45U19 Skipc 5|106s10 137s10 176s10 195s10 212s7 250s16 307s19 435s25 440s25 . 449s28 50u11*Get_SPARK_Xrefs 5|31b11 501l5 501t20 X 5 get_spark_xrefs.adb 32e4 C{character} 214m7 218r45 224r12 486r10 37i4 Cur_File{13|62I12} 204m4 240m13 265r34 326r37 348m13 355r69 404r28 40i4 Cur_Scope{13|62I12} 205m4 271m13 295r39 327r37 339m13 339r26 364m13 . 380r15 405r28 43i4 Cur_File_Idx{8|331I9} 206m4 355r43 357m16 357r32 377r54 46i4 Cur_Scope_Idx{8|270I9} 207m4 370r16 371r41 377m13 379r44 382m16 382r33 . 385r38 498r7 499r32 49a4 Name_Str{string} 161m10 244r38 254r46 325r49 413r41 50i4 Name_Len{natural} 164m7 244r53 254r61 325r64 413r56 54p4 File_Name{13|113P9} 244m13 263r34 55p4 Unit_File_Name{13|113P9} 254m16 257m16 264r34 61V13 At_EOL{boolean} 93b13 97l8 97t14 432s25 65U14 Check 65>21 103b14 110l8 110t13 251s16 288s16 290s16 308s19 311s19 . 363s13 442s25 65e21 C{character} 103b21 105r18 69V13 Get_Nat{13|62I12} 116b13 148l8 148t15 240s25 289s25 291s25 293s25 310s32 . 312s33 348s25 364s26 407s34 409s34 441s37 445s30 454s37 75U14 Get_Name 154b14 165l8 165t16 243s13 253s16 303s16 350s13 366s13 412s16 80U14 Skip_EOL 171b14 186l8 186t16 433s25 487s10 85U14 Skip_Spaces 95s7 181s13 192b14 197l8 197t19 239s13 241s13 245s13 252s16 . 287s16 302s16 304s16 309s19 347s13 349s13 362s13 365s13 411s16 417s16 430s22 . 436s25 117i7 Val{13|62I12} 122m7 134m13 134r20 143r14 118e7 C{character} 121m7 124r10 134r47 138m10 140r20 155i7 N{integer} 158m7 160m10 160r15 161r20 164r19 172e7 C{character} 177m10 178r20 178r37 180r13 182m13 183r23 183r40 277i16 Spec_File{13|62I12} 310m19 315m19 328r37 278i16 Spec_Scope{13|62I12} 312m19 316m19 329r37 279i16 Scope{13|62I12} 289m16 295r31 280i16 Line{13|62I12} 291m16 330r37 281i16 Col{13|62I12} 293m16 332r37 282e16 Typ{character} 292m16 296r39 297r39 298r39 331r37 392p16 XR_Entity{13|113P9} 413m16 463r46 393i16 XR_Entity_Line{13|62I12} 407m16 464r46 394i16 XR_Entity_Col{13|62I12} 409m16 466r46 395e16 XR_Entity_Typ{character} 408m16 465r46 397i16 XR_File{13|62I12} 404m16 448m28 467r46 400i16 XR_Scope{13|62I12} 405m16 441m25 468r46 424i22 Line{13|62I12} 452m28 469r46 425i22 Col{13|62I12} 454m28 471r46 426i22 N{13|62I12} 445m25 448r39 452r37 427e22 Rtype{character} 453m28 457r31 458r31 459r31 460r31 470r46 X 7 g-table.ads 104A9*Table_Type(8|335R9)<8|331I9> 106A12*Big_Table_Type{104A9[8|353]}<8|331I9> 115P9*Table_Ptr(106A12[8|353]) 120p4*Table{115P9[8|353]} 5|233r32[8|353] 233r33[8|353] 355r35[8|353] 355r36[8|353] . 371r33[8|317] 371r34[8|317] 377r46[8|353] 377r47[8|353] 379r36[8|317] 379r37[8|317] . 385r30[8|317] 385r31[8|317] 494r23[8|353] 494r24[8|353] 499r24[8|317] 499r25[8|317] 140V13*Last{8|331I9} 5|218s27[8|353] 232s33[8|353] 233s57[8|353] 234s36[8|317] . 266s52[8|317] 372s35[8|256] 386s32[8|256] 493s24[8|353] 494s48[8|353] 495s27[8|317] . 499s75[8|256] 177U14*Append 5|262s30[8|353] 323s34[8|317] 462s45[8|256] X 8 spark_xrefs.ads 35K9*SPARK_Xrefs 5|26w6 26r23 8|383e16 211I9*Xref_Index<13|59I9> 216p7*Entity_Name{13|113P9} 5|463m31 219i7*Entity_Line{13|62I12} 5|464m31 222e7*Etype{character} 5|465m31 229i7*Entity_Col{13|62I12} 5|466m31 232i7*File_Num{13|62I12} 5|467m31 237i7*Scope_Num{13|62I12} 5|468m31 242i7*Line{13|62I12} 5|469m31 245e7*Rtype{character} 5|470m31 252i7*Col{13|62I12} 5|471m31 256K12*SPARK_Xref_Table[7|56] 5|372r18 386r15 462r28 499r58 270I9*Scope_Index<13|59I9> 5|46r20 275p7*Scope_Name{13|113P9} 5|325m19 278i7*File_Num{13|62I12} 5|326m19 281i7*Scope_Num{13|62I12} 5|327m19 379r59 284i7*Spec_File_Num{13|62I12} 5|328m19 288i7*Spec_Scope_Num{13|62I12} 5|329m19 292i7*Line{13|62I12} 5|330m19 295e7*Stype{character} 5|331m19 301i7*Col{13|62I12} 5|332m19 304i7*From_Xref{211I9} 5|333m19 385m53 307i7*To_Xref{211I9} 5|334m19 371m56 499m47 313i7*Scope_Entity{13|387I12} 5|324m19 317K12*SPARK_Scope_Table[7|56] 5|234r18 266r34 323r16 371r16 379r19 385r13 . 495r9 499r7 331I9*File_Index<13|59I9> 5|43r19 336p7*File_Name{13|113P9} 5|263m16 339p7*Unit_File_Name{13|113P9} 5|264m16 343i7*File_Num{13|62I12} 5|265m16 355r57 346i7*From_Scope{270I9} 5|266m16 377r68 349i7*To_Scope{270I9} 5|233m63 267m16 494m54 353K12*SPARK_File_Table[7|56] 5|218r10 232r16 233r16 233r40 262r13 355r19 . 377r30 493r7 494r7 494r31 372U14*Initialize_SPARK_Tables 5|202s4 X 13 types.ads 52K9*Types 5|27w6 27r23 13|942e10 59I9*Int 62I12*Nat{59I9} 5|37r15 40r16 69r28 116r28 117r13 277r29 278r29 279r29 280r29 . 281r29 393r33 394r33 397r26 400r27 424r30 425r30 426r30 113P9*String_Ptr(string) 5|54r16 55r21 392r33 384I9*Node_Id 387I12*Entity_Id{384I9} 399i4*Empty{384I9} 5|324r37