Lines Matching defs:Buffer
36 Buffer : Stream_Element_Array (1 .. 100_000);
66 if Buffer (Compare_First .. Next_First - 1) /= Item then
86 Buff_Diff : Stream_Element_Offset := Buffer'Last - Buffer_First;
94 Item := Buffer (Buffer_First .. Next_First - 1);
99 Item (Item'First .. Last) := Buffer (Buffer_First .. Buffer'Last);
100 Buffer_First := Buffer'Last + 1;
111 Buffer := (others => 20);
114 for J in Buffer'Range loop
115 Buffer (J) := Random_Elements.Random (Gen);
120 Buffer_First := Buffer'First;
121 Compare_First := Buffer'First;
125 if Compare_First /= Buffer'Last + 1 then
Indexes created Thu Oct 02 07:10:07 GMT 2025