ExternalVendorCode/genode
1
0
Fork 0
mirror of https://github.com/genodelabs/genode.git synced 2025-01-31 16:35:28 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

remove unused repos/app-file_cache* files

Browse Source 
These files sneaked in accidentally with the commit "Support GNAT.IO in Ada
programs".
This commit is contained in:
Martin Stein 2019-01-16 16:20:09 +01:00 committed by Norman Feske
parent 9a2bdf8798
commit f69d3020fd
3 changed files with 0 additions and 91 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
repos/app-file.ads
View File

@ -1,16 +0,0 @@
pragma Ada_2012;
package App.File with Spark_Mode is
type Chunk_Number_Type is new Integer;
type Chunk_Type is array (Positive range 1..4096) of Byte;
procedure Read(Offset : in Offset_Type;
Destination : in out Chunk_Type;
Size : in Size_Type)
with
import,
convention => c,
external_name => "c_genode_file_read";
end App.File;

40
repos/app-file_cache.adb
View File

@ -1,40 +0,0 @@
pragma Ada_2012;
with App.File;
use type App.File.Chunk_Number_Type;
package body App.File_Cache with Spark_Mode is
procedure Read_Chunk(Object_Private : in out Object_Private_Type;
Object_Public : in out Object_Public_Type;
Chunk_Number : in File.Chunk_Number_Type;
Chunk_In_Slot : out Boolean;
Slot_Index : out Slot_Array_Index_Type)
is
-- Object_Public.Slot_Array(1)'Address
begin
Object_Private.Slot_Array_Last_Index := 1;
Object_Public.Slot_Array(1)(1) := 0;
Chunk_In_Slot := False;
Slot_Index := 1;
Slot_Array_Loop : for Index in Object_Private.Slot_Array'Range loop
if Object_Private.Slot_Array(Index).Chunk_Number = Chunk_Number then
Chunk_In_Slot := True;
Slot_Index := Index;
exit Slot_Array_Loop;
end if;
end loop Slot_Array_Loop;
if not Chunk_In_Slot then
Log("Chunk in Slot");
-- File.Read(0, , Chunk_Type'Size / Byte'Size);
else
Log("Chunk not in Slot");
end if;
end Read_Chunk;
end App.File_Cache;

35
repos/app-file_cache.ads
View File

@ -1,35 +0,0 @@
pragma Ada_2012;
with App.File;
package App.File_Cache with Spark_Mode is
type Slot_Array_Index_Type is new Positive range 1..128;
type Slot_Array_Public_Type is array (Slot_Array_Index_Type) of File.Chunk_Type;
type Object_Private_Type is private;
type Object_Public_Type is record
Slot_Array : Slot_Array_Public_Type;
end record;
procedure Read_Chunk(Object_Private : in out Object_Private_Type;
Object_Public : in out Object_Public_Type;
Chunk_Number : in File.Chunk_Number_Type;
Chunk_In_Slot : out Boolean;
Slot_Index : out Slot_Array_Index_Type);
private
type Slot_Type is record
Used : Boolean := False;
Chunk_Number : File.Chunk_Number_Type := 0;
end record;
type Slot_Array_Private_Type is array (Slot_Array_Index_Type) of Slot_Type;
type Object_Private_Type is record
Slot_Array_Last_Index : Slot_Array_Index_Type;
Slot_Array : Slot_Array_Private_Type;
end record;
end App.File_Cache;