obj/b__sorter.ali

V "GNAT Lib v4.9"
A -gnatwa
A -Wall
A -fstack-check=specific
A -gnatA
A -gnatA
A -gnatWb
A -gnatiw
A -gnatws
A -g
A -mtune=generic
A -march=x86-64
P ZX

RN
RV NO_ACCESS_SUBPROGRAMS
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_OBSOLESCENT_FEATURES
RV SPARK_05

U ada_main%b		b__sorter.adb		57071aa4 NE OO PK IL
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W system%s		system.ads		system.ali

U ada_main%s		b__sorter.ads		05743c8f EE NE OO PK IL
W system%s		system.ads		system.ali

D ada.ads		20070406091342 3ffc8e18
D a-except.ads		20140129161953 f86a4103
D a-unccon.ads		20070406091342 f9eb8f06
D b__sorter.ads		20230322220508 9550ad9e
D b__sorter.adb		20230322220508 3a3df639
D system.ads		20160213141829 90249111
D s-parame.ads		20140225151139 ab8cb46a
D s-stalib.ads		20140225151139 a891183f
D s-traent.ads		20140225151139 b5116092
X 1 ada.ads
16K9*Ada 19e8 5|4r6
X 2 a-except.ads
53K13*Exceptions 360e19 5|4w10
X 4 b__sorter.ads
3K9*ada_main 645l5 645e13 5|6b14 334l5 334t13
6i4*gnat_argc{integer} 10m22 10r22 5|309m7
7m4*gnat_argv{6|64M9} 11m22 11r22 5|310m7
8m4*gnat_envp{6|64M9} 12m22 12r22 5|311m7
14i4*gnat_exit_status{integer} 15m22 15r22 5|318r15
17a4*GNAT_Version{string} 19r22
21a4*Ada_Main_Program_Name{string} 22r22 5|305r52
24U14*adainit 25i<c,adainit>22 5|143b14 287l8 287t15 314s7
27U14*adafinal 28i<c,adafinal>22 5|130b14 139l8 139t16 316s7
30V13*main{integer} 31>7 32>7 33>7 35i<c,main>22 5|292b13 319t7
31i7 argc{integer} 5|293b7 309r20
32m7 argv{6|64M9} 5|294b7 310r20
33m7 envp{6|64M9} 5|295b7 311r20
37M9*Version_32 38r22 40r22 42r22 44r22 46r22 48r22 50r22 52r22 54r22 56r22
. 58r22 60r22 62r22 64r22 66r22 68r22 70r22 72r22 74r22 76r22 78r22 80r22
. 82r22 84r22 86r22 88r22 90r22 92r22 94r22 96r22 98r22 100r22 102r22 104r22
. 106r22 108r22 110r22 112r22 114r22 116r22 118r22 120r22 122r22 124r22 126r22
. 128r22 130r22 132r22 134r22 136r22 138r22 140r22 142r22 144r22 146r22 148r22
. 150r22 152r22 154r22 156r22 158r22 160r22 162r22 164r22 166r22 168r22 170r22
. 172r22 174r22 176r22 178r22 180r22 182r22 184r22 186r22 188r22 190r22 192r22
. 194r22 196r22 198r22 200r22 202r22 204r22 206r22 208r22 210r22 212r22 214r22
. 216r22 218r22 220r22 222r22 224r22 226r22 228r22 230r22 232r22 234r22 236r22
. 238r22 240r22 242r22 244r22 246r22 248r22 250r22 252r22 254r22 256r22 258r22
. 260r22 262r22 264r22 266r22 268r22 270r22 272r22 274r22 276r22 278r22 280r22
. 282r22 284r22 286r22 288r22 290r22 292r22 294r22 296r22 298r22 300r22 302r22
. 304r22 306r22 308r22 310r22 312r22 314r22 316r22 318r22 320r22 322r22 324r22
. 326r22 328r22 330r22 332r22 334r22 336r22 338r22 340r22 342r22 344r22 346r22
. 348r22 350r22 352r22 354r22 356r22 358r22 360r22 362r22 364r22 366r22 368r22
. 370r22 372r22 374r22 376r22 378r22 380r22 382r22 384r22 386r22 388r22 390r22
. 392r22 394r22 396r22 398r22 400r22 402r22 404r22 406r22 408r22 410r22 412r22
. 414r22 416r22 418r22 420r22 422r22 424r22 426r22 428r22 430r22 432r22 434r22
. 436r22 438r22
38m4*u00001{37M9} 39r22
40m4*u00002{37M9} 41r22
42m4*u00003{37M9} 43r22
44m4*u00004{37M9} 45r22
46m4*u00005{37M9} 47r22
48m4*u00006{37M9} 49r22
50m4*u00007{37M9} 51r22
52m4*u00008{37M9} 53r22
54m4*u00009{37M9} 55r22
56m4*u00010{37M9} 57r22
58m4*u00011{37M9} 59r22
60m4*u00012{37M9} 61r22
62m4*u00013{37M9} 63r22
64m4*u00014{37M9} 65r22
66m4*u00015{37M9} 67r22
68m4*u00016{37M9} 69r22
70m4*u00017{37M9} 71r22
72m4*u00018{37M9} 73r22
74m4*u00019{37M9} 75r22
76m4*u00020{37M9} 77r22
78m4*u00021{37M9} 79r22
80m4*u00022{37M9} 81r22
82m4*u00023{37M9} 83r22
84m4*u00024{37M9} 85r22
86m4*u00025{37M9} 87r22
88m4*u00026{37M9} 89r22
90m4*u00027{37M9} 91r22
92m4*u00028{37M9} 93r22
94m4*u00029{37M9} 95r22
96m4*u00030{37M9} 97r22
98m4*u00031{37M9} 99r22
100m4*u00032{37M9} 101r22
102m4*u00033{37M9} 103r22
104m4*u00034{37M9} 105r22
106m4*u00035{37M9} 107r22
108m4*u00036{37M9} 109r22
110m4*u00037{37M9} 111r22
112m4*u00038{37M9} 113r22
114m4*u00039{37M9} 115r22
116m4*u00040{37M9} 117r22
118m4*u00041{37M9} 119r22
120m4*u00042{37M9} 121r22
122m4*u00043{37M9} 123r22
124m4*u00044{37M9} 125r22
126m4*u00045{37M9} 127r22
128m4*u00046{37M9} 129r22
130m4*u00047{37M9} 131r22
132m4*u00048{37M9} 133r22
134m4*u00049{37M9} 135r22
136m4*u00050{37M9} 137r22
138m4*u00051{37M9} 139r22
140m4*u00052{37M9} 141r22
142m4*u00053{37M9} 143r22
144m4*u00054{37M9} 145r22
146m4*u00055{37M9} 147r22
148m4*u00056{37M9} 149r22
150m4*u00057{37M9} 151r22
152m4*u00058{37M9} 153r22
154m4*u00059{37M9} 155r22
156m4*u00060{37M9} 157r22
158m4*u00061{37M9} 159r22
160m4*u00062{37M9} 161r22
162m4*u00063{37M9} 163r22
164m4*u00064{37M9} 165r22
166m4*u00065{37M9} 167r22
168m4*u00066{37M9} 169r22
170m4*u00067{37M9} 171r22
172m4*u00068{37M9} 173r22
174m4*u00069{37M9} 175r22
176m4*u00070{37M9} 177r22
178m4*u00071{37M9} 179r22
180m4*u00072{37M9} 181r22
182m4*u00073{37M9} 183r22
184m4*u00074{37M9} 185r22
186m4*u00075{37M9} 187r22
188m4*u00076{37M9} 189r22
190m4*u00077{37M9} 191r22
192m4*u00078{37M9} 193r22
194m4*u00079{37M9} 195r22
196m4*u00080{37M9} 197r22
198m4*u00081{37M9} 199r22
200m4*u00082{37M9} 201r22
202m4*u00083{37M9} 203r22
204m4*u00084{37M9} 205r22
206m4*u00085{37M9} 207r22
208m4*u00086{37M9} 209r22
210m4*u00087{37M9} 211r22
212m4*u00088{37M9} 213r22
214m4*u00089{37M9} 215r22
216m4*u00090{37M9} 217r22
218m4*u00091{37M9} 219r22
220m4*u00092{37M9} 221r22
222m4*u00093{37M9} 223r22
224m4*u00094{37M9} 225r22
226m4*u00095{37M9} 227r22
228m4*u00096{37M9} 229r22
230m4*u00097{37M9} 231r22
232m4*u00098{37M9} 233r22
234m4*u00099{37M9} 235r22
236m4*u00100{37M9} 237r22
238m4*u00101{37M9} 239r22
240m4*u00102{37M9} 241r22
242m4*u00103{37M9} 243r22
244m4*u00104{37M9} 245r22
246m4*u00105{37M9} 247r22
248m4*u00106{37M9} 249r22
250m4*u00107{37M9} 251r22
252m4*u00108{37M9} 253r22
254m4*u00109{37M9} 255r22
256m4*u00110{37M9} 257r22
258m4*u00111{37M9} 259r22
260m4*u00112{37M9} 261r22
262m4*u00113{37M9} 263r22
264m4*u00114{37M9} 265r22
266m4*u00115{37M9} 267r22
268m4*u00116{37M9} 269r22
270m4*u00117{37M9} 271r22
272m4*u00118{37M9} 273r22
274m4*u00119{37M9} 275r22
276m4*u00120{37M9} 277r22
278m4*u00121{37M9} 279r22
280m4*u00122{37M9} 281r22
282m4*u00123{37M9} 283r22
284m4*u00124{37M9} 285r22
286m4*u00125{37M9} 287r22
288m4*u00126{37M9} 289r22
290m4*u00127{37M9} 291r22
292m4*u00128{37M9} 293r22
294m4*u00129{37M9} 295r22
296m4*u00130{37M9} 297r22
298m4*u00131{37M9} 299r22
300m4*u00132{37M9} 301r22
302m4*u00133{37M9} 303r22
304m4*u00134{37M9} 305r22
306m4*u00135{37M9} 307r22
308m4*u00136{37M9} 309r22
310m4*u00137{37M9} 311r22
312m4*u00138{37M9} 313r22
314m4*u00139{37M9} 315r22
316m4*u00140{37M9} 317r22
318m4*u00141{37M9} 319r22
320m4*u00142{37M9} 321r22
322m4*u00143{37M9} 323r22
324m4*u00144{37M9} 325r22
326m4*u00145{37M9} 327r22
328m4*u00146{37M9} 329r22
330m4*u00147{37M9} 331r22
332m4*u00148{37M9} 333r22
334m4*u00149{37M9} 335r22
336m4*u00150{37M9} 337r22
338m4*u00151{37M9} 339r22
340m4*u00152{37M9} 341r22
342m4*u00153{37M9} 343r22
344m4*u00154{37M9} 345r22
346m4*u00155{37M9} 347r22
348m4*u00156{37M9} 349r22
350m4*u00157{37M9} 351r22
352m4*u00158{37M9} 353r22
354m4*u00159{37M9} 355r22
356m4*u00160{37M9} 357r22
358m4*u00161{37M9} 359r22
360m4*u00162{37M9} 361r22
362m4*u00163{37M9} 363r22
364m4*u00164{37M9} 365r22
366m4*u00165{37M9} 367r22
368m4*u00166{37M9} 369r22
370m4*u00167{37M9} 371r22
372m4*u00168{37M9} 373r22
374m4*u00169{37M9} 375r22
376m4*u00170{37M9} 377r22
378m4*u00171{37M9} 379r22
380m4*u00172{37M9} 381r22
382m4*u00173{37M9} 383r22
384m4*u00174{37M9} 385r22
386m4*u00175{37M9} 387r22
388m4*u00176{37M9} 389r22
390m4*u00177{37M9} 391r22
392m4*u00178{37M9} 393r22
394m4*u00179{37M9} 395r22
396m4*u00180{37M9} 397r22
398m4*u00181{37M9} 399r22
400m4*u00182{37M9} 401r22
402m4*u00183{37M9} 403r22
404m4*u00184{37M9} 405r22
406m4*u00185{37M9} 407r22
408m4*u00186{37M9} 409r22
410m4*u00187{37M9} 411r22
412m4*u00188{37M9} 413r22
414m4*u00189{37M9} 415r22
416m4*u00190{37M9} 417r22
418m4*u00191{37M9} 419r22
420m4*u00192{37M9} 421r22
422m4*u00193{37M9} 423r22
424m4*u00194{37M9} 425r22
426m4*u00195{37M9} 427r22
428m4*u00196{37M9} 429r22
430m4*u00197{37M9} 431r22
432m4*u00198{37M9} 433r22
434m4*u00199{37M9} 435r22
436m4*u00200{37M9} 437r22
438m4*u00201{37M9} 439r22
X 5 b__sorter.adb
9i4 E076{short_integer} 9m46 9r46 264m7 264r15
10i4 E011{short_integer} 10m46 10r46 262m7 262r15
11i4 E116{short_integer} 11m46 11r46 213m7 213r15
12i4 E104{short_integer} 12m46 12r46 215m7 215r15
13i4 E021{short_integer} 13m46 13r46 217m7 217r15
14i4 E052{short_integer} 14m46 14r46 219m7 219r15
15i4 E143{short_integer} 15m46 15r46 221m7 221r15
16i4 E145{short_integer} 16m46 16r46 260m7 260r15
17i4 E148{short_integer} 17m46 17r46 224m7 224r15
18i4 E054{short_integer} 18m46 18r46 259m7 259r15
19i4 E051{short_integer} 19m46 19r46 227m7 227r15
20i4 E072{short_integer} 20m46 20r46 257m7 257r15
21i4 E191{short_integer} 21m46 21r46 256m7 256r15
22i4 E027{short_integer} 22m46 22r46 231m7 231r15
23i4 E070{short_integer} 23m46 23r46 233m7 233r15
24i4 E068{short_integer} 24m46 24r46 235m7 235r15
25i4 E089{short_integer} 25m46 25r46 237m7 237r15
26i4 E081{short_integer} 26m46 26r46 80m7 80r15 255m7 255r15
27i4 E095{short_integer} 27m46 27r46 81m7 81r15 253m7 253r15
28i4 E165{short_integer} 28m46 28r46 242m7 242r15
29i4 E171{short_integer} 29m46 29r46 244m7 244r15
30i4 E091{short_integer} 30m46 30r46 103m7 103r15 246m7 246r15
31i4 E079{short_integer} 31m46 31r46 100m10 100r18 248m7 248r15
32i4 E066{short_integer} 32m46 32r46 86m10 86r18 252m7 252r15
33i4 E198{short_integer} 33m46 33r46 89m7 89r15 250m7 250r15
34i4 E015{short_integer} 34m46 34r46 266m7 266r15
35i4 E175{short_integer} 35m46 35r46 73m7 73r15 268m7 268r15
36i4 E163{short_integer} 36m46 36r46 59m7 59r15 273m7 273r15
37i4 E187{short_integer} 37m46 37r46 60m7 60r15 271m7 271r15
38i4 E049{short_integer} 38m46 38r46 52m7 52r15 276m7 276r15
39i4 E161{short_integer} 39m46 39r46 278m7 278r15
40i4 E194{short_integer} 40m46 40r46 279m7 279r15
41i4 E159{short_integer} 41m46 41r46 282m7 282r15
42i4 E153{short_integer} 42m46 42r46 283m7 283r15
43i4 E151{short_integer} 43m46 43r46 286m7 286r15
45a4 Local_Priority_Specific_Dispatching{string} 195r9
46a4 Local_Interrupt_States{string} 198r27
48b4 Is_Elaborated{boolean} 134r14 137m7 184r10 187m7
50U14 finalize_library 50b14 128l8 128t24 209r35
54U20*F1 55b<ada,ada__text_io__finalize_spec>30 57s10
62U20*F2 63b<ada,system__regexp__finalize_spec>30 65s10
68U20*F3 69b<ada,ada__directories__finalize_spec>30 71s10
75U20*F4 76b<ada,ada__strings__unbounded__finalize_spec>30 78s10
83U20*F5 84b<ada,system__file_io__finalize_body>30 87s10
91U20*F6 92b<ada,system__direct_io__finalize_spec>30 94s10
97U20*F7 98b<ada,system__file_control_block__finalize_spec>30 101s10
105U20*F8 106b<ada,system__pool_global__finalize_spec>30 108s10
111U20*F9 112b<ada,system__storage_pools__subpools__finalize_spec>30 114s10
117U20*F10 118b<ada,system__finalization_masters__finalize_spec>30 120s10
123U20*Reraise_Library_Exception_If_Any 124b<ada,__gnat_reraise_library_exception_if_any>33
. 126s10
131U17*s_stalib_adafinal 132b<c,system__standard_library__adafinal>25 138s7
141P9 No_Param_Proc 181r34
144i7*Main_Priority{integer} 145m25 145r25 188m7
146i7*Time_Slice_Value{integer} 147m25 147r25 189m7
148e7*WC_Encoding{character} 149m25 149r25 190m7
150e7*Locking_Policy{character} 151m25 151r25 191m7
152e7*Queuing_Policy{character} 153m25 153r25 192m7
154e7*Task_Dispatching_Policy{character} 155m25 155r25 193m7
156m7*Priority_Specific_Dispatching{6|64M9} 157m25 157r25 194m7
158i7*Num_Specific_Dispatching{integer} 159m25 159r25 196m7
160i7*Main_CPU{integer} 161m25 161r25 197m7
162m7*Interrupt_States{6|64M9} 163m25 163r25 198m7
164i7*Num_Interrupt_States{integer} 165m25 165r25 199m7
166i7*Unreserve_All_Interrupts{integer} 167m25 167r25 200m7
168i7*Detect_Blocking{integer} 169m25 169r25 201m7
170i7*Default_Stack_Size{integer} 171m25 171r25 202m7
172i7*Leap_Seconds_Support{integer} 173m25 173r25 203m7
175U17*Install_Handler 176b<c,__gnat_install_handler>25 206s10
178i7*Handler_Installed{integer} 179m25 179r25 205r10
181p7*Finalize_Library_Objects{141P9} 182m25 182r25 209m7
289U14 Ada_Main_Program 290b<ada,_ada_sorter>24 315s7
298U17*Initialize 298>29 299b<c,__gnat_initialize>25 313s7
298m29 Addr{6|64M9}
301U17*Finalize 302b<c,__gnat_finalize>25 317s7
303a7 SEH(integer) 313m19 313r19
305m7 Ensure_Reference{6|64M9} 306r24
X 6 system.ads
37K9*System 4|2w6 7r16 8r16 32r14 33r14 5|156r39 162r26 294r14 295r14 298r36
. 305r34 6|152e11
64M9*Address 4|7r23 8r23 32r21 33r21 5|156r46 162r33 294r21 295r21 298r43
. 305r41