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_FIXED_POINT RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U system.traces.tasking%b s-tratas.adb bd6fc52e NE OL PK W system.traces%s s-traces.adb s-traces.ali U system.traces.tasking%s s-tratas.ads 0b40d4b2 NE OL PR PK W system%s system.ads system.ali W system.tasking%s s-taskin.adb s-taskin.ali W system.traces%s s-traces.adb s-traces.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-except.ads 20151016123252 291912d5 ada.exceptions%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-taskin.ads 20151023124846 0766baa7 system.tasking%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-tratas.adb 20140801083227 4354c391 system.traces.tasking%b D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s D s-win32.ads 20140120152906 b7f96285 system.win32%s X 7 system.ads 37K9*System 200e11 23|39r6 41r9 44r23 95r5 24|32r14 119r5 X 15 s-stausa.ads 203U14*Initialize 204i22 268U14*Output_Results 272i22 X 20 s-taskin.ads 47K16*Tasking 1211e19 23|39w13 44r30 109P9*Task_Id(107R9) 23|52r23 56r25 61r25 62r25 67r23 68r23 76r25 87r23 92r23 . 24|40r61 47r25 56r25 57r25 66r23 67r23 83r25 102r22 111r22 231I9*Entry_Index 23|57r25 63r25 72r25 77r25 82r25 24|48r25 58r25 . 75r25 84r25 93r25 X 22 s-traces.ads 54K16*Traces 7|37k9 22|113e18 23|41r16 95r12 24|32r21 119r12 57E9*Trace_T 102e19 23|51r20 55r22 60r22 66r20 71r22 75r22 81r22 86r20 91r20 . 24|40r36 46r22 55r22 65r20 74r22 82r22 92r22 101r19 110r19 X 23 s-tratas.ads 41K23*Tasking 22|54k16 23|95l19 95e26 24|32b28 119l19 119t26 44K12*ST=44:30 52r20 56r22 57r22 61r22 62r22 63r22 67r20 68r20 72r22 76r22 . 77r22 82r22 87r20 92r20 24|40r58 47r22 48r22 56r22 57r22 58r22 66r20 67r20 . 75r22 83r22 84r22 93r22 102r19 111r19 50U14*Send_Trace_Info 51>7 52>7 24|40b14 43l8 43t23 51e7 Id{22|57E9} 24|40b31 52p7 Task_Name2{20|109P9} 24|40b45 54U14*Send_Trace_Info 55>7 56>7 57>7 24|45b14 52l8 52t23 55e7 Id{22|57E9} 24|46b7 56p7 Task_Name2{20|109P9} 24|47b7 57i7 Entry_Number{20|231I9} 24|48b7 59U14*Send_Trace_Info 60>7 61>7 62>7 63>7 24|54b14 62l8 62t23 60e7 Id{22|57E9} 24|55b7 61p7 Task_Name{20|109P9} 24|56b7 62p7 Task_Name2{20|109P9} 24|57b7 63i7 Entry_Number{20|231I9} 24|58b7 65U14*Send_Trace_Info 66>7 67>7 68>7 24|64b14 71l8 71t23 66e7 Id{22|57E9} 24|65b7 67p7 Task_Name{20|109P9} 24|66b7 68p7 Task_Name2{20|109P9} 24|67b7 70U14*Send_Trace_Info 71>7 72>7 24|73b14 79l8 79t23 71e7 Id{22|57E9} 24|74b7 72i7 Entry_Number{20|231I9} 24|75b7 74U14*Send_Trace_Info 75>7 76>7 77>7 78>7 24|81b14 89l8 89t23 75e7 Id{22|57E9} 24|82b7 76p7 Acceptor{20|109P9} 24|83b7 77i7 Entry_Number{20|231I9} 24|84b7 78o7 Timeout{duration} 24|85b7 80U14*Send_Trace_Info 81>7 82>7 83>7 24|91b14 98l8 98t23 81e7 Id{22|57E9} 24|92b7 82i7 Entry_Number{20|231I9} 24|93b7 83o7 Timeout{duration} 24|94b7 85U14*Send_Trace_Info 86>7 87>7 88>7 24|100b14 107l8 107t23 86e7 Id{22|57E9} 24|101b7 87p7 Task_Name{20|109P9} 24|102b7 88i7 Number{integer} 24|103b7 90U14*Send_Trace_Info 91>7 92>7 93>7 94>7 24|109b14 117l8 117t23 91e7 Id{22|57E9} 24|110b7 92p7 Task_Name{20|109P9} 24|111b7 93i7 Number{integer} 24|112b7 94o7 Timeout{duration} 24|113b7