Searched refs:Rest_First (Results 1 – 5 of 5) sorted by relevance
92 Stream.Rest_First := Stream.Buffer'Last + 1;154 Rest_First => Stream.Rest_First,
407 pragma Assert (Rest_First in Buffer'First .. Buffer'Last + 1);414 elsif Rest_First > Rest_Last then416 Rest_First := Buffer'First;425 In_Data => Buffer (Rest_First .. Rest_Last),431 Rest_First := In_Last + 1;
96 Rest_First : Stream_Element_Offset; component
74 Rest_First => Read_First,
269 Rest_First, Rest_Last : in out Ada.Streams.Stream_Element_Offset;