Lines Matching full:last
92 Stream.Rest_First := Stream.Buffer'Last + 1;
93 Stream.Rest_Last := Stream.Buffer'Last;
106 Last : Stream_Element_Offset;
109 Flush (Stream.Writer, Buffer, Last, Mode);
111 Ada.Streams.Write (Stream.Back.all, Buffer (1 .. Last));
113 exit when Last < Buffer'Last;
133 Last : out Stream_Element_Offset)
138 Last : out Stream_Element_Offset);
146 Last : out Stream_Element_Offset) is
148 Ada.Streams.Read (Stream.Back.all, Item, Last);
158 Read (Stream.Reader, Item, Last);
