Sem_Scopes: make Add_Declarations_Of_Concurrent_Statement and Add_Declarations

 public.

2 files changed, 11 insertions, 2 deletions

diff --git a/sem_scopes.adb b/sem_scopes.adb
index c5483e4..9eac434 100644
--- a/sem_scopes.adb
+++ b/sem_scopes.adb
@@ -909,9 +909,12 @@ package body Sem_Scopes is
       end loop;
    end Iterator_Decl_Chain;
 
-   procedure Add_Declarations is new Iterator_Decl_Chain
+   procedure Add_Declarations_1 is new Iterator_Decl_Chain
      (Arg_Type => Boolean, Handle_Decl => Add_Declaration);
 
+   procedure Add_Declarations (Chain : Iir; Potentially : Boolean := False)
+     renames Add_Declarations_1;
+
    procedure Add_Declarations_List is new Iterator_Decl_List
      (Arg_Type => Boolean, Handle_Decl => Add_Declaration);
 
diff --git a/sem_scopes.ads b/sem_scopes.ads
index 7126d38..161d99b 100644
--- a/sem_scopes.ads
+++ b/sem_scopes.ads
@@ -160,10 +160,16 @@ package Sem_Scopes is
    procedure Add_Protected_Type_Declarations
      (Decl : Iir_Protected_Type_Declaration);
 
-   --  Add declaration of interface chain CHAIN into the current
+   --  Add declarations of interface chain CHAIN into the current
    --  declarative region.
    procedure Add_Declarations_From_Interface_Chain (Chain : Iir);
 
+   --  Add all declarations for concurrent statements declared in PARENT.
+   procedure Add_Declarations_Of_Concurrent_Statement (Parent : Iir);
+
+   --  Add declarations of a declaration chain CHAIN.
+   procedure Add_Declarations (Chain : Iir; Potentially : Boolean := False);
+
    --  Scope extension area contains declarations from another declarative
    --  region.  These area are abstract and only used to be able to add
    --  and remove declarations.