| 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 | 5c43abc | 2023-12-11 15:24:36 +0000 | [diff] [blame] | 6 | package FILO.FS is |
| Thomas Heijligen | d1e0457 | 2023-11-27 14:28:55 +0000 | [diff] [blame] | 7 | |
| Nico Huber | 3a5cd8c | 2023-11-27 17:38:06 +0100 | [diff] [blame] | 8 | 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] | 9 | subtype File_Offset is File_Length; |
| Nico Huber | 3a5cd8c | 2023-11-27 17:38:06 +0100 | [diff] [blame] | 10 | |
| Nico Huber | 51f6041 | 2023-12-04 14:48:11 +0100 | [diff] [blame] | 11 | private |
| 12 | function Part_Len return Partition_Length; |
| 13 | |
| Nico Huber | 3a5cd8c | 2023-11-27 17:38:06 +0100 | [diff] [blame] | 14 | function File_Max return File_Length; |
| 15 | procedure Set_File_Max (Len : File_Length); |
| 16 | |
| 17 | function File_Pos return File_Offset; |
| 18 | procedure Set_File_Pos (Off : File_Offset); |
| 19 | |
| Thomas Heijligen | 5c43abc | 2023-12-11 15:24:36 +0000 | [diff] [blame] | 20 | end FILO.FS; |