diff options
| -rw-r--r-- | sem_scopes.adb | 5 | ||||
| -rw-r--r-- | sem_scopes.ads | 8 |
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. |