561 lines
28 KiB
Plaintext
561 lines
28 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 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
|
|
|