Lines Matching refs:Stream_Element_Offset

27    File_Size   : Stream_Element_Offset := 100_000;
42    Pack_Size : Stream_Element_Offset;
43    Offset    : Stream_Element_Offset;
54    Period  : constant Stream_Element_Offset := 200;
59    Read_First  : Stream_Element_Offset;
60    Read_Last   : Stream_Element_Offset;
66       Last : out Stream_Element_Offset);
83       Last : out Stream_Element_Offset) is
85       Last := Stream_Element_Offset'Min
132            (Stream_Element_Offset'Image (File_Size) & " ->");
137                Last   : Stream_Element_Offset;
147          Ada.Text_IO.Put_Line (Stream_Element_Offset'Image (Pack_Size));