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 NO_EXCEPTIONS
RV NO_FIXED_POINT
RV NO_IMPLICIT_CONDITIONALS
RV NO_STANDARD_STORAGE_POOLS
RV NO_UNCHECKED_ACCESS
RV NO_DEFAULT_INITIALIZATION
RV NO_IMPLEMENTATION_ATTRIBUTES
RV NO_IMPLEMENTATION_PRAGMAS
RV NO_IMPLICIT_ALIASING
RV SPARK_05

U system.tasking.rendezvous%b  s-tasren.adb	ffdce1e2 NE OL PK
W ada.exceptions%s	a-except.adb		a-except.ali
W ada.tags%s		a-tags.adb		a-tags.ali
W system%s		system.ads		system.ali
W system.parameters%s	s-parame.adb		s-parame.ali
W system.restrictions%s	s-restri.adb		s-restri.ali
W system.task_primitives%s  s-taspri.ads	s-taspri.ali
W system.task_primitives.operations%s  s-taprop.adb  s-taprop.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali
W system.tasking.debug%s  s-tasdeb.adb		s-tasdeb.ali
W system.tasking.entry_calls%s  s-taenca.adb	s-taenca.ali
W system.tasking.initialization%s  s-tasini.adb	s-tasini.ali
W system.tasking.protected_objects%s  s-taprob.adb  s-taprob.ali
W system.tasking.protected_objects.operations%s  s-tpobop.adb  s-tpobop.ali
W system.tasking.queuing%s  s-tasque.adb	s-tasque.ali
W system.tasking.utilities%s  s-tasuti.adb	s-tasuti.ali
W system.traces%s	s-traces.adb		s-traces.ali
W system.traces.tasking%s  s-tratas.adb		s-tratas.ali

U system.tasking.rendezvous%s  s-tasren.ads	3e44c873 NE OL PK
W ada%s			ada.ads			ada.ali
W ada.exceptions%s	a-except.adb		a-except.ali
W system%s		system.ads		system.ali
W system.tasking%s	s-taskin.adb		s-taskin.ali
W system.tasking.protected_objects%s  s-taprob.adb  s-taprob.ali
W system.tasking.protected_objects.entries%s  s-tpoben.adb  s-tpoben.ali

