V "GNAT Lib v5" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P RN RV NO_EXCEPTIONS RV NO_IMPLICIT_CONDITIONALS RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_CONVERSION RV NO_DEFAULT_INITIALIZATION RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U system.tasking.utilities%b s-tasuti.adb 05f5974e 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.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.initialization%s s-tasini.adb s-tasini.ali W system.tasking.queuing%s s-tasque.adb s-tasque.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.utilities%s s-tasuti.ads efc9f793 BN NE OL PK W ada%s ada.ads ada.ali W ada.unchecked_conversion%s W system%s system.ads system.ali W system.task_primitives%s s-taspri.ads s-taspri.ali W system.tasking%s s-taskin.adb s-taskin.ali D ada.ads 20070406121342 3ffc8e18 ada%s D a-except.ads 20140730170058 5250cb69 ada.exceptions%s D a-finali.ads 20140611153708 69f99942 ada.finalization%s D a-stream.ads 20141120132812 119b8fb3 ada.streams%s D a-tags.ads 20140730170058 dc4d0634 ada.tags%s D a-unccon.ads 20070406121342 f9eb8f06 ada.unchecked_conversion%s D interfac.ads 20141120132812 6033a23f interfaces%s D system.ads 20171010194648 462fcf90 system%s D s-atacco.ads 20120515123410 4c36d12f system.address_to_access_conversions%s D s-exctab.ads 20140225171140 54135002 system.exception_table%s D s-finroo.ads 20120426125924 4ff27390 system.finalization_root%s D s-multip.ads 20101011103010 38ac9f73 system.multiprocessors%s D s-osinte.ads 20130104144956 86be1773 system.os_interface%s D s-parame.ads 20140801123848 7e2a0d7f system.parameters%s D s-soflin.ads 20140801130132 aa763b52 system.soft_links%s D s-stache.ads 20140225171140 a37c21ec system.stack_checking%s D s-stausa.ads 20110804164156 017a0a05 system.stack_usage%s D s-stalib.ads 20150220114550 fa0a3617 system.standard_library%s D s-stoele.ads 20140225171140 2dc34a04 system.storage_elements%s D s-tasinf.ads 20140613125942 801abd01 system.task_info%s D s-taspri.ads 20141120164720 6995cc42 system.task_primitives%s D s-taprop.ads 20140521161406 1dd2e1b6 system.task_primitives.operations%s D s-taskin.ads 20150106105750 339749f0 system.tasking%s D s-tasdeb.ads 20140801131116 dfa965f6 system.tasking.debug%s D s-tasini.ads 20140730164804 ea044658 system.tasking.initialization%s D s-taprob.ads 20110927124500 502249e3 system.tasking.protected_objects%s D s-tpoben.ads 20121029133218 b641f948 system.tasking.protected_objects.entries%s D s-tasque.ads 20090409180020 b4c10749 system.tasking.queuing%s D s-tasuti.ads 20140730155044 4c20fd27 system.tasking.utilities%s D s-tasuti.adb 20140730165312 557aa4f8 system.tasking.utilities%b D s-traent.ads 20140730165026 005bf670 system.traceback_entries%s D s-traces.ads 20150106105750 f21d68aa system.traces%s D s-tratas.ads 20140801113228 fe3b06bf system.traces.tasking%s D s-unstyp.ads 20140731160224 9d58a4c0 system.unsigned_types%s X 1 ada.ads 16K9*Ada 19e8 29|35r6 41r6 X 2 a-except.ads 57P9*Exception_Id<18|85P9> X 6 a-unccon.ads 20v14*Unchecked_Conversion 29|35w10 41r10 X 8 system.ads 42K9*System 160e11 29|36r6 38r9 41r41 129r5 30|40r6 41r6 42r6 43r6 44r6 45r6 . 47r14 49r25 56r8 57r8 108r10 499r5 69M9*Address X 14 s-parame.ads 51K16*Parameters 210e22 30|44w13 51r8 70r10 157b4*Single_Lock{boolean} 30|257r10 286r10 190b4*Runtime_Traces{boolean} 30|70r21 X 17 s-stausa.ads 203U14*Initialize 204i22 268U14*Output_Results 272i22 X 18 s-stalib.ads 85P9*Exception_Data_Ptr(84R9) X 21 s-taspri.ads 38K16*Task_Primitives 62e27 29|36w13 41r48 30|41r13 49r32 53r8 54r8 55M12*Task_Address{8|69M9} 29|41r64 X 22 s-taprop.ads 39K32*Operations 571e38 30|41w29 49r48 54r24 135V13*Self{23|109P9} 30|99s42 164s50 246s56 187U14*Write_Lock 30|74s7 189s13 193s13 261s7 262s7 310s10 313s7 402s13 403s13 . 466s10 467s10 241U14*Unlock 30|86s7 188s13 192s13 281s7 284s7 345s13 348s16 377s13 378s13 . 393s13 394s13 417s10 418s10 432s10 435s13 457s10 458s10 495s7 496s7 397U14*Wakeup 30|413s16 486s13 405V13*Environment_Task{23|109P9} 30|247s56 434U14*Lock_RTS 30|124s7 258s10 437U14*Unlock_RTS 30|150s7 287s10 X 23 s-taskin.ads 47K16*Tasking 8|42k9 23|1208e19 29|38r16 129r12 30|40r13 42r13 43r13 47r21 . 52r8 108r17 499r12 109P9*Task_Id(107R9) 29|41r32 103r45 107r44 113r40 113r53 123r38 30|68r40 . 68r53 99r26 100r17 101r17 161r45 164r34 166r16 213r44 246r40 247r40 248r40 . 302r38 303r11 304r11 114A9*Task_List(109P9) 29|119r35 30|98r35 116V13*Self{109P9} 30|175s26 133n7*Unactivated{132E9} 30|76r27 152n7*Terminated{132E9} 30|78r28 82r31 175r56 316r34 178n7*Master_Completion_Sleep{132E9} 30|282r55 472r27 486r24 185n7*Master_Phase_2_Sleep{132E9} 30|406r30 413r27 231I9*Entry_Index 237I9*Task_Entry_Index<231I9> 242P9*Entry_Call_Link(240R9) 30|162r25 163r25 249A9*Task_Entry_Queue_Array(244R9)<237I9> 279n7*Done{266E9} 30|194r33 282n7*Cancelled{266E9} 30|191r37 452V13*Detect_Blocking{boolean} 30|108s25 508e7*State{132E9} 30|76r19 78m19 82r22 175r48 282r46 316m25 406r22 472r19 516p7*Parent{109P9} 30|135r27 143r30 248r66 304r31 396r27 460r24 554i7*Protected_Action_Nesting{natural} 30|109r33 609p7*All_Tasks_Link{109P9} 30|147r24 619p7*Activator{109P9} 30|77m19 629i7*Wait_Count{natural} 30|409r37 410m22 410r45 412r25 482r34 483m19 483r42 . 485r22 744p4*All_Tasks_List{109P9} 30|131r12 755I12*Master_Level{integer} 770i4*Independent_Task_Level{755I12} 30|269r33 812A9*Accept_List(807R9) 815P9*Accept_List_Access(812A9) 823I12*ATC_Level_Base{integer} 825i4*ATC_Level_Infinity{823I12} 30|223r38 225r42 827I12*ATC_Level{823I12} 30|219r10 836p7*Self{109P9} 30|184r34 189r36 192r32 841e7*State{266E9} 30|194m24 857p7*Exception_To_Raise{2|57P9} 30|185m24 865i7*Level{827I12} 30|187r33 957i33*Entry_Num{237I9} 30|177r23 958r7*Common{507R9} 30|76r12 77m12 78m12 82r15 109r26 135r20 143r23 147r17 . 175r41 248r59 282r39 304r24 316m18 396r20 406r15 409r30 410m15 410r38 412r18 . 460r17 472r12 482r27 483m12 483r35 485r15 981p7*Open_Accepts{815P9} 30|340r21 998i7*Master_of_Task{755I12} 30|269m15 407r23 473r20 1005i7*Master_Within{755I12} 30|407r42 473r39 1014i7*Alive_Count{natural} 30|327r36 374m12 374r29 376r15 391m15 391r32 . 392r25 428m12 428r29 452r39 453m15 453r32 1020i7*Awake_Count{natural} 30|318r21 334r36 358r33 425m9 425r26 431r12 448r15 . 449m15 449r32 456r22 1031b7*Aborting{boolean} 30|226m21 233r24 1045b7*ATC_Hack{boolean} 30|234m24 1053b7*Callable{boolean} 30|79m12 1066b7*Pending_Action{boolean} 30|235m24 1089b7*Terminate_Alternative{boolean} 30|326r36 354m18 357r33 1098i7*ATC_Nesting_Level{827I12} 30|215m15 215r44 219r35 221r30 224r49 231r51 1118i7*Pending_ATC_Level{823I12} 30|134r15 138r21 223r18 224r21 225m21 231r23 1131i7*Known_Tasks_Index{integer} 30|251r18 252r31 1141a7*Entry_Queues{249A9} 30|178m34 186m37 X 24 s-tasdeb.ads 38K24*Debug 165e25 30|40w21 52r16 218r10 370r24 476r13 491r13 68a4*Known_Tasks(23|109P9) 30|252m10 133U14*Trace 30|218s16 370s30 476s19 491s19 X 25 s-tasini.ads 35K24*Initialization 178e34 30|42w21 83r10 114r7 151r7 190r13 255r7 290r7 95U14*Defer_Abort 30|255s22 98U14*Undefer_Abort 30|290s22 103U14*Defer_Abort_Nestable 30|114s22 106U14*Undefer_Abort_Nestable 30|151s22 149U14*Wakeup_Entry_Caller 30|190s28 171U14*Locked_Abort_To_Level 30|83s25 X 28 s-tasque.ads 34K24*Queuing 99e27 30|43w21 178r10 186r13 59U14*Dequeue_Head 30|178s18 186s21 X 29 s-tasuti.ads 38K24*Utilities 23|47k16 29|129l20 129e29 30|47b29 499l20 499t29 40V13*ATCB_To_Address[6|20]{8|69M9} 47V13*Make_Independent{boolean} 30|245b13 296l8 296t24 92i4*Independent_Task_Count{natural} 30|275m7 275r33 103U14*Cancel_Queued_Entry_Calls 103>41 30|80s10 161b14 198l8 198t33 103p41 T{23|109P9} 30|161b41 175r22 175r39 177r21 178r32 186r35 188r21 193r25 107U14*Exit_One_ATC_Level 107>34 108r19 30|213b14 239l8 239t26 107p34 Self_ID{23|109P9} 30|213b34 215r7 215r36 218r23 219r27 221r22 223r10 . 224r13 224r41 225r13 226r13 231r15 231r43 233r16 234r16 235r16 113U14*Abort_One_Task 113>30 113>49 30|68b14 87l8 87t22 128s10 139s19 113p30 Self_ID{23|109P9} 30|68b30 71r36 83r48 113p49 T{23|109P9} 30|68b49 71r45 74r19 76r10 77r10 78r10 79r10 80r37 82r13 . 83r57 86r15 119U14*Abort_Tasks 119>27 30|98b14 152l8 152t19 119a27 Tasks{23|114A9} 30|98b27 126r16 127r15 123U14*Make_Passive 123>28 123>47 30|302b14 497l8 497t20 123p28 Self_ID{23|109P9} 30|302b28 303r22 316r10 318r13 326r28 327r28 334r28 . 340r13 354r10 357r25 358r25 370r37 477r14 491r26 123b47 Task_Completed{boolean} 30|302b47 315r10 325r28 427r10 452r13 X 30 s-tasuti.adb 49K12 STPO=49:48 99r37 164r45 246r51 247r51 99p7 Self_Id{23|109P9} 109r18 114r44 128r26 139r35 151r46 100p7 C{23|109P9} 127m10 128r35 131m7 133r13 134r13 135r18 139r44 147m10 . 147r15 101p7 P{23|109P9} 135m13 137r19 138r19 143m16 143r21 126i11 J{integer} 127r22 162p7 Next_Entry_Call{23|242P9} 186m55 186r55 195r27 163p7 Entry_Call{23|242P9} 178m52 178r52 180r16 184r23 185r13 187r22 189r25 . 191r25 192r21 194r13 195m13 164p7 Self_Id{23|109P9} 191r16 166p7 Caller{23|109P9} 167r28 184m13 170i7 Level{integer} 171r28 187m13 177i11 J<23|231I9> 178r48 186r51 246p7 Self_Id{23|109P9} 248r51 251r10 252r23 255r35 262r19 269r7 281r15 290r37 247p7 Environment_Task{23|109P9} 261r19 267r31 282r22 284r15 248p7 Parent{23|109P9} 267r22 303p7 C{23|109P9} 304r22 313r19 345r21 374r10 374r27 376r13 377r21 393r21 . 395m13 396r18 403r25 407r21 417r18 425r7 425r24 428r10 428r27 431r10 432r18 . 452r37 457r18 459m10 460r15 467r22 473r18 495r15 304p7 P{23|109P9} 309r10 310r22 347r16 348r24 372r25 378r21 391r13 391r30 . 392r23 394r21 395r18 396m13 400r28 402r25 406r13 407r40 409r28 410r13 410r36 . 412r16 413r24 418r18 431r36 434r13 435r21 448r13 449r13 449r30 453r13 453r30 . 456r20 458r18 459r15 460m10 462r13 466r22 472r10 473r37 482r25 483r10 483r33 . 485r13 486r21 496r15 306i7 Master_Completion_Phase{integer} 323m13 333m13 355m10 361r10 X 32 s-traces.ads 54K16*Traces 30|45r13 56r15 57r15 32|113e18 101n7*T_Abort{57E9} 30|71r27 X 33 s-tratas.ads 41K23*Tasking 30|45w20 57r22 33|95e26 65U14*Send_Trace_Info 30|71s10