| 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 | type Partition_Length is range 0 .. Interfaces.Unsigned_64'Last; |
| 9 | |
| Nico Huber | 3a5cd8c | 2023-11-27 17:38:06 +0100 | [diff] [blame] | 10 | type File_Length is range 0 .. int'Last; -- Should be higher, fix FILO first |
| Nico Huber | f983931 | 2023-12-04 15:20:43 +0100 | [diff] [blame^] | 11 | subtype File_Offset is File_Length; |
| Nico Huber | 3a5cd8c | 2023-11-27 17:38:06 +0100 | [diff] [blame] | 12 | |
| Nico Huber | 51f6041 | 2023-12-04 14:48:11 +0100 | [diff] [blame] | 13 | private |
| 14 | function Part_Len return Partition_Length; |
| 15 | |
| Nico Huber | 3a5cd8c | 2023-11-27 17:38:06 +0100 | [diff] [blame] | 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; |