1------------------------------------------------------------------------------
2--                                                                          --
3--                         GNAT COMPILER COMPONENTS                         --
4--                                                                          --
5--                              P R J . E X T                               --
6--                                                                          --
7--                                 S p e c                                  --
8--                                                                          --
9--          Copyright (C) 2000-2013, Free Software Foundation, Inc.         --
10--                                                                          --
11-- GNAT is free software;  you can  redistribute it  and/or modify it under --
12-- terms of the  GNU General Public License as published  by the Free Soft- --
13-- ware  Foundation;  either version 3,  or (at your option) any later ver- --
14-- sion.  GNAT is distributed in the hope that it will be useful, but WITH- --
15-- OUT ANY WARRANTY;  without even the  implied warranty of MERCHANTABILITY --
16-- or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License --
17-- for  more details.  You should have  received  a copy of the GNU General --
18-- Public License  distributed with GNAT; see file COPYING3.  If not, go to --
19-- http://www.gnu.org/licenses for a complete copy of the license.          --
20--                                                                          --
21-- GNAT was originally developed  by the GNAT team at  New York University. --
22-- Extensive contributions were provided by Ada Core Technologies Inc.      --
23--                                                                          --
24------------------------------------------------------------------------------
25
26--  Subprograms to set, get and cache external references, to be used as
27--  External functions in project files.
28
29with GNAT.Dynamic_HTables;
30
31package Prj.Ext is
32
33   -------------------------
34   -- External References --
35   -------------------------
36
37   --  External references influence the way a project tree is processed (in
38   --  particular they provide the values for the typed string variables that
39   --  are then used in case constructions).
40
41   --  External references are project-tree specific, so that when multiple
42   --  trees are loaded in parallel we can have different scenarios (or even
43   --  load the same tree twice and see different views of it).
44
45   type External_References is private;
46   No_External_Refs : constant External_References;
47
48   procedure Initialize
49     (Self      : out External_References;
50      Copy_From : External_References := No_External_Refs);
51   --  Initialize Self, and copy all values from Copy_From if needed.
52   --  This has no effect if Self was already initialized.
53
54   procedure Free (Self : in out External_References);
55   --  Free memory used by Self
56
57   type External_Source is
58     (From_Command_Line,
59      From_Environment,
60      From_External_Attribute);
61   --  Indicates where was the value of an external reference defined. They are
62   --  prioritized in that order, so that a user can always use the command
63   --  line to override a value coming from his environment, or an environment
64   --  variable to override a value defined in an aggregate project through the
65   --  "for External()..." attribute.
66
67   procedure Add
68     (Self          : External_References;
69      External_Name : String;
70      Value         : String;
71      Source        : External_Source := External_Source'First;
72      Silent        : Boolean := False);
73   --  Add an external reference (or modify an existing one). No overriding is
74   --  done if the Source's priority is less than the one used to previously
75   --  set the value of the variable. The default for Source is such that
76   --  overriding always occurs. When Silent is True, nothing is output even
77   --  with non default verbosity.
78
79   function Value_Of
80     (Self          : External_References;
81      External_Name : Name_Id;
82      With_Default  : Name_Id := No_Name)
83      return          Name_Id;
84   --  Get the value of an external reference, and cache it for future uses
85
86   function Check
87     (Self        : External_References;
88      Declaration : String) return Boolean;
89   --  Check that an external declaration <external>=<value> is correct.
90   --  If it is correct, the external reference is Added.
91
92   procedure Reset (Self : External_References);
93   --  Clear the internal data structure that stores the external references
94   --  and free any allocated memory.
95
96private
97   --  Use a Static_HTable, rather than a Simple_HTable
98
99   --  The issue is that we need to be able to copy the contents of the table
100   --  (in Initialize), but this isn't doable for Simple_HTable for which
101   --  iterators do not return the key.
102
103   type Name_To_Name;
104   type Name_To_Name_Ptr is access all Name_To_Name;
105   type Name_To_Name is record
106      Key    : Name_Id;
107      Value  : Name_Id;
108      Source : External_Source;
109      Next   : Name_To_Name_Ptr;
110   end record;
111
112   procedure Set_Next (E : Name_To_Name_Ptr; Next : Name_To_Name_Ptr);
113   function  Next     (E : Name_To_Name_Ptr) return Name_To_Name_Ptr;
114   function  Get_Key  (E : Name_To_Name_Ptr) return Name_Id;
115
116   package Name_To_Name_HTable is new GNAT.Dynamic_HTables.Static_HTable
117     (Header_Num => Header_Num,
118      Element    => Name_To_Name,
119      Elmt_Ptr   => Name_To_Name_Ptr,
120      Null_Ptr   => null,
121      Set_Next   => Set_Next,
122      Next       => Next,
123      Key        => Name_Id,
124      Get_Key    => Get_Key,
125      Hash       => Hash,
126      Equal      => "=");
127   --  General type for htables associating name_id to name_id. This is in
128   --  particular used to store the values of external references.
129
130   type Instance_Access is access all Name_To_Name_HTable.Instance;
131
132   type External_References is record
133      Refs : Instance_Access;
134      --  External references are stored in this hash table (and manipulated
135      --  through subprogrames in prj-ext.ads). External references are
136      --  project-tree specific so that one can load the same tree twice but
137      --  have two views of it, for instance.
138   end record;
139
140   No_External_Refs : constant External_References := (Refs => null);
141
142end Prj.Ext;
143