Searched refs:Right_Last (Results 1 – 1 of 1) sorted by relevance
132 Left_Last, Right_Last : Stream_Element_Offset; variable136 Read (Right, Right_Buffer, Right_Last);138 if Left_Last /= Right_Last then142 & Stream_Element_Offset'Image (Right_Last));147 /= Right_Buffer (0 .. Right_Last)