Lines Matching full:last
62 -- Simple_GZip_Header'Last > Footer_Array'Last, so do not make
63 -- Simple_GZip_Header'Last <= Footer_Array'Last.
220 Filter.Offset := Simple_GZip_Header'Last + 1;
251 Last : Stream_Element_Offset;
253 Translate (Filter, No_Data, Last, Out_Data, Out_Last, Flush);
269 Last : Stream_Element_Offset;
275 Data_In (In_Buffer, Last);
282 In_Data => In_Buffer (In_First .. Last),
286 Flush => Flush_Finish (Last < In_Buffer'First));
296 exit when In_Last = Last;
399 Last : out Ada.Streams.Stream_Element_Offset;
407 pragma Assert (Rest_First in Buffer'First .. Buffer'Last + 1);
408 pragma Assert (Rest_Last in Buffer'First - 1 .. Buffer'Last);
427 Out_Data => Item (Item_First .. Item'Last),
428 Out_Last => Last,
434 or else Last = Item'Last
435 or else (Last >= Item'First and then Allow_Read_Some);
437 Item_First := Last + 1;
449 and then Filter.Offset = Footer_Array'Last + 1;
541 In_Last := In_Data'Last
543 Out_Last := Out_Data'Last
582 if Data_First > Data'Last then
586 Data_Len := Data'Last - Data_First;
587 Out_Len := Out_Data'Last - Out_First;
591 Data_Last := Data'Last;
593 Out_Last := Out_Data'Last;
629 Out_Data => Out_Data (Out_First .. Out_Data'Last),
636 if Filter.Stream_End and then Out_Last <= Out_Data'Last then
638 -- Simple_GZip_Header'Last > Footer_Array'Last
640 if Filter.Offset = Simple_GZip_Header'Last + 1 then
648 Put_32 (Footer (Footer'First + 4 .. Footer'Last),
685 In_Data => Item (In_First .. Item'Last),
695 exit when In_Last = Item'Last or Stream_End (Filter);
