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 NO_ACCESS_SUBPROGRAMS
RV NO_ALLOCATORS
RV NO_DIRECT_BOOLEAN_OPERATORS
RV NO_DISPATCH
RV NO_EXCEPTION_HANDLERS
RV NO_EXCEPTION_PROPAGATION
RV NO_EXCEPTIONS
RV NO_FINALIZATION
RV NO_LOCAL_ALLOCATORS
RV NO_STANDARD_STORAGE_POOLS
RV NO_STREAMS
RV NO_UNCHECKED_ACCESS
RV NO_UNCHECKED_DEALLOCATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLICIT_ALIASING
RV SPARK

U ada.containers.indefinite_holders%b  a-coinho.adb  d2fd1084 NE OL PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.streams%s		a-stream.ads		a-stream.ali
W ada.unchecked_deallocation%s

U ada.containers.indefinite_holders%s  a-coinho.ads  30555c83 BN NE OL PR RT PK GE
W ada%s			ada.ads			ada.ali
W ada.containers%s	a-contai.ads		a-contai.ali
W ada.finalization%s	a-finali.adb		a-finali.ali
W ada.streams%s		a-stream.ads		a-stream.ali

D ada.ads		20121213103024 3ffc8e18
D a-contai.ads		20121213103024 61e5e089
D a-coinho.ads		20121213103029 2ff88e26
D a-coinho.adb		20121213103024 0c5fc073
D a-except.ads		20121213103024 10fcae55
D a-finali.ads		20121213103024 52ecdc1b
D a-stream.ads		20121213103024 2ca4ee37
D a-tags.ads		20121213103024 6c0509d0
D a-unccon.ads		20121213103024 f9eb8f06
D a-uncdea.ads		20121213103024 f15a5ed1
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 3|32r14 33r14 39r9 77r23 82r35 86r35 89r23 101r5 4|28r6 30r14
. 33r10 199r35 286r35 297r5
X 2 a-contai.ads
16K13*Containers 1|16k9 2|24e19 3|39r13 101r9 4|30r18 297r9
X 3 a-coinho.ads
36+9 Element_Type 37r37 50r35 56r49 60r19 64r56 67r63 79r38 4|33r38 59r35
. 79r35 106r41 114r49 172r56 206r35 206r49 216r19 233r35 242r35 250r38 259r63
. 293r10
37V19 "="{boolean} 37>23 37>29 4|45s34
37*23 Left{36+9}
37*29 Right{36+9}
39k24*Indefinite_Holders 2|16k13 3|36z9 37z19 40r25 41r25 101l20 101e38 4|30b29
. 297l20 297t38
43R9*Holder 44r41 46r28 48P14 48r32 50p13 50r56 52p13 52r35 54p14 54r40 56p13
. 56r34 58p14 59r26 62p14 63r19 65p14 66r19 69p14 69r38 69r55 71p13 71r28
. 71r43 73p14 73r36 73r60 81p14 83r23 85p14 87r19 89c9 92e14 93r8 94r8 96P25
. 96r52 97P25 97r54 99r28 4|39r32 56r52 69r38 69r55 88r40 101r28 101r43 114r34
. 127r54 140r35 149r36 149r60 171r19 200r23 215r26 242r56 258r19 287r19 6|51P14
46r4*Empty_Holder{43R9} 99c4
48V14*"="{boolean} 48>18 48>24 4|39b14 50l9 50t11
48r18 Left{43R9} 4|39b18 41r10 44r13 45r17
48r24 Right{43R9} 4|39b24 41r34 44r38 45r36
50V13*To_Holder{43R9} 50>24 4|242b13 251l8 251t17
50*24 New_Item{36+9} 4|242b24 250r52
52V13*Is_Empty{boolean} 52>23 4|140b13 143l8 143t16
52r23 Container{43R9} 4|140b23 142r14
54U14*Clear 54=21 4|88b14 95l8 95t13 203s7
54r21 Container{43R9} 4|88b21 90r10 94m13 94r13
56V13*Element{36+9} 56>22 4|114b13 121l8 121t15
56r22 Container{43R9} 4|114b22 116r10 119r17
58U14*Replace_Element 59=7 60>7 4|214b14 236l8 236t23
59r7 Container{43R9} 4|215b7 219r10 224r32 233m10
60*7 New_Item{36+9} 4|216b7 233r49
62U14*Query_Element 63>7 64^7 4|170b14 192l8 192t21
63r7 Container{43R9} 4|171b7 174r27 177r10 184r19
64p7 Process 4|172b7 184r10
64*46 Element{36+9}
65U14*Update_Element 66>7 67^7 4|257b14 279l8 279t22
66r7 Container{43R9} 4|258b7 261r27 264r10 271r19
67p7 Process 4|259b7 271r10
67*46 Element{36+9}
69U14*Assign 69=22 69>46 4|69b14 82l8 82t14
69r22 Target{43R9} 4|69b22 71r10 75r10 76m16 76r16 79m13
69r46 Source{43R9} 4|69b46 75r28 78r13 79r49
71V13*Copy{43R9} 71>19 4|101b13 108l8 108t12
71r19 Source{43R9} 4|101b19 103r10 106r55
73U14*Move 73=20 73=44 4|149b14 164l8 164t12
73r20 Target{43R9} 4|149b20 151r10 159r10 160m16 160r16 161m10
73r44 Source{43R9} 4|149b44 155r10 159r28 161r28 162m10
77K12 AF=77:27 99r39 4|104r18 106r18 250r15
79P9 Element_Access(36+9) 90r17 4|33r52 224r14
81U14 Read 82^7 83<7 93r24 4|198b14 208l8 208t12
82p7 Stream(7|39R9) 4|199b7 205r29 206r69
83r7 Container{43R9} 4|200b7 203m14 206m10
85U14 Write 86^7 87>7 94r25 4|285b14 295l8 295t13
86p7 Stream(7|39R9) 4|286b7 290r23 293r31
87r7 Container{43R9} 4|287b7 290r31 292r10 293r39
90p7 Element{79P9} 4|41r15 41r40 44r18 44r44 45r22 45r42 58r20 59m20 59r59
. 75r17 75r35 76m23 78r20 79m20 79r56 94m23 103r17 106r62 116r20 119r27 133m23
. 142r24 159r17 159r35 160m23 161m17 161r35 162m17 177r20 184r29 206m20 224r42
. 233m20 264r20 271r29 290r41 292r20 293r49
91i7 Busy{natural} 4|62m17 71r17 90r20 129r20 151r17 155r17 174m57 219r20
. 261m57
96U25 Adjust<6|52p14> 96=33 4|56b25 63l8 63t14
96r33 Container{43R9} 4|56b33 58r10 59m10 59r49 62m7
97U25 Finalize<6|53p14> 97=35 4|127b25 134l8 134t16
97r35 Container{43R9} 4|127b35 129r10 133m13 133r13
X 4 a-coinho.adb
32U14 Free[10|20] 76s10 94s7 133s7 160s10 234s10
172*46 Element{3|36+9}
174i7 B{natural} 181r7 181r12 187r13 187r18 191r7 191r12
224p10 X{3|79P9} 234m16 234r16
259*46 Element{3|36+9}
261i7 B{natural} 268r7 268r12 274r13 274r18 278r7 278r12
X 6 a-finali.ads
40K13*Finalization 3|32w18 77r27 89r27 6|73e21
48H9*Controlled 3|89r40 99r42 4|104r21 106r21 250r18 6|64e72
X 7 a-stream.ads
36K13*Streams 3|33w18 82r39 86r39 4|199r39 286r39 7|69e16
39H9*Root_Stream_Type 3|82r47 86r47 4|199r47 286r47 7|67e64
X 10 a-uncdea.ads
20u15*Unchecked_Deallocation 4|28w10 33r14