MINI MINI MANI MO

V "GNAT Lib v4.8"
A -gnatwa
A -nostdinc
A -O2
A -Wextra
A -Wall
A -g
A -gnatp
A -gnatg
A -m64
A -mtune=generic
A -march=x86-64
P ZX

RN
RV SIMPLE_BARRIERS
RV NO_PROTECTED_TYPES
RV NO_STANDARD_STORAGE_POOLS
RV STATIC_PRIORITIES
RV SPARK
RV MAX_PROTECTED_ENTRIES=2

U ada.containers.bounded_priority_queues%b  a-cbprqu.adb  f1080550 NE OL PK GE
W ada.containers%s	a-contai.ads		a-contai.ali

U ada.containers.bounded_priority_queues%s  a-cbprqu.ads  f54b994d BN NE OL PR PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.containers.bounded_doubly_linked_lists%s
W ada.containers.synchronized_queue_interfaces%s
Z ada.finalization%s	a-finali.adb		a-finali.ali
Z ada.iterator_interfaces%s
W ada.streams%s		a-stream.ads		a-stream.ali
W system%s		system.ads		system.ali

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-cbdlli.ads		20121213103029 e6dcd6fd
D a-cbdlli.adb		20121213103029 160a3304
D a-cbprqu.ads		20121213103024 c6ae6965
D a-cbprqu.adb		20121213103024 37a66c35
D a-csquin.ads		20121213103024 24f8574d
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-iteint.ads		20121213103024 7c7305e9
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D system.ads		20121213103024 90249111
D s-exctab.ads		20121213103029 66e51330
D s-finroo.ads		20121213103024 4ff27390
D s-parame.ads		20121213103024 b6e20cc0
D s-soflin.ads		20121213103024 24c8153c
D s-stache.ads		20121213103024 596fc1b4
D s-stalib.ads		20130106093355 f78bcf95
D s-stoele.ads		20121213103024 facd7d98
D s-stoele.adb		20121213103024 afc5dc80
D s-traent.ads		20121213103024 5221ee41
X 1 ada.ads
16K9*Ada 19e8 5|36r6 37r6 41r10 54r9 137r5 6|30r14 220r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 5|36r10 37r10 41r14 54r13 137r9 6|30r18 220r9
20I9*Count_Type<integer> 5|51r23 63r34 82r49 84r53 94r34 96r23 102r18 126r35
. 129r32 6|101r18 147r49 156r53 169r35 213r32
X 3 a-cbdlli.ads
39+9 Element_Type 5|91r10
41V19 "="{boolean} 5|92r11
44k24*Bounded_Doubly_Linked_Lists 337e47 5|37w21 90r33
48R9 List 5|95r34[90]
56R9 Cursor 6|98r25[5|90]
63V13 Has_Element{boolean} 6|105s16[5|90] 118s17[5|90]
70V13 Length{2|20I9} 6|122s34[5|90] 149s32[5|90]
76V13 Element{7|35+9[5|40]} 6|110s41[5|90]
118U14 Insert 6|111s31[5|90]
142U14 Append 6|119s28[5|90]
152U14 Delete_First 6|44s25[5|90]
195V13 First{56R9[5|90]} 6|104s30[5|90]
197V13 First_Element{7|35+9[5|40]} 6|43s36[5|90] 78s57[5|90] 140s32[5|90]
205U14 Next 6|115s13[5|90]
X 5 a-cbprqu.ads
40K17 Queue_Interfaces[7|37] 46r17 67r21 71r24 76r28 80r35 91r26 92r26 104r38
. 107r33 110r36 122r28 6|40r24 50r28 94r21 134r35 178r36 191r28 202r33
43+9 Queue_Priority 46r55 49r21 75r21 121r21 6|49r21 96r23 190r21
45V18 Get_Priority{43+9} 46>7 6|78s28 96s41 110s27
46*7 Element{7|35+9[40]}
48V18 Before{boolean} 49>7 49>13 6|77s20 110s16
49*7 Left{43+9}
49*13 Right{43+9}
51i4 Default_Capacity{2|20I9} 102r32
52i4 Default_Ceiling{14|105I12} 103r41
54k24*Bounded_Priority_Queues 2|16k13 5|40z17 43z9 45z18 48z18 51z4 52z4
. 137l20 137e43 6|30b29 220l20 220t43
57K12*Implementation 99l8 99e22 133r14 6|32b17 161l8 161t22
63R12 List_Type 63d23 65p17 66r28 69p17 70r27 73p17 74r28 79p16 80r17 82p16
. 82r31 84p16 84r35 94c12 97e17 133r29 6|39r27 48r28 93r28 134r17 147r31
. 156r35
63i23 Capacity{2|20I9} 94r23 95r40
65U17 Enqueue 66=10 67>10 6|92b17 127l11 127t18 206s15
66r10 List{63R12} 6|93b10 104r15 111m16 111r16 119m13 119r13 122r19 124r21
. 125m13
67*10 New_Item{7|35+9[40]} 6|94b10 96r55 111r42 119r36
69U17 Dequeue 70=10 71<10 6|38b17 45l11 45t18 84s15 182s15
70r10 List{63R12} 6|39b10 43r21 44m10 44r10
71*10 Element{7|35+9[40]} 6|40b10 43m10
73U17 Dequeue 74=10 75>10 76=10 77<10 6|47b17 86l11 86t18 195s15
74r10 List{63R12} 6|48b10 76r13 78r42 84m10 84r10
75*10 At_Least{43+9} 6|49b10 77r28
76*10 Element{7|35+9[40]} 6|50b10 84m24
77b10 Success{boolean} 6|51b10 80m13 85m10
79V16 First_Element{7|35+9[40]} 80>10 6|133b16 141l11 141t24
80r10 List{63R12} 6|134b10 140r17
82V16 Length{2|20I9} 82>24 6|76s18 147b16 150l11 150t17 171s22 179s19 203s19
82r24 List{63R12} 6|147b24 149r17
84V16 Max_Length{2|20I9} 84>28 6|156b16 159l11 159t21 215s22
84r28 List{63R12} 6|156b28 158r17
90K15 List_Types[3|44] 95r23 6|98r14 99r14
95r10 Container{3|48R9[90]} 6|43r26 44m15 78r47 104r20 111m21 119m18 122r24
. 140r22 149r22
96i10 Max_Length{2|20I9} 6|124r26 125m18 158r22
101W19*Queue 102d7 103d7 135l8 135e13 6|163b19 218l8 218t13
102i7 Capacity{2|20I9} 133r40 6|203r28
103i7 Ceiling{14|105I12} 104r23
107Y13 Enqueue 107>22 6|202b13 207l11 207t18
107*22 New_Item{7|35+9[40]} 6|206r24
110Y13 Dequeue 110<22 6|178b13 183l11 183t18
110*22 Element{7|35+9[40]} 6|182m24
120U17 Dequeue_Only_High_Priority 121>10 122=10 123<10 6|189b17 196l11 196t37
121*10 At_Least{43+9} 6|190b10 195r24
122*10 Element{7|35+9[40]} 6|191b10 195m34
123b10 Success{boolean} 6|192b10 195m43
126V16 Current_Use{2|20I9}<7|64p13> 6|169b16 172l11 172t22
129V16 Peak_Use{2|20I9}<7|66p13> 6|213b16 216l11 216t19
133r7 List{63R12} 6|171r17 179r14 182m10 182r10 195m10 195r10 203r14 206m10
. 206r10 215r17
X 6 a-cbprqu.adb
96*10 P{5|43+9} 110r24
98r10 C{3|56R9[5|90]} 104m10 105r29 110r50 111r39 115m19 115r19 118r30
101i10 Count{2|20I9} 122m10 124r13 125r32
178*22 Element{7|35+9[5|40]}
202*22 New_Item{7|35+9[5|40]}
X 7 a-csquin.ads
35+9 Element_Type 5|46r34[40] 67r38[40] 71r41[40] 76r45[40] 80r52[40] 91r43[40]
. 107r50[40] 110r53[40] 122r45[40] 6|40r41[5|40] 50r45[5|40] 94r38[5|40]
. 134r52[5|40] 178r53[5|40] 191r45[5|40] 202r50[5|40]
37k24*Synchronized_Queue_Interfaces 5|36w21 41r25 7|68e49
40h9 Queue 5|104r55[40]
X 10 a-iteint.ads
24h9 Forward_Iterator
32h9 Reversible_Iterator<24R9[3|65]>
X 14 system.ads
37K9*System 5|34w6 52r23 52r46 103r18 14|152e11
105I12*Any_Priority{integer} 5|52r30 103r25
106I12*Priority{105I12} 5|52r53