V "GNAT Lib v4.8" 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 SIMPLE_BARRIERS RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTION_PROPAGATION RV NO_EXCEPTIONS RV NO_PROTECTED_TYPES RV NO_STANDARD_STORAGE_POOLS RV STATIC_PRIORITIES RV SPARK RV MAX_PROTECTED_ENTRIES=1 U gnat.semaphores%b g-semaph.adb 2d4c7e6e NE OL PK W ada.tags%s a-tags.adb a-tags.ali W gnat%s gnat.ads gnat.ali W system%s system.ads system.ali W system.soft_links%s s-soflin.adb s-soflin.ali W system.tasking.protected_objects%s s-taprob.adb s-taprob.ali W system.tasking.protected_objects.entries%s s-tpoben.adb s-tpoben.ali W system.tasking.protected_objects.operations%s s-tpobop.adb s-tpobop.ali U gnat.semaphores%s g-semaph.ads 22939b2b EE NE OL PK W ada.exceptions%s a-except.adb a-except.ali W ada.tags%s a-tags.adb a-tags.ali W gnat%s gnat.ads gnat.ali W system%s system.ads system.ali W system.soft_links%s s-soflin.adb s-soflin.ali W system.tasking.protected_objects%s s-taprob.adb s-taprob.ali W system.tasking.protected_objects.entries%s s-tpoben.adb s-tpoben.ali D ada.ads 20070406121342 3ffc8e18 D a-except.ads 20120716155142 10fcae55 D a-finali.ads 20111121143556 52ecdc1b D a-stream.ads 20090409180020 2ca4ee37 D a-tags.ads 20111212145430 6c0509d0 D a-unccon.ads 20070406121342 f9eb8f06 D gnat.ads 20110801180502 fd2ad2f1 D g-semaph.ads 20110801180502 9996864a D g-semaph.adb 20110801180502 b4daf824 D interfac.ads 20110906124622 129923ea D system.ads 20150624111858 462fcf90 D s-atacco.ads 20120515123410 4c36d12f D s-exctab.ads 20090417161548 66e51330 D s-finmas.ads 20111024121916 b95bb341 D s-finroo.ads 20120426125924 4ff27390 D s-multip.ads 20101011103010 38ac9f73 D s-parame.ads 20110830170626 b6e20cc0 D s-pooglo.ads 20110804113314 542f33d0 D s-soflin.ads 20120515124620 24c8153c D s-stache.ads 20090417160712 596fc1b4 D s-stausa.ads 20110804164156 017a0a05 D s-stalib.ads 20130104154956 f78bcf95 D s-stoele.ads 20090417160712 facd7d98 D s-stoele.adb 20100617182356 afc5dc80 D s-stopoo.ads 20111013133734 7b8fbeee D s-tasinf.ads 20090409180020 e120e23a D s-taspri.ads 20110927124500 215a00b1 D s-taskin.ads 20121029143218 59e95256 D s-taprob.ads 20110927124500 502249e3 D s-tpoben.ads 20121029143218 b641f948 D s-tpobop.ads 20090409180020 5f548bb3 D s-traent.ads 20090417160712 5221ee41 D s-unstyp.ads 20090409180020 6ae15c76 X 7 gnat.ads 34K9*GNAT 37e9 8|38r9 97r5 9|32r14 84r5 X 8 g-semaph.ads 38K14*Semaphores 7|34k9 8|97l10 97e20 9|32b19 84l10 84t20 40i4*Default_Ceiling{11|107I12} 47W19*Counting_Semaphore 48d8 52d7 68l8 68e26 9|38b19 57l8 57t26 48i8 Initial_Value{natural} 67r26 52i7 Ceiling{11|107I12} 56r24 58Y13 Seize 9|44b13 47l11 47t16 63U17 Release 9|53b17 56l11 56t18 67i7 Count{natural} 9|44r24 46r10 46r19 55r10 55r19 74W19*Binary_Semaphore 75d7 80d7 95l8 95e24 9|63b19 82l8 82t24 75b7 Initially_Available{boolean} 94r30 80i7 Ceiling{11|107I12} 84r24 86Y13 Seize 9|69b13 72l11 72t16 90U17 Release 9|78b17 81l11 81t18 94b7 Available{boolean} 9|69r24 71r10 80r10 X 11 system.ads 42K9*System 8|36w6 40r31 40r50 52r17 80r17 11|160e11 106I12*Any_Priority{integer} 107I12*Priority{106I12} 8|40r38 52r24 80r24 110i4*Default_Priority{107I12} 8|40r57 X 21 s-stausa.ads 203U14*Initialize 204i22 268U14*Output_Results 272i22