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 ZX RN RV NO_STANDARD_STORAGE_POOLS RV NO_UNCHECKED_CONVERSION RV NO_DYNAMIC_SIZED_OBJECTS RV NO_IMPLEMENTATION_ATTRIBUTES RV NO_IMPLEMENTATION_PRAGMAS RV SPARK_05 U ada.containers.bounded_holders%b a-coboho.adb 5fa7e2b8 NE OL PK GE W ada.containers%s a-contai.ads a-contai.ali W system%s system.ads system.ali W unchecked_conversion%s U ada.containers.bounded_holders%s a-coboho.ads 7e8db8be BN NE OL PK GE W ada.containers%s a-contai.ads a-contai.ali W system%s system.ads system.ali N A41:4 codepeer skip_analysis D ada.ads 20070406091342 3ffc8e18 ada%s D a-contai.ads 20151020122137 61e5e089 ada.containers%s D a-coboho.ads 20151023123735 32cdc80f ada.containers.bounded_holders%s D a-coboho.adb 20151023123735 a745b4af ada.containers.bounded_holders%b D a-unccon.ads 20070406091342 f9eb8f06 ada.unchecked_conversion%s D system.ads 20151123113124 2da59038 system%s D s-exctab.ads 20140225151139 54135002 system.exception_table%s D s-stalib.ads 20151112104907 09bd3940 system.standard_library%s D unchconv.ads 20070406091342 ca2f9e18 unchecked_conversion%s X 1 ada.ads 16K9*Ada 19e8 3|40r9 114r5 4|30r14 99r5 X 2 a-contai.ads 16K13*Containers 1|16k9 2|24e19 3|40r13 114r9 4|30r18 99r9 X 3 a-coboho.ads 35+9 Element_Type 37r6 38r37 76r35 77r29 79r45 81r58 88r19 101r38 4|32r49 . 41r49 71r45 80r58 92r35 36i4 Max_Size_In_Storage_Elements{natural} 94r34 4|42r34 38V19 "="{boolean} 38>23 38>29 4|64s25 38*23 Left{35+9} 38*29 Right{35+9} 40k24*Bounded_Holders 2|16k13 3|35z9 36z4 38z19 91E9 114l20 114e35 4|30b29 . 99l20 99t35 72R9*Holder 74r32 76r56 77r50 79r30 81r38 93c9 96e6 4|62r32 71r30 80r38 92r56 . 94r23 74V14*"="{boolean} 74>18 74>24 4|62b14 65l9 65t11 74r18 Left{72R9} 4|62b18 64r19 74r24 Right{72R9} 4|62b24 64r32 76V13*To_Holder{72R9} 76>24 77r65 4|92b13 97l8 97t17 76*24 New_Item{35+9} 4|92b24 95r23 77V14*"+"=77:65{72R9} 77*18 New_Item{35+9} 79V13*Get{35+9} 79>18 4|64s14 64s27 71b13 74l8 74t11 79r18 Container{72R9} 4|71b18 73r20 81U14*Set 81=19 81>46 4|80b14 86l8 86t11 95s10 81r19 Container{72R9} 4|80b19 85m7 81*46 New_Item{35+9} 4|80b46 82r41 83r22 91M9 Storage_Element 92r55 92A9 Storage_Array(91M9) 94r14 4|81r17 94a7 Data{92A9} 4|85m17 101P9 Element_Access(35+9) 102r19 109r31 4|56r44 X 4 a-coboho.adb 32V13 Size_In_Storage_Elements{natural} 32>39 41b13 53l8 53t32 82s15 32*39 Element{3|35+9} 41b39 45r38 47r13 42i7 Max_Size=42:34{natural} 51r18 51r64 45i14 S{natural} 51r13 51r49 55V13 Cast[9|20]{3|101P9} 73s14 81a7 Storage{3|92A9} 85r23 85r41 94r14 Result{3|72R9} 95m15 95r15 X 6 system.ads 37K9*System 3|32w14 91r32 4|45r53 47r30 56r28 6|200e11 67M9*Address 4|56r35 71N4*Storage_Unit 3|91r39 4|45r60 47r37 X 9 unchconv.ads 20v10*Unchecked_Conversion 4|28w6 56r6