V "GNAT Lib v5" A -gnatwa A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -gnatwn A -gnatws A -mtune=i486 A -march=i486 P ZX RN RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTIONS RV NO_IMPLEMENTATION_PRAGMAS RV NO_OBSOLESCENT_FEATURES RV SPARK_05 U widechar%b widechar.adb 40065014 NE OO PK W interfaces%s interfac.ads interfac.ali W opt%s opt.adb opt.ali W system%s system.ads system.ali W system.wch_cnv%s s-wchcnv.adb s-wchcnv.ali W system.wch_con%s s-wchcon.adb s-wchcon.ali U widechar%s widechar.ads 5c40acf5 EE NE OO PK W types%s types.adb types.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s D hostparm.ads 20140801100131 a20ca6cf hostparm%s D interfac.ads 20141120112812 6033a23f interfaces%s D opt.ads 20150302110329 e5e8f770 opt%s D system.ads 20141030114420 fb0c3f68 system%s D s-conca2.ads 20140225151544 02a0d7d0 system.concat_2%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-stalib.ads 20150220094550 fa0a3617 system.standard_library%s D s-string.ads 20140225151139 8fe54fb7 system.strings%s D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s D s-wchcnv.ads 20140225151139 0fb7baf3 system.wch_cnv%s D s-wchcnv.adb 20140225151139 72f42cd5 system.wch_cnv%b D s-wchcon.ads 20140718092328 1b7d22d2 system.wch_con%s D s-wchjis.ads 20140225151139 94ba8100 system.wch_jis%s D types.ads 20150130153101 63969ace types%s D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s D unchdeal.ads 20070406091342 214516a4 unchecked_deallocation%s D widechar.ads 20140801083227 3fd6363b widechar%s D widechar.adb 20140718092328 8ef2097e widechar%b X 6 opt.ads 50K9*Opt 2285e8 21|36w6 36r15 1828i4*Wide_Character_Encoding_Method{15|94I9} 21|52r12 134r38 174r32 205r38 . 237r38 X 7 system.ads 37K9*System 155e11 21|38r6 38r26 39r6 39r26 X 13 s-wchcnv.ads 50K16*WCh_Cnv 116e19 21|38w13 38r33 53I9*UTF_32_Code 21|174r15 199r17 231r17 83v13*Char_Sequence_To_UTF_32 21|120r29 197r31 229r31 108u14*UTF_32_To_Char_Sequence 21|169r31 X 15 s-wchcon.ads 41K16*WCh_Con 220e19 21|39w13 39r33 94I9*WC_Encoding_Method 100i4*WCEM_Hex{94I9} 21|57r15 108i4*WCEM_Upper{94I9} 21|77r15 117i4*WCEM_Shift_JIS{94I9} 21|78r15 126i4*WCEM_EUC{94I9} 21|79r15 134i4*WCEM_UTF8{94I9} 21|80r15 156i4*WCEM_Brackets{94I9} 21|64r15 132r38 189N4*WC_Longest_Sequence 21|91r14 X 17 types.ads 52K9*Types 942e10 20|37w6 37r17 59I9*Int 62I12*Nat{59I9} 20|41r27 48r32 21|89r32 138r54 206r54 238r54 144I9*Text_Ptr<59I9> 147A9*Text_Buffer(character)<144I9> 198A12*Big_Source_Buffer{147A9}<144I9> 202P9*Source_Buffer_Ptr(198A12) 20|55r13 88r29 94r11 21|48r11 99r13 213r29 212I12*Source_Ptr{144I9} 20|56r20 88r59 95r11 21|49r11 100r20 104r25 213r59 . 214r25 517M9*Char_Code_Base 520M12*Char_Code{517M9} 20|57r17 69r11 21|101r17 132r15 134r15 142r15 152r11 X 20 widechar.ads 39K9*Widechar 98l5 98e13 21|41b14 241l5 241t13 41i4*Wide_Char_Byte_Count{17|62I12} 21|138m7 138r31 206m7 206r31 238m7 238r31 48V13*Length_Wide{17|62I12} 21|89b13 92l8 92t19 54U14*Scan_Wide 55>7 56=7 57<7 58<7 21|98b14 145l8 145t17 55p7 S{17|202P9} 21|99b7 117r17 56i7 P{17|212I12} 21|100b7 104r39 116m10 116r15 117r20 138r59 143m10 143r15 57m7 C{17|520M12} 21|101b7 132m10 134m10 142m10 58b7 Err{boolean} 21|102b7 137m7 144m10 68U14*Set_Wide 69>7 70=7 71=7 21|151b14 175l8 175t16 69m7 C{17|520M12} 21|152b7 174r28 70a7 S{string} 21|153b7 166m10 71i7 P{natural} 21|154b7 165m10 165r15 166r13 80U14*Skip_Wide 80>25 80=37 21|181b14 207l8 207t17 80a25 S{string} 21|181b25 194r17 80i37 P{natural} 21|181b37 182r36 193m10 193r15 194r20 206r59 88U14*Skip_Wide 88>25 88=48 21|213b14 239l8 239t17 88p25 S{17|202P9} 21|213b25 226r17 88i48 P{17|212I12} 21|213b48 214r39 225m10 225r15 226r20 238r59 93V13*Is_Start_Of_Wide_Char{boolean} 94>7 95>7 21|47b13 83l8 83t29 94p7 S{17|202P9} 21|48b7 58r20 65r25 66r24 67r24 68r25 70r28 72r25 81r20 95i7 P{17|212I12} 21|49b7 58r23 65r20 66r27 67r27 68r28 70r31 72r28 81r23 X 21 widechar.adb 104i7 P_Init{17|212I12} 138r63 105e7 Chr{character} 125m7 131r10 132r33 134r33 107V16 In_Char{character} 114b16 118l11 118t18 120r54 125s14 120V16 WC_In[13|83]{13|53I9} 14|44b13 21|132s26 134s26 156U17 Out_Char 156>27 163b17 167l11 167t19 169r56 156e27 C{character} 163b27 166r19 169U17 WC_Out[13|108] 14|276b14 21|174s7 182i7 P_Init{natural} 206r63 184V16 Skip_Char{character} 191b16 195l11 195t20 197r56 205s27 197V16 WC_Skip[13|83]{13|53I9} 14|44b13 21|205s18 199i7 Discard{13|53I9} 200r29 205m7 214i7 P_Init{17|212I12} 238r63 216V16 Skip_Char{character} 223b16 227l11 227t20 229r56 237s27 229V16 WC_Skip[13|83]{13|53I9} 14|44b13 21|237s18 231i7 Discard{13|53I9} 232r29 237m7