libasis2014-dev 2014-4 / usr / lib / x86_64-linux-gnu / ada / adalib / asis / a4g-a_elists.ali

V "GNAT Lib v4.9"
A -O2
A -O2
A -fstack-protector-strong
A -fPIC
A -gnatf
A -gnatws
A -g
A -gnatf
A -gnatn
A -gnato
A -gnatwa
A -gnatVa
A -gnatA
P ZX

RN
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_ELABORATION_CODE
RV SPARK_05

U a4g.a_elists%b	a4g-a_elists.adb	6f7994f8 NE OO PK IU
W a4g%s			a4g.ads			a4g.ali
W a4g.a_debug%s		a4g-a_debug.adb		a4g-a_debug.ali
W interfaces%s		interfac.ads		interfac.ali
W output%s		output.adb		output.ali

U a4g.a_elists%s	a4g-a_elists.ads	cf57412b EE OO PK IU
W a4g%s			a4g.ads			a4g.ali
W a4g.a_types%s		a4g-a_types.adb		a4g-a_types.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W alloc%s		alloc.ads		alloc.ali
W interfaces%s		interfac.ads		interfac.ali
W system%s		system.ads		system.ali
W table%s		table.adb		table.ali  AD
W types%s		types.adb		types.ali

D a4g.ads		20140410133835 21a63bd9
D a4g-a_debug.ads	20140410133835 8f990da0
D a4g-a_elists.ads	20140410133835 eac82b15
D a4g-a_elists.adb	20140410133835 27bccbe0
D a4g-a_types.ads	20140410133835 34c03c06
D ada.ads		20070406091342 3ffc8e18
D a-charac.ads		20070912115821 2d3ec45b
D a-chahan.ads		20131010125231 1c00991d
D a-chlat1.ads		20140225151544 66457d31
D a-except.ads		20140129161953 f86a4103
D a-unccon.ads		20070406091342 f9eb8f06
D a-uncdea.ads		20070406091342 f15a5ed1
D alloc.ads		20140730124209 daf1344a
D debug.ads		20140730124209 3ea59655
D gnat.ads		20110801150502 fd2ad2f1
D g-os_lib.ads		20090409150019 0db74523
D hostparm.ads		20140730124209 c164ed60
D interfac.ads		20140225151838 69adb1b9
D opt.ads		20140730124209 0424f3ab
D output.ads		20140730124209 2d9479ad
D system.ads		20140730121111 90249111
D s-conca2.ads		20140225151544 02a0d7d0
D s-exctab.ads		20140225151139 54135002
D s-memory.ads		20140225151139 597d6634
D s-os_lib.ads		20140225151139 73b554c6
D s-parame.ads		20140225151139 ab8cb46a
D s-stalib.ads		20140225151139 a891183f
D s-string.ads		20140225151139 8fe54fb7
D s-traent.ads		20140225151139 b5116092
D s-unstyp.ads		20140225151139 510692af
D s-wchcon.ads		20140225151139 1b7d22d2
D table.ads		20140730124209 e3a9ec16
D table.adb		20140730124209 d2a5ae47
D tree_io.ads		20140730124209 92caaa96
D types.ads		20140730124209 09a1b5bd
D unchconv.ads		20070406091342 ca2f9e18
D unchdeal.ads		20070406091342 214516a4
X 1 a4g.ads
50K9*A4G 52e8 3|81r6 81r23 83r9 291r5 4|43r6 43r24 47r14 535r5
X 2 a4g-a_debug.ads
40K13*A_Debug 130e16 4|43w10 43r28
72b4*Debug_Flag_N{boolean} 4|83r10 332r10 415r13 423r13 430r10 437r13
X 3 a4g-a_elists.ads
83K13*A_Elists 1|50k9 3|291l9 291e17 4|47b18 535l9 535t17
93U14*Initialize 4|176b14 180l8 180t18
98V13*Last_Elist_Id{35|458I9} 4|244b13 247l8 247t21
101V13*Num_Elists{35|62I12} 4|387b13 390l8 390t18
104V13*Last_Elmt_Id{35|472I9} 4|262b13 265l8 265t20
107V13*Unit{5|119I9} 107>19 4|152s31 195s17 221s30 374b13 381l8 381t12 441s29
107i19 Elmt{35|472I9} 4|374b19 376r10 379r30
111V13*New_Elmt_List{35|458I9} 4|56s18 295s21 326b13 339l8 339t21
116V13*First_Elmt{35|472I9} 116>25 4|149s20 166b13 170l8 170t18 193s20 218s23
. 275s15 435s20
116i25 List{35|458I9} 4|166b25 168r22 169r28
120V13*Last_Elmt{35|472I9} 120>24 4|253b13 256l8 256t17
120i24 List{35|458I9} 4|253b24 255r28
124V13*Next_Elmt{35|472I9} 124>24 4|155s23 198s23 224s26 279s20 345b13 354l8
. 354t17 444s23
124i24 Elmt{35|472I9} 4|345b24 346r45
129V13*Is_Empty_Elmt_List{boolean} 129>33 4|145s29 189s28 213s10 214s10 235b13
. 238l8 238t26 298s33 304s10 422s10
129i33 List{35|458I9} 4|235b33 237r28
133U14*Append_Elmt 133>27 133>43 4|57s10 59s10 67b14 92l8 92t19
133i27 Unit{5|119I9} 4|67b27 72r40 89r26
133i43 To{35|458I9} 4|67b43 68r45 73r50 76r24 81r21 87r26
136U14*Prepend_Elmt 136>28 136>44 4|98b14 114l8 114t20
136i28 Unit{5|119I9} 4|98b28 103r40
136i44 To{35|458I9} 4|98b44 99r45 106r24 107r53 112r21
139U14*Insert_Elmt_After 139>33 139>49 4|120b14 136l8 136t25
139i33 Unit{5|119I9} 4|120b33 128r40
139i49 Elmt{35|472I9} 4|120b49 121r45 125r22 131r20
143U14*Replace_Elmt 143>28 143>44 4|530b14 533l8 533t20
143i28 Elmt{35|472I9} 4|530b28 532r20
143i44 New_Unit{5|119I9} 4|530b44 532r34
148U14*Remove_Elmt 148>27 148>44 4|454b14 493l8 493t19
148i27 List{35|458I9} 4|454b27 459r28 467r24 468r24 473r24 490r27
148i44 Elmt{35|472I9} 4|454b44 465r31 472r19 481r29 485r31
153U14*Remove_Last_Elmt 153>32 4|499b14 524l8 524t24
153i32 List{35|458I9} 4|499b32 504r28 509r24 510r24 522r24
158V13*No{boolean} 158>17 4|55s10 145s10 189s10 212s10 212s30 294s10 298s10
. 360b13 363l8 363t10 414s10
158i17 List{35|458I9} 4|360b17 362r14
162V13*Present{boolean} 162>22 4|396b13 399l8 399t15
162i22 List{35|458I9} 4|396b22 398r14
166V13*No{boolean} 166>17 4|365b13 368l8 368t10
166i17 Elmt{35|472I9} 4|365b17 367r14
170V13*Present{boolean} 170>22 4|151s13 194s13 220s16 277s13 401b13 404l8
. 404t15 436s13
170i22 Elmt{35|472I9} 4|401b22 403r14
178U14*Add_To_Elmt_List 178>32 178=48 4|53b14 61l8 61t24
178i32 Unit{5|119I9} 4|53b32 57r23 58r31 59r23
178i48 List{35|458I9} 4|53b48 55r14 56m10 57r29 58r37 59r29
186V13*In_Elmt_List{boolean} 186>27 186>40 4|58s17 152s17 186b13 203l8 203t20
. 221s16
186i27 U{5|119I9} 4|186b27 195r13
186i40 List{35|458I9} 4|186b40 189r14 189r48 193r32
190U14*Print_List 190>26 4|410b14 448l8 448t18
190i26 List{35|458I9} 4|410b26 414r14 422r30 435r32
193V13*List_Length{natural} 193>26 4|271b13 283l8 283t19
193i26 List{35|458I9} 4|271b26 275r27
197V13*Intersect{boolean} 197>24 197>42 4|209b13 229l8 229t17
197i24 List1{35|458I9} 4|209b24 212r14 213r30 218r35
197i42 List2{35|458I9} 4|209b42 212r34 214r30 221r48
201V13*Belongs{boolean} 201>22 201>40 4|142b13 160l8 160t15
201i22 List1{35|458I9} 4|142b22 145r14 145r49 149r32
201i40 List2{35|458I9} 4|142b40 152r49
205U14*Move_List 206>7 207=7 4|289b14 320l8 320t17
206i7 List_From{35|458I9} 4|290b7 298r14 298r53 306r56 307r37 311r37 315r53
. 317r21 318r21
207i7 List_To{35|458I9} 4|291b7 294r14 295m10 304r30 306r24 308r23 312r40
. 315r21
260R9*Elist_Header 263e14 266r30
261i7*First{35|472I9} 4|76m28 99r49 112m25 169r34 237r34 312r49 315m30 315r64
. 317m32 329m34 459r34 467m30 473m30 504r34 509m30
262i7*Last{35|472I9} 4|68r49 81m25 106m28 134m38 255r34 306m33 306r67 307r48
. 311r48 318m32 330m34 468m30 490m33 510m30 522m30
265K12*Elists[32|55] 288r22 4|68r31 76r10 81r7 99r31 106r10 112r7 134r10
. 169r14 178r7 237r14 246r14 255r14 306r10 306r42 307r23 311r23 312r26 315r7
. 315r39 317r7 318r7 328r7 329r7 329r21 330r7 330r21 334r26 338r14 459r14
. 467r10 468r10 473r10 490r13 504r14 509r10 510r10 522r10
273R9*Elmt_Item 276e14 279r30
274i7*Unit{5|119I9} 4|72m32 103m32 128m32 379r36 532m26
275i7*Next{35|270I9} 4|73m32 78m26 107m35 109m35 121r51 129m32 131m26 307m54
. 311m54 312r56 346r51 463r28 473r66 480r47 482r41 487m28 487r54 489r31 508r28
. 517r47 518r41 521m28 521r56
278K12*Elmts[32|55] 287r22 4|71r7 72r7 72r20 73r7 73r20 76r37 78r10 78r44
. 81r34 85r26 102r7 103r7 103r20 106r36 107r10 107r23 109r10 109r23 112r35
. 121r32 127r7 128r7 128r20 129r7 129r20 131r7 131r44 134r46 179r7 264r14
. 307r10 311r10 312r13 346r32 379r17 389r19 389r38 463r10 473r48 480r29 482r23
. 487r10 487r36 489r13 508r10 517r29 518r23 521r10 521r38 532r7
286R9*Saved_Lists 289e14
287r7*Saved_Elmts{32|202R12[278]}
288r7*Saved_Elists{32|202R12[265]}
X 4 a4g-a_elists.adb
68i7 L{35|472I9} 75r10 78r23
99i7 F{35|472I9} 105r10 109r53
121i7 N{35|270I9} 129r40 133r10 134r34
143i7 Curr_Elmt{35|472I9} 149m7 151r22 152r37 155m10 155r34
187i7 Curr_Elmt{35|472I9} 193m7 194r22 195r23 198m10 198r34
210i7 Curr_Elmt{35|472I9} 218m10 220r25 221r36 224m13 224r37
272i7 Result{natural} 278m10 278r20 282r14
273i7 Elem{35|472I9} 275m7 277r22 279m10 279r31
346i7 N{35|270I9} 349r10 352r26
411i7 Curr_Elmt{35|472I9} 435m7 436r22 441r35 444m10 444r34
412i7 Counter{35|59I9} 439r24 445m10 445r23
455i7 Nxt{35|472I9} 459m7 463r23 465r25 472r13 473r61 479r20 480m13 481r23
. 482r36 485r25 487r49
456i7 Prv{35|472I9} 479m13 480r42 487r23 489r26 490r41
500i7 Nxt{35|472I9} 504m7 508r23 516r20 517m13 518r36 521r51
501i7 Prv{35|472I9} 516m13 517r42 521r23 522r38
X 5 a4g-a_types.ads
42K13*A_Types 3|81w10 81r27 5|461e16
119I9*Unit_Id<integer> 3|107r42 133r34 136r35 139r40 143r55 178r39 186r31
. 274r14 4|53r39 67r34 98r35 120r40 186r31 374r42 530r55
122i4*Nil_Unit{119I9} 4|377r17
X 13 alloc.ads
42K9*Alloc 3|78w6 269r30 270r30 282r30 283r30 13|163e10
58N4*Elists_Initial 3|269r36
59N4*Elists_Increment 3|270r36
61N4*Elmts_Initial 3|282r36
62N4*Elmts_Increment 3|283r36
X 20 output.ads
44K9*Output 4|45w6 45r24 20|230e11
113U14*Write_Eol 4|90s10 335s10 417s13 425s13 432s10 442s13
123U14*Write_Int 4|85s10 87s10 89s10 334s10 439s13 441s13
130U14*Write_Str 4|84s10 86s10 88s10 333s10 416s13 424s13 431s10 438s13 440s13
X 21 system.ads
64M9*Address
X 24 s-memory.ads
53V13*Alloc{21|64M9} 103i<c,__gnat_malloc>22
68U14*Free 104i<c,__gnat_free>22
76V13*Realloc{21|64M9} 105i<c,__gnat_realloc>22
X 32 table.ads
43K9*Table 3|77w6 265r26 278r25 32|238e10
47+12 Table_Component_Type 3|266r6 279r6
48I12 Table_Index_Type 3|267r6 280r6
50*7 Table_Low_Bound{48I12} 3|268r6 281r6
51i7 Table_Initial{35|65I12} 3|269r6 282r6
52i7 Table_Increment{35|62I12} 3|270r6 283r6
53s7 Table_Name{string} 3|271r6 284r6
55k12*Table 3|265r32 278r31 32|237e13
106A12*Table_Type(3|260R9)<35|458I9>
109A15*Big_Table_Type{106A12[3|265]}<35|458I9>
117P12*Table_Ptr(109A15[3|265])
121p7*Table{117P12[3|265]} 4|68r38[3|265] 72r13[3|278] 73r13[3|278] 76r17[3|265]
. 78r16[3|278] 81r14[3|265] 99r38[3|265] 103r13[3|278] 106r17[3|265] 107r16[3|278]
. 109r16[3|278] 112r14[3|265] 121r38[3|278] 128r13[3|278] 129r13[3|278] 131r13[3|278]
. 134r17[3|265] 169r21[3|265] 237r21[3|265] 255r21[3|265] 306r17[3|265] 306r49[3|265]
. 307r16[3|278] 307r30[3|265] 311r16[3|278] 311r30[3|265] 312r19[3|278] 312r33[3|265]
. 315r14[3|265] 315r46[3|265] 317r14[3|265] 318r14[3|265] 329r14[3|265] 330r14[3|265]
. 346r38[3|278] 379r23[3|278] 459r21[3|265] 463r16[3|278] 467r17[3|265] 468r17[3|265]
. 473r17[3|265] 473r54[3|278] 480r35[3|278] 482r29[3|278] 487r16[3|278] 487r42[3|278]
. 489r19[3|278] 490r20[3|265] 504r21[3|265] 508r16[3|278] 509r17[3|265] 510r17[3|265]
. 517r35[3|278] 518r29[3|278] 521r16[3|278] 521r44[3|278] 522r17[3|265] 532r13[3|278]
138U17*Init 4|178s14[3|265] 179s13[3|278]
145V16*Last{35|472I9} 4|72s26[3|278] 73s26[3|278] 76s43[3|278] 78s50[3|278]
. 81s40[3|278] 85s32[3|278] 103s26[3|278] 106s42[3|278] 107s29[3|278] 109s29[3|278]
. 112s41[3|278] 128s26[3|278] 129s26[3|278] 131s50[3|278] 134s52[3|278] 246s21[3|265]
. 264s20[3|278] 329s28[3|265] 330s28[3|265] 334s33[3|265] 338s21[3|265] 389s25[3|278]
162i7*First{35|472I9} 4|389r44[3|278]
174U17*Increment_Last 4|71s13[3|278] 102s13[3|278] 127s13[3|278] 328s14[3|265]
202R12*Saved_Table 3|287r28[278] 288r29[265]
X 35 types.ads
52K9*Types 3|79w6 79r23 35|885e10
59I9*Int<integer> 4|85r21 87r21 89r21 334r21 389r14 389r33 412r19 441r24
62I12*Nat{59I9} 3|101r31 4|387r31
65I12*Pos{59I9}
270I9*Union_Id<59I9> 3|275r14 4|73r40 78r34 107r43 109r43 121r20 131r34 308r13
. 346r20
297N4*Elist_Low_Bound 4|168r29
357I12*Elist_Range{270I9} 4|133r15 349r15 463r36 482r49 489r39 508r36 518r49
458I9*Elist_Id<integer> 3|98r34 111r34 116r32 120r31 129r40 133r48 136r49
. 148r34 153r39 158r24 162r29 178r62 186r47 190r33 193r33 197r32 197r50 201r30
. 201r48 206r26 207r26 267r30 4|53r62 67r48 98r49 134r24 142r30 142r48 166r32
. 186r47 209r32 209r50 235r40 244r34 253r31 271r33 290r26 291r26 326r34 360r24
. 396r29 410r33 454r34 499r39
461i4*No_Elist{458I9} 4|362r21 398r22
466i4*First_Elist_Id{458I9} 3|268r30
472I9*Elmt_Id<integer> 3|104r33 107r26 116r49 120r48 124r31 124r47 139r56
. 143r35 148r51 166r24 170r29 261r15 262r15 280r30 4|68r20 99r20 120r56 143r19
. 166r49 187r19 210r19 253r48 262r33 273r16 345r31 345r47 352r17 365r24 374r26
. 401r29 411r19 454r51 455r13 456r13 473r39 480r20 500r13 501r13 517r20 530r35
475i4*No_Elmt{472I9} 4|75r14 105r14 125r30 237r42 317r41 318r41 329r43 330r43
. 350r17 367r21 376r17 403r22 467r39 468r39 509r39 510r39
478i4*First_Elmt_Id{472I9} 3|281r30