Searched refs:Left_Last (Results 1 – 3 of 3) sorted by relevance
132 Left_Last, Right_Last : Stream_Element_Offset; variable135 Read (Left, Left_Buffer, Left_Last);138 if Left_Last /= Right_Last then140 & Stream_Element_Offset'Image (Left_Last)146 elsif Left_Buffer (0 .. Left_Last)154 exit when Left_Last < Left_Buffer'Last;