Lines Matching full:last
66 Last : out Stream_Element_Offset);
83 Last : out Stream_Element_Offset) is
85 Last := Stream_Element_Offset'Min
86 (Item'Last,
89 for J in Item'First .. Last loop
109 Read_First := Read_Buffer'Last + 1;
110 Read_Last := Read_Buffer'Last;
137 Last : Stream_Element_Offset;
139 Read (Filter, Buffer, Last);
141 Pack_Size := Pack_Size + Last - Buffer'First + 1;
143 exit when Last < Buffer'Last;