V "GNAT Lib v5" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P RN RV NO_DISPATCH RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_UNCHECKED_ACCESS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLICIT_ALIASING RV SPARK_05 U ada.containers.hash_tables.generic_bounded_keys%b a-chtgbk.adb fea35505 NE OL PK GE W ada.containers.hash_tables%s a-cohata.ads a-cohata.ali U ada.containers.hash_tables.generic_bounded_keys%s a-chtgbk.ads dbe8d9ae BN NE OL PU PK GE W ada.containers.hash_tables%s a-cohata.ads a-cohata.ali D ada.ads 20070406121342 3ffc8e18 ada%s D a-contai.ads 20101025165030 61e5e089 ada.containers%s D a-cohata.ads 20110804181834 04abccc5 ada.containers.hash_tables%s D a-chtgbk.ads 20140219165932 df43156b ada.containers.hash_tables.generic_bounded_keys%s D a-chtgbk.adb 20140220154616 21e0406e ada.containers.hash_tables.generic_bounded_keys%b D a-unccon.ads 20070406121342 f9eb8f06 ada.unchecked_conversion%s D system.ads 20171010194648 462fcf90 system%s D s-exctab.ads 20140225171140 54135002 system.exception_table%s D s-stalib.ads 20150220114550 fa0a3617 system.standard_library%s X 1 ada.ads 16K9*Ada 19e8 4|53r9 120r5 5|30r14 416r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 4|53r13 120r9 5|30r18 416r9 19M9*Hash_Type 4|47r47 58r30 64r30 103r52 5|71r30 73r16 106r14 168r14 201r14 . 270r18 271r27 411r30 20I9*Count_Type 4|39r49 43r14 72r14 79r17 86r30 90r37 94r22 107r14 . 5|39r14 104r17 107r14 166r30 169r14 198r22 261r14 273r20 274r20 22X4*Capacity_Error 5|217r19 243r16 X 3 a-cohata.ads 33K24*Hash_Tables 2|16k13 3|76e31 4|53r24 120r20 5|30r29 416r20 58+12 Node_Type 4|39r31[34] 42r21[34] 51r14[34] 103r34[34] 104r44[34] 59k12*Generic_Bounded_Hash_Table_Types 74e40 4|35r10 60A12 Nodes_Type(58+12[4|34])<2|20I9> 5|268r12[4|34] 61A12 Buckets_Type(2|20I9)<2|19M9> 5|267r12[4|34] 63R12 Hash_Table_Type 4|57r13[34] 63r28[34] 70r29[34] 77r20[34] 85r13[34] . 92r25[34] 106r21[34] 5|37r29[4|34] 70r28[4|34] 102r20[4|34] 165r13[4|34] . 196r25[4|34] 260r21[4|34] 410r13[4|34] 64i10 Capacity{2|20I9} 5|216r28[4|34] 242r25[4|34] 67i10 Length{2|20I9} 5|110r13[4|34] 136m13[4|34] 136r26[4|34] 154m16[4|34] . 154r29[4|34] 172r13[4|34] 216r16[4|34] 226m13[4|34] 226r26[4|34] 242r13[4|34] . 252m10[4|34] 252r23[4|34] 264r25[4|34] 384r28[4|34] 68i10 Busy{natural} 5|43m30[4|34] 75m30[4|34] 118r13[4|34] 131r16[4|34] 149r19[4|34] . 207r13[4|34] 288m33[4|34] 364r13[4|34] 69i10 Lock{natural} 5|44m30[4|34] 76m30[4|34] 289m33[4|34] 314r16[4|34] 353r16[4|34] 71a10 Nodes{60A12[4|34]} 5|50r42[4|34] 135r40[4|34] 142r24[4|34] 153m26[4|34] . 153r57[4|34] 185r27[4|34] 221m23[4|34] 237r27[4|34] 247m20[4|34] 268m34[4|34] 72a10 Buckets{61A12[4|34]} 5|82r20[4|34] 82r54[4|34] 124r15[4|34] 135m13[4|34] . 178r18[4|34] 213r18[4|34] 225m13[4|34] 247r45[4|34] 251m10[4|34] 267m36[4|34] . 295r25[4|34] 295r65[4|34] 413r17[4|34] 413r51[4|34] X 4 a-chtgbk.ads 34K17 HT_Types[3|59] 37r8 39V18 Next{2|20I9} 39>24 5|135s31 142s15 153s48 185s18 237s18 339s15 381s27 . 387s18 391s42 39*24 Node{3|58+12[34]} 41U19 Set_Next 42=7 43>7 5|153s13 221s10 247s7 391s16 401s7 42*7 Node{3|58+12[34]} 43i7 Next{2|20I9} 5|153r40 221r37 247r34 391r34 401r28 45+9 Key_Type 47r30 50r14 58r13 64r13 71r14 78r13 86r13 93r18 104r61 108r14 . 5|38r14 71r13 103r13 166r13 197r18 262r14 411r13 47V18 Hash{2|19M9} 47>24 5|82s36 413s33 47*24 Key{45+9} 49V18 Equivalent_Keys{boolean} 50>7 51>7 5|50s17 50*7 Key{45+9} 51*7 Node{3|58+12[34]} 53k36*Generic_Bounded_Keys 3|33k24 4|34z17 39z18 41z19 45z9 47z18 49z18 120l32 . 120e52 5|30b41 416l32 416t52 56V13*Index{2|19M9} 57>7 58>7 59r19 5|409b13 414l8 414t13 57c7 HT<3|63R12[34]> 5|410b7 413r14 413r48 58*7 Key{45+9} 5|411b7 413r39 62V13*Checked_Index{2|19M9} 63=7 64>7 65r19 5|69b13 95l8 95t21 123s15 176s15 . 212s15 271s40 63c7 HT<3|63R12[34]> 5|70b7 75m27 75r27 76m27 76r27 82r17 82r51 64*7 Key{45+9} 5|71b7 82r42 69V13*Checked_Equivalent_Keys{boolean} 70=7 71>7 72>7 5|36b13 63l8 63t31 . 130s10 148s13 180s13 232s13 313s10 333s13 70c7 HT<3|63R12[34]> 5|37b7 43m27 43r27 44m27 44r27 50r39 71*7 Key{45+9} 5|38b7 50r34 72i7 Node{2|20I9} 5|39b7 50r49 76U14*Delete_Key_Sans_Free 77=7 78>7 79<7 5|101b14 158l8 158t28 77c7 HT<3|63R12[34]> 5|102b7 110r10 118r10 123m30 123r30 124r12 130m35 130r35 . 131r13 135m10 135r37 136m10 136r23 142r21 148m38 148r38 149r16 153m23 153r23 . 153r54 154m13 154r26 78*7 Key{45+9} 5|103b7 123r34 130r39 148r42 79i7 X{2|20I9} 5|104b7 111m10 124m7 126r10 130r44 135r47 141r18 142m10 144r13 . 148r47 153r64 84V13*Find{2|20I9} 85>7 86>7 5|164b13 189l8 189t12 85c7 HT<3|63R12[34]> 5|165b7 172r10 176r30 178r15 181r13 185r24 86*7 Key{45+9} 5|166b7 176r58 181r41 90V21 New_Node{2|20I9} 5|220s18 246s15 91u14*Generic_Conditional_Insert 92=7 93>7 94<7 95<7 5|195b14 253l8 253t34 92c7 HT<3|63R12[34]> 5|196b7 207r10 212m30 212r30 213r15 216r13 216r25 221m20 . 221r20 225m10 226m10 226r23 232m38 232r38 237r24 242r10 242r22 247m17 247r17 . 247r42 251m7 252m7 252r20 93*7 Key{45+9} 5|197b7 212r34 232r42 94i7 Node{2|20I9} 5|198b7 213m7 215r10 220m10 221r30 225r31 232r47 237m10 . 237r34 239r20 246m7 247r27 251r28 95b7 Inserted{boolean} 5|199b7 223m10 233m13 249m7 103V21 Hash{2|19M9} 103>27 5|295s41 103*27 Node{3|58+12[34]} 104U22 Assign 104=30 104>55 5|322s10 358s10 373s7 104*30 Node{3|58+12[34]} 104*55 Key{45+9} 105u14*Generic_Replace_Element 106=7 107>7 108>7 5|259b14 403l8 403t31 106c7 HT<3|63R12[34]> 5|260b7 264r22 267m33 267r33 268m31 268r31 271m55 271r55 . 288m30 288r30 289m30 289r30 295r22 295r62 313m35 313r35 314r13 333m38 333r38 . 353r13 364r10 384r25 107i7 Node{2|20I9} 5|261b7 265r22 295r51 313r44 322r22 334r33 358r22 373r19 . 380r14 381r37 390r20 391r52 401r21 402r21 108*7 Key{45+9} 5|262b7 271r59 313r39 322r29 333r42 358r29 373r26 X 5 a-chtgbk.adb 41b7 Result{boolean} 50m7 55r14 43i7 B{natural} 47r7 47r12 52r7 52r12 59r10 59r15 44i7 L{natural} 48r7 48r12 53r7 53r12 60r10 60r15 73m7 Result{2|19M9} 82m7 87r14 75i7 B{natural} 79r7 79r12 84r7 84r12 91r10 91r15 76i7 L{natural} 80r7 80r12 85r7 85r12 92r10 92r15 106m7 Indx{2|19M9} 123m7 124r24 135r22 107i7 Prev{2|20I9} 141m10 142r31 153r33 168m7 Indx{2|19M9} 176m7 178r27 169i7 Node{2|20I9} 178m7 179r13 181r46 183r20 185m10 185r34 201m7 Indx{2|19M9} 212m7 213r27 225r22 247r54 251r19 267a7 BB{3|61A12[4|34]} 273r39 377r12 381r10 268a7 NN{3|60A12[4|34]} 295r47 322r18 339r21 358r18 373r15 381r33 387r24 . 391r26 391r48 401r17 270m7 Old_Indx{2|19M9} 295m10 349r10 377r16 381r14 271m7 New_Indx{2|19M9} 273r43 349r21 273i7 New_Bucket=273:39{2|20I9} 331r12 401r36 402r7 274i7 N{2|20I9} 331m7 332r13 333r47 334r28 339m10 339r25 377m7 378r22 380r10 . 387r28 391r30 395m13 274i10 M{2|20I9} 387m13 388r28 390r16 395r18 288i10 B{natural} 292r10 292r15 297r10 297r15 302r13 302r18 289i10 L{natural} 293r10 293r15 298r10 298r15 303r13 303r18