D ada.ads		20070406091342 3ffc8e18 ada%s
D a-except.ads		20151016123252 291912d5 ada.exceptions%s
D a-finali.ads		20151020095656 bf4f806b ada.finalization%s
D a-stream.ads		20141120112812 119b8fb3 ada.streams%s
D a-tags.ads		20151016130316 01f5e3ef ada.tags%s
D a-unccon.ads		20070406091342 f9eb8f06 ada.unchecked_conversion%s
D interfac.ads		20151118101227 4be8ce1b interfaces%s
D i-c.ads		20110801143639 5421119b interfaces.c%s
D i-cstrin.ads		20140611122922 341d0ddf interfaces.c.strings%s
D system.ads		20151123113124 2da59038 system%s
D s-atacco.ads		20120515093410 4c36d12f system.address_to_access_conversions%s
D s-exctab.ads		20140225151139 54135002 system.exception_table%s
D s-finroo.ads		20120426095924 4ff27390 system.finalization_root%s
D s-multip.ads		20101011073009 38ac9f73 system.multiprocessors%s
D s-osinte.ads		20150107102251 2e5b26a9 system.os_interface%s
D s-parame.ads		20140801093848 7e2a0d7f system.parameters%s
D s-restri.ads		20140225151139 1b9d0672 system.restrictions%s
D s-rident.ads		20151113130851 001e5076 system.rident%s
D s-soflin.ads		20151020124036 14e1eb6c system.soft_links%s
D s-stache.ads		20140225151139 a37c21ec system.stack_checking%s
D s-stausa.ads		20110804134155 017a0a05 system.stack_usage%s
D s-stalib.ads		20151112104907 09bd3940 system.standard_library%s
D s-stoele.ads		20140225151139 2dc34a04 system.storage_elements%s
D s-tasinf.ads		20140613095942 601f6b72 system.task_info%s
D s-taspri.ads		20141120144719 6c1d93d4 system.task_primitives%s
D s-taprop.ads		20140521131406 1dd2e1b6 system.task_primitives.operations%s
D s-taskin.ads		20151023124846 0766baa7 system.tasking%s
D s-tasdeb.ads		20140801101116 dfa965f6 system.tasking.debug%s
D s-taenca.ads		20090409150019 da9410ac system.tasking.entry_calls%s
D s-tasini.ads		20140730134804 ea044658 system.tasking.initialization%s
D s-taprob.ads		20110927094500 502249e3 system.tasking.protected_objects%s
D s-tpoben.ads		20121029113218 b641f948 system.tasking.protected_objects.entries%s
D s-tpobop.ads		20090409150019 5f548bb3 system.tasking.protected_objects.operations%s
D s-tasque.ads		20090409150019 b4c10749 system.tasking.queuing%s
D s-tasren.ads		20120208100446 a67a9949 system.tasking.rendezvous%s
D s-tasren.adb		20140716141943 9774d670 system.tasking.rendezvous%b
D s-tasuti.ads		20140730125043 4c20fd27 system.tasking.utilities%s
D s-traent.ads		20140730135025 005bf670 system.traceback_entries%s
D s-traces.ads		20150106085750 f21d68aa system.traces%s
D s-tratas.ads		20140801083227 fe3b06bf system.traces.tasking%s
D s-unstyp.ads		20140731130224 9d58a4c0 system.unsigned_types%s
D s-win32.ads		20140120152906 b7f96285 system.win32%s
X 1 ada.ads
16K9*Ada 19e8 35|35r6 310r12 36|110r46 423r40 508r34 516r12 535r46 544r16
. 546r19 547r19 560r15 649r39 688r22 1356r43 1729r40
X 2 a-except.ads
54K13*Exceptions 349e19 35|35w10 310r16 36|110r50 423r44 508r38 516r16 535r50
. 544r20 546r23 547r23 560r19 649r43 688r26 1356r47 1729r44
58P9*Exception_Id<22|87P9> 35|310r27 36|110r61 516r27 535r61 544r31
61p4*Null_Id{58P9} 36|423r55 508r49 560r30 649r54 688r37 1356r58 1729r55
63R9*Exception_Occurrence 317e14 36|547r34
66P9*Exception_Occurrence_Access(63R9) 36|546r34
X 10 system.ads
37K9*System 200e11 35|37r6 39r9 41r25 46r31 62r31 75r28 181r32 239r32 248r32
. 330r5 36|32r6 33r6 34r6 35r6 36r6 37r6 38r6 39r6 40r6 41r6 43r14 45r25
. 51r8 52r8 95r6 98r6 123r31 152r32 220r35 339r32 340r32 357r28 367r10 385r31
. 758r32 1306r31 1318r10 1428r32 1674r31 1691r10 1813r5
67M9*Address 35|46r38 62r38 75r35 181r39 239r39 248r39 36|123r38 152r39 357r35
. 385r38 758r39 1306r38 1428r39 1674r38
69m4*Null_Address{67M9} 36|220r42 726r31 805r29 1355r34 1474r29 1728r31
100I12*Any_Priority{integer} 36|339r39 340r39
146b4 ZCX_By_Default{boolean} 36|571r13
X 16 s-parame.ads
51K16*Parameters 210e22 36|40w13 49r8 203r13 235r10 288r13 317r10 407r10
. 441r13 565r13 853r16 872r16 913r16 1325r10 1374r16 1519r16 1573r22 1587r22
. 1705r10 1749r13
157b4*Single_Lock{boolean} 36|162r10 175r13 229r10 253r10 266r13 326r10 428r10
. 437r13 458r10 477r10 485r10 582r13 606r13 625r19 630r22 638r19 652r22 661r22
. 680r16 699r16 771r10 784r13 951r19 1011r19 1021r10 1068r10 1076r10 1359r13
. 1368r16 1392r13 1449r10 1462r13 1545r16 1555r16 1646r10 1734r10 1743r13
. 1760r10 1783r10 1793r10
190b4*Runtime_Traces{boolean} 36|203r24 235r21 288r24 317r21 407r21 441r24
. 565r24 853r27 872r27 913r27 1325r21 1374r27 1519r27 1573r33 1587r33 1705r21
. 1749r24
X 17 s-restri.ads
45K16*Restrictions 77e24 36|39w13 899r37
65V13*Abort_Allowed{boolean} 36|899s50
X 19 s-soflin.ads
337r7*Current_Excep{49R12} 36|690m47 691r48
X 21 s-stausa.ads
203U14*Initialize 204i<c,__gnat_stack_usage_initialize>22
268U14*Output_Results 272i<c,__gnat_stack_usage_output_results>22
X 22 s-stalib.ads
87P9*Exception_Data_Ptr(86R9)
X 25 s-taspri.ads
41K16*Task_Primitives 119e27 36|32r13 45r32 50r8
X 26 s-taprop.ads
39K32*Operations 571e38 36|32w29 45r48 50r24
135V13*Self{27|109P9} 36|154s47 245s47 368s23 389s45 472s42 536s57 722s27
. 740s45 761s51 1062s47 1310s45 1407s45 1433s51 1679s45
187U14*Write_Lock 36|166s12 257s12 312s15 433s15 449s12 481s12 600s18 656s24
. 684s18 775s12 860s18 930s18 1072s12 1134s12 1135s12 1148s15 1207s24 1251s15
. 1283s18 1364s18 1453s12 1526s18 1558s16 1739s15 1755s7 1796s10
241U14*Unlock 36|173s15 227s12 264s15 302s15 309s15 314s15 435s15 456s12
. 483s12 602s18 659s24 697s18 782s15 847s18 857s18 862s18 908s18 917s18 928s18
. 949s21 984s18 1006s21 1009s21 1074s12 1140s15 1141s15 1151s15 1204s24 1205s24
. 1210s24 1222s24 1223s24 1248s15 1249s15 1256s15 1270s15 1271s15 1292s18
. 1366s18 1460s15 1513s18 1523s18 1528s18 1548s16 1614s18 1636s18 1741s15
. 1758s7 1786s10
314U14*Yield 36|1552s16 1651s10 1790s10
322U14*Set_Priority 36|344s10
337V13*Get_Priority{10|100I12} 36|339s55 340s55 420s26 1352s29 1725s26
359U14*Sleep 36|1002s19 1571s19 1807s10
381U14*Timed_Sleep 36|1580s24 1631s18
397U14*Wakeup 36|1203s24 1219s27 1289s21
434U14*Lock_RTS 36|163s10 254s10 429s10 478s10 583s13 626s19 653s22 681s16
. 772s10 1069s10 1360s13 1450s10 1556s16 1735s10 1794s10
437U14*Unlock_RTS 36|176s13 230s10 267s13 327s10 438s13 459s10 486s10 607s13
. 631s22 639s19 662s22 700s16 785s13 952s19 1012s19 1022s10 1077s10 1369s16
. 1393s13 1463s13 1546s16 1647s10 1744s13 1761s10 1784s10
X 27 s-taskin.ads
47K16*Tasking 10|37k9 27|1211e19 35|37r13 39r16 41r32 330r12 36|33r13 34r13
. 35r13 36r13 37r13 38r13 43r21 95r13 98r13 367r17 1318r17 1691r17 1813r12
109P9*Task_Id(107R9) 35|44r31 60r31 73r28 99r20 135r20 293r27 301r69 318r20
. 36|94r43 97r45 116r65 121r31 132r20 139r39 154r31 155r22 245r31 246r22
. 337r65 338r32 355r28 383r31 389r29 470r27 472r26 536r41 538r32 716r20 736r20
. 740r29 761r35 764r26 1045r20 1062r31 1090r20 1096r32 1097r32 1304r31 1310r29
. 1406r69 1407r29 1433r35 1436r26 1672r31 1679r29 1775r39
147n7*Runnable{132E9} 36|1005r40 1218r47 1593r37 1634r37 1810r31
160n7*Acceptor_Sleep{132E9} 36|924r37 1203r42 1219r45 1777r31 1807r26
170n7*Async_Select_Sleep{132E9} 36|1285r47 1289r46
174n7*Delay_Sleep{132E9} 36|997r40 1002r35
178n7*Master_Completion_Sleep{132E9} 36|1190r47
208n7*Acceptor_Delay_Sleep{132E9} 36|1539r37 1571r35 1581r21 1629r37 1631r55
212E9*Call_Modes 213e68 35|47r31 36|124r31 386r31 1307r31
213n7*Simple_Call{212E9} 36|375r43 1275r40 1329r17
213n20*Conditional_Call{212E9} 36|1242r28 1329r44
213n38*Asynchronous_Call{212E9} 36|394r30
213n57*Timed_Call{212E9} 36|1244r30 1713r26
215E9*Select_Modes 215e77 35|180r28 238r28 36|66r40 757r28 1427r28
215n26*Simple_Mode{215E9} 36|67r7
215n39*Else_Mode{215E9} 36|68r7
215n50*Terminate_Mode{215E9} 36|69r7
215n66*Delay_Mode{215E9} 36|70r7 996r30 1443r36
217I12*Delay_Modes{integer} 35|64r31 241r28 36|1430r28 1676r31
231I9*Entry_Index<integer> 36|236r54 408r45 419r23 724r23 746r23 1160r31
. 1326r45 1351r26 1707r27 1724r23
235N4*Max_Task_Entry 35|299r17
237I9*Task_Entry_Index<231I9> 35|45r31 61r31 74r28 100r20 136r20 247r28 273r34
. 289r29 298r41 36|122r31 151r28 244r34 356r28 384r31 717r20 737r20 1061r29
. 1093r32 1094r25 1305r31 1673r31
242P9*Entry_Call_Link(240R9) 35|319r20 36|116r37 131r20 157r22 248r22 337r37
. 391r20 537r32 720r29 741r29 762r26 1044r20 1091r20 1311r20 1408r20 1435r26
. 1681r20
249A9*Task_Entry_Queue_Array(244R9)<237I9>
266E9*Entry_Call_State 284e7 36|72r41 73r9 1095r32
267n7*Never_Abortable{266E9} 36|75r11 75r32 82r11 82r32 416r15 1721r15
270n7*Not_Yet_Abortable{266E9} 36|76r11 83r11 83r32 1350r30
273n7*Was_Abortable{266E9} 36|77r11 84r11 84r32 1051r30 1171r39 1253r45 1388r32
276n7*Now_Abortable{266E9} 36|76r32 77r32 78r11 78r32 85r11 85r32 417r15
. 1050r29 1170r38 1274r40 1722r15
279n7*Done{266E9} 36|79r11 79r32 86r11 86r32 307r44 313r67 455r51 601r70
. 658r43 695r70 861r70 1143r44 1150r67 1209r43 1265r37 1398r54 1527r70 1766r51
282n7*Cancelled{266E9} 36|80r11 80r32 87r11 87r32 1255r67
452V13*Detect_Blocking{boolean} 36|367s25 1318s25 1691s25
508e7*State{132E9} 36|924m28 997m31 1005m31 1190r39 1218r38 1285r39 1539m28
. 1593m28 1629m28 1634m28 1777m22 1810m22
516p7*Parent{109P9} 36|1097r59
554i7*Protected_Action_Nesting{natural} 36|368r35 1319r33 1692r33
568p7*Call{242P9} 36|213r28 214r38 537r66 619m28 677m28 741r63 838r50 890r39
. 893r53 971r56 1047r56 1048m23 1411r36 1511r50 1602r39 1605r53
603r7*Compiler_Data{19|316R9} 36|690m33 691r34
629i7*Wait_Count{natural} 36|1193m39 1194r41
755I12*Master_Level{integer}
779i4*Priority_Not_Boosted{integer} 36|346r41
782I12*Rendezvous_Priority{integer}
796N4*No_Rendezvous 36|813r31 889r40 968r43 1484r31 1601r40
801I12*Select_Index{integer} 35|182r32 242r32 36|759r32 765r26 1431r32 1437r26
808b7*Null_Body{boolean} 36|197m27 284m27 817r41 891r64 969r67 1165r55 1488r41
. 1603r64
809i7*S{237I9} 36|198m27 285m27 1160r70
812A9*Accept_List(807R9)<integer> 36|156r30 247r30
815P9*Accept_List_Access(812A9) 35|179r28 237r28 36|756r28 1426r28
823I12*ATC_Level_Base{integer}
827I12*ATC_Level{823I12} 36|390r20 400r10 1345r13 1680r20 1703r10
835R9*Entry_Call_Record
836p7*Self{109P9} 36|190r31 214r43 310r31 338r60 566r57 594r34 611r31 854r60
. 858r34 1148r38 1151r34 1207r47 1210r43 1251r38 1256r34 1276r32 1283r41
. 1285r27 1289r40 1292r37 1418r25 1520r60 1524r34
839e7*Mode{212E9} 36|404m18 1242r21 1244r23 1275r32 1348m21 1713m18
841e7*State{266E9} 36|307r36 414m18 455r43 1050r21 1051m21 1095r63 1143r36
. 1170r30 1171m30 1253r36 1267m21 1268r57 1273r37 1274r32 1350m21 1388r24
. 1398r46 1719m18 1766r43
854m7*Uninterpreted_Data{10|67M9} 36|192r43 216r61 421m18 838r55 893r58 971r61
. 1353m21 1511r55 1605r58 1726m18
857p7*Exception_To_Raise{2|58P9} 36|423m18 587m24 650m30 678m24 1149m21 1356m21
. 1729m18
863p7*Next{242P9} 36|403m18 1347m21 1712m18
872i7*E{231I9} 36|419m18 724m18 746m18 1094r54 1160r27 1351m21 1724m18
874i7*Prio{10|100I12} 36|420m18 1352m21 1725m18
880p7*Called_Task{109P9} 36|422m18 621r27 725m18 747m18 1096r54 1354m21 1727m18
888m7*Called_PO{10|67M9} 36|645r59 726m18 1355m21 1728m18
899p7*Acceptor_Prev_Call{242P9} 36|603r38 619r47 677r47 1047m18 1414r35
902i7*Acceptor_Prev_Priority{782I12} 36|343m15 346m15 672r36 694r50
907b7*Cancellation_Attempted{boolean} 36|405m18 1246r33 1349m21 1714m18
912b7*With_Abort{boolean} 36|424m18 727m18 745m18 1245r33 1268r34 1357m21
. 1730m18
916b7*Needs_Requeue{boolean} 36|613r24 618m24 744m18
938A9*Entry_Call_Array(835R9)<integer>
958r7*Common{507R9} 36|213r21 214r31 368r28 537r59 619m21 677m21 690m26 691r27
. 741r56 838r43 890r32 893r46 924m21 971r49 997m24 1005m24 1047r49 1048m16
. 1097r52 1190r32 1193m32 1194r34 1218r31 1285r32 1319r26 1411r29 1511r43
. 1539m21 1593m21 1602r32 1605r46 1629m21 1634m21 1692r26 1777m15 1810m15
961a7*Entry_Calls{938A9} 36|216r22 402m29 1346m32 1711m29
981p7*Open_Accepts{815P9} 36|199m18 211r33 286m18 297r33 868m21 879r36 911r36
. 923m21 936r36 994m21 1158r19 1159r28 1160r53 1165r38 1166m25 1534m21 1551r24
. 1564m24 1568r34 1585m27 1628m21 1789r18 1802m18 1806r28
988i7*Chosen_Index{801I12} 36|813m15 824m21 889r24 891r50 955r33 968r27 969r53
. 1035r24 1164m25 1484m15 1496m21 1601r24 1603r50 1661r24
998i7*Master_of_Task{755I12} 36|1191r42
1005i7*Master_Within{755I12} 36|1191r66
1020i7*Awake_Count{natural} 36|947r39 1180m28 1180r52 1182r31 1186r44 1188m29
. 1188r51
1053b7*Callable{boolean} 36|168r22 259r22 482r19 777r22 1139r23 1455r22
1066b7*Pending_Action{boolean} 36|171r33 262r33 780r33 958r27 1458r33
1089b7*Terminate_Alternative{boolean} 36|938r24 1174r28 1179m28
1098i7*ATC_Nesting_Level{827I12} 36|216r42 397m15 397r44 400r35 401r24 1001r57
. 1342m18 1342r47 1345r38 1346r53 1563r52 1699m15 1699r44 1703r35 1710r24
. 1801r46
1110i7*Deferral_Level{natural} 36|415r21 722r32 791r21 792m21 844r36 896r27
. 898r31 973r42 1607r39 1720r21
1118i7*Pending_ATC_Level{823I12} 36|169r33 260r33 778r33 946r39 1001r29 1456r33
. 1563r24 1801r18
1150a7*Entry_Queues{249A9} 36|187m37 278m37 1073r54 1261m36
X 28 s-tasdeb.ads
38K24*Debug 165e25 36|38w21 208r13 293r12 399r10 451r10 454r10 558r10 870r16
. 1344r13 1702r10
133U14*Trace 36|208s19 293s18 399s16 451s16 454s16 558s16 870s22 1344s19
. 1702s16
X 29 s-taenca.ads
38K24*Entry_Calls 97e31 36|33w21 452r7 463r7 499r7 671r13 703r13 1389r13
. 1756r7 1768r7
40U14*Wait_For_Completion 36|452s19
49U14*Wait_For_Completion_With_Timeout 36|1756s19
59U14*Wait_Until_Abortable 36|1389s25
67U14*Try_To_Cancel_Entry_Call 36|499s19
75U14*Reset_Priority 36|671s25 703s25
83U14*Check_Exception 36|463s19 1768s19
X 30 s-tasini.ads
35K24*Initialization 178e34 36|34w21 95r21 98r21 160r7 179r10 233r7 251r7
. 270r10 313r10 330r7 475r7 489r7 569r10 575r10 601r13 634r19 657r19 695r13
. 707r7 743r7 748r7 769r7 795r10 846r13 861r13 901r16 956r16 959r19 980r19
. 1015r16 1036r7 1066r7 1080r7 1150r10 1208r19 1255r10 1372r13 1445r7 1466r10
. 1512r13 1527r13 1609r16 1662r7 1698r7 1747r10 1767r7
95U14*Defer_Abort 36|160s22 569s25 575s25 743s22 769s22 1066s22 1445s22 1698s22
98U14*Undefer_Abort 36|179s25 233s22 634s34 707s22 748s22 795s25 1015s31
. 1080s22 1372s28 1466s25 1747s25 1767s22
103U14*Defer_Abort_Nestable 36|95r36 251s22 475s22 846s28 901s31 980s34 1512s28
. 1609s31
106U14*Undefer_Abort_Nestable 36|98r36 270s25 330s22 489s22 956s31 1036s22
. 1662s22
109U14*Do_Pending_Action 36|959s34
149U14*Wakeup_Entry_Caller 36|313s25 601s28 657s34 695s28 861s28 1150s25
. 1208s34 1255s25 1527s28
X 31 s-taprob.ads
48K24*Protected_Objects 242e37 35|37r21 41r40 36|37r21 46r24 47r24
X 32 s-tpoben.ads
48K42*Entries 240e45 35|37w39 41r58 36|47r42
95p7*Call_In_Progress{27|242P9} 36|720r55 728m14
156P9*Protection_Entries_Access(84R9) 35|134r25 36|539r37 550r21 715r25
162V13*To_Protection[6|20]{156P9} 36|645s33
193U14*Lock_Entries_With_Status 36|646s21
X 33 s-tpobop.ads
48K42*Operations 213e48 36|37w39 46r42
94U14*PO_Service_Entries 36|667s23
183U14*PO_Do_Or_Queue 36|666s23
X 34 s-tasque.ads
34K24*Queuing 99e27 36|35w21 187r7 278r7 807r7 1073r23 1118r26 1261r10 1478r7
49U14*Enqueue 36|1261s18
59U14*Dequeue_Head 36|187s15 278s15
64V13*Onqueue{boolean} 36|1118s34
68V13*Count_Waiting{natural} 36|1073s31
71U14*Select_Task_Entry_Call 36|807s15 1478s15
X 35 s-tasren.ads
39K24*Rendezvous 27|47k16 35|330l20 330e30 36|43b29 1813l20 1813t30
41K12*STPE=41:58 134r20 36|539r32 550r16 646r16 715r20
43U14*Task_Entry_Call 44>7 45>7 46>7 47>7 48<7 36|1303b14 1400l8 1400t23
44p7 Acceptor{27|109P9} 36|1304b7 1326r35 1331r13 1354r36 1375r43
45i7 E{27|237I9} 36|1305b7 1326r58 1331r23 1351r39
46m7 Uninterpreted_Data{10|67M9} 36|1306b7 1331r26 1353r43
47e7 Mode{27|212E9} 36|1307b7 1329r10 1329r37 1331r46 1348r29
48b7 Rendezvous_Successful{boolean} 36|1308b7 1331m52 1398m10
59U14*Timed_Task_Entry_Call 60>7 61>7 62>7 63>7 64>7 65<7 36|1671b14 1769l8
. 1769t29
60p7 Acceptor{27|109P9} 36|1672b7 1706r36 1727r33 1750r40
61i7 E{27|237I9} 36|1673b7 1707r40 1724r36
62m7 Uninterpreted_Data{10|67M9} 36|1674b7 1726r40
63o7 Timeout{duration} 36|1675b7 1707r44 1757r22
64i7 Mode{27|217I12} 36|1676b7 1757r31
65b7 Rendezvous_Successful{boolean} 36|1677b7 1766m7
72U14*Call_Simple 73>7 74>7 75>7 36|354b14 376l8 376t19
73p7 Acceptor{27|109P9} 36|355b7 375r10
74i7 E{27|237I9} 36|356b7 375r20
75m7 Uninterpreted_Data{10|67M9} 36|357b7 375r23
93U14*Cancel_Task_Entry_Call 93<38 36|497b14 500l8 500t30
93b38 Cancelled{boolean} 36|497b38 499m45
98U14*Requeue_Task_Entry 99>7 100>7 101>7 36|735b14 749l8 749t26
99p7 Acceptor{27|109P9} 36|736b7 747r33
100i7 E{27|237I9} 36|737b7 746r36
101b7 With_Abort{boolean} 36|738b7 745r32
133U14*Requeue_Protected_To_Task_Entry 134>7 135>7 136>7 137>7 36|714b14
. 729l8 729t39
134p7 Object{32|156P9} 36|715b7 720r48 728r7
135p7 Acceptor{27|109P9} 36|716b7 725r33
136i7 E{27|237I9} 36|717b7 724r36
137b7 With_Abort{boolean} 36|718b7 727r32
178U14*Selective_Wait 179>7 180>7 181<7 182<7 36|755b14 1037l8 1037t22
179p7 Open_Accepts{27|815P9} 36|756b7 803r22 808r19 817r16 868r37 874r42
. 891r28 923r37 969r31
180e7 Select_Mode{27|215E9} 36|757b7 812r39 996r16
181m7 Uninterpreted_Data{10|67M9} 36|758b7 805m7 838m13 893m16 971m19
182i7 Index{27|801I12} 36|759b7 955m16 1035m7
236U14*Timed_Selective_Wait 237>7 238>7 239<7 240>7 241>7 242<7 36|1425b14
. 1665l8 1665t28
237p7 Open_Accepts{27|815P9} 36|1426b7 1476r22 1479r19 1488r16 1534r37 1576r48
. 1603r28
238e7 Select_Mode{27|215E9} 36|1427b7 1443r22 1483r39
239m7 Uninterpreted_Data{10|67M9} 36|1428b7 1474m7 1511m13 1605m16
240o7 Timeout{duration} 36|1429b7 1577r39 1580r46 1631r40
241i7 Mode{27|217I12} 36|1430b7 1580r55 1631r49
242i7 Index{27|801I12} 36|1431b7 1661m7
246U14*Accept_Call 247>7 248<7 36|150b14 238l8 238t19
247i7 E{27|237I9} 36|151b7 187r51 198r32 236r67
248m7 Uninterpreted_Data{10|67M9} 36|152b7 192m10 215m13 220m13
273U14*Accept_Trivial 273>30 36|244b14 331l8 331t22
273i30 E{27|237I9} 36|244b30 278r51 285r32
289V13*Task_Count{natural} 289>25 36|1061b13 1083l8 1083t18
289i25 E{27|237I9} 36|1061b25 1073r68
293V13*Callable{boolean} 293>23 36|470b13 491l8 491t16
293p23 T{27|109P9} 36|470b23 481r24 482r17 483r20
298I9*Task_Entry_Nesting_Depth<27|237I9> 301r36 36|1406r36
301V13*Task_Entry_Caller{27|109P9} 301>32 36|1406b13 1419l8 1419t25
301i32 D{298I9} 36|1406b32 1413r25
306U14*Complete_Rendezvous 36|506b14 509l8 509t27
309U14*Exceptional_Complete_Rendezvous 310>7 311r22 36|515b14 529l8 529t39
310p7 Ex{2|58P9} 36|516b7 523r34
317V13*Task_Do_Or_Queue{boolean} 318>7 319>7 36|432s14 629s23 1089b13 1297l8
. 1297t24 1363s17 1738s14
318p7 Self_ID{27|109P9} 36|1090b7 1150r46 1209r22 1255r46 1276r40
319p7 Entry_Call{27|242P9} 36|1091b7 1094r43 1095r52 1096r43 1118r43 1143r25
. 1148r27 1149r10 1150r55 1151r23 1160r16 1170r19 1171r19 1207r36 1209r31
. 1210r32 1213r51 1242r10 1244r12 1245r22 1246r22 1251r27 1253r25 1255r55
. 1256r23 1261r54 1267r10 1268r23 1268r46 1273r26 1274r21 1275r21 1276r21
. 1283r30 1285r16 1289r29 1292r26
X 36 s-tasren.adb
45K12 STPO=45:48 154r42 166r7 173r10 227r7 245r42 257r7 264r10 302r10 309r10
. 312r10 314r10 368r18 389r40 433r10 435r10 449r7 456r7 472r37 481r7 483r7
. 536r52 600r13 602r13 656r19 659r19 684r13 697r13 722r22 740r40 761r46 775r7
. 782r10 847r13 857r13 860r13 862r13 908r13 917r13 928r13 930r13 949r16 984r13
. 1006r16 1009r16 1062r42 1072r7 1074r7 1134r7 1135r7 1140r10 1141r10 1148r10
. 1151r10 1203r19 1204r19 1205r19 1207r19 1210r19 1219r22 1222r19 1223r19
. 1248r10 1249r10 1251r10 1256r10 1270r10 1271r10 1283r13 1289r16 1292r13
. 1310r40 1364r13 1366r13 1407r40 1433r46 1453r7 1460r10 1513r13 1523r13
. 1526r13 1528r13 1580r19 1614r13 1631r13 1636r13 1679r40 1739r10 1741r10
46K12 POO=46:42 666r19 667r19
47K12 POE=47:42 645r29
54E9 Select_Treatment 60e26 66r57 763r26 1434r26
55n6 Accept_Alternative_Selected{54E9} 821r29 834r15 1493r29 1506r15
56n6 Accept_Alternative_Completed{54E9} 818r29 849r15 1489r29 1515r15
57n6 Else_Selected{54E9} 68r30 910r15
58n6 Terminate_Selected{54E9} 69r30 919r15
59n6 Accept_Alternative_Open{54E9} 827r26 864r15 1499r26 1530r15
60n6 No_Alternative_Open{54E9} 67r30 70r30 826r28 986r15 1498r28 1616r15
66a4 Default_Treatment(54E9) 812r20 1483r20
72a4 New_State(27|266E9) 1268r12
94U14 Local_Defer_Abort=95:36 396s7
94p33 Self_Id{27|109P9}
97U14 Local_Undefer_Abort=98:36 445s10 462s7
97p35 Self_Id{27|109P9}
110U14 Local_Complete_Rendezvous 110>41 508s7 523s7 535b14 708l8 708t33
110p41 Ex{2|58P9} 535b41 560r10 581r10 649r34 678r46 688r16
116U14 Boost_Priority 116>30 116>54 117r19 337b14 348l8 348t22 1054s7
116p30 Call{27|242P9} 337b30 338r55 343r10 346r10
116p54 Acceptor{27|109P9} 337b54 340r69 344r24
120U14 Call_Synchronous 121>7 122>7 123>7 124>7 125<7 126r19 374s7 382b14
. 464l8 464t24 1330s10
121p7 Acceptor{27|109P9} 383b7 408r35 422r33 442r40
122i7 E{27|237I9} 384b7 408r58 419r36
123m7 Uninterpreted_Data{10|67M9} 385b7 421r40
124e7 Mode{27|212E9} 386b7 394r22 404r26
125b7 Rendezvous_Successful{boolean} 387b7 455m7
130U14 Setup_For_Rendezvous_With_Body 131>7 132>7 133r19 191s10 820s16 1043b14
. 1055l8 1055t38 1213s19 1492s16
131p7 Entry_Call{27|242P9} 1044b7 1047r7 1048r31 1050r10 1051r10 1054r23
132p7 Acceptor{27|109P9} 1045b7 1047r40 1048r7 1054r35
139U14 Wait_For_Call 139>29 140r19 209s10 295s10 877s13 934s13 1775b14 1811l8
. 1811t21
139p29 Self_Id{27|109P9} 1775b29 1777r7 1786r18 1789r10 1796r22 1801r10 1801r38
. 1802r10 1806r20 1807r17 1810r7
154p7 Self_Id{27|109P9} 160r35 166r24 168r14 169r25 171r25 173r23 179r40
. 187r29 191r54 199r10 204r40 208r26 209r25 211r25 213r13 214r23 227r20 233r37
155p7 Caller{27|109P9} 190m10 214m13 216r15 216r35 236r46
156a7 Open_Accepts{27|812A9} 197m10 198m10 199r34 204r58
157p7 Entry_Call{27|242P9} 187m55 187r55 189r10 190r20 191r42 192r32
245p7 Self_Id{27|109P9} 251r44 257r24 259r14 260r25 262r25 264r23 270r49
. 278r29 286r10 289r40 293r25 295r25 297r25 302r23 309r23 313r46 330r46
246p7 Caller{27|109P9} 310m10 312r27 314r23
247a7 Open_Accepts{27|812A9} 284m10 285m10 286r34 289r58
248p7 Entry_Call{27|242P9} 278m55 278r55 280r10 307r25 310r20 313r55
338p7 Caller{27|109P9} 339r69
339i7 Caller_Prio{10|100I12} 342r10 344r34
340i7 Acceptor_Prio{10|100I12} 342r24 343r41
359b7 Rendezvous_Successful{boolean} 360r28 375m56
389p7 Self_Id{27|109P9} 396r26 397r7 397r36 399r23 400r27 401r16 402r21 415r13
. 420r40 432r32 433r27 434r40 435r23 445r31 449r24 451r23 454r23 456r20 462r28
. 463r36
390i7 Level{27|827I12} 401m7 402r42
391p7 Entry_Call{27|242P9} 402m7 403r7 404r7 405r7 414r7 419r7 420r7 421r7
. 422r7 423r7 424r7 432r41 452r40 455r32 463r45
471b7 Result{boolean} 482m7 490r14
472p7 Self_Id{27|109P9} 475r44 489r46
518U17*Internal_Reraise 519r25 520b<c,__gnat_reraise>25 524s7
536p7 Self_Id{27|109P9} 537r51 558r23 569r38 575r38 601r49 619r13 629r41
. 634r49 658r22 666r39 667r43 672r16 677r13 691r19 695r49 703r41 707r37
537p7 Entry_Call{27|242P9} 566r46 586r16 587r13 594r23 601r58 603m13 603r27
. 611r20 613r13 618r13 619r36 621r16 629r50 645r48 650r19 658r31 666r59 672r25
. 677r36 678r13 694r39 695r58
538p7 Caller{27|109P9} 594m13 600r30 602r26 611m10 656r36 659r32 684r30 690r19
. 697r26
539p7 Called_PO{32|156P9} 645m16 646r47 666r48 667r52
540i7 Acceptor_Prev_Priority{integer} 694m13 703r50
542b7 Ceiling_Violation{boolean} 646m58 648r19
545U17*Transfer_Occurrence 546>10 547>10 548b<c,__gnat_transfer_occurrence>25
. 689s16
546p10 Target{2|66P9}
547r10 Source{2|63R9}
720p7 Entry_Call{27|242P9} 724r7 725r7 726r7 727r7
740p7 Self_Id{27|109P9} 741r48 743r35 748r37
741p7 Entry_Call{27|242P9} 744r7 745r7 746r7 747r7
761p7 Self_Id{27|109P9} 769r35 775r24 777r14 778r25 780r25 782r23 791r13
. 792r13 795r40 808r10 813r7 820r60 824r13 838r35 844r28 846r50 847r26 857r26
. 861r49 868r13 870r29 873r43 877r28 879r28 889r16 890r24 891r42 893r38 896r19
. 898r23 901r53 908r26 911r28 917r26 923r13 924r13 928r26 929r37 930r30 934r28
. 936r28 938r16 946r31 947r31 949r29 955r25 956r55 958r19 959r53 968r19 969r45
. 971r41 973r34 980r56 984r26 994r13 997r16 1001r21 1001r49 1002r26 1005r16
. 1006r29 1009r29 1015r46 1035r16 1036r46
762p7 Entry_Call{27|242P9} 808m33 808r33 816r13 820r48 854r49 858r23 861r58
763e7 Treatment{54E9} 812m7 818m16 821m16 826r16 827m13 833r12
764p7 Caller{27|109P9} 858m13 860r30 862r26
765i7 Selection{27|801I12} 808m45 817r30 824r37
766b7 Open_Alternative{boolean} 808m56 815r10
1062p7 Self_Id{27|109P9} 1066r35 1072r24 1073r46 1074r20 1080r37
1063i7 Return_Count{natural} 1073m7 1082r14
1093i7 E{27|237I9} 1261r50
1095e7 Old_State{27|266E9} 1265r25 1273r13
1096p7 Acceptor{27|109P9} 1097r43 1135r24 1139r14 1140r23 1158r10 1159r19
. 1160r44 1164r16 1165r29 1166r16 1174r19 1179r19 1180r19 1180r43 1182r22
. 1191r33 1203r32 1204r32 1213r63 1218r22 1219r35 1222r32 1248r23 1261r27
. 1270r23
1097p7 Parent{27|109P9} 1134r24 1141r23 1186r37 1188r22 1188r44 1190r25 1191r59
. 1193r25 1194r27 1205r32 1223r32 1249r23 1271r23
1098b7 Null_Body{boolean} 1165m16 1199r19
1159i14 J{integer} 1160r67 1164r41 1165r52
1310p7 Self_Id{27|109P9} 1319r18 1342r10 1342r39 1344r26 1345r30 1346r24
. 1346r45 1352r43 1363r35 1364r30 1365r43 1366r26 1372r43 1389r47
1311p7 Entry_Call{27|242P9} 1346m10 1347r10 1348r10 1349r10 1350r10 1351r10
. 1352r10 1353r10 1354r10 1355r10 1356r10 1357r10 1363r44 1388r13 1389r56
. 1398r35
1407p7 Self_Id{27|109P9} 1411r21
1408p7 Entry_Call{27|242P9} 1411m7 1414m10 1414r24 1415r25 1418r14
1413i11 Depth<27|237I9>
1433p7 Self_Id{27|109P9} 1445r35 1453r24 1455r14 1456r25 1458r25 1460r23
. 1466r40 1479r10 1484r7 1492r60 1496r13 1511r35 1512r50 1513r26 1523r26
. 1527r49 1534r13 1539r13 1548r24 1551r16 1558r28 1563r16 1563r44 1564r16
. 1568r26 1571r26 1575r39 1580r37 1585r19 1593r13 1601r16 1602r24 1603r42
. 1605r38 1607r31 1609r53 1614r26 1628r13 1629r13 1631r31 1634r13 1636r26
. 1661r16 1662r46
1434e7 Treatment{54E9} 1483m7 1489m16 1493m16 1498r16 1499m13 1505r12
1435p7 Entry_Call{27|242P9} 1479m33 1479r33 1487r13 1492r48 1520r49 1524r23
. 1527r58
1436p7 Caller{27|109P9} 1524m13 1526r30 1528r26
1437i7 Selection{27|801I12} 1479m45 1488r30 1496r37
1438b7 Open_Alternative{boolean} 1479m56 1486r10
1439b7 Timedout{boolean} 1570r19 1581m43 1584r19 1632m15
1440b7 Yielded{boolean} 1581m53 1632m25 1650r14
1679p7 Self_Id{27|109P9} 1692r18 1698r35 1699r7 1699r36 1702r23 1703r27 1710r16
. 1711r21 1720r13 1725r40 1738r32 1739r27 1740r40 1741r23 1747r40 1755r19
. 1758r15 1767r37 1768r36
1680i7 Level{27|827I12} 1710m7 1711r42
1681p7 Entry_Call{27|242P9} 1711m7 1712r7 1713r7 1714r7 1719r7 1724r7 1725r7
. 1726r7 1727r7 1728r7 1729r7 1730r7 1738r41 1757r10 1766r32 1768r45
1683b7 Yielded{boolean} 1684r28 1757m37
X 37 s-tasuti.ads
38K24*Utilities 36|36w21 434r10 929r13 1365r13 1740r10 37|129e29
107U14*Exit_One_ATC_Level 36|434s20 1365s23 1740s20
123U14*Make_Passive 36|929s23
123b47 Task_Completed{boolean} 36|929r46
X 39 s-traces.ads
54K16*Traces 36|41r13 51r15 52r15 39|113e18
63n7*M_Accept_Complete{57E9} 36|236r27 318r27
64n7*M_Select_Else{57E9} 36|914r33
65n7*M_RDV_Complete{57E9} 36|323r27 566r30 854r33 1520r33
71n7*E_Missed{57E9} 36|442r30 1375r33 1750r30
72n7*E_Timeout{57E9} 36|1588r39
77n7*W_Call{57E9} 36|408r27 1326r27
78n7*W_Accept{57E9} 36|204r30 289r30
79n7*W_Select{57E9} 36|873r33
84n7*WT_Call{57E9} 36|1706r27
85n7*WT_Select{57E9} 36|1574r39
109U14*Send_Trace_Info 36|318s10 323s10 914s16 1588s22
X 40 s-tratas.ads
41K23*Tasking 36|41w20 52r22 40|95e26
50U14*Send_Trace_Info 36|442s13 566s13 854s16 1375s16 1520s16 1750s13
54U14*Send_Trace_Info 36|236s10 408s10 1326s10
74U14*Send_Trace_Info 36|1706s10
85U14*Send_Trace_Info 36|204s13 289s13 873s16
90U14*Send_Trace_Info 36|1574s22