Lines Matching defs:Buffer
33 Free (Stream.Buffer);
91 Stream.Buffer := new Buffer_Subtype;
92 Stream.Rest_First := Stream.Buffer'Last + 1;
93 Stream.Rest_Last := Stream.Buffer'Last;
105 Buffer : Stream_Element_Array (1 .. Stream.Buffer_Size);
109 Flush (Stream.Writer, Buffer, Last, Mode);
111 Ada.Streams.Write (Stream.Back.all, Buffer (1 .. Last));
113 exit when Last < Buffer'Last;
153 Buffer => Stream.Buffer.all,
Indexes created Wed Oct 01 18:09:54 GMT 2025