synth: handle verification units.

2 files changed, 253 insertions, 245 deletions

diff --git a/python/libghdl/thin/vhdl/nodes.py b/python/libghdl/thin/vhdl/nodes.py
index 6c38ba503..380974b7b 100644
--- a/python/libghdl/thin/vhdl/nodes.py
+++ b/python/libghdl/thin/vhdl/nodes.py
@@ -1497,6 +1497,10 @@ Get_Vunit_Item_Chain = libghdl.vhdl__nodes__get_vunit_item_chain
 
 Set_Vunit_Item_Chain = libghdl.vhdl__nodes__set_vunit_item_chain
 
+Get_Bound_Vunit_Chain = libghdl.vhdl__nodes__get_bound_vunit_chain
+
+Set_Bound_Vunit_Chain = libghdl.vhdl__nodes__set_bound_vunit_chain
+
 Get_Block_Configuration = libghdl.vhdl__nodes__get_block_configuration
 
 Set_Block_Configuration = libghdl.vhdl__nodes__set_block_configuration
diff --git a/python/libghdl/thin/vhdl/nodes_meta.py b/python/libghdl/thin/vhdl/nodes_meta.py
index d1fa8aba4..7e45ba28e 100644
--- a/python/libghdl/thin/vhdl/nodes_meta.py
+++ b/python/libghdl/thin/vhdl/nodes_meta.py
@@ -145,251 +145,252 @@ class fields:
     Hierarchical_Name = 81
     Inherit_Spec_Chain = 82
     Vunit_Item_Chain = 83
