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_EXCEPTION_HANDLERS RV NO_EXCEPTIONS RV NO_FIXED_POINT RV NO_IO RV NO_LONG_LONG_INTEGERS RV NO_UNCHECKED_ACCESS RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLICIT_ALIASING RV SPARK_05 U ada.text_io.decimal_io%b a-tideio.adb 21ed3eca NE OL PK GE W ada%s ada.ads ada.ali W ada.text_io%s a-textio.adb a-textio.ali W ada.text_io.decimal_aux%s a-tideau.adb a-tideau.ali U ada.text_io.decimal_io%s a-tideio.ads 26f0eadf BN NE OL PK GE W ada.text_io%s a-textio.adb a-textio.ali D ada.ads 20170106053348 76789da1 ada%s D a-except.ads 20151016083252 291912d5 ada.exceptions%s D a-ioexce.ads 20140225101544 e4a01f64 ada.io_exceptions%s D a-stream.ads 20141120062812 119b8fb3 ada.streams%s D a-tags.ads 20151016090316 01f5e3ef ada.tags%s D a-textio.ads 20140717023746 386df5d4 ada.text_io%s D a-tideau.ads 20090409110020 d7d2561e ada.text_io.decimal_aux%s D a-tideio.ads 20140717023514 1e9d1f0b ada.text_io.decimal_io%s D a-tideio.adb 20091030092740 e8a277df ada.text_io.decimal_io%b D a-unccon.ads 20170106053348 31484697 ada.unchecked_conversion%s D interfac.ads 20160502061002 5ab55268 interfaces%s D i-cstrea.ads 20140801060436 e53d8b8e interfaces.c_streams%s D system.ads 20161011141908 27426ea2 system%s D s-crtl.ads 20141120062812 0ebbdb71 system.crtl%s D s-exctab.ads 20140225101140 54135002 system.exception_table%s D s-ficobl.ads 20140718065748 078245e4 system.file_control_block%s D s-parame.ads 20140801053848 7e2a0d7f system.parameters%s D s-soflin.ads 20151020084036 14e1eb6c system.soft_links%s D s-stache.ads 20140225101140 a37c21ec system.stack_checking%s D s-stalib.ads 20151112054908 09bd3940 system.standard_library%s D s-stoele.ads 20140225101140 2dc34a04 system.storage_elements%s D s-traent.ads 20140730095026 005bf670 system.traceback_entries%s D s-unstyp.ads 20160502061424 34867c83 system.unsigned_types%s D s-wchcon.ads 20140718052328 1b7d22d2 system.wch_con%s X 1 ada.ads 16K9*Ada 20e8 8|46r9 89r5 9|32r6 34r14 36r24 137r5 X 6 a-textio.ads 49K13*Text_IO 1|16k9 6|471e16 8|46r13 89r9 9|32r10 34r18 36r28 137r9 52P9*File_Type 8|53r15 62r14 9|45r15 95r14 73I12*Field{integer} 8|48r19 49r19 50r19 55r15 59r15 64r14 65r14 66r14 70r14 . 71r14 72r14 82r14 83r14 9|47r15 64r15 97r14 98r14 99r14 114r14 115r14 116r14 . 125r14 126r14 298X4*Data_Error 9|59r38 87r38 455p4 Current_In{52P9} 9|67r12 456p4 Current_Out{52P9} 9|119r12 X 7 a-tideau.ads 40K29*Decimal_Aux 92e28 9|32w18 36r36 42V13*Get_Dec{integer} 9|55s39 47V13*Get_LLD{long_long_integer} 9|53s39 52U14*Put_Dec 9|107s14 60U14*Put_LLD 9|103s14 68V13*Gets_Dec{integer} 9|83s25 73V13*Gets_LLD{long_long_integer} 9|80s25 78U14*Puts_Dec 9|133s14 85U14*Puts_LLD 9|130s14 X 8 a-tideio.ads 44D9 Num 48r28 49r28 54r19 58r19 63r14 69r14 76r18 81r14 9|38r32 46r19 52r10 . 53r18 55r18 63r19 72r18 78r10 79r18 82r18 96r14 102r10 113r14 124r14 129r10 46k21*Decimal_IO 6|49k13 8|44z9 89l17 89e27 9|34b26 137l17 137t27 48i4*Default_Fore{6|73I12} 64r23 70r23 9|97r23 114r23 49i4*Default_Aft{6|73I12} 65r23 71r23 82r23 9|98r23 115r23 125r23 50i4*Default_Exp{6|73I12} 66r23 72r23 83r23 9|99r23 116r23 126r23 52U14*Get 53>7 54<7 55>7 9|44b14 60l8 60t11 67s7 53p7 File{6|52P9} 9|45b7 53r48 55r48 54*7 Item{44D9} 9|46b7 53m10 55m10 55i7 Width{6|73I12} 9|47b7 53r54 55r54 57U14*Get 58<7 59>7 9|62b14 68l8 68t11 58*7 Item{44D9} 9|63b7 67m24 59i7 Width{6|73I12} 9|64b7 67r30 61U14*Put 62>7 63>7 64>7 65>7 66>7 9|94b14 110l8 110t11 119s7 62p7 File{6|52P9} 9|95b7 104r13 108r13 63*7 Item{44D9} 9|96b7 104r52 108r42 64i7 Fore{6|73I12} 9|97b7 105r13 108r49 65i7 Aft{6|73I12} 9|98b7 105r19 108r55 66i7 Exp{6|73I12} 9|99b7 105r24 108r60 68U14*Put 69>7 70>7 71>7 72>7 9|112b14 120l8 120t11 69*7 Item{44D9} 9|113b7 119r25 70i7 Fore{6|73I12} 9|114b7 119r31 71i7 Aft{6|73I12} 9|115b7 119r37 72i7 Exp{6|73I12} 9|116b7 119r42 74U14*Get 75>7 76<7 77<7 9|70b14 88l8 88t11 75a7 From{string} 9|71b7 80r35 83r35 76*7 Item{44D9} 9|72b7 79m10 82m10 77i7 Last{positive} 9|73b7 80m41 80r41 83m41 83r41 79U14*Put 80<7 81>7 82>7 83>7 9|122b14 135l8 135t11 80a7 To{string} 9|123b7 131m13 133m24 81*7 Item{44D9} 9|124b7 131r50 133r51 82i7 Aft{6|73I12} 9|125b7 131r57 133r58 83i7 Exp{6|73I12} 9|126b7 131r62 133r63 X 9 a-tideio.adb 36K12 Aux=36:36 53r35 55r35 80r21 83r21 103r10 107r10 130r10 133r10 38i4 Scale{integer} 53r61 55r61 80r67 83r67 105r29 108r65 131r67 133r68