V "GNAT Lib v7" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P ZX RN RV NO_ACCESS_SUBPROGRAMS RV NO_EXCEPTIONS RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_ACCESS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_ELABORATION_CODE RV SPARK_05 U system.tasking.protected_objects%b s-taprob.adb 772f46f9 OL PK W system%s system.ads system.ali W system.parameters%s s-parame.adb s-parame.ali W system.secondary_stack%s s-secsta.adb s-secsta.ali EA W system.soft_links%s s-soflin.adb s-soflin.ali W system.soft_links.tasking%s s-solita.adb s-solita.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.traces%s s-traces.adb s-traces.ali U system.tasking.protected_objects%s s-taprob.ads a9001c61 EB EE NE OL PK W system.tasking%s s-taskin.adb s-taskin.ali D ada.ads 20170106053348 76789da1 ada%s D a-except.ads 20151016083252 291912d5 ada.exceptions%s D a-unccon.ads 20170106053348 31484697 ada.unchecked_conversion%s D interfac.ads 20160502061002 5ab55268 interfaces%s D system.ads 20161011141908 27426ea2 system%s D s-atacco.ads 20120515053410 4c36d12f system.address_to_access_conversions%s D s-multip.ads 20101011033010 38ac9f73 system.multiprocessors%s D s-osinte.ads 20130104074956 86be1773 system.os_interface%s D s-parame.ads 20140801053848 7e2a0d7f system.parameters%s D s-secsta.ads 20170112084946 9751b57e system.secondary_stack%s D s-soflin.ads 20151020084036 14e1eb6c system.soft_links%s D s-solita.ads 20140613054716 4e08c3ec system.soft_links.tasking%s D s-stache.ads 20140225101140 a37c21ec system.stack_checking%s D s-stausa.ads 20110804094156 017a0a05 system.stack_usage%s D s-stalib.ads 20151112054908 09bd3940 system.standard_library%s D s-stoele.ads 20140225101140 2dc34a04 system.storage_elements%s D s-tasinf.ads 20140613055942 801abd01 system.task_info%s D s-taspri.ads 20141120094720 6995cc42 system.task_primitives%s D s-taprop.ads 20140521091406 1dd2e1b6 system.task_primitives.operations%s D s-taskin.ads 20170112084946 05d6152c system.tasking%s D s-taprob.ads 20170106064240 acd6094d system.tasking.protected_objects%s D s-taprob.adb 20140613055942 9345bd45 system.tasking.protected_objects%b D s-traent.ads 20140730095026 005bf670 system.traceback_entries%s D s-traces.ads 20150106035750 f21d68aa system.traces%s D s-unstyp.ads 20160502061424 34867c83 system.unsigned_types%s X 5 system.ads 37K9*System 148e11 21|48r9 131r16 141r13 142r13 173r42 198r16 214r17 217r21 . 241r5 22|37r6 38r6 39r6 40r6 42r6 48r14 50r8 51r8 81r28 85r25 86r29 95r42 . 221r16 265r13 284r4 285r5 67M9*Address 21|131r23 141r20 142r20 100I12*Any_Priority{integer} 21|173r49 198r23 214r24 217r28 22|85r32 86r36 . 95r49 221r23 101I12*Priority{100I12} 22|81r35 X 9 s-parame.ads 51K16*Parameters 210e22 22|38w13 131r10 188r10 274r10 190b4*Runtime_Traces{boolean} 22|131r21 188r21 274r21 X 10 s-secsta.ads 36K16*Secondary_Stack 123e27 22|42w13 43r30 44r29 X 11 s-soflin.ads 45K16*Soft_Links 399e22 22|40r13 284r11 X 12 s-solita.ads 37K27*Tasking 44e30 22|40w24 284r22 39U14*Init_Tasking_Soft_Links 22|284s30 X 14 s-stausa.ads 203U14*Initialize 204i22 268U14*Output_Results 272i22 X 18 s-taspri.ads 38K16*Task_Primitives 62e27 21|211r19 22|37r13 50r15 265r20 41I9*Lock 21|211r35 X 19 s-taprop.ads 39K32*Operations 571e38 22|37w29 50r31 265r36 148U14*Initialize_Lock 22|84s7 175U14*Finalize_Lock 22|66s7 181U14*Write_Lock 22|129s7 212U14*Read_Lock 22|186s7 236U14*Unlock 22|272s7 302U14*Set_Ceiling 22|265s47 X 20 s-taskin.ads 47K16*Tasking 5|37k9 20|1200e19 21|48r16 241r12 22|48r21 283r4 285r12 109P9*Task_Id(107R9) 21|227r15 22|145r32 201r32 238r32 112p4*Null_Task{109P9} 22|87r23 250r29 116V13*Self{109P9} 22|125s50 145s43 182s50 201s43 238s43 223N4*Null_Entry 21|122r39 225N4*Max_Entry 21|124r38 231I9*Entry_Index 21|126r38 447V13*Detect_Blocking{boolean} 22|125s10 143s10 182s10 199s10 236s10 549i7*Protected_Action_Nesting{natural} 22|153m28 154r30 209m28 210r30 245r43 . 255m28 256r30 779i4*Unspecified_Priority{integer} 22|80r26 960r7*Common{502R9} 22|153m21 154r23 209m21 210r23 245r36 255m21 256r23 1155U14*Initialize 22|283s12 X 21 s-taprob.ads 48K24*Protected_Objects 20|47k16 21|126E4 241l20 241e37 22|48b29 285l20 285t37 122N4*Null_Protected_Entry 127r12 124N4*Max_Protected_Entry 127r36 126I9*Protected_Entry_Index<20|231I9> 132r16 143r13 129P9*Barrier_Function_Pointer(boolean) 131>9 132>9 151r17 131m9 O{5|67M9} 132i9 E{126I9} 139P9*Entry_Action_Pointer 141>9 142>9 143>9 152r17 141m9 O{5|67M9} 142m9 P{5|67M9} 143i9 E{126I9} 150R9*Entry_Body 153e14 151p7*Barrier{129P9} 152p7*Action{139P9} 158R9*Protection 168r41 210c9 234e14 236r51 22|64r51 168P9*Protection_Access(158R9) 170r23 173r16 177r26 182r29 188r39 197r16 . 201r31 22|74r26 95r16 104r29 163r39 220r16 230r31 170p4*Null_PO{168P9} 172V13*Get_Ceiling{5|100I12} 173>7 22|94b13 98l8 98t19 173p7 Object{168P9} 22|95b7 97r14 176U14*Initialize_Protection 177>7 178>7 22|73b14 88l8 88t29 177p7 Object{168P9} 22|74b7 84r39 85r7 86r7 87r7 178i7 Ceiling_Priority{integer} 22|75b7 77r34 182U14*Lock 182>20 22|104b14 157l8 157t12 182p20 Object{168P9} 22|104b20 125r35 129r19 149r13 188U14*Lock_Read_Only 188>30 22|163b14 213l8 213t22 188p30 Object{168P9} 22|163b30 182r35 186r18 205r13 196U14*Set_Ceiling 197>7 198>7 22|219b14 224l8 224t19 197p7 Object{168P9} 22|220b7 223r7 198i7 Prio{5|100I12} 22|221b7 223r29 201U14*Unlock 201>22 22|230b14 277l8 277t14 201p22 Object{168P9} 22|230b22 246r39 250r13 263r10 263r32 266r16 266r33 . 269r10 269r28 272r15 211i7*L{18|41I9} 22|66m29 84m46 129m26 186m25 266m23 272m22 214i7*Ceiling{5|100I12} 22|85m14 263r39 269m17 217i7*New_Ceiling{5|100I12} 22|86m14 97r21 223m14 263r17 266r40 269r35 227p7*Owner{20|109P9} 22|87m14 125r42 149m20 182r42 205m20 246r46 250m20 236U14 Finalize_Protection 236=35 22|64b14 67l8 67t27 236r35 Object{158R9} 22|64b35 66m22 66r22 X 22 s-taprob.adb 57e4 Locking_Policy{character} 58m22 58r22 264r13 77i7 Init_Priority{integer} 80r10 81m10 84r24 85r46 86r50 105b7 Ceiling_Violation{boolean} 129m36 135r10 145p13 Self_Id{20|109P9} 149r29 153r13 154r15 164b7 Ceiling_Violation{boolean} 186m35 192r10 201p13 Self_Id{20|109P9} 205r29 209r13 210r15 238p13 Self_Id{20|109P9} 245r28 246r54 255r13 256r15 X 24 s-traces.ads 54K16*Traces 22|39w13 51r15 24|113e18 93n7*PO_Lock{57E9} 22|132r27 189r27 94n7*PO_Unlock{57E9} 22|275r27 109U14*Send_Trace_Info 22|132s10 189s10 275s10