46 lines
1.1 KiB
Plaintext
46 lines
1.1 KiB
Plaintext
|
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 SPARK_05
|
||
|
|
|
||
|
|
U ada.containers.synchronized_queue_interfaces%s a-csquin.ads ed9465e4 NE OL PU PK GE
|
||
|
|
W ada.containers%s a-contai.ads a-contai.ali
|
||
|
|
|
||
|
|
D ada.ads 20070406091342 3ffc8e18 ada%s
|
||
|
|
D a-contai.ads 20151020122137 61e5e089 ada.containers%s
|
||
|
|
D a-csquin.ads 20150522102000 8c71856d ada.containers.synchronized_queue_interfaces%s
|
||
|
|
D a-tags.ads 20151016130316 01f5e3ef ada.tags%s
|
||
|
|
D system.ads 20151123113124 2da59038 system%s
|
||
|
|
D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s
|
||
|
|
X 1 ada.ads
|
||
|
|
16K9*Ada 19e8 3|37r9 56r5
|
||
|
|
X 2 a-contai.ads
|
||
|
|
16K13*Containers 1|16k9 2|24e19 3|37r13 56r9
|
||
|
|
20I9*Count_Type<integer> 3|52r52 54r49
|
||
|
|
X 3 a-csquin.ads
|
||
|
|
35+9 Element_Type 44r19 49r23
|
||
|
|
37k24*Synchronized_Queue_Interfaces 2|16k13 3|35z9 56l20 56e49
|
||
|
|
40h9*Queue 42p14 43r26 47p14 48r26 52p13 52r38 54p13 54r35
|
||
|
|
42x14*Enqueue 43=7 44>7
|
||
|
|
43r7 Container{40R9}
|
||
|
|
44*7 New_Item{35+9}
|
||
|
|
47x14*Dequeue 48=7 49<7
|
||
|
|
48r7 Container{40R9}
|
||
|
|
49*7 Element{35+9}
|
||
|
|
52y13*Current_Use{2|20I9} 52>26
|
||
|
|
52r26 Container{40R9}
|
||
|
|
54y13*Peak_Use{2|20I9} 54>23
|
||
|
|
54r23 Container{40R9}
|
||
|
|
|