blob: 730cd11026d6de81c065ce8e7f7a96bf244ca8c6 [file] [log] [blame]
Nico Huber1d7727f2023-11-30 15:58:46 +01001with Interfaces;
2
3with FS.FILO.Dev;
4
5package body FS.FILO.Ext2 is
6
Nico Huber57d3a852023-12-04 15:42:40 +01007 function Is_Mounted (State : T) return Boolean is (State.S >= Mounted);
8 function Is_Open (State : T) return Boolean is (State.S = File_Opened);
9
10 procedure Mount
11 (State : in out T;
12 Part_Len : in Partition_Length;
13 Success : out Boolean)
Nico Huber1d7727f2023-11-30 15:58:46 +010014 is
15 begin
16 Success := False;
17 end Mount;
18
Nico Huber57d3a852023-12-04 15:42:40 +010019 procedure Open
20 (State : in out T;
21 File_Len : out File_Length;
22 File_Path : in String;
23 Success : out Boolean)
Nico Huber1d7727f2023-11-30 15:58:46 +010024 is
25 begin
Nico Huber57d3a852023-12-04 15:42:40 +010026 File_Len := 0;
Nico Huber1d7727f2023-11-30 15:58:46 +010027 Success := False;
28 end Open;
29
Nico Huber57d3a852023-12-04 15:42:40 +010030 procedure Close (State : in out T) is
31 begin
32 State.S := Mounted;
33 end Close;
Nico Huber1d7727f2023-11-30 15:58:46 +010034
Nico Huber57d3a852023-12-04 15:42:40 +010035 procedure Read
36 (State : in out T;
37 File_Len : in File_Length;
38 File_Pos : in out File_Offset;
39 Buf : out Buffer_Type;
40 Len : out Natural)
Nico Huber1d7727f2023-11-30 15:58:46 +010041 is
42 begin
Nico Huber57d3a852023-12-04 15:42:40 +010043 Buf := (others => 0);
Nico Huber1d7727f2023-11-30 15:58:46 +010044 Len := 0;
45 end Read;
46
47end FS.FILO.Ext2;