| Nico Huber | 3a5cd8c | 2023-11-27 17:38:06 +0100 | [diff] [blame^] | 1 | with Interfaces; |
| 2 | with Interfaces.C; |
| 3 | |
| 4 | use Interfaces.C; |
| 5 | |
| Thomas Heijligen | d1e0457 | 2023-11-27 14:28:55 +0000 | [diff] [blame] | 6 | package FS.FILO is |
| 7 | |
| Nico Huber | 3a5cd8c | 2023-11-27 17:38:06 +0100 | [diff] [blame^] | 8 | private |
| 9 | type Partition_Length is range 0 .. Interfaces.Unsigned_64'Last; |
| 10 | |
| 11 | function Part_Length return Partition_Length; |
| 12 | |
| 13 | type File_Length is range 0 .. int'Last; -- Should be higher, fix FILO first |
| 14 | subtype File_Offset is File_Length range 0 .. File_Length'Last - 1; |
| 15 | |
| 16 | function File_Max return File_Length; |
| 17 | procedure Set_File_Max (Len : File_Length); |
| 18 | |
| 19 | function File_Pos return File_Offset; |
| 20 | procedure Set_File_Pos (Off : File_Offset); |
| 21 | |
| Thomas Heijligen | d1e0457 | 2023-11-27 14:28:55 +0000 | [diff] [blame] | 22 | end FS.FILO; |