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_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_CONVERSION RV SPARK_05 U ada.dynamic_priorities%b a-dynpri.adb 6c49cd64 NE OL PK W ada%s ada.ads ada.ali W ada.exceptions%s a-except.adb a-except.ali W ada.unchecked_conversion%s W system%s system.ads system.ali W system.parameters%s s-parame.adb s-parame.ali W system.soft_links%s s-soflin.adb s-soflin.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 U ada.dynamic_priorities%s a-dynpri.ads bcc388f2 NE OL PR PK W ada%s ada.ads ada.ali W ada.task_identification%s a-taside.adb a-taside.ali W system%s system.ads system.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-dynpri.ads 20140611123156 cebd80e7 ada.dynamic_priorities%s D a-dynpri.adb 20121001094122 2b607f87 ada.dynamic_priorities%b D a-except.ads 20151016123252 291912d5 ada.exceptions%s D a-taside.ads 20151026154432 60271635 ada.task_identification%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-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-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-traent.ads 20140730135025 005bf670 system.traceback_entries%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 2|17r6 19r9 25r18 26r20 29r18 30r20 33r5 3|37r6 39r14 48r6 . 58r11 59r9 65r32 84r18 85r9 92r32 164r5 X 2 a-dynpri.ads 19K13*Dynamic_Priorities 1|16k9 2|33l9 33e27 3|39b18 164l9 164t27 23U14*Set_Priority 24>7 25>7 3|82b14 162l8 162t20 24i7 Priority{10|100I12} 3|83b7 112r38 123r55 125r13 127r40 134r37 25p7 T{5|48P9} 3|84b7 87r56 100r45 28V13*Get_Priority{10|100I12} 29>7 3|57b13 74l8 74t20 29p7 T{5|48P9} 3|58b7 61r49 69r45 X 3 a-dynpri.adb 41K12 STPO=41:48 107r10 110r7 127r13 134r10 138r13 142r7 145r10 148r10 158r10 42K12 SSL=42:31 104r7 161r7 47V13 Convert_Ids[6|20]{24|109P9} 61s36 65s19 87s43 92s19 61p7 Target{24|109P9} 65r10 73r14 62a7 Error_Message{string} 66r35 70r35 87p7 Target{24|109P9} 92r10 110r24 112r7 114r10 116r11 123r10 125r25 127r32 . 134r29 136r13 137r13 138r26 138r34 142r20 148r22 88a7 Error_Message{string} 93r35 89b7 Yield_Needed{boolean} 126m13 129m13 133m10 148r38 X 5 a-taside.ads 39K13*Task_Identification 2|17w10 25r22 26r24 29r22 30r24 3|49r9 58r15 59r13 . 65r36 69r10 84r22 85r13 92r36 100r10 5|96e28 48P9*Task_Id<24|109P9> 2|25r42 29r42 3|49r29 58r35 84r42 51p4*Null_Task_Id{48P9} 3|65r56 92r56 60V13*Current_Task{48P9} 2|26s44 30s44 3|59s33 85s33 75V13*Is_Terminated{boolean} 3|69s30 100s30 X 6 a-unccon.ads 20v14*Unchecked_Conversion 3|37w10 48r10 X 10 system.ads 37K9*System 2|16w6 24r18 31r13 3|32r6 33r6 34r6 35r6 41r25 42r24 44r8 45r8 . 49r38 59r54 83r18 10|200e11 100I12*Any_Priority{integer} 2|24r25 31r20 3|59r61 83r25 X 15 s-parame.ads 51K16*Parameters 3|34w13 44r15 15|210e22 157b4*Single_Lock{boolean} 3|106r10 144r10 X 16 s-soflin.ads 45K16*Soft_Links 3|35w13 42r31 16|399e22 60P9*No_Param_Proc 163p4*Abort_Defer{60P9} 3|104r11 167p4*Abort_Undefer{60P9} 3|161r11 X 18 s-stausa.ads 203U14*Initialize 204i22 268U14*Output_Results 272i22 X 22 s-taspri.ads 41K16*Task_Primitives 3|32r13 41r32 22|119e27 X 23 s-taprop.ads 39K32*Operations 3|32w29 41r48 23|571e38 135V13*Self{24|109P9} 3|148s15 187U14*Write_Lock 3|110s12 241U14*Unlock 3|142s12 314U14*Yield 3|158s15 322U14*Set_Priority 3|127s18 134s15 397U14*Wakeup 3|138s18 434U14*Lock_RTS 3|107s15 437U14*Unlock_RTS 3|145s15 X 24 s-taskin.ads 47K16*Tasking 3|33w13 45r15 49r45 24|1211e19 109P9*Task_Id(107R9) 3|49r53 61r25 87r32 167n7*Entry_Caller_Sleep{132E9} 3|136r35 242P9*Entry_Call_Link(240R9) 508e7*State{132E9} 3|136r27 138r48 520i7*Base_Priority{10|100I12} 3|73r28 112m21 531i7*Current_Priority{10|100I12} 3|125r39 568p7*Call{242P9} 3|114r24 116r25 123r24 779i4*Priority_Not_Boosted{integer} 3|116r56 782I12*Rendezvous_Priority{integer} 902i7*Acceptor_Prev_Priority{782I12} 3|116r30 123m29 958r7*Common{507R9} 3|73r21 112m14 114r17 116r18 123m17 125r32 136r20 138r41 1082b7*Pending_Priority_Change{boolean} 3|137m20