V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P ZX RN RV NO_ALLOCATORS RV NO_DIRECT_BOOLEAN_OPERATORS RV NO_EXCEPTIONS RV NO_FINALIZATION RV NO_FLOATING_POINT RV NO_LOCAL_ALLOCATORS RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_ACCESS RV NO_UNCHECKED_DEALLOCATION RV NO_DEFAULT_INITIALIZATION RV SPARK_05 U gnat.dynamic_htables%b g-dynhta.adb 7950b7f4 NE OL PK W ada%s ada.ads ada.ali W ada.unchecked_deallocation%s W gnat%s gnat.ads gnat.ali U gnat.dynamic_htables%s g-dynhta.ads d55dcf87 BN EE NE OL PK W ada%s ada.ads ada.ali W ada.finalization%s a-finali.ads a-finali.ali W gnat%s gnat.ads gnat.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-except.ads 20151016123252 291912d5 ada.exceptions%s D a-finali.ads 20151020095656 bf4f806b ada.finalization%s D a-stream.ads 20141120112812 119b8fb3 ada.streams%s D a-tags.ads 20151016130316 01f5e3ef ada.tags%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s D gnat.ads 20140801083227 fd2ad2f1 gnat%s D g-dynhta.ads 20141031105956 97389d1d gnat.dynamic_htables%s D g-dynhta.adb 20151020124036 1f327438 gnat.dynamic_htables%b D system.ads 20151123113124 2da59038 system%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s X 1 ada.ads 16K9*Ada 19e8 9|51r14 332r25 10|32r6 182r16 221r9 381r13 384r13 X 3 a-finali.ads 40K13*Finalization 68e21 9|51w18 332r29 50H9*Limited_Controlled<13|40R9> 66e55 9|332r42 X 7 a-uncdea.ads 20u15*Unchecked_Deallocation 10|32w10 182r20 221r13 381r17 384r17 X 8 gnat.ads 34K9*GNAT 37e9 9|53r9 349r5 10|34r14 710r5 X 9 g-dynhta.ads 53K14*Dynamic_HTables 8|34k9 9|349l10 349e25 10|34b19 710l10 710t25 77I12 Header_Num 97r51 221r10 10|42r33 46r29 141r31 201r18 80+12 Element 222r10 83+12 Elmt_Ptr 87r18 90r36 90r53 91r36 91r53 96r34 114r47 117r51 125r48 130r47 . 223r10 10|42r48 47r29 51r51 60r52 61r18 87r48 103r47 117r51 142r22 143r22 . 200r47 87*7 Null_Ptr{83+12} 224r10 10|65r20 71r23 72r23 90r20 106r20 120r20 123r33 . 126r23 152r20 162r31 190r28 90U22 Set_Next 90>32 90>46 225r10 10|166s19 209s10 90*32 E{83+12} 90*46 Next{83+12} 91V22 Next{83+12} 91>32 226r10 10|78s24 109s28 156s32 160s29 166s35 91*32 E{83+12} 95+12 Key 96r51 97r34 98r39 117r39 121r43 227r10 10|60r40 140r44 96V21 Get_Key{95+12} 96>30 228r10 10|74s26 155s23 165s29 208s25 96*30 E{83+12} 97V21 Hash{77I12} 97>30 229r10 10|68s27 141s45 208s19 97*30 F{95+12} 98V21 Equal{boolean} 98>30 98>34 230r10 10|74s19 155s16 165s22 98*30 F1{95+12} 98*34 F2{95+12} 100k12*Static_HTable 77z12 80z12 83z12 87z7 90z22 91z22 95z12 96z21 97z21 . 98z21 138E12 141l8 141e21 220r26 10|40b17 213l8 213t21 102P12*Instance 103r22 105r35 114r33 117r25 121r29 125r31 130r30 139c12 140r22 . 232r32[220] 10|51r34 60r26 87r31 103r30 117r34 140r30 180r35 182r59 200r33 . 235r30[9|220] 249r56[9|220] 273r55[9|220] 299r30[9|220] 302r29[9|220] 315r35[9|220] . 317r37[9|220] 322r25[9|220] 330r50[9|220] 333r26[9|220] 103p7*Nil{102P12} 140c7 233r48[220] 105U17*Reset 105=24 10|180b17 194l11 194t16 322s14[9|220] 105p24 T{102P12} 10|180b24 185r13 189r19 190r13 193m16 114U17*Set 114=22 114>43 10|200b17 211l11 211t14 333s17[9|220] 114p22 T{102P12} 10|200b22 204r13 205m13 209r23 210r10 114*43 E{83+12} 10|200b43 208r34 209r20 210r29 117V16*Get{83+12} 117>21 117>35 10|60b17 81l11 81t14 235s21[9|220] 299s21[9|220] . 330s41[9|220] 117p21 T{102P12} 10|60b22 64r13 68r18 117*35 K{95+12} 10|60b36 68r33 74r42 121U17*Remove 121>25 121>39 10|140b17 174l11 174t17 302s17[9|220] 121p25 T{102P12} 10|140b26 146r13 150r18 156r13 121*39 K{95+12} 10|140b40 141r51 155r39 165r50 125V16*Get_First{83+12} 125>27 10|87b16 97l11 97t20 249s41[9|220] 315s20[9|220] 125p27 T{102P12} 10|87b27 89r13 93r10 94r10 94r30 95r10 95r28 95r37 96r31 130V16*Get_Next{83+12} 130>26 10|103b16 111l11 111t19 273s41[9|220] 317s23[9|220] 130p26 T{102P12} 10|103b26 105r13 105r34 109r10 109r34 110r31 138R12 Instance_Data 139r35 10|44c12 49e17 182r44 205r22 154I12 Header_Num 165r49 221r24 157+12 Element 160r20 173r56 182r51 190r48 196r47 212r17 10|227r52 248r48 . 272r47 329r56 160*7 No_Element{157+12} 10|232r20 238r20 253r20 276r20 164+12 Key 165r32 166r37 173r47 182r39 186r43 211r17 218r48 227r24 10|227r40 . 263r46 295r44 329r47 165V21 Hash{154I12} 165>28 229r24 165*28 F{164+12} 166V21 Equal{boolean} 166>28 166>32 230r24 166*28 F1{164+12} 166*32 F2{164+12} 168k12*Simple_HTable 154z12 157z12 160z7 164z12 165z21 166z21 208E12 235l8 . 235e21 10|219b17 348l8 348t21 170P12*Instance<102P12[220]> 171r22 173r33 177r35 182r25 186r29 190r31 196r30 . 232c12 233r22 233r34 10|227r26 248r31 272r30 295r30 311r35 329r33 171p7*Nil{170P12} 233c7 10|231r17 173U17*Set 173=22 173>43 173>52 10|329b17 337l11 337t14 173p22 T{170P12} 10|329b22 330r60 333m36 333r36 173*43 K{164+12} 10|329b43 330r64 333r61 173*52 E{157+12} 10|329b52 333r64 335r22 177U17*Reset<105p17> 177=24 10|311b17 323l11 323t16 177p24 T{170P12} 10|311b24 315r45 317r47 322m35 322r35 182V16*Get{157+12} 182>21 182>35 10|227b17 242l11 242t14 182p21 T{170P12} 10|227b22 231r13 235r40 182*35 K{164+12} 10|227b36 235r44 186U17*Remove<121p17> 186>25 186>39 10|295b17 305l11 305t17 186p25 T{170P12} 10|295b26 299r40 302r39 186*39 K{164+12} 10|295b40 299r44 302r43 190V16*Get_First{157+12} 190>27 10|248b16 257l11 257t20 190p27 T{170P12} 10|248b27 249r66 196V16*Get_Next{157+12} 196>26 10|272b16 280l11 280t19 196p26 T{170P12} 10|272b26 273r65 208R12 Element_Wrapper 209r35 210c12 214e17 222r24 10|221r37 333r44 209P12 Elmt_Ptr(208R12) 213r17 216r31 216r48 217r31 217r48 218r31 223r24 . 10|221r54 228r16 249r25 263r29 273r25 286r26 286r43 296r16 312r19 330r25 . 343r31 343r48 211*10 K{164+12} 10|265r19 212*10 E{157+12} 10|240r24 255r24 278r24 335m17 213p10 Next{209P12} 10|288r19 345m12 216U17 Set_Next 216>27 216>41 225r24 10|343b17 346l11 346t19 216p27 E{209P12} 10|343b27 345r10 216p41 Next{209P12} 10|343b41 345r20 217V17 Next{209P12} 217>27 226r24 10|286b16 289l11 289t15 217p27 E{209P12} 10|286b22 288r17 218V17 Get_Key{164+12} 218>27 228r24 10|263b16 266l11 266t18 218p27 E{209P12} 10|263b25 265r17 220K15 Tab[100] 232r28 233r44 10|235r17 235r26 249r37 249r52 273r37 273r51 . 299r17 299r26 302r13 302r25 315r16 315r31 317r19 317r33 322r10 322r21 330r37 . 330r46 333r13 333r22 255I12 Range_Type 286r34 329r36 10|410r31 410r45 415r56 621r27 679r21 259+12 Key_Type 281r18 282r18 285r17 295r38 299r49 305r16 318r17 10|375r18 . 503r18 529r38 577r49 605r16 260+12 Value_Type 263r18 295r55 306r16 319r17 10|529r55 606r16 263*7 No_Value{260+12} 10|546r20 266i7 Initial_Size{positive} 10|560r45 270i7 Growth_Percentage{positive} 10|633r49 275f7 Load_Factor{float} 10|703r55 280V21 Equal{boolean} 281>10 282>10 10|515s16 281*10 Left{259+12} 282*10 Right{259+12} 284V21 Hash{255I12} 285>10 286>10 10|537s31 585s31 651s31 687s22 285*10 Key{259+12} 286i10 Size{positive} 289k12*Load_Factor_HTable 255z12 259z12 260z12 263z7 266z7 270z7 275z7 280z21 . 284z21 315E12 347l8 347e26 10|354b17 708l8 708t26 290R12*Table<3|50R9> 292p16 292r34 295p16 295r25 299p17 299r36 303p17 304r23 . 332c12 337e17 339P17 339r38 343P17 343r40 10|437r34 470r38 529r25 556r40 . 577r36 604r23 13|42p14 292V16*Current_Size{positive} 292>30 10|437b16 450l11 450t23 537s42 585s42 . 608s43 292r30 T{290R12} 10|437b30 442r13 448r20 295V16*Get{260+12} 295>21 295>32 10|529b16 550l11 550t14 295r21 T{290R12} 10|529b21 537r20 537r56 295*32 Key{259+12} 10|529b32 537r37 541r24 299U17*Remove 299=25 299>43 10|577b17 597l11 597t17 299r25 T{290R12} 10|577b25 585r20 585r56 299*43 Key{259+12} 10|577b43 585r37 589r24 303U17*Set 304=10 305>10 306>10 10|603b17 707l11 707t14 304r10 T{290R12} 10|604b10 608r57 623r48 668m13 677m37 677r37 688r22 305*10 Key{259+12} 10|605b10 687r28 693r19 695r38 306*10 Val{260+12} 10|606b10 695r43 315R12 Element 316r38 317c12 322e17 329r68 10|384r41 422r25 695r29 316P12 Element_Ptr(315R12) 320r17 321r17 324r29 10|362r27 363r27 371r41 376r27 . 376r47 384r50 386r49 395r27 396r27 456r41 471r19 472r19 504r27 504r47 506r17 . 530r19 531r19 568r49 578r19 579r19 620r27 622r27 678r21 317R12 Element 318*10 Key{259+12} 10|515r28 651r42 319*10 Val{260+12} 10|548r25 320p10 Prev{316P12} 10|399m21 402m15 425m23 458r18 459r17 459r18 460m23 460r36 . 461m18 570r46 321p10 Next{316P12} 10|399r15 399r16 400m15 400r30 401m16 426m23 458r40 459m23 . 459r36 460r17 460r18 462m18 487r31 513r24 519r26 570r23 650r42 324p7 No_Element{316P12} 10|522r17 545r20 593r21 693r34 329A12 Buckets_Array(317R12)<255I12> 330r44 10|381r41 415r16 330P12 Buckets_Array_Ptr(329A12) 333r20 10|367r56 381r56 409r56 411r22 619r27 . 623r27 333p10 Buckets{330P12} 10|442r15 448r22 477r25 478r24 478r25 495m18 537r21 . 537r22 558r27 560m12 585r21 585r22 623r50 668m15 688r23 688r24 335i10 Element_Count{natural} 10|561m12 677m39 339U17 Finalize<3|54p14> 339=27 10|470b17 496l11 496t19 339r27 T{290R12} 10|470b27 477r23 478r23 495m16 495r16 343U17 Initialize<3|53p14> 343=29 10|556b17 562l11 562t21 343r29 T{290R12} 10|556b29 558r25 560m10 561m10 X 10 g-dynhta.adb 42A12 Table_Type(9|83+12)<9|77I12> 45r29 45a10 Table{42A12} 68r20 94r32 95r30 124r37 130r35 150r20 156m15 189r21 190m15 . 209r25 210m12 46*10 Iterator_Index{9|77I12} 94m12 95r39 124r18 129m15 129r35 130r44 47*10 Iterator_Ptr{9|83+12} 95m12 109m12 109r36 123r18 130m15 133r19 48b10 Iterator_Started{boolean} 93m12 105r36 125m18 51V16 Get_Non_Null{9|83+12} 51>30 96s17 110s17 117b16 134l11 134t23 51p30 T{9|102P12} 117b30 119r13 123r16 124r16 124r35 125r16 129r13 129r33 . 130r13 130r33 130r42 133r17 61*10 Elmt{9|83+12} 68m10 71r16 74r35 75r23 78m16 78r30 141*10 Index{9|77I12} 150r27 156r22 142*10 Elmt{9|83+12} 150m10 152r13 155r32 156r38 160r35 166r29 170m19 143*10 Next_Elmt{9|83+12} 160m16 162r19 165r38 166r41 170r27 181U20 Free[7|20] 193s10 189i14 J 190r22 201*10 Index{9|77I12} 208m10 209r32 210r19 220U17 Free[7|20] 303s13 318s13 228p10 Tmp{9|209P12} 235m10 237r13 240r20 249p10 Tmp{9|209P12} 252r13 255r20 273p10 Tmp{9|209P12} 275r13 278r20 296p10 Tmp{9|209P12} 299m10 301r13 303m19 303r19 312p10 E1{9|209P12} 315m10 316r16 318m19 318r19 319m13 312p14 E2{9|209P12} 317m13 319r19 330p10 Tmp{9|209P12} 332r13 335r13 356N7 Min_Size_Increase 634r29 361U17 Attach 362>10 363>10 394b17 403l11 403t17 659s19 694s13 362p10 Elmt{9|316P12} 395b10 399r29 400r10 401r24 402r10 660r22 695r16 363p10 Chain{9|316P12} 396b10 399r10 400r24 401r10 402r24 661r22 696r16 367V16 Create_Buckets{9|330P12} 367>32 409b16 431l11 431t25 560s29 635s24 367i32 Size{positive} 409b32 415r68 371U17 Detach 371>25 456b17 464l11 464t17 488s16 594s13 658s19 371p25 Elmt{9|316P12} 456b25 458r13 458r35 459r13 459r31 460r13 460r31 461r13 . 462r13 374V16 Find{9|316P12} 375>10 376>10 502b16 523l11 523t15 541s18 589s18 693s13 375*10 Key{9|259+12} 503b10 515r33 376p10 Chain{9|316P12} 504b10 513r18 514r24 380U17 Free[7|20] 495s10 670s13 383U17 Free[7|20] 489s16 595s13 386V16 Is_Empty_Chain{boolean} 386>32 483s23 568b16 571l11 571t25 646s26 386p32 Chain{9|316P12} 568b32 570r17 570r30 570r40 570r53 410*10 Low_Bound{9|255I12} 415r31 415r44 411p10 Buckets{9|330P12} 414m10 420r23 422r41 430r17 420i14 Index 422r50 422r16 Bucket=422:41{9|317R12} 425r16 425r31 426r16 426r31 471p10 Bucket{9|316P12} 478m13 483r39 487r24 472p10 Elmt{9|316P12} 487m16 488r24 489m24 489r24 477i14 Index 478r34 506p10 Elmt{9|316P12} 513m10 514r16 515r23 516r23 519m13 519r21 530p10 Bucket{9|316P12} 537m10 541r29 531p10 Elmt{9|316P12} 541m10 545r13 548r20 578p10 Bucket{9|316P12} 585m10 589r29 579p10 Elmt{9|316P12} 589m10 593r13 594r21 595m21 595r21 608i10 Curr_Size{positive} 633r29 687r33 703r36 610U20 Grow 618b20 671l14 671t18 704s16 619p13 Buckets{9|330P12} 635m13 661r31 668r26 620p13 Elmt{9|316P12} 650m19 651r37 658r27 660r31 621*13 Hash_Loc{9|255I12} 651m19 661r40 622p13 Old_Bucket{9|316P12} 641m16 646r42 650r31 623p13 Old_Buckets{9|330P12} 640r26 641r30 670m19 670r19 624i13 Size{positive} 632m13 635r40 651r47 640i17 Index 641r43 675F18 LLF{long_long_float} 703r17 703r31 703r50 677i10 Count{natural} 697r13 697r22 703r22 678p10 Bucket{9|316P12} 688m10 693r24 696r25 679*10 Hash_Loc{9|255I12} 687m10 688r33