| 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 | b1cb2d3 | 2023-12-17 01:45:47 +0100 | [diff] [blame^] | 8 | type File_Type is (Dir, Regular, Link); |
| 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 | 5c43abc | 2023-12-11 15:24:36 +0000 | [diff] [blame] | 22 | end FILO.FS; |