Home
last modified time | relevance | path

Searched refs:File_Size (Results 1 – 2 of 2) sorted by relevance

/external/zlib/src/contrib/ada/
Dread.adb27 File_Size : Stream_Element_Offset := 100_000; variable
87 Item'First + File_Size - Offset);
132 (Stream_Element_Offset'Image (File_Size) & " ->");
154 File_Size := File_Size + 1;
Dtest.adb34 File_Size : Count := 100_000; variable
210 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;