V "GNAT Lib v9" A -gnatwa A -nostdinc A -O2 A -Wextra A -Wall A -fchecking=1 A -g A -gnatp A -gnatg A -mtune=pentium A -march=pentium P ZX RN RV NO_ALLOCATORS RV NO_LOCAL_ALLOCATORS RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_ACCESS RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV NO_IMPLICIT_ALIASING RV SPARK_05 U ada.containers.functional_base%b a-cofuba.adb a3f1fe22 NE OL PK GE W ada.containers%s a-contai.ads a-contai.ali U ada.containers.functional_base%s a-cofuba.ads 4571bdc7 BN NE OL PK GE W ada.containers%s a-contai.ads a-contai.ali D ada.ads 20200312140722 76789da1 ada%s D a-contai.ads 20200312140722 61e5e089 ada.containers%s D a-cofuba.ads 20200312140722 24945d4e ada.containers.functional_base%s D a-cofuba.adb 20200312140722 8765a36c ada.containers.functional_base%b D a-unccon.ads 20200312140722 0e9b276f ada.unchecked_conversion%s D system.ads 20200312140722 27426ea2 system%s D s-exctab.ads 20200312140722 54135002 system.exception_table%s D s-stalib.ads 20200312140722 09bd3940 system.standard_library%s X 1 ada.ads 16K9*Ada 20e8 3|45r9 117r5 4|34r14 250r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 3|45r13 117r9 4|34r18 250r9 20I9*Count_Type 3|55r43 88r66 101r35 101r57 4|36r52 37r7 41r34 46r66 . 95r11 114r66 142r11 159r43 165r66 166r11 185r11 220r20 232r23 236r14 X 3 a-cofuba.ads 38E9 Index_Type 47r30 48r6 48r23 48r44 58r37 63r11 70r11 74r40 4|90r11 132r37 . 182r40 204r11 42+9 Element_Type 43r37 58r56 64r11 71r11 77r38 103r38 4|46r45 91r11 103r26 . 114r45 125r38 132r56 205r11 211r45 43V19 "="{boolean} 43>23 43>29 4|61r33 117s32 43*23 Left{42+9} 43*29 Right{42+9} 45k24*Functional_Base 2|16k13 3|38z9 42z9 43z19 101E12 117l20 117e35 4|34b29 . 250l20 250t35 47E12*Extended_Index 77r59 4|36r29 38r9 39r9 39r29 41r53 42r7 43r20 43r40 . 125r59 50R9*Container 52r23 52r39 55r25 58r22 62r11 64r32 69r11 71r32 74r25 74r59 . 77r23 85r24 85r40 88r32 88r48 91r25 91r41 91r59 95r32 95r48 95r66 113c9 . 115e14 4|46r23 54r23 54r39 73r24 73r40 89r11 91r32 107r14 114r23 125r23 . 132r22 139r32 139r48 139r66 152r14 159r25 165r32 165r48 182r25 182r59 195r14 . 203r11 205r32 207r25 208r18 219r25 219r41 219r59 246r17 52V14*"="{boolean} 52>18 52>34 4|54b14 67l9 67t11 52r18 C1{50R9} 4|54b18 56r10 60r16 61r13 52r34 C2{50R9} 4|54b34 56r32 61r36 55V13*Length{2|20I9} 55>21 4|159b13 225s14 232s37 232s55 235s42 236s28 55r21 C{50R9} 4|159r58 58V13*Get{42+9} 58>18 58>33 4|132b13 58r18 C{50R9} 4|133r7 58*33 I{38E9} 4|133r29 61V13*Set{50R9} 62>7 63>7 64>7 4|202b13 213l8 213t11 62r7 C{50R9} 4|203b7 208r60 63*7 I{38E9} 4|204b7 211r34 64*7 E{42+9} 4|205b7 211r59 68V13*Add{50R9} 69>7 70>7 71>7 4|88b13 108l8 108t11 69r7 C{50R9} 4|89b7 94r37 98r21 101r22 70*7 I{38E9} 4|90b7 99r28 71*7 E{42+9} 4|91b7 103r40 74V13*Remove{50R9} 74>21 74>36 4|182b13 196l8 196t14 74r21 C{50R9} 4|182b21 184r37 188r16 191r22 74*36 I{38E9} 4|182b36 189r28 77V13*Find{47E12} 77>19 77>34 4|125b13 77r19 C{50R9} 4|126r23 77*34 E{42+9} 4|126r26 85V14*"<="{boolean} 85>19 85>35 4|73b14 82l9 82t12 85r19 C1{50R9} 4|73b19 75r16 76r23 85r35 C2{50R9} 4|73b35 76r19 88V13*Num_Overlaps{2|20I9} 88>27 88>43 4|141s37 165b13 176l8 176t20 220s34 88r27 C1{50R9} 4|165b27 169r16 170r23 88r43 C2{50R9} 4|165b43 170r19 91V13*Union{50R9} 91>20 91>36 4|219b13 248l8 248t13 91r20 C1{50R9} 4|219b20 220r48 226r17 232r45 235r23 235r50 236r36 240r22 91r36 C2{50R9} 4|219b36 220r52 225r22 232r63 239r19 240r26 242r25 95V13*Intersection{50R9} 95>27 95>43 4|139b13 153l8 153t20 95r27 C1{50R9} 4|139b27 141r51 145r16 146r23 148r22 95r43 C2{50R9} 4|139b43 141r55 146r19 101I12 Positive_Count_Type{2|20I9} 106r13 103P9 Element_Access(42+9) 106r46 105A9 Element_Array(103P9)<2|20I9> 108r49 111r10 4|94r17 141r17 184r17 208r45 . 234r20 108P9 Element_Array_Access(105A9) 110r42 114r18 4|93r20 140r20 183r20 233r23 110p4 Empty_Element_Array_Access{108P9} 114r42 114p7 Elements{108P9} 4|56r13 56r35 60r19 61r15 61r16 61r38 61r39 75r19 76r25 . 76r26 94r39 98r23 101r23 101r24 107m25 116r18 117r14 117r15 133r8 133r9 . 145r19 146r25 146r26 148r24 148r25 152m25 159r60 169r19 170r25 170r26 184r39 . 188r18 191r23 191r24 195m25 208m29 208r62 211r13 211r14 235r26 239r22 240r28 . 240r29 242r27 242r28 246m28 X 4 a-cofuba.adb 36V13 To_Count{2|20I9} 36>23 99s18 133s19 189s18 211s24 36*23 Idx{3|47E12} 38r29 41V13 To_Index{3|47E12} 41>23 126s7 41i23 Position{2|20I9} 43r9 46V13 Find{2|20I9} 46>19 46^34 76s13 114b13 123l8 123t12 126s17 146s13 170s13 . 240s16 46r19 C{3|50R9} 114b19 116r16 117r13 46p34 E(3|42+9) 114b34 117r34 60i11 I 61r26 61r49 75i11 I 76r36 93p7 A{3|108P9} 101r13 103r13 107r37 95i7 P{2|20I9} 100m13 100r18 101r34 98i11 J 99r13 101r16 103r16 116i11 I 117r25 118r20 140p7 A{3|108P9} 148r13 152r37 142i7 P{2|20I9} 147m13 147r18 148r16 145i11 I 146r36 148r35 166i7 P{2|20I9} 171m13 171r18 175r14 169i11 I 170r36 183p7 A{3|108P9} 191r13 195r37 185i7 P{2|20I9} 190m13 190r18 191r16 188i11 J 189r13 191r34 207r7 Result{3|50R9} 211r7 212r14 220i7 N{2|20I9} 225r10 232r51 232i10 L{2|20I9} 235r61 233p10 A{3|108P9} 242r16 246r40 236i10 P{2|20I9} 241m16 241r21 242r19 239i14 I 240r39 242r38