orka_b455160b/orka/src/orka/interface/orka-resources-locations.ads

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
--  SPDX-License-Identifier: Apache-2.0
--
--  Copyright (c) 2018 onox <denkpadje@gmail.com>
--
--  Licensed under the Apache License, Version 2.0 (the "License");
--  you may not use this file except in compliance with the License.
--  You may obtain a copy of the License at
--
--      http://www.apache.org/licenses/LICENSE-2.0
--
--  Unless required by applicable law or agreed to in writing, software
--  distributed under the License is distributed on an "AS IS" BASIS,
--  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
--  See the License for the specific language governing permissions and
--  limitations under the License.

with Ada.IO_Exceptions;

package Orka.Resources.Locations is
   pragma Preelaborate;

   type Location is limited interface;

   function Exists (Object : Location; Path : String) return Boolean is abstract;

   function Read_Data
     (Object : Location;
      Path   : String) return Byte_Array_Pointers.Pointer is abstract;
   --  Return the data of the file at the given path in the location if
   --  Path identifies an existing file, otherwise the exception Name_Error
   --  is raised
   --
   --  If the file at the given path could not be read for any reason
   --  then any kind of error is raised.

   type Writable_Location is limited interface and Location;

   procedure Write_Data
     (Object : Writable_Location;
      Path   : String;
      Data   : Byte_Array) is abstract;
   --  Write data to a non-existing file at the given path in the location
   --
   --  If the file at the given path could not be created or written to
   --  for any reason then any kind of error is raised.

   procedure Append_Data
     (Object : Writable_Location;
      Path   : String;
      Data   : Byte_Array) is abstract;
   --  Append data to a (non-)existing file at the given path in the location
   --
   --  If the file at the given path could not be created or written to
   --  for any reason then any kind of error is raised.

   type Location_Access is access all Location'Class;

   subtype Location_Ptr is not null Location_Access;

   type Writable_Location_Ptr is not null access Writable_Location'Class;

   Name_Error : exception renames Ada.IO_Exceptions.Name_Error;

   Path_Separator : constant Character
     with Import, Convention => C, External_Name => "__gnat_dir_separator";

end Orka.Resources.Locations;