V "GNAT Lib v9" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -fchecking=1 A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P ZX RN RV SIMPLE_BARRIERS RV PURE_BARRIERS RV NO_PROTECTED_TYPES RV STATIC_PRIORITIES RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 RV MAX_PROTECTED_ENTRIES=2 U ada.containers.unbounded_priority_queues%b a-cuprqu.adb 98338a7e NE OL PK GE W ada.containers%s a-contai.ads a-contai.ali U ada.containers.unbounded_priority_queues%s a-cuprqu.ads 06ab03e7 BN NE OL PR PK GE W ada%s ada.ads ada.ali W ada.containers%s a-contai.ads a-contai.ali Z ada.containers.helpers%s a-conhel.adb a-conhel.ali W ada.containers.ordered_sets%s Z ada.containers.red_black_trees%s a-crbltr.ads a-crbltr.ali Z ada.containers.red_black_trees.generic_keys%s Z ada.containers.red_black_trees.generic_operations%s Z ada.containers.red_black_trees.generic_set_operations%s W ada.containers.synchronized_queue_interfaces%s Z ada.finalization%s a-finali.ads a-finali.ali Z ada.iterator_interfaces%s Z ada.streams%s a-stream.adb a-stream.ali Z ada.tags%s a-tags.adb a-tags.ali Z ada.unchecked_deallocation%s W system%s system.ads system.ali N A53:4 codepeer skip_analysis D ada.ads 20200312140722 76789da1 ada%s D a-contai.ads 20200312140722 61e5e089 ada.containers%s D a-conhel.ads 20200312140722 20298884 ada.containers.helpers%s D a-conhel.adb 20200312140722 9cc5095b ada.containers.helpers%b D a-coorse.ads 20200312140722 6a149526 ada.containers.ordered_sets%s D a-coorse.adb 20200312140722 d1973bbb ada.containers.ordered_sets%b D a-crbltr.ads 20200312140722 c3e90a86 ada.containers.red_black_trees%s D a-crbtgk.ads 20200312140722 ab25d217 ada.containers.red_black_trees.generic_keys%s D a-crbtgk.adb 20200312140722 cffbc19e ada.containers.red_black_trees.generic_keys%b D a-crbtgo.ads 20200312140722 e494c304 ada.containers.red_black_trees.generic_operations%s D a-crbtgo.adb 20200312140722 a4b4aead ada.containers.red_black_trees.generic_operations%b D a-rbtgso.ads 20200312140722 2f314542 ada.containers.red_black_trees.generic_set_operations%s D a-rbtgso.adb 20200312140722 b6305a94 ada.containers.red_black_trees.generic_set_operations%b D a-csquin.ads 20200312140722 8c71856d ada.containers.synchronized_queue_interfaces%s D a-cuprqu.ads 20200312140722 a6699d87 ada.containers.unbounded_priority_queues%s D a-cuprqu.adb 20200312140722 3e5a17f9 ada.containers.unbounded_priority_queues%b D a-except.ads 20200312140722 291912d5 ada.exceptions%s D a-finali.ads 20200312140722 bf4f806b ada.finalization%s D a-iteint.ads 20200312140722 7c7305e9 ada.iterator_interfaces%s D a-stream.ads 20200312140722 119b8fb3 ada.streams%s D a-tags.ads 20200312140722 491b781d ada.tags%s D a-unccon.ads 20200312140722 0e9b276f ada.unchecked_conversion%s D a-uncdea.ads 20200312140722 eff36322 ada.unchecked_deallocation%s D system.ads 20200312140722 27426ea2 system%s D s-atocou.ads 20200312140722 b45c2d8d system.atomic_counters%s D s-exctab.ads 20200312140722 54135002 system.exception_table%s D s-finroo.ads 20200312140722 4ff27390 system.finalization_root%s D s-parame.ads 20200312140722 48ec542b system.parameters%s D s-secsta.ads 20200312140722 20bbe636 system.secondary_stack%s D s-soflin.ads 20200312140722 a7318a92 system.soft_links%s D s-stache.ads 20200312140722 a37c21ec system.stack_checking%s D s-stalib.ads 20200312140722 09bd3940 system.standard_library%s D s-stoele.ads 20200312140722 2dc34a04 system.storage_elements%s D s-traent.ads 20200312140722 005bf670 system.traceback_entries%s X 1 ada.ads 16K9*Ada 20e8 15|35r6 36r6 40r10 52r9 94r27 137r5 16|30r14 110r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 15|35r10 36r10 40r14 52r13 94r31 137r9 16|30r18 . 110r9 20I9*Count_Type 15|72r28 121r46 123r43 129r20 133r30 16|38r35 103r32 X 3 a-conhel.ads 84R12 Reference_Control_Type<18|43R9> X 5 a-coorse.ads 47k24*Ordered_Sets 453e32 15|35w21 94r42 54R9 Set<18|43R9> 15|126r17[94] 61R9 Cursor 16|52r23[15|94] 71r23[15|94] 64V13 Has_Element{boolean} 16|73s21[15|94] 79V13 Length{2|20I9} 16|40s25[15|94] 48s22[15|94] 93s21[15|94] 94s53[15|94] . 95s35[15|94] 85V13 Element{15|71R12} 16|54s26[15|94] 74s54[15|94] 77s29[15|94] 119U14 Insert 16|88s10[15|94] 143U14 Delete_First 16|55s10[15|94] 78s13[15|94] 175V13 First{61R9[15|94]} 16|52s33[15|94] 71s33[15|94] 325R9 Node_Type 326P9 Node_Access(325R9[15|94]) X 6 a-coorse.adb 58V13 Color{7|37E9} 10|45i19[15|94] 61V13 Left{5|326P9[15|94]} 10|41i19[15|94] 64V13 Parent{5|326P9} 10|39i19 67V13 Right{5|326P9} 10|43i19 70U14 Set_Color 10|46i19[15|94] 73U14 Set_Left 10|42i19 76U14 Set_Right 10|44i19[15|94] 79U14 Set_Parent 10|40i19[15|94] X 14 a-csquin.ads 35+9 Element_Type 15|45r34[39] 73r34[39] 76r45[39] 105r61[39] 107r64[39] . 118r45[39] 16|47r53[15|39] 64r45[15|39] 86r50[15|39] 37k24*Synchronized_Queue_Interfaces 56e49 15|36w21 40r25 40h9 Queue 15|103r28[39] X 15 a-cuprqu.ads 39K17 Queue_Interfaces[14|37] 45r17 73r17 76r28 103r11 105r44 107r47 118r28 . 16|47r36 64r28 86r33 42+9 Queue_Priority 45r55 48r21 117r21 16|63r21 44V18 Get_Priority{42+9} 45>7 77s23 77s41 78s34 78s52 89s26 89s49 16|74s35 45*7 Element{14|35+9[39]} 47V18 Before{boolean} 48>7 48>13 77s15 78s26 89s18 16|74s17 48*7 Left{42+9} 48*13 Right{42+9} 50i4 Default_Ceiling{24|100I12} 100r59 52k24*Unbounded_Priority_Queues 2|16k13 15|39z17 42z9 44z18 47z18 50z4 137l20 . 137e45 16|30b29 110l20 110t45 56K12*Implementation 96l8 96e22 98r8 98r24 71R12 Set_Elem 74e17 81r28 86r28 94r56 72i10 Sequence_Number{2|20I9} 82r13 82r33 88r20 88r40 73*10 Item{14|35+9[39]} 82r60 82r69 87r16 87r25 89r42 89r65 16|54r38 74r66 . 77r41 76V17 "="{boolean} 76>21 76>24 82s65 87s21 76*21 X{14|35+9[39]} 77r37 78r66 76*24 Y{14|35+9[39]} 77r55 78r48 81V17 "="{boolean} 5|45i19 15|81>21 81>24 81r21 X{71R12} 82r11 82r58 81r24 Y{71R12} 82r31 82r67 86V17 "<"{boolean} 5|44i19 15|86>21 86>24 86r21 X{71R12} 87r14 88r18 89r40 86r24 Y{71R12} 87r23 88r38 89r63 94K15 Sets[5|47] 98r39 16|54r21 74r49 77r24 100W19*Queue 100d26 126E7 135l8 135e13 16|32b19 108l8 108t13 100i26 Ceiling{24|100I12} 102r18 105Y24 Enqueue 105>33 16|86b13 97l11 97t18 105*33 New_Item{14|35+9[39]} 16|88r50 107Y24 Dequeue 107<33 16|47b13 56l11 56t18 107*33 Element{14|35+9[39]} 16|54m10 116U17 Dequeue_Only_High_Priority 117>10 118=10 119<10 16|62b17 80l11 80t37 117*10 At_Least{42+9} 16|63b10 74r25 118*10 Element{14|35+9[39]} 16|64b10 77m13 119b10 Success{boolean} 16|65b10 73m10 76r13 121V27 Current_Use{2|20I9}<14|52p13> 16|38b16 41l11 41t22 123V27 Peak_Use{2|20I9}<14|54p13> 16|103b16 106l11 106t19 126r7 Q_Elems{5|54R9[94]} 16|40r17 48r14 52r40 55m24 55r24 71r40 78m27 78r27 . 88m18 88r18 93r13 94r45 95r27 129i7 Max_Length{2|20I9} 16|93r30 94r28 95m13 105r17 133i7 Next_Sequence_Number{2|20I9} 16|88r28 89m10 89r34 X 16 a-cuprqu.adb 47*22 Element{14|35+9[15|39]} 52r10 C{5|61R9[15|94]} 54r35 71r10 C{5|61R9[15|94]} 73r34 74r63 77r38 86*22 New_Item{14|35+9[15|39]} X 19 a-iteint.ads 24h9 Forward_Iterator 32h9 Reversible_Iterator<24R9[5|70]> X 24 system.ads 37K9*System 15|34w6 50r22 50r45 100r36 24|148e11 100I12*Any_Priority{integer} 15|50r29 100r43 101I12*Priority{100I12} 15|50r52