elada_1.8.7_b8188818/src/el-variables-default.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
-----------------------------------------------------------------------
--  el-variables-default -- Default Variable Mapper
--  Copyright (C) 2009, 2010, 2011, 2018, 2021 Stephane Carrez
--  Written by Stephane Carrez (Stephane.Carrez@gmail.com)
--  SPDX-License-Identifier: Apache-2.0
-----------------------------------------------------------------------

private with Ada.Strings.Unbounded;
private with Ada.Containers.Hashed_Maps;
private with Ada.Strings.Unbounded.Hash;
package EL.Variables.Default is

   --  Default Variable Mapper
   type Default_Variable_Mapper is new Variable_Mapper with private;

   overriding
   procedure Bind (Mapper : in out Default_Variable_Mapper;
                   Name   : in String;
                   Value  : in EL.Objects.Object);

   overriding
   function Get_Variable (Mapper : Default_Variable_Mapper;
                          Name   : Unbounded_String)
                          return EL.Expressions.Expression;

   overriding
   procedure Set_Variable (Mapper : in out Default_Variable_Mapper;
                           Name   : in Unbounded_String;
                           Value  : in EL.Expressions.Expression);

   --  Set the next variable mapper that will be used to resolve a variable if
   --  the current variable mapper does not find a variable.
   procedure Set_Next_Variable_Mapper (Mapper      : in out Default_Variable_Mapper;
                                       Next_Mapper : in Variable_Mapper_Access);

private

   use type EL.Expressions.Expression;

   package Variable_Maps is new
     Ada.Containers.Hashed_Maps (Key_Type      => Unbounded_String,
                                 Element_Type  => EL.Expressions.Expression,
                                 Hash          => Ada.Strings.Unbounded.Hash,
                                 Equivalent_Keys => "=");

   type Default_Variable_Mapper is new Variable_Mapper with record
      Next_Mapper : Variable_Mapper_Access := null;
      Map         : Variable_Maps.Map;
   end record;

end EL.Variables.Default;