This package use the ARM semihosting feature to provide a low level driver to access the host file system. It is recommended to _not_ use this interface directly but to access the file system using the File_IO package. For more info, see the file system chapter of the documentation.
type Any_SHFS is access all SHFS'Class;
procedure Close (This : in out SHFS)
function Create_Directory (This : in out SHFS;
Path : String)
return Status_Code
function Create_File (This : in out SHFS;
Path : String)
return Status_Code
function Create_Node (This : in out SHFS;
Path : String;
Kind : File_Kind)
return Status_Code
type File_Kind is (Regular_File, Directory);
function Open (This : in out SHFS;
Path : String;
Handle : out Any_Directory_Handle)
return Status_Code
function Open (This : in out SHFS;
Path : String;
Mode : File_Mode;
Handler : out Any_File_Handle)
return Status_Code
function Remove_Directory (This : in out SHFS;
Path : String)
return Status_Code
function Rename (This : in out SHFS;
Old_Path : String;
New_Path : String)
return Status_Code
function Root_Node
(This : in out SHFS;
As : String;
Handle : out Any_Node_Handle)
return Status_Code
type SHFS is new HAL.Filesystem.Filesystem_Driver with private;
function Truncate_File (This : in out SHFS;
Path : String;
Length : File_Size)
return Status_Code
function Unlink (This : in out SHFS;
Path : String)
return Status_Code