home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
adav313.zip
/
gnat-3_13p-os2-bin-20010916.zip
/
emx
/
gnatlib
/
s-tasren.ali
< prev
next >
Wrap
Text File
|
2001-08-05
|
23KB
|
469 lines
V "GNAT Lib v3.13 "
A -gnatpg
A -O
P
R nnvnnnnvnnnnvvvvnvvvnnnnnnnnnnvnnnnnnvnnvnn
U system.tasking.rendezvous%b s-tasren.adb 3DFFECE6 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.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
U system.tasking.rendezvous%s s-tasren.ads 66691285 NE 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 20000718130834 2359F9ED
D a-except.ads 20010707082232 287FCF69
D a-finali.ads 20000718131010 3F32DEEF
D a-filico.ads 20000718130938 1DECB9AC
D a-stream.ads 20000718130842 5F7C277B
D a-tags.ads 20000718130936 45EF7E4E
D interfac.ads 20000718130908 0357E00A
D i-c.ads 20000718130852 30F7C341
D i-cstrin.ads 20000718130834 462439BF
D i-os2lib.ads 20000718130914 3E16158A
D i-os2syn.ads 20000718130834 120284D6
D i-os2thr.ads 20000718130914 3C3ED1C5
D system.ads 20000718130850 4A140274
D s-exctab.ads 20000718130922 7A25F5F9
D s-finimp.ads 20000718130920 1C201C0F
D s-finroo.ads 20000718130938 166D4EDA
D s-osinte.ads 20000718130946 1C105C45
D s-parame.ads 20000718130852 25FE086A
D s-secsta.ads 20000718130952 60A2A5CD
D s-soflin.ads 20000718130826 006B24D7
D s-stache.ads 20000718130940 42B57F2A
D s-stalib.ads 20000718130912 438B3864
D s-stoele.ads 20000718130940 131D4539
D s-stratt.ads 20000718130956 1761725B
D s-tasinf.ads 20000718130824 0F7BBEC5
D s-taspri.ads 20000718131002 4A9EA082
D s-taprop.ads 20000718130916 11ACE5EC
D s-taskin.ads 20000718130928 09146F23
D s-tasdeb.ads 20000718130904 652EAF69
D s-taenca.ads 20000718130924 076F9131
D s-tasini.ads 20000718131002 4651DA5F
D s-taprob.ads 20000718130904 1D5668B3
D s-tpoben.ads 20000718130934 4D0A0C24
D s-tpobop.ads 20000718130924 4916EA6C
D s-tasque.ads 20000718130852 67171CE7
D s-tasren.ads 20000718130928 0A08BEEB
D s-tasren.adb 20000718130928 3A947D66
D s-tasuti.ads 20000718131002 3EA11762
D s-unstyp.ads 20000718130950 78AFB91D
D unchconv.ads 20000718130930 72DC4539
X 1 ada.ads
18U9*Ada 36|40r6 131r12 37|37r6 505r40 710r43 786r40 1027r12 1034r28 1037r16
. 1047r15 1105r39 1135r22 1136r16 1150r32 1169r40 1485r13
X 2 a-except.ads
47U13*Exceptions 36|40r10 131r16 37|37r10 505r44 710r47 786r44 1027r16 1034r32
. 1037r20 1047r19 1105r43 1135r26 1136r20 1150r36 1169r44 1485r17
49P9*Exception_Id 36|131r27 37|1027r27 1034r43 1037r31
50P4*Null_Id 37|505r55 710r58 786r55 1047r30 1105r54 1135r37 1150r47 1169r55
62U14*Raise_Exception 37|1485r28
97U14*Save_Occurrence 37|1136r31
101U13*Save_Occurrence 37|1136r31
X 13 system.ads
41U9*System 36|43r6 46r9 50r25 55r31 63r31 72r28 92r32 99r32 107r32 37|43r6
. 52r6 57r6 62r6 68r6 73r6 79r6 82r14 84r25 85r24 86r24 88r8 89r8 128r6 131r6
. 153r31 188r23 189r23 470r31 541r28 675r31 749r31 839r32 1244r32 1512r32
67M9*Address 36|55r38 63r38 72r35 92r39 99r39 107r39 37|153r38 470r38 541r35
. 675r38 749r38 839r39 1244r39 1512r39
68M4*Null_Address 37|663r31 709r34 785r31
100I12*Any_Priority 37|188r30 189r30
X 20 s-soflin.ads
281R7*Current_Excep 37|1137r47 1138r48
X 26 s-taspri.ads
48U16*Task_Primitives 37|43r13 84r32 88r15 89r15
X 27 s-taprop.ads
49U32*Operations 37|43r29 84r48 89r31
134U13*Self 37|474r45 598r48 659r27 679r45 754r45 841r47 939r48 1029r45 1247r51
. 1517r51 1716r47 1738r42 1780r45
178U14*Write_Lock 37|1102r21
180U14*Write_Lock 37|257r15 261r12 282r15 344r24 407r18 428r15 520r12 849r12
. 946r12 998r15 1071r18 1102r21 1109r24 1131r18 1256r12 1340r15 1410r15 1532r12
. 1603r15 1721r12 1742r12
225U14*Unlock 37|271r15 274r18 285r15 338r24 341r27 347r24 359r24 362r27
. 390r15 393r18 416r18 422r15 425r18 433r15 527r12 856r15 916r12 953r15 989r15
. 995r15 1000r15 1074r18 1112r24 1142r18 1263r15 1331r15 1337r15 1342r15
. 1377r15 1382r15 1390r15 1458r15 1480r18 1483r18 1539r15 1594r15 1600r15
. 1605r15 1656r15 1682r15 1723r12 1744r12
288U14*Yield 37|1658r13 1685r13
296U14*Set_Priority 37|194r10
313U13*Get_Priority 37|188r46 189r46 502r26 706r29 782r26
335U14*Sleep 37|1415r13 1476r16 1623r16 1809r10
358U14*Timed_Sleep 37|1625r21 1677r15
374U14*Wakeup 37|337r24 356r27 413r21
X 28 s-taskin.ads
60U16*Tasking 36|43r13 46r16 50r32 37|52r13 57r13 62r13 68r13 73r13 79r13
. 82r21 85r31 86r31 128r13 131r13
126P9*Task_ID 36|53r31 61r31 70r28 79r20 85r20 116r27 122r69 138r20 37|127r43
. 130r45 146r18 151r31 161r20 169r32 173r39 186r65 187r23 232r20 238r28 239r28
. 447r20 468r31 474r29 539r28 594r20 598r32 653r20 673r31 679r29 747r31 754r29
. 841r31 842r22 939r32 940r23 1029r29 1031r20 1247r35 1250r26 1517r35 1520r26
. 1716r31 1736r27 1738r26 1755r32 1779r69 1780r29 1800r39
166i4*Priority_Not_Boosted 37|197r41
192N7*Runnable 37|355r47 1418r34 1479r37 1634r34 1680r34 1812r31
205N7*Acceptor_Sleep 37|337r42 356r45 1389r34 1415r29 1616r34 1623r32 1626r18
. 1673r34 1677r52 1802r31 1809r26
211N7*Async_Select_Sleep 37|409r47 413r46
215N7*Delay_Sleep 37|1471r37 1476r32
219N7*Master_Completion_Sleep 37|324r47
247E9*Call_Modes 36|56r31 37|154r31 471r31 676r31
247N24*Simple_Call 37|398r30 546r43 683r17
247N37*Conditional_Call 37|377r29 683r44
248N24*Asynchronous_Call 37|479r30
248N43*Timed_Call 37|769r26
250E9*Select_Modes 36|91r28 98r28 37|99r40 1243r28 1511r28
250N26*Simple_Mode 37|100r7
250N39*Else_Mode 37|101r7
250N50*Terminate_Mode 37|102r7
250N66*Delay_Mode 37|103r7 1470r27 1526r36
252I12*Delay_Modes 36|65r31 101r28 37|751r31 1514r28
264I12*ATC_Level 37|475r20 485r10 516r13 699r13 718r16 755r20 764r10 797r13
280I9*Entry_Index 37|293r31 501r23 605r23 661r23 705r26 781r23
284P9*Entry_Call_Link 36|139r20 37|145r18 160r20 186r37 233r20 446r20 476r20
. 599r32 657r29 680r20 756r20 844r22 942r23 1030r20 1248r26 1519r26 1781r20
297N4*Max_Task_Entry 36|120r17
299I9*Task_Entry_Index<280I9> 36|54r31 62r31 71r28 80r20 86r20 106r28 110r34
. 113r29 119r41 37|152r31 169r45 236r28 236r48 469r31 540r28 595r20 654r20
. 674r31 748r31 838r28 938r34 1715r29 1755r45
306N4*No_Rendezvous 37|1293r31 1364r37 1444r40 1563r31 1642r37
311I12*Select_Index 36|93r32 102r32 37|1245r32 1251r26 1515r32 1521r26
318e7*Null_Body 37|298r55 886r27 975r27 1297r41 1366r52 1445r64 1567r41 1644r52
319i7*S 37|293r70 887r27 976r27 1764r39
322A9*Accept_List 37|843r30 941r31
325P9*Accept_List_Access 36|90r28 97r28 37|1242r28 1510r28
331E9*Entry_Call_State 37|105r41 106r9 237r28
332N7*Never_Abortable 37|108r11 108r32 115r11 115r32 496r30 776r30
335N7*Not_Yet_Abortable 37|109r11 116r11 116r32 704r30
338N7*Was_Abortable 37|110r11 117r11 117r32 304r39 430r45 454r30 730r32
341N7*Now_Abortable 37|109r32 110r32 111r11 111r32 118r11 118r32 303r38 397r31
. 453r29 498r30 778r30
344N7*Done 37|112r11 112r32 119r11 119r32 277r44 284r67 346r43 386r37 526r51
. 736r54 805r51 993r44 999r67 1073r70 1111r43 1141r70 1341r67 1604r67
347N7*Cancelled 37|113r11 113r32 120r11 120r32 432r67
390p7*Next 37|488r18 701r21 768r18
392p7*Self 37|187r39 282r38 285r34 344r47 347r43 402r23 407r41 409r27 413r40
. 416r37 428r38 433r34 879r31 899r43 996r31 1065r34 1079r31 1338r31 1601r31
. 1790r25
401e7*Mode 37|377r21 398r23 489r18 702r21 769r18
403e7*State 37|237r59 277r36 303r30 304r30 388r21 388r64 396r37 397r23 430r36
. 453r21 454r21 496r21 498r21 526r43 704r21 730r24 736r46 776r21 778r21 805r43
. 993r36
418i7*E 37|236r77 293r27 501r18 605r18 661r18 705r21 781r18
420i7*Prio 37|502r18 706r21 782r18
426M7*Uninterpreted_Data 37|503r18 707r21 783r18 881r43 901r61 1323r52 1368r55
. 1447r58 1592r52 1646r55
428P7*Exception_To_Raise 37|283r21 505r18 710r21 786r18 1058r24 1108r30 1130r24
432p7*Called_Task 37|238r50 504r18 606r18 662r18 708r21 784r18 1088r27
440M7*Called_PO 37|663r18 709r21 785r18 1101r59
450p7*Acceptor_Prev_Call 37|450r18 1075r38 1086r47 1129r47 1786r35
453i7*Acceptor_Prev_Priority 37|193r15 197r15 1123r52 1143r52
459e7*Cancellation_Attempted 37|490r18 703r21 770r18
466e7*Requeue_With_Abort 37|604r18 664r18 1092r51 1117r33
471e7*Needs_Requeue 37|603r18 1081r24 1085r24
553e7*State 37|324r39 355r38 409r39 1389r25 1418r25 1471r28 1479r28 1616r25
. 1634r25 1673r25 1680r25 1802r22 1812r22
560p7*Parent 37|239r55 274r42
598p7*Call 37|450r56 451r23 599r66 899r38 1030r54 1086r28 1129r28 1323r47
. 1365r27 1368r50 1447r53 1592r47 1643r27 1646r50 1784r36
629r7*Compiler_Data 37|1137r33 1138r34
649i7*Wait_Count 37|327r39 328r41
710r7*Common 37|239r48 274r35 324r32 327r32 328r34 355r31 409r32 450r49 451r16
. 599r59 899r31 1030r47 1086r21 1129r21 1137r26 1138r27 1323r40 1365r20 1368r43
. 1389r18 1418r18 1447r46 1471r21 1479r21 1592r40 1616r18 1634r18 1643r20
. 1646r43 1673r18 1680r18 1784r29 1802r15 1812r15
713a7*Entry_Calls 37|487r29 700r32 767r29 901r22
736p7*Open_Accepts 37|291r19 292r28 293r53 298r38 299r25 888r18 896r33 977r18
. 984r33 1348r18 1353r33 1380r33 1388r18 1414r31 1420r33 1468r18 1611r18
. 1620r31 1630r24 1672r18 1757r24 1759r12 1760r21 1764r22 1807r28
742i7*Chosen_Index 37|297r25 1293r15 1305r21 1364r21 1366r38 1444r24 1445r50
. 1498r24 1563r15 1575r21 1642r21 1644r38 1702r24
751i7*Master_of_Task 37|325r34
757i7*Master_Within 37|325r58
770i7*Awake_Count 37|314r28 314r52 316r31 320r44 322r29 322r51 1434r36
801e7*Callable 37|270r23 851r22 948r22 1258r22 1534r22 1743r19
814e7*Pending_Action 37|854r33 951r33 1261r33 1537r33
834e7*Terminate_Alternative 37|256r19 307r28 313r28 1422r21
842i7*ATC_Nesting_Level 37|482r15 482r44 485r35 486r24 512r18 512r47 516r38
. 696r18 696r47 699r38 700r53 715r21 715r50 718r41 760r15 760r44 764r35 766r24
. 793r18 793r47 797r38 898r50 901r42 1408r33 1475r62
854i7*Deferral_Level 37|495r18 659r32 775r18 1268r18 1328r33 1370r36 1449r39
. 1648r36
861i7*Pending_ATC_Level 37|852r33 898r21 949r33 1259r33 1432r36 1475r34 1535r33
892a7*Entry_Queues 37|382r36 876r37 969r37 1722r54
X 29 s-tasdeb.ads
44U24*Debug 37|79r21 484r10 515r13 522r10 525r10 698r13 717r16 763r10 796r13
. 893r13 980r12 1045r9 1350r13
96U14*Trace 37|484r16 515r19 522r16 525r16 698r19 717r22 763r16 796r19 893r19
. 980r18 1045r15 1350r19
105U14*Trace 37|484r16 515r19 522r16 525r16 698r19 717r22 763r16 796r19 893r19
. 980r18 1045r15 1350r19
X 30 s-taenca.ads
37U24*Entry_Calls 37|52r21 523r7 529r7 558r7 731r13 803r7 807r7 1123r13 1143r13
39U14*Wait_For_Completion 37|523r19
50U14*Wait_For_Completion_With_Timeout 37|803r19
59U14*Wait_Until_Abortable 37|731r25
66U14*Try_To_Cancel_Entry_Call 37|558r19
74U14*Reset_Priority 37|1123r25 1143r25
81U14*Check_Exception 37|529r19 807r19
X 31 s-tasini.ads
41U24*Initialization 37|57r21 128r21 131r21 284r10 345r19 432r10 513r10 602r7
. 607r7 719r13 759r7 799r10 806r7 847r7 857r10 917r7 945r7 954r10 999r10
. 1003r7 1050r10 1073r13 1094r19 1110r19 1141r13 1148r7 1255r7 1270r10 1330r10
. 1341r10 1372r13 1413r13 1454r16 1474r16 1484r13 1499r7 1528r7 1540r10 1593r10
. 1604r10 1619r13 1650r13 1675r10 1703r7 1720r7 1724r7 1741r7 1745r7 1805r10
129U14*Defer_Abort 37|602r22 759r22 847r22 1255r22 1528r22 1593r25 1720r22
. 1741r22
132U14*Undefer_Abort 37|513r25 607r22 719r28 799r25 806r22 857r25 917r22
. 1094r34 1148r22 1270r25 1484r28 1540r25 1724r22 1745r22
137U14*Defer_Abort_Nestable 37|128r36 945r22 1050r25 1330r25 1372r28 1454r31
. 1650r28
140U14*Undefer_Abort_Nestable 37|131r36 954r25 1003r22 1499r22 1703r22
165U14*Poll_Base_Priority_Change 37|1413r28 1474r31 1619r28 1675r25 1805r25
188U14*Wakeup_Entry_Caller 37|284r25 345r34 432r25 999r25 1073r28 1110r34
. 1141r28 1341r25 1604r25
X 32 s-taprob.ads
53U24*Protected_Objects 36|43r21 50r40 37|73r21 85r39 86r39
X 33 s-tpoben.ads
54U42*Entries 36|43r39 50r58 37|86r57
85r7*L 37|1102r43
87p7*Call_In_Progress 37|657r55 665r14
116P9*Protection_Entries_Access 36|84r25 37|652r25 1032r25 1041r21
125U13*To_Protection 37|1101r33
163U14*Unlock_Entries 37|1119r24
X 34 s-tpobop.ads
54U42*Operations 37|73r39 85r57
100U14*PO_Service_Entries 37|1118r23
183U14*PO_Do_Or_Queue 37|1115r23
X 35 s-tasque.ads
39U24*Queuing 37|62r21 244r26 382r10 876r7 969r7 1287r7 1557r7 1722r23
52U14*Enqueue 37|382r18
62U14*Dequeue_Head 37|876r15 969r15
67U13*Onqueue 37|244r34
71U13*Count_Waiting 37|1722r31
74U14*Select_Task_Entry_Call 37|1287r15 1557r15
X 36 s-tasren.ads
46U24*Rendezvous 37|82b29
50U12*STPE 84r20 37|652r20 1032r20 1041r16 1119r19
52U14*Task_Entry_Call 37|672b14
53p7 Acceptor 37|673b7 685r13 708r36
54i7 E 37|674b7 685r23 705r39
55M7 Uninterpreted_Data 37|675b7 685r26 707r43
56e7 Mode 37|676b7 683r10 683r37 685r46 702r29
57e7 Rendezvous_Successful 37|677b7 685m52 736m10
60U14*Timed_Task_Entry_Call 37|746b14
61p7 Acceptor 37|747b7 784r33
62i7 E 37|748b7 781r36
63M7 Uninterpreted_Data 37|749b7 783r40
64o7 Timeout 37|750b7 804r31
65i7 Mode 37|751b7 804r40
66e7 Rendezvous_Successful 37|752b7 805m7
69U14*Call_Simple 37|538b14
70p7 Acceptor 37|539b7 546r10
71i7 E 37|540b7 546r20
72M7 Uninterpreted_Data 37|541b7 546r23
75U14*Cancel_Task_Entry_Call 37|556b14
75e38 Cancelled 37|556b38 558m45
78U14*Requeue_Task_Entry 37|593b14
79p7 Acceptor 37|594b7 606r33
80i7 E 37|595b7 605r36
81e7 With_Abort 37|596b7 604r40
83U14*Requeue_Protected_To_Task_Entry 37|651b14
84p7 Object 37|652b7 657r48 665r7 665m14
85p7 Acceptor 37|653b7 662r33
86i7 E 37|654b7 661r36
87e7 With_Abort 37|655b7 664r40
89U14*Selective_Wait 37|1241b14
90p7 Open_Accepts 37|1242b7 1285r22 1288r19 1297r16 1348r34 1366r16 1388r34
. 1445r28
91e7 Select_Mode 37|1243b7 1292r39 1470r13
92M7 Uninterpreted_Data 37|1244b7 1323m10 1368m13 1447m16
93i7 Index 37|1245b7 1498m7
96U14*Timed_Selective_Wait 37|1509b14
97p7 Open_Accepts 37|1510b7 1555r22 1558r19 1567r16 1611r34 1644r16
98e7 Select_Mode 37|1511b7 1526r22 1562r39
99M7 Uninterpreted_Data 37|1512b7 1592m10 1646m13
100o7 Timeout 37|1513b7 1625r43 1677r37
101i7 Mode 37|1514b7 1625r52 1677r46
102i7 Index 37|1515b7 1702m7
105U14*Accept_Call 37|837b14
106i7 E 37|838b7 876r51 887r32
107M7 Uninterpreted_Data 37|839b7 881m10 900m13
110U14*Accept_Trivial 37|938b14
110i30 E 37|938b30 969r51 976r32
113U13*Task_Count 37|1715b13
113i25 E 37|1715b25 1722r68
116U13*Callable 37|1736b13
116p23 T 37|1736b23 1742r24 1743r17 1744r20
119I9*Task_Entry_Nesting_Depth<28|299I9> 37|1779r36 36|122r36
122U13*Task_Entry_Caller 37|1779b13
122i32 D 37|1779b32 1785r25
127U14*Complete_Rendezvous 37|1167b14
130U14*Exceptional_Complete_Rendezvous 37|1026b14 1169r7
131P7 Ex 37|1027b7 1034r59 1047r10 1056r10 1105r34 1130r46 1135r16
137U13*Task_Do_Or_Queue 37|231b13 509r14 712r17 790r14 1091r23
138p7 Self_ID 37|232b7 284r46 346r22 402r31 432r46
139p7 Entry_Call 37|233b7 236r66 237r48 238r39 244r43 277r25 282r27 283r10
. 283m21 284r55 285r23 293r16 303r19 304r19 304m30 344r36 346r31 347r32 350r51
. 377r10 382r54 388r10 388m21 388r53 396r26 397r12 398r12 402r12 407r30 409r16
. 413r29 416r26 428r27 430r25 432r55 433r23
140e7 With_Abort 37|234b7 378r21 388r41 510r31 713r34 791r30
X 37 s-tasren.adb
84U12 STPO 257r10 261r7 271r10 274r13 282r10 285r10 337r19 338r19 341r22
. 344r19 347r19 356r22 359r19 362r22 390r10 393r13 407r13 413r16 416r13 422r10
. 425r13 428r10 433r10 474r40 520r7 527r7 598r43 659r22 679r40 754r40 841r42
. 849r7 856r10 916r7 939r43 946r7 953r10 989r10 995r10 998r10 1000r10 1029r40
. 1071r13 1074r13 1102r16 1109r19 1112r19 1131r13 1142r13 1247r46 1256r7
. 1263r10 1331r10 1337r10 1340r10 1342r10 1377r10 1382r10 1390r10 1410r10
. 1458r10 1480r13 1483r13 1517r46 1532r7 1539r10 1594r10 1600r10 1603r10
. 1605r10 1625r16 1656r10 1677r10 1682r10 1716r42 1721r7 1723r7 1738r37 1742r7
. 1744r7 1780r40
85U12 POO 1115r19 1118r19
86U12 POE 1101r29
91E9 Select_Treatment 99r57 1249r26 1518r26
92N6 Accept_Alternative_Selected 1302r29 1319r12 1572r29 1586r12
93N6 Accept_Alternative_Completed 1298r29 1333r12 1568r29 1596r12
94N6 Else_Selected 101r30 1379r12
95N6 Terminate_Selected 102r30 1384r12
96N6 Accept_Alternative_Open 1308r26 1344r12 1578r26 1607r12
97N6 No_Alternative_Open 100r30 103r30 1307r28 1460r12 1577r28 1661r12
99a4 Default_Treatment 1292r20 1562r20
105a4 New_State 388r30
127U14 Local_Defer_Abort 481r7
127p33 Self_Id
130U14 Local_Undefer_Abort 528r7
130p35 Self_Id
144U14 Boost_Priority 147r19 186b14 457r7
145p7 Call 186b30 187r34 193r10 193m15 197r10 197m15
146p7 Acceptor 186b54 189r60 194r24
150U14 Call_Synchronous 156r19 467b14 545r7 684r10
151p7 Acceptor 468b7 504r33
152i7 E 469b7 501r36
153M7 Uninterpreted_Data 470b7 503r40
154e7 Mode 471b7 479r22 489r26
155e7 Rendezvous_Successful 472b7 526m7
159U14 Setup_For_Rendezvous_With_Body 162r19 350r19 445b14 880r10 1301r16
. 1571r16
160p7 Entry_Call 446b7 450r7 450m18 451r31 453r10 454r10 454m21 457r23
161p7 Acceptor 447b7 450r40 451r7 451m23 457r35
169U13 Is_Entry_Open 170r19 1755b13
169p28 T 1755b28 1757r22 1759r10 1760r19 1764r20
169i41 E 1755b41 1764r16
173U14 Wait_For_Call 174r19 894r10 982r10 1351r10 1800b14
173p29 Self_Id 1800b29 1802r7 1802m22 1805r52 1807r20 1809r17 1812r7 1812m22
187p7 Caller 188r60
188i7 Caller_Prio 192r10 194r34
189i7 Acceptor_Prio 192r24 193r41
236i7 E 382r50
237e7 Old_State 386r25 396r13
238p7 Acceptor 239r39 256r10 261r24 270r14 271r23 274r26 291r10 292r19 293r44
. 297r16 297m25 298r29 299r16 299m25 307r19 313r19 313m28 314r19 314m28 314r43
. 316r22 325r25 337r32 338r32 350r63 355r22 356r35 359r32 382r27 390r23 422r23
239p7 Parent 257r27 320r37 322r22 322m29 322r44 324r25 325r51 327r25 327m39
. 328r27 341r35 362r35 393r26 425r26
240e7 Parent_Locked 258m10 273r13 340r22 361r22 392r13 424r13
241e7 Null_Body 298m16 333r19
292i14 J 293r67 297r41 298r52
474p7 Self_Id 481r26 482r7 482m15 482r36 484r23 485r27 486r16 487r21 495r10
. 502r40 510r10 512r10 512m18 512r39 513r40 515r26 516r30 520r24 522r23 523r40
. 525r23 527r20 528r28 529r36
475i7 Level 486m7 487r42
476p7 Entry_Call 487m7 488r7 488m18 489r7 489m18 490r7 490m18 496r10 496m21
. 498r10 498m21 501r7 501m18 502r7 502m18 503r7 503m18 504r7 504m18 505r7
. 505m18 510r19 523r49 526r32 529r45
543e7 Rendezvous_Successful 546m56
598p7 Self_Id 599r51 602r35 607r37
599p7 Entry_Call 603r7 603m18 604r7 604m18 605r7 605m18 606r7 606m18
657p7 Entry_Call 661r7 661m18 662r7 662m18 663r7 663m18 664r7 664m18
679p7 Self_Id 696r10 696m18 696r39 698r26 699r30 700r24 700r45 706r43 713r13
. 715r13 715m21 715r42 717r29 718r33 719r43 731r47
680p7 Entry_Call 700m10 701r10 701m21 702r10 702m21 703r10 703m21 704r10
. 704m21 705r10 705m21 706r10 706m21 707r10 707m21 708r10 708m21 709r10 709m21
. 710r10 710m21 713r22 730r13 731r56 736r35
754p7 Self_Id 759r35 760r7 760m15 760r36 763r23 764r27 766r16 767r21 775r10
. 782r40 791r9 793r10 793m18 793r39 796r26 797r30 799r40 804r10 806r37 807r36
755i7 Level 766m7 767r42
756p7 Entry_Call 767m7 768r7 768m18 769r7 769m18 770r7 770m18 776r10 776m21
. 778r10 778m21 781r7 781m18 782r7 782m18 783r7 783m18 784r7 784m18 785r7
. 785m18 786r7 786m18 791r18 804r19 805r32 807r45
841p7 Self_Id 847r35 849r24 851r14 852r25 854r25 856r23 857r40 876r29 880r54
. 888r10 888m18 893r26 894r25 896r25 898r13 898r42 899r23 916r20 917r37
842p7 Caller 879m10 899m13 901r15 901r35
843a7 Open_Accepts 886r10 886m27 887r10 887m27 888m34
844p7 Entry_Call 876m55 878r10 879r20 880r42 881r32
939p7 Self_Id 945r44 946r24 948r14 949r25 951r25 953r23 954r49 969r29 977r10
. 977m18 980r25 982r25 984r25 989r23 995r23 999r46 1003r46
940p7 Caller 996m10 998r27 1000r23
941a7 Open_Accepts 975r10 975m27 976r10 976m27 977m34
942p7 Entry_Call 969m55 971r10 993r25 996r20 999r55
1029p7 Self_Id 1030r39 1045r22 1050r47 1073r49 1086r13 1086m28 1092r19 1094r49
. 1111r22 1116r22 1118r43 1124r15 1129r13 1129m28 1138r19 1141r49 1144r15
. 1148r37
1030p7 Entry_Call 1057r16 1058r13 1058m24 1065r23 1073r58 1075m13 1075r27
. 1079r20 1081r13 1085r13 1085m24 1086r36 1088r16 1092r28 1092r40 1101r48
. 1108r19 1108m30 1111r31 1116r42 1117r22 1123r41 1129r36 1130r13 1130m24
. 1141r58 1143r41
1031p7 Caller 1065m13 1071r30 1074r26 1079m10 1109r36 1112r32 1131r30 1137r19
. 1137m47 1142r26
1032p7 Called_PO 1101m16 1102r33 1102m43 1116r31 1118r52 1119r40
1034P7 Exception_To_Raise 1107m19 1108r52 1150r10
1035e7 Ceiling_Violation 1102m53 1104r19
1038U17*Internal_Reraise 1039m25 1151r10
1247p7 Self_Id 1255r35 1256r24 1258r14 1259r25 1261r25 1263r23 1268r10 1268m18
. 1270r40 1288r10 1293r7 1293m15 1301r60 1305r13 1305m21 1323r32 1328r25
. 1330r47 1331r23 1337r23 1341r46 1348r10 1348m18 1350r26 1351r25 1353r25
. 1364r13 1365r12 1366r30 1368r35 1370r28 1372r50 1377r23 1380r25 1382r23
. 1388r10 1388m18 1389r10 1389m25 1390r23 1404r34 1408r25 1410r27 1413r55
. 1414r23 1415r20 1418r10 1418m25 1420r25 1422r13 1432r28 1434r28 1444r16
. 1445r42 1447r38 1449r31 1454r53 1458r23 1468r10 1468m18 1471r13 1471m28
. 1474r58 1475r26 1475r54 1476r23 1479r13 1479m28 1480r26 1483r26 1484r43
. 1498r16 1499r46
1248p7 Entry_Call 1288m33 1296r13 1301r48 1338r20 1341r55
1249e7 Treatment 1292m7 1298m16 1302m16 1307r16 1308m13 1317r12
1250p7 Caller 1338m10 1340r27 1342r23
1251i7 Selection 1288m45 1297r30 1305r37
1252e7 Open_Alternative 1288m56 1295r10
1517p7 Self_Id 1528r35 1532r24 1534r14 1535r25 1537r25 1539r23 1540r40 1558r10
. 1563r7 1563m15 1571r60 1575r13 1575m21 1592r32 1593r38 1594r23 1600r23
. 1604r46 1611r10 1611m18 1616r10 1616m25 1619r55 1620r23 1623r23 1625r34
. 1630r16 1630m24 1634r10 1634m25 1642r13 1643r12 1644r30 1646r35 1648r28
. 1650r50 1656r23 1672r10 1672m18 1673r10 1673m25 1675r52 1677r28 1680r10
. 1680m25 1682r23 1702r16 1703r46
1518e7 Treatment 1562m7 1568m16 1572m16 1577r16 1578m13 1584r12
1519p7 Entry_Call 1558m33 1566r13 1571r48 1601r20 1604r55
1520p7 Caller 1601m10 1603r27 1605r23
1521i7 Selection 1558m45 1567r30 1575r37
1522e7 Open_Alternative 1558m56 1565r10
1523e7 Timedout 1622r16 1626m34 1629r16 1678m12
1524e7 Yielded 1626m44 1657r17 1678m22 1684r17
1716p7 Self_Id 1720r35 1721r24 1722r46 1723r20 1724r37
1717i7 Return_Count 1722m7 1725r14
1737e7 Result 1743m7 1746r14
1738p7 Self_Id 1741r35 1745r37
1760i14 J 1762r28 1764r36
1780p7 Self_Id 1784r21
1781p7 Entry_Call 1784m7 1786m10 1786r24 1787r25 1790r14
1785i11 Depth
X 38 s-tasuti.ads
42U24*Utilities 37|68r21 1404r10
98U14*Make_Passive 37|1404r20
100e7 Task_Completed 37|1404r43