ada/libgnat/a-cfinve.ads

214      (New_Item : Element_Type;
224                 Item      => New_Item);
291       New_Item  : Element_Type)
300          and Element (Model (Container), Index) = New_Item
312       New_Item  : Vector)
316        Length (Container) <= Capacity (Container) - Length (New_Item)
321        Length (Container) = Length (Container)'Old + Length (New_Item)
333          and (if Length (New_Item) > 0 then
335                    (Left   => Model (New_Item),
338                      Lst    => Last_Index (New_Item),
348                 Offset => Length (New_Item));
353       New_Item  : Element_Type)
372          and Element (Model (Container), Before) = New_Item
386       New_Item  : Element_Type;
413                      Item      => New_Item))
424    procedure Prepend (Container : in out Vector; New_Item : Vector) with
426      Pre    => Length (Container) <= Capacity (Container) - Length (New_Item),
428        Length (Container) = Length (Container)'Old + Length (New_Item)
433                (Left  => Model (New_Item),
436                 Lst   => Last_Index (New_Item))
445                 Offset => Length (New_Item));
447    procedure Prepend (Container : in out Vector; New_Item : Element_Type) with
455          and Element (Model (Container), Index_Type'First) = New_Item
468       New_Item  : Element_Type;
482                 Item      => New_Item)
493    procedure Append (Container : in out Vector; New_Item : Vector) with
496        Length (Container) <= Capacity (Container) - Length (New_Item),
498        Length (Container) = Length (Container)'Old + Length (New_Item)
506          and (if Length (New_Item) > 0 then
508                    (Left   => Model (New_Item),
511                     Lst    => Last_Index (New_Item),
516    procedure Append (Container : in out Vector; New_Item : Element_Type) with
529                (Model (Container), Last_Index (Container)'Old + 1) = New_Item;
533       New_Item  : Element_Type;
553                      Item      => New_Item));