-    Block_Configuration = 84
-    Concurrent_Statement_Chain = 85
-    Chain = 86
-    Port_Chain = 87
-    Generic_Chain = 88
-    Type = 89
-    Subtype_Indication = 90
-    Discrete_Range = 91
-    Type_Definition = 92
-    Subtype_Definition = 93
-    Incomplete_Type_Declaration = 94
-    Interface_Type_Subprograms = 95
-    Nature = 96
-    Mode = 97
-    Guarded_Signal_Flag = 98
-    Signal_Kind = 99
-    Base_Name = 100
-    Interface_Declaration_Chain = 101
-    Subprogram_Specification = 102
-    Sequential_Statement_Chain = 103
-    Subprogram_Body = 104
-    Overload_Number = 105
-    Subprogram_Depth = 106
-    Subprogram_Hash = 107
-    Impure_Depth = 108
-    Return_Type = 109
-    Implicit_Definition = 110
-    Default_Value = 111
-    Deferred_Declaration = 112
-    Deferred_Declaration_Flag = 113
-    Shared_Flag = 114
-    Design_Unit = 115
-    Block_Statement = 116
-    Signal_Driver = 117
-    Declaration_Chain = 118
-    File_Logical_Name = 119
-    File_Open_Kind = 120
-    Element_Position = 121
-    Use_Clause_Chain = 122
-    Context_Reference_Chain = 123
-    Selected_Name = 124
-    Type_Declarator = 125
-    Complete_Type_Definition = 126
-    Incomplete_Type_Ref_Chain = 127
-    Associated_Type = 128
-    Enumeration_Literal_List = 129
-    Entity_Class_Entry_Chain = 130
-    Group_Constituent_List = 131
-    Unit_Chain = 132
-    Primary_Unit = 133
-    Identifier = 134
-    Label = 135
-    Visible_Flag = 136
-    Range_Constraint = 137
-    Direction = 138
-    Left_Limit = 139
-    Right_Limit = 140
-    Left_Limit_Expr = 141
-    Right_Limit_Expr = 142
-    Base_Type = 143
-    Resolution_Indication = 144
-    Record_Element_Resolution_Chain = 145
-    Tolerance = 146
-    Plus_Terminal = 147
-    Minus_Terminal = 148
-    Simultaneous_Left = 149
-    Simultaneous_Right = 150
-    Text_File_Flag = 151
-    Only_Characters_Flag = 152
-    Is_Character_Type = 153
-    Type_Staticness = 154
-    Constraint_State = 155
-    Index_Subtype_List = 156
-    Index_Subtype_Definition_List = 157
-    Element_Subtype_Indication = 158
-    Element_Subtype = 159
-    Index_Constraint_List = 160
-    Array_Element_Constraint = 161
-    Elements_Declaration_List = 162
-    Owned_Elements_Chain = 163
-    Designated_Type = 164
-    Designated_Subtype_Indication = 165
-    Index_List = 166
-    Reference = 167
-    Nature_Declarator = 168
-    Across_Type = 169
-    Through_Type = 170
-    Target = 171
-    Waveform_Chain = 172
-    Guard = 173
-    Delay_Mechanism = 174
-    Reject_Time_Expression = 175
-    Sensitivity_List = 176
-    Process_Origin = 177
-    Package_Origin = 178
-    Condition_Clause = 179
-    Timeout_Clause = 180
-    Postponed_Flag = 181
-    Callees_List = 182
-    Passive_Flag = 183
-    Resolution_Function_Flag = 184
-    Wait_State = 185
-    All_Sensitized_State = 186
-    Seen_Flag = 187
-    Pure_Flag = 188
-    Foreign_Flag = 189
-    Resolved_Flag = 190
-    Signal_Type_Flag = 191
-    Has_Signal_Flag = 192
-    Purity_State = 193
-    Elab_Flag = 194
-    Configuration_Mark_Flag = 195
-    Configuration_Done_Flag = 196
-    Index_Constraint_Flag = 197
-    Hide_Implicit_Flag = 198
-    Assertion_Condition = 199
-    Report_Expression = 200
-    Severity_Expression = 201
-    Instantiated_Unit = 202
-    Generic_Map_Aspect_Chain = 203
-    Port_Map_Aspect_Chain = 204
-    Configuration_Name = 205
-    Component_Configuration = 206
-    Configuration_Specification = 207
-    Default_Binding_Indication = 208
-    Default_Configuration_Declaration = 209
-    Expression = 210
-    Conditional_Expression = 211
-    Allocator_Designated_Type = 212
-    Selected_Waveform_Chain = 213
-    Conditional_Waveform_Chain = 214
-    Guard_Expression = 215
-    Guard_Decl = 216
-    Guard_Sensitivity_List = 217
-    Signal_Attribute_Chain = 218
-    Block_Block_Configuration = 219
-    Package_Header = 220
-    Block_Header = 221
-    Uninstantiated_Package_Name = 222
-    Uninstantiated_Package_Decl = 223
-    Instance_Source_File = 224
-    Generate_Block_Configuration = 225
-    Generate_Statement_Body = 226
-    Alternative_Label = 227
-    Generate_Else_Clause = 228
-    Condition = 229
-    Else_Clause = 230
-    Parameter_Specification = 231
-    Parent = 232
-    Loop_Label = 233
-    Component_Name = 234
-    Instantiation_List = 235
-    Entity_Aspect = 236
-    Default_Entity_Aspect = 237
-    Binding_Indication = 238
-    Named_Entity = 239
-    Alias_Declaration = 240
-    Referenced_Name = 241
-    Expr_Staticness = 242
-    Error_Origin = 243
-    Operand = 244
-    Left = 245
-    Right = 246
-    Unit_Name = 247
-    Name = 248
-    Group_Template_Name = 249
-    Name_Staticness = 250
-    Prefix = 251
-    Signature_Prefix = 252
-    External_Pathname = 253
-    Pathname_Suffix = 254
-    Pathname_Expression = 255
-    In_Formal_Flag = 256
-    Slice_Subtype = 257
-    Suffix = 258
-    Index_Subtype = 259
-    Parameter = 260
-    Attr_Chain = 261
-    Signal_Attribute_Declaration = 262
-    Actual_Type = 263
-    Actual_Type_Definition = 264
-    Association_Chain = 265
-    Individual_Association_Chain = 266
-    Subprogram_Association_Chain = 267
-    Aggregate_Info = 268
-    Sub_Aggregate_Info = 269
-    Aggr_Dynamic_Flag = 270
-    Aggr_Min_Length = 271
-    Aggr_Low_Limit = 272
-    Aggr_High_Limit = 273
-    Aggr_Others_Flag = 274
-    Aggr_Named_Flag = 275
-    Aggregate_Expand_Flag = 276
-    Association_Choices_Chain = 277
-    Case_Statement_Alternative_Chain = 278
-    Choice_Staticness = 279
-    Procedure_Call = 280
-    Implementation = 281
-    Parameter_Association_Chain = 282
-    Method_Object = 283
-    Subtype_Type_Mark = 284
-    Type_Conversion_Subtype = 285
-    Type_Mark = 286
-    File_Type_Mark = 287
-    Return_Type_Mark = 288
-    Has_Disconnect_Flag = 289
-    Has_Active_Flag = 290
-    Is_Within_Flag = 291
-    Type_Marks_List = 292
-    Implicit_Alias_Flag = 293
-    Alias_Signature = 294
-    Attribute_Signature = 295
-    Overload_List = 296
-    Simple_Name_Identifier = 297
-    Simple_Name_Subtype = 298
-    Protected_Type_Body = 299
-    Protected_Type_Declaration = 300
-    Use_Flag = 301
-    End_Has_Reserved_Id = 302
-    End_Has_Identifier = 303
-    End_Has_Postponed = 304
-    Has_Label = 305
-    Has_Begin = 306
-    Has_End = 307
-    Has_Is = 308
-    Has_Pure = 309
-    Has_Body = 310
-    Has_Parameter = 311
-    Has_Component = 312
-    Has_Identifier_List = 313
-    Has_Mode = 314
-    Has_Class = 315
-    Suspend_Flag = 316
-    Is_Ref = 317
-    Is_Forward_Ref = 318
-    Psl_Property = 319
-    Psl_Sequence = 320
-    Psl_Declaration = 321
-    Psl_Expression = 322
-    Psl_Boolean = 323
-    PSL_Clock = 324
-    PSL_NFA = 325
-    PSL_Nbr_States = 326
-    PSL_Clock_Sensitivity = 327
-    PSL_EOS_Flag = 328
+    Bound_Vunit_Chain = 84
+    Block_Configuration = 85
+    Concurrent_Statement_Chain = 86
+    Chain = 87
+    Port_Chain = 88
+    Generic_Chain = 89
+    Type = 90
+    Subtype_Indication = 91
+    Discrete_Range = 92
+    Type_Definition = 93
+    Subtype_Definition = 94
+    Incomplete_Type_Declaration = 95
+    Interface_Type_Subprograms = 96
+    Nature = 97
+    Mode = 98
+    Guarded_Signal_Flag = 99
+    Signal_Kind = 100
+    Base_Name = 101
+    Interface_Declaration_Chain = 102
+    Subprogram_Specification = 103
+    Sequential_Statement_Chain = 104
+    Subprogram_Body = 105
+    Overload_Number = 106
+    Subprogram_Depth = 107
+    Subprogram_Hash = 108
+    Impure_Depth = 109
+    Return_Type = 110
+    Implicit_Definition = 111
+    Default_Value = 112
+    Deferred_Declaration = 113
+    Deferred_Declaration_Flag = 114
+    Shared_Flag = 115
+    Design_Unit = 116
+    Block_Statement = 117
+    Signal_Driver = 118
+    Declaration_Chain = 119
+    File_Logical_Name = 120
+    File_Open_Kind = 121
+    Element_Position = 122
+    Use_Clause_Chain = 123
+    Context_Reference_Chain = 124
+    Selected_Name = 125
+    Type_Declarator = 126
+    Complete_Type_Definition = 127
+    Incomplete_Type_Ref_Chain = 128
+    Associated_Type = 129
+    Enumeration_Literal_List = 130
+    Entity_Class_Entry_Chain = 131
+    Group_Constituent_List = 132
+    Unit_Chain = 133
+    Primary_Unit = 134
+    Identifier = 135
+    Label = 136
+    Visible_Flag = 137
+    Range_Constraint = 138
+    Direction = 139
+    Left_Limit = 140
+    Right_Limit = 141
+    Left_Limit_Expr = 142
+    Right_Limit_Expr = 143
+    Base_Type = 144
+    Resolution_Indication = 145
+    Record_Element_Resolution_Chain = 146
+    Tolerance = 147
+    Plus_Terminal = 148
+    Minus_Terminal = 149
+    Simultaneous_Left = 150
+    Simultaneous_Right = 151
+    Text_File_Flag = 152
+    Only_Characters_Flag = 153
+    Is_Character_Type = 154
+    Type_Staticness = 155
+    Constraint_State = 156
+    Index_Subtype_List = 157
+    Index_Subtype_Definition_List = 158
+    Element_Subtype_Indication = 159
+    Element_Subtype = 160
+    Index_Constraint_List = 161
+    Array_Element_Constraint = 162
+    Elements_Declaration_List = 163
+    Owned_Elements_Chain = 164
+    Designated_Type = 165
+    Designated_Subtype_Indication = 166
+    Index_List = 167
+    Reference = 168
+    Nature_Declarator = 169
+    Across_Type = 170
+    Through_Type = 171
+    Target = 172
+    Waveform_Chain = 173
+    Guard = 174
+    Delay_Mechanism = 175
+    Reject_Time_Expression = 176
+    Sensitivity_List = 177
+    Process_Origin = 178
+    Package_Origin = 179
+    Condition_Clause = 180
+    Timeout_Clause = 181
+    Postponed_Flag = 182
+    Callees_List = 183
+    Passive_Flag = 184
+    Resolution_Function_Flag = 185
+    Wait_State = 186
+    All_Sensitized_State = 187
+    Seen_Flag = 188
+    Pure_Flag = 189
+    Foreign_Flag = 190
+    Resolved_Flag = 191
+    Signal_Type_Flag = 192
+    Has_Signal_Flag = 193
+    Purity_State = 194
+    Elab_Flag = 195
+    Configuration_Mark_Flag = 196
+    Configuration_Done_Flag = 197
+    Index_Constraint_Flag = 198
+    Hide_Implicit_Flag = 199
+    Assertion_Condition = 200
+    Report_Expression = 201
+    Severity_Expression = 202
+    Instantiated_Unit = 203
+    Generic_Map_Aspect_Chain = 204
+    Port_Map_Aspect_Chain = 205
+    Configuration_Name = 206
+    Component_Configuration = 207
+    Configuration_Specification = 208
+    Default_Binding_Indication = 209
+    Default_Configuration_Declaration = 210
+    Expression = 211
+    Conditional_Expression = 212
+    Allocator_Designated_Type = 213
+    Selected_Waveform_Chain = 214
+    Conditional_Waveform_Chain = 215
+    Guard_Expression = 216
+    Guard_Decl = 217
+    Guard_Sensitivity_List = 218
+    Signal_Attribute_Chain = 219
+    Block_Block_Configuration = 220
+    Package_Header = 221
+    Block_Header = 222
+    Uninstantiated_Package_Name = 223
+    Uninstantiated_Package_Decl = 224
+    Instance_Source_File = 225
+    Generate_Block_Configuration = 226
+    Generate_Statement_Body = 227
+    Alternative_Label = 228
+    Generate_Else_Clause = 229
+    Condition = 230
+    Else_Clause = 231
+    Parameter_Specification = 232
+    Parent = 233
+    Loop_Label = 234
+    Component_Name = 235
+    Instantiation_List = 236
+    Entity_Aspect = 237
+    Default_Entity_Aspect = 238
+    Binding_Indication = 239
+    Named_Entity = 240
+    Alias_Declaration = 241
+    Referenced_Name = 242
+    Expr_Staticness = 243
+    Error_Origin = 244
+    Operand = 245
+    Left = 246
+    Right = 247
+    Unit_Name = 248
+    Name = 249
+    Group_Template_Name = 250
+    Name_Staticness = 251
+    Prefix = 252
+    Signature_Prefix = 253
+    External_Pathname = 254
+    Pathname_Suffix = 255
+    Pathname_Expression = 256
+    In_Formal_Flag = 257
+    Slice_Subtype = 258
+    Suffix = 259
+    Index_Subtype = 260
+    Parameter = 261
+    Attr_Chain = 262
+    Signal_Attribute_Declaration = 263
+    Actual_Type = 264
+    Actual_Type_Definition = 265
+    Association_Chain = 266
+    Individual_Association_Chain = 267
+    Subprogram_Association_Chain = 268
+    Aggregate_Info = 269
+    Sub_Aggregate_Info = 270
+    Aggr_Dynamic_Flag = 271
+    Aggr_Min_Length = 272
+    Aggr_Low_Limit = 273
+    Aggr_High_Limit = 274
+    Aggr_Others_Flag = 275
+    Aggr_Named_Flag = 276
+    Aggregate_Expand_Flag = 277
+    Association_Choices_Chain = 278
+    Case_Statement_Alternative_Chain = 279
+    Choice_Staticness = 280
+    Procedure_Call = 281
+    Implementation = 282
+    Parameter_Association_Chain = 283
+    Method_Object = 284
+    Subtype_Type_Mark = 285
+    Type_Conversion_Subtype = 286
+    Type_Mark = 287
+    File_Type_Mark = 288
+    Return_Type_Mark = 289
+    Has_Disconnect_Flag = 290
+    Has_Active_Flag = 291
+    Is_Within_Flag = 292
+    Type_Marks_List = 293
+    Implicit_Alias_Flag = 294
+    Alias_Signature = 295
+    Attribute_Signature = 296
+    Overload_List = 297
+    Simple_Name_Identifier = 298
+    Simple_Name_Subtype = 299
+    Protected_Type_Body = 300
+    Protected_Type_Declaration = 301
+    Use_Flag = 302
+    End_Has_Reserved_Id = 303
+    End_Has_Identifier = 304
+    End_Has_Postponed = 305
+    Has_Label = 306
+    Has_Begin = 307
+    Has_End = 308
+    Has_Is = 309
+    Has_Pure = 310
+    Has_Body = 311
+    Has_Parameter = 312
+    Has_Component = 313
+    Has_Identifier_List = 314
+    Has_Mode = 315
+    Has_Class = 316
+    Suspend_Flag = 317
+    Is_Ref = 318
+    Is_Forward_Ref = 319
+    Psl_Property = 320
+    Psl_Sequence = 321
+    Psl_Declaration = 322
+    Psl_Expression = 323
+    Psl_Boolean = 324
+    PSL_Clock = 325
+    PSL_NFA = 326
+    PSL_Nbr_States = 327
+    PSL_Clock_Sensitivity = 328
+    PSL_EOS_Flag = 329
 
 
 Get_Boolean = libghdl.vhdl__nodes_meta__get_boolean
@@ -707,6 +708,9 @@ Has_Inherit_Spec_Chain =\
 Has_Vunit_Item_Chain =\
     libghdl.vhdl__nodes_meta__has_vunit_item_chain
 
+Has_Bound_Vunit_Chain =\
+    libghdl.vhdl__nodes_meta__has_bound_vunit_chain
+
 Has_Block_Configuration =\
     libghdl.vhdl__nodes_meta__has_block_configuration