Searched refs:Rest_Last (Results 1 – 13 of 13) sorted by relevance
93 Stream.Rest_Last := Stream.Buffer'Last;155 Rest_Last => Stream.Rest_Last);
408 pragma Assert (Rest_Last in Buffer'First - 1 .. Buffer'Last);411 if Rest_Last = Buffer'First - 1 then414 elsif Rest_First > Rest_Last then415 Read (Buffer, Rest_Last);418 if Rest_Last < Buffer'First then425 In_Data => Buffer (Rest_First .. Rest_Last),
97 Rest_Last : Stream_Element_Offset; component
75 Rest_Last => Read_Last);
269 Rest_First, Rest_Last : in out Ada.Streams.Stream_Element_Offset;