V "GNAT Lib v5" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=i486 A -march=i486 P ZX RN RV NO_EXCEPTIONS RV NO_FIXED_POINT RV NO_STANDARD_STORAGE_POOLS RV NO_DEFAULT_INITIALIZATION RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U system.soft_links.tasking%b s-solita.adb c3044b40 NE OL PK W ada%s ada.ads ada.ali W ada.exceptions%s a-except.adb a-except.ali W ada.exceptions.is_null_occurrence%s a-einuoc.adb a-einuoc.ali W system%s system.ads system.ali W system.soft_links%s s-soflin.adb s-soflin.ali W system.stack_checking%s s-stache.adb s-stache.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 system.soft_links.tasking%s s-solita.ads e47ef8be NE OL PK W system.soft_links%s s-soflin.adb s-soflin.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-except.ads 20140730140058 5250cb69 ada.exceptions%s D a-einuoc.ads 20090619122338 c8ce44ba ada.exceptions.is_null_occurrence%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D interfac.ads 20141120112812 6033a23f interfaces%s D i-c.ads 20110801143639 5421119b interfaces.c%s D system.ads 20141030114420 fb0c3f68 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-linux.ads 20150107101203 2fda6ad1 system.linux%s D s-multip.ads 20101011073009 38ac9f73 system.multiprocessors%s D s-oscons.ads 20150513113030 f55e10a7 system.os_constants%s D s-osinte.ads 20150107101203 e9e28195 system.os_interface%s D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s D s-soflin.ads 20140801100131 aa763b52 system.soft_links%s D s-solita.ads 20140613094716 4e08c3ec system.soft_links.tasking%s D s-solita.adb 20140613094716 9aab8ed5 system.soft_links.tasking%b D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s D s-stausa.ads 20110804134155 017a0a05 system.stack_usage%s D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s D s-tasinf.ads 20140613095942 2b3f8252 system.task_info%s D s-taspri.ads 20141120144719 e3ab4429 system.task_primitives%s D s-taprop.ads 20140521131406 1dd2e1b6 system.task_primitives.operations%s D s-taskin.ads 20150106085750 339749f0 system.tasking%s D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s X 1 ada.ads 16K9*Ada 19e8 17|41r6 42r6 53r8 154r17 171r10 171r46 177r10 177r46 183r10 X 2 a-except.ads 53K13*Exceptions 360e19 17|41w10 42r10 53r12 154r21 171r14 171r50 177r14 . 177r50 183r14 57P9*Exception_Id<20|85P9> 62R9*Exception_Occurrence 328e14 17|154r32 67r4*Null_Occurrence{62R9} 17|171r61 177r61 101V13*Exception_Identity{57P9} 17|175s13 122U14*Save_Occurrence 17|171s25 177s25 183s25 X 3 a-einuoc.ads 37V25*Is_Null_Occurrence{boolean} 17|42w21 169s10 X 7 system.ads 37K9*System 155e11 16|37r9 44r5 17|44r6 45r6 46r6 48r14 50r25 51r25 55r13 . 56r13 129r26 136r10 152r26 153r17 170r19 176r19 182r19 233r5 67M9*Address 17|70r41 71r41 74r41 75r41 91r40 96r40 98r32 114r41 119r41 69m4*Null_Address{67M9} 17|101r35 230r44 81V14*"="{boolean} 17|101r32 230r41 X 15 s-soflin.ads 45K16*Soft_Links 7|37k9 15|408e22 16|37r16 44r12 17|48r21 51r32 233r12 49R12*EO{2|62R9} 17|81r55 151r54 60P9*No_Param_Proc 69P9*EO_Param_Proc 72P9*Get_Address_Call(7|67M9) 74P9*Set_Address_Call 96P9*Timed_Delay_Call 100P9*Get_Stack_Access_Call(18|60P9) 169p4*Abort_Defer{60P9} 17|141r10 173p4*Abort_Undefer{60P9} 17|143r10 223p4*Task_Termination_Handler{69P9} 17|221m14 234V14*Get_Jmpbuf_Address_NT{7|67M9} 17|227s42 237p4*Get_Jmpbuf_Address{72P9} 17|215m14 238p4*Set_Jmpbuf_Address{74P9} 17|216m14 227r14 240V14*Get_Sec_Stack_Addr_NT{7|67M9} 17|226s42 243p4*Get_Sec_Stack_Addr{72P9} 17|217m14 244p4*Set_Sec_Stack_Addr{74P9} 17|219m14 226r14 252p4*Get_Stack_Info{100P9} 17|218m14 277p4*Timed_Delay{96P9} 17|220m14 326r7*Pri_Stack_Info{18|50R9} 17|107m45 336m7*Jmpbuf_Address{7|67M9} 17|93r45 116m38 342m7*Sec_Stack_Addr{7|67M9} 17|99r40 121m38 X 16 s-solita.ads 37K27*Tasking 15|45k16 16|44l23 44e30 17|48b32 233l23 233t30 39U14*Init_Tasking_Soft_Links 17|202b14 231l8 231t31 X 17 s-solita.adb 50K12 STPO=50:48 93r14 99r9 107r14 116r7 121r7 129r52 142r10 152r52 165r32 51K12 SSL=51:32 81r51 151r50 215r10 216r10 217r10 218r10 219r10 220r10 221r10 . 226r10 226r38 227r10 227r38 62b4 Initialized{boolean} 206r14 210m10 70V14 Get_Jmpbuf_Address{7|67M9} 91b13 94l8 94t26 215r42 71U14 Set_Jmpbuf_Address 71>34 114b14 117l8 117t26 216r42 71m34 Addr{7|67M9} 114b34 116r56 74V14 Get_Sec_Stack_Addr{7|67M9} 96b13 103l8 103t26 217r42 230s22 75U14 Set_Sec_Stack_Addr 75>34 119b14 122l8 122t26 219r42 75m34 Addr{7|67M9} 119b34 121r56 78U14 Timed_Delay_T 78>29 78>46 128b14 145l8 145t21 220r42 78o29 Time{duration} 128b29 142r37 78i46 Mode{integer} 128b46 142r43 81U14 Task_Termination_Handler_T 81>43 151b14 196l8 196t34 221r42 81r43 Excep{15|49R12} 151b42 169r30 175r33 183r46 84V13 Get_Stack_Info{18|60P9} 105b13 108l8 108t22 218r42 98m14 Result{7|67M9} 101r25 129p7 Self_Id{25|109P9} 137r18 142r28 152p7 Self_Id{25|109P9} 165r22 193r10 194r10 194r54 153e7 Cause{25|357E9} 170m10 176m10 182m10 194r47 154r7 EO{2|62R9} 171m42 177m42 183m42 194r63 X 18 s-stache.ads 42K16*Stack_Checking 17|46w13 84r35 105r35 18|82e26 60P9*Stack_Access(50R9) 17|84r50 105r50 X 19 s-stausa.ads 203U14*Initialize 204i22 268U14*Output_Results 272i22 X 20 s-stalib.ads 85P9*Exception_Data_Ptr(84R9) X 23 s-taspri.ads 43K16*Task_Primitives 17|44r13 50r32 23|120e27 X 24 s-taprop.ads 39K32*Operations 17|44w29 50r48 24|571e38 135V13*Self{25|109P9} 17|93s19 99s14 107s19 116s12 121s12 129s57 152s57 390U14*Timed_Delay 17|142s15 405V13*Environment_Task{25|109P9} 17|165s37 X 25 s-taskin.ads 47K16*Tasking 17|45w13 55r20 56r20 129r33 136r17 152r33 153r24 170r26 176r26 . 182r26 25|1208e19 109P9*Task_Id(107R9) 17|55r28 129r41 152r41 357E9*Cause_Of_Termination 17|153r32 25|357e72 357n34*Normal{357E9} 17|170r34 357n42*Abnormal{357E9} 17|176r34 357n52*Unhandled_Exception{357E9} 17|182r34 369P9*Termination_Handler 17|56r28 452V13*Detect_Blocking{boolean} 17|136s25 554i7*Protected_Action_Nesting{natural} 17|137r33 603r7*Compiler_Data{15|325R9} 17|93r31 99r26 107m31 116m24 121m24 691p7*Specific_Handler{369P9} 17|193r25 194r25 958r7*Common{507R9} 17|93r24 99r19 107m24 116m17 121m17 137r26 193r18 194r18