V "GNAT Lib v4.9" 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 NO_DISPATCHING_CALLS RV NO_IMPLICIT_CONDITIONALS RV NO_STANDARD_STORAGE_POOLS RV NO_IMPLEMENTATION_PRAGMAS RV NO_ELABORATION_CODE RV SPARK_05 U ada.finalization%b a-finali.adb 8cbe6205 NE OL PK W ada%s ada.ads ada.ali U ada.finalization%s a-finali.ads 22e22193 EE OL PR PU RT PK W ada%s ada.ads ada.ali W ada.exceptions%s a-except.adb a-except.ali W ada.streams%s a-stream.adb a-stream.ali W ada.tags%s a-tags.adb a-tags.ali W system%s system.ads system.ali W system.finalization_root%s s-finroo.adb s-finroo.ali W system.soft_links%s s-soflin.adb s-soflin.ali W system.standard_library%s s-stalib.adb s-stalib.ali W system.storage_elements%s s-stoele.adb s-stoele.ali D ada.ads 20070406121342 3ffc8e18 D a-except.ads 20140129181954 f86a4103 D a-finali.ads 20111121133556 52ecdc1b D a-finali.adb 20110803173626 de52be1e D a-stream.ads 20140122184720 1a984740 D a-tags.ads 20111212135430 6c0509d0 D a-unccon.ads 20070406121342 f9eb8f06 D system.ads 20160804194326 462fcf90 D s-exctab.ads 20140225171140 54135002 D s-finroo.ads 20120426125924 4ff27390 D s-parame.ads 20140225171140 ab8cb46a D s-soflin.ads 20140225171140 aa763b52 D s-stache.ads 20140225171140 a37c21ec D s-stalib.ads 20140225171140 a891183f D s-stoele.ads 20140225171140 2dc34a04 D s-stoele.adb 20140225171140 ed88f8fb D s-traent.ads 20140225171140 b5116092 X 1 ada.ads 16K9*Ada 19e8 3|40r9 73r5 4|32r14 76r5 X 3 a-finali.ads 40K13*Finalization 1|16k9 3|62E12 73l9 73e21 4|32b18 76l9 76t21 48H9*Controlled<10|40R9> 49r41 51P14 51r42 52P14 52r42 53P14 53r42 64c9 64e72 . 4|38r38 48r40 64r42 51U14*Initialize<10|44p14> 51=26 4|64b14 68l8 68t18 51r26 Object{48R9} 4|64b26 65r29 52U14*Adjust<10|42p14> 52=26 4|38b14 42l8 42t14 52r26 Object{48R9} 4|38b22 39r29 53U14*Finalize<10|43p14> 53=26 4|48b14 52l8 52t16 53r26 Object{48R9} 4|48b24 49r29 55H9*Limited_Controlled<10|40R9> 56r41 58P14 58r42 59P14 59r42 70c9 71e55 . 4|54r40 70r42 10|42p14 58U14*Initialize<10|44p14> 58=26 4|70b14 74l8 74t18 58r26 Object{55R9} 4|70b26 71r29 59U14*Finalize<10|43p14> 59=26 4|54b14 58l8 58t16 59r26 Object{55R9} 4|54b24 55r29 62K12 SFR=62:31 64r36 71r19 X 8 system.ads 42K9*System 3|37r6 62r24 8|160e11 X 10 s-finroo.ads 34K16*Finalization_Root 3|37w13 62r31 10|46e29 40H9*Root_Controlled 3|64r40 71r23 10|40e55