Lines Matching refs:First

218          Filter.Offset := Simple_GZip_Header'First;
277          In_First := In_Buffer'First;
286                Flush    => Flush_Finish (Last < In_Buffer'First));
288             if Out_Buffer'First <= Out_Last then
289                Data_Out (Out_Buffer (Out_Buffer'First .. Out_Last));
403       Item_First : Ada.Streams.Stream_Element_Offset := Item'First;
407       pragma Assert (Rest_First in Buffer'First .. Buffer'Last + 1);
408       pragma Assert (Rest_Last in Buffer'First - 1 .. Buffer'Last);
411          if Rest_Last = Buffer'First - 1 then
416             Rest_First := Buffer'First;
418             if Rest_Last < Buffer'First then
435            or else (Last >= Item'First and then Allow_Read_Some);
613          for J in Item'First .. Item'First + 3 loop
620       Out_Last := Out_Data'First - 1;
633          CRC32 (Filter.CRC, In_Data (In_Data'First .. In_Last));
641             Filter.Offset := Footer_Array'First;
648             Put_32 (Footer (Footer'First + 4 .. Footer'Last),
676       In_First : Stream_Element_Offset := Item'First;
691          if Out_Last >= Buffer'First then