V "GNAT Lib v6" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -g A -gnatp A -gnatg A -mtune=generic A -march=i586 P SS ZX RN RV NO_ACCESS_SUBPROGRAMS RV NO_ALLOCATORS RV NO_DISPATCHING_CALLS RV NO_EXCEPTION_HANDLERS RV NO_EXCEPTIONS RV NO_FINALIZATION RV NO_IMPLICIT_CONDITIONALS RV NO_IMPLICIT_LOOPS RV NO_LOCAL_ALLOCATORS RV NO_NESTED_FINALIZATION RV NO_SECONDARY_STACK RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_ACCESS RV NO_UNCHECKED_DEALLOCATION RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_IMPLICIT_ALIASING RV NO_ELABORATION_CODE RV SPARK_05 U ada.strings.wide_wide_maps%b a-stzmap.adb ea479e79 NE OL PK W ada%s ada.ads ada.ali W ada.exceptions%s a-except.adb a-except.ali W ada.strings%s a-string.ads a-string.ali W ada.tags%s a-tags.adb a-tags.ali W ada.unchecked_deallocation%s W system.secondary_stack%s s-secsta.adb s-secsta.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_pools.subpools%s s-stposu.adb s-stposu.ali U ada.strings.wide_wide_maps%s a-stzmap.ads cf20fccc EE OL PF PR PK W ada%s ada.ads ada.ali W ada.exceptions%s a-except.adb a-except.ali W ada.finalization%s a-finali.ads a-finali.ali W ada.streams%s a-stream.adb a-stream.ali W ada.strings%s a-string.ads a-string.ali W ada.tags%s a-tags.adb a-tags.ali W system%s system.ads system.ali W system.secondary_stack%s s-secsta.adb s-secsta.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 W system.storage_pools.subpools%s s-stposu.adb s-stposu.ali W system.stream_attributes%s s-stratt.adb s-stratt.ali D ada.ads 20070406091342 3ffc8e18 ada%s D a-except.ads 20151016123252 291912d5 ada.exceptions%s D a-finali.ads 20151020095656 bf4f806b ada.finalization%s D a-stream.ads 20141120112812 119b8fb3 ada.streams%s D a-string.ads 20070406091342 90ac6797 ada.strings%s D a-stzmap.ads 20090409150019 e0c31b30 ada.strings.wide_wide_maps%s D a-stzmap.adb 20151118103153 fbdedb98 ada.strings.wide_wide_maps%b D a-tags.ads 20151016130316 01f5e3ef ada.tags%s D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D a-uncdea.ads 20070406091342 f15a5ed1 ada.unchecked_deallocation%s D system.ads 20151123113124 2da59038 system%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-finmas.ads 20151016130316 7811a767 system.finalization_masters%s D s-finroo.ads 20120426095924 4ff27390 system.finalization_root%s D s-memory.ads 20140225151139 597d6634 system.memory%s D s-parame.ads 20140801093848 7e2a0d7f system.parameters%s D s-secsta.ads 20140225151139 86a2856d system.secondary_stack%s D s-soflin.ads 20151020124036 14e1eb6c system.soft_links%s D s-stache.ads 20140225151139 a37c21ec system.stack_checking%s D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s D s-stalib.adb 20140225151139 f2fe2716 system.standard_library%b D s-stoele.ads 20140225151139 2dc34a04 system.storage_elements%s D s-stoele.adb 20140801093848 ed88f8fb system.storage_elements%b D s-stopoo.ads 20131010103753 b16154c2 system.storage_pools%s D s-stposu.ads 20151020120548 97a6219c system.storage_pools.subpools%s D s-stratt.ads 20131014135145 aedef97e system.stream_attributes%s D s-traent.ads 20140730135025 005bf670 system.traceback_entries%s D s-unstyp.ads 20140731130224 9d58a4c0 system.unsigned_types%s X 1 ada.ads 16K9*Ada 19e8 6|36r6 38r9 151r23 242r5 7|32r6 34r14 366r29 378r29 747r5 X 3 a-finali.ads 40K13*Finalization 68e21 6|36w10 151r27 43H9*Controlled<14|40R9> 59e72 6|173r43 190r21 220r47 239r21 7|139r18 201r18 . 243r18 331r18 536r21 658r18 674r21 701r13 X 5 a-string.ads 16K13*Strings 1|16k9 5|35e16 6|38r13 242r9 7|34r18 747r9 27X46*Translation_Error 7|509r16 517r25 X 6 a-stzmap.ads 38K21*Wide_Wide_Maps 5|16k13 6|151E12 242l17 242e31 7|34b26 747l17 747t31 45R9*Wide_Wide_Character_Set<3|43R9> 46r41 49r24 65r51 68r48 71r13 77r32 . 80r15 80r47 83r21 83r53 86r21 86r53 89r21 89r53 92r21 92r53 96r17 99r18 . 100r18 103r15 104r15 111r55 114r47 117r13 173c9 175e14 177r34 182r42 183r42 . 184r42 189r24 7|41r21 41r53 149r32 159r21 159r53 210r15 210r47 252r21 252r53 . 340r21 340r53 355r38 376r40 397r42 408r17 443r18 444r18 560r13 571r13 601r51 . 665r48 682r55 697r47 49r4*Null_Set{45R9} 189c4 7|399r17 669r17 55R9*Wide_Wide_Character_Range 58e14 62r35 68r14 7|665r14 56e7*Low{wide_wide_character} 187m31 7|62r26 73r23 75m24 79r32 84r23 91r38 . 104m27 105r68 118r38 128m21 173r34 176r37 185m24 186r47 186r60 220m25 224r20 . 226m24 227r65 232m24 233r69 238m24 289r23 289r37 304r34 315r34 429r36 466r37 . 471r23 471r37 581r53 586r29 617r27 617r44 636r42 641r27 654r39 668r15 57e7*High{wide_wide_character} 187m43 7|67r20 73r36 76m24 76r39 88r26 88r41 . 96r64 105m27 109r26 109r40 110r64 129m21 129r36 173r20 176r23 187m24 188r47 . 188r60 190r23 190r37 193r26 193r40 221m25 227m24 232r65 233m24 236r26 238r71 . 239m24 305r64 307m30 308r57 308r70 316r66 318m30 319r57 319r70 427r33 466r23 . 472r29 472r44 580r53 586r43 636r24 640r53 643m24 644r51 644r72 654r21 668r26 61A9*Wide_Wide_Character_Ranges(55R9) 65r16 71r45 171r17 186r34 . 7|46r16 140r26 164r16 202r26 214r16 244r26 257r16 332r26 357r25 379r10 . 560r45 601r16 603r16 659r26 675r29 684r11 702r21 64V13*To_Set{45R9} 65>7 7|600b13 660l8 660t14 691s14 65a7 Ranges{61A9} 7|601b7 603r44 615r16 617r16 619r30 624r28 67V13*To_Set{45R9} 68>7 7|664b13 677l8 677t14 68r7 Span{55R9} 7|665b7 668r10 668r21 675r62 70V13*To_Ranges{61A9} 71>7 7|559b13 564l8 564t17 71r7 Set{45R9} 7|560b7 563r14 77V14*"="{boolean} 77>18 77>24 7|149b14 152l9 152t11 77r18 Left{45R9} 7|149b18 151r14 77r24 Right{45R9} 7|149b24 151r29 79V14*"not"{45R9} 80>7 7|209b14 245l9 245t13 80r7 Right{45R9} 7|210b7 212r58 82V14*"and"{45R9} 83>7 83>13 7|158b14 203l9 203t13 343s38 83r7 Left{45R9} 7|159b7 161r58 83r13 Right{45R9} 7|159b13 162r58 85V14*"or"{45R9} 86>7 86>13 7|251b14 333l9 333t12 343s20 86r7 Left{45R9} 7|252b7 254r58 86r13 Right{45R9} 7|252b13 255r58 88V14*"xor"{45R9} 89>7 89>13 7|339b14 344l9 344t13 89r7 Left{45R9} 7|340b7 343r15 343r33 89r13 Right{45R9} 7|340b13 343r23 343r42 91V14*"-"{45R9} 92>7 92>13 7|40b14 141l9 141t11 343s30 92r7 Left{45R9} 7|41b7 43r58 59r17 92r13 Right{45R9} 7|41b13 44r58 94V13*Is_In{boolean} 95>7 96>7 7|406b13 436l8 436t13 95e7 Element{wide_wide_character} 7|407b7 427r16 429r19 96r7 Set{45R9} 7|408b7 411r63 98V13*Is_Subset{boolean} 99>7 100>7 105r12 7|442b13 482l8 482t17 99r7 Elements{45R9} 7|443b7 446r58 100r7 Set{45R9} 7|444b7 447r58 102V14*"<="=105:12{boolean} 103r7 Left{45R9} 104r7 Right{45R9} 107A12*Wide_Wide_Character_Sequence{wide_wide_string} 111r18 117r45 . 138r18 142r49 145r49 213r16 214r16 7|489r49 500r18 503r16 504r16 549r49 . 571r45 682r18 110V13*To_Set{45R9} 111>7 7|681b13 692l8 692t14 111a7 Sequence{107A12} 7|682b7 684r44 688r20 688r34 113V13*To_Set{45R9} 114>7 7|696b13 703l8 703t14 114e7 Singleton{wide_wide_character} 7|697b7 702r55 702r66 116V13*To_Sequence{107A12} 117>7 7|570b13 592l8 592t19 117r7 Set{45R9} 7|571b7 573r61 123R9*Wide_Wide_Character_Mapping<3|43R9> 124r41 128r17 131r24 139r14 142r13 . 145r13 220c9 222e14 224r34 229r42 230r42 231r42 238r24 7|350r38 364r40 . 392r42 489r13 501r13 549r13 710r17 127V13*Value{wide_wide_character} 128>7 129>7 7|709b13 745l8 745t13 128r7 Map{123R9} 7|710b7 715r66 129e7 Element{wide_wide_character} 7|711b7 727r20 734r16 737r19 131r4*Identity{123R9} 238c4 7|394r17 137V13*To_Mapping{123R9} 138>7 138>13 7|499b13 542l8 542t18 138a7 From{107A12} 7|500b7 503r51 508r10 514r19 516r19 518r22 521r33 527r31 138a13 To{107A12} 7|500b13 504r51 508r25 522r33 528r31 141V13*To_Domain{107A12} 142>7 7|488b13 493l8 493t17 142r7 Map{123R9} 7|489b7 492r14 144V13*To_Range{107A12} 145>7 7|548b13 553l8 553t16 145r7 Map{123R9} 7|549b7 552r14 147P9*Wide_Wide_Character_Mapping_Function(wide_wide_character) 148>24 148e24 From{wide_wide_character} 151K12 AF=151:27 173r40 190r18 220r44 239r18 7|139r15 201r15 243r15 331r15 . 536r18 658r15 674r18 701r10 170P9 Wide_Wide_Character_Ranges_Access(61A9) 174r13 7|43r21 44r21 161r21 . 162r21 212r21 254r21 255r21 380r10 411r26 446r21 447r21 573r24 174p7*Set{170P9} 191m18 7|43r63 44r64 140m15 151r19 151r35 161r63 162r64 . 202m15 212r64 244m15 254r63 255r64 332m15 357m14 357r60 383r17 384m23 411r67 . 446r67 447r62 563r18 573r65 659m15 675m18 702m10 182U14 Initialize<3|46p14> 182=26 7|397b14 400l8 400t18 182r26 Object{45R9} 7|397b26 399m7 183U14 Adjust<3|47p14> 183=26 7|355b14 358l8 358t14 183r26 Object{45R9} 7|355b22 357m7 357r53 184U14 Finalize<3|48p14> 184=26 7|376b14 386l8 386t16 184r26 Object{45R9} 7|376b24 383r10 384m16 384r16 186a4 Null_Range{61A9} 191r25 7|383r24 212R9 Wide_Wide_Character_Mapping_Values 212d45 215e14 218r17 233r32 7|352r25 . 367r10 537r29 212i45*Length{natural} 213r51 214r51 234m19 7|538m27 213a7*Domain{wide_wide_string} 235m19 7|492r22 539m27 719r15 734r29 737r32 214a7*Rangev{wide_wide_string} 236m19 7|540m27 552r22 741r26 217P9 Wide_Wide_Character_Mapping_Values_Access(212R9) 221r13 7|368r10 715r21 221p7*Map{217P9} 240m18 7|352m14 352r68 371r17 372m23 492r18 537m18 552r18 . 715r70 229U14 Initialize<3|46p14> 229=26 7|392b14 395l8 395t18 229r26 Object{123R9} 7|392b26 394m7 230U14 Adjust<3|47p14> 230=26 7|350b14 353l8 353t14 230r26 Object{123R9} 7|350b22 352m7 352r61 231U14 Finalize<3|48p14> 231=26 7|364b14 374l8 374t16 231r26 Object{123R9} 7|364b24 371r10 372m16 372r16 233r4 Null_Map{212R9} 240r25 7|371r24 X 7 a-stzmap.adb 43p7 LS{6|170P9} 46r49 58r10 62r19 73r29 76r32 78r27 79r25 88r34 90r33 91r31 . 109r33 117r33 118r31 126r15 129r29 133r27 135r27 44p7 RS{6|170P9} 46r59 58r30 63r18 67r13 73r16 84r16 88r19 96r57 105r61 109r19 . 110r57 46a7 Result{6|61A9} 75m13 76m13 104m16 105m16 128m10 129m10 135m13 140r54 50i7 N{natural} 74m13 74r18 75r21 76r21 103m16 103r21 104r24 105r24 127m10 . 127r15 128r18 129r18 134m13 134r18 135r21 140r67 51i7 R{natural} 63r13 67r17 68m13 68r18 73r20 84r20 88r23 96r61 97m19 97r24 . 105r65 109r23 110r61 111m19 111r24 52i7 L{natural} 62r23 73r33 76r36 77m13 77r18 78r23 79r29 88r38 89m19 89r24 . 90r29 91r35 109r37 116m19 116r24 117r29 118r35 126r10 129r33 132m13 132r18 . 133r23 135r31 54e7 Left_Low{wide_wide_character} 62m7 67r27 75r32 79m13 84r30 91m19 96m19 . 104r35 110m19 118m19 128r29 161p7 LS{6|170P9} 164r49 171r18 173r13 176r30 186r40 188r40 190r30 193r33 162p7 RS{6|170P9} 164r59 171r40 173r27 176r16 186r53 188r53 190r16 193r19 164a7 Result{6|61A9} 185m13 187m13 202r54 165i7 N{natural} 184m13 184r18 185r21 187r21 202r67 166i7 L{natural} 171r13 173r17 174m13 174r18 176r34 186r44 188r44 190r34 . 191m16 191r21 193r37 196m16 196r21 166i10 R{natural} 171r35 173r31 176r20 177m13 177r18 186r57 188r57 190r20 . 192m16 192r21 193r23 194m16 194r21 212p7 RS{6|170P9} 214r49 218r10 224r13 227r58 230r24 232r58 233r58 236r13 . 236r17 238r58 238r62 214a7 Result{6|61A9} 220m10 226m13 227m13 232m13 233m13 238m13 239m13 244r54 215i7 N{natural} 219m10 225m13 225r18 226r21 227r21 231m13 231r18 232r21 . 233r21 237m13 237r18 238r21 239r21 244r67 230i14 K{integer} 232r62 233r62 254p7 LS{6|170P9} 257r49 271r17 281r27 289r16 290r30 303r24 304r27 308r63 255p7 RS{6|170P9} 257r59 272r27 274r27 279r20 289r30 293r30 314r27 315r27 . 319r63 257a7 Result{6|61A9} 274m13 281m13 290m16 293m16 305r53 307m19 308r46 316r55 . 318m19 319r46 332r54 258i7 N{natural} 262m7 273m13 273r18 274r21 280m13 280r18 281r21 287m13 287r18 . 290r24 293r24 305r61 307r27 308r54 316r63 318r27 319r54 332r67 259i7 L{natural} 263m7 271r13 281r31 282m13 282r18 289r20 290r34 291m16 291r21 . 303r19 304r31 308r67 309m19 309r24 259i10 R{natural} 264m7 272r23 274r31 275m13 275r18 279r16 289r34 293r34 . 294m16 294r21 314r22 315r31 319r67 320m19 320r24 366U17 Free[10|20] 372s10 378U17 Free[10|20] 384s10 410i7 L{natural} 414m7 421r13 425r19 428m16 410i10 R{natural} 415m7 421r17 425r23 430m16 410i13 M{natural} 425m13 427r30 428r21 429r33 430r21 411p7 SS{6|170P9} 415r12 427r26 429r29 446p7 ES{6|170P9} 456r17 466r30 471r30 472r22 447p7 SS{6|170P9} 461r20 466r16 471r16 472r37 449i7 S{positive} 461r16 466r20 467m13 467r18 471r20 472r41 450i7 E{positive} 456r13 466r34 471r34 472r26 474m13 474r18 503a7 Domain{6|107A12} 516r30 518r33 519m19 519r46 521m19 527m13 539r37 504a7 Rangev{6|107A12} 520m19 520r46 522m19 528m13 540r37 505i7 N{natural} 515r27 519r36 519r59 520r36 520r59 527r21 528r21 531m16 . 531r21 538r37 539r50 540r50 514i14 J{integer} 516r25 518r28 521r39 522r39 527r37 528r37 515i17 M{integer} 516r38 518r41 519r27 519r54 520r27 520r54 521r27 522r27 530L15 Continue 523r24 573p7 SS{6|170P9} 578r16 580r46 581r46 585r19 586r22 586r36 574i7 N{natural} 587m16 587r21 588r24 575i7 Count{natural} 579m10 580r12 584r46 578i11 J{integer} 580r50 581r50 584a14 Result{wide_wide_string} 588m16 585i14 J{integer} 586r26 586r40 586e17 K{wide_wide_character} 588r30 603a7 Result{6|61A9} 617r33 618m16 618r43 619m16 624m10 636r13 636r31 638m13 . 638r32 640r42 641r12 643m13 644r40 644r57 647m13 647r36 654r10 654r28 659r54 604i7 N{natural} 616r24 618r33 618r56 624r18 627m13 627r18 635r17 637m13 . 637r18 638r26 638r49 646m13 646r18 647r30 647r53 654r18 654r36 655m10 655r15 . 659r67 605i7 J{natural} 634m7 635r13 636r21 636r39 638r21 638r40 640r50 641r20 643r21 . 644r48 644r65 647r21 647r44 650m13 650r18 615i11 J{integer} 617r24 619r38 624r36 616i14 K{integer} 617r41 618r24 618r51 619r24 626L12 Continue 620r21 684a7 R{6|61A9} 687r16 688m10 691r22 687i11 J{integer} 688r13 688r30 688r44 713i7 L{natural} 718m7 726r13 732r19 738m16 713i10 R{natural} 719m7 726r17 732r23 735m16 713i13 M{natural} 732m13 734r37 735r21 737r40 738r21 741r34 715p7 MV{6|217P9} 719r12 734r26 737r29 741r23 X 10 a-uncdea.ads 20u15*Unchecked_Deallocation 7|32w10 366r33 378r33 X 11 system.ads 67M9*Address X 15 s-memory.ads 53V13*Alloc{11|67M9} 103i22 68U14*Free 104i22 76V13*Realloc{11|67M9} 105i22 X 21 s-stalib.adb 93U14 Break_Start 94i22