Searched refs:File_Size (Results 1 – 2 of 2) sorted by relevance
27 File_Size : Stream_Element_Offset := 100_000; variable87 Item'First + File_Size - Offset);132 (Stream_Element_Offset'Image (File_Size) & " ->");154 File_Size := File_Size + 1;
34 File_Size : Count := 100_000; variable210 Buffer_Count : constant Count := File_Size / Buffer'Length;251 (File_Size - Buffer'Length * Buffer_Count)));276 Width => Stream_IO.Count'Image (File_Size)'Length);457 Ada.Text_IO.Put_Line (Count'Image (File_Size) & " Ok.");461 File_Size := File_Size + 1;