def check(self, input, node):
if iirs.Get_Kind(node) == iirs.Iir_Kind.Block_Statement:
hdr = iirs.Get_Block_Header(node)
if hdr != thin.Null_Iir:
if iirs.Get_Generic_Chain(hdr) != thin.Null_Iir:
self.error(Location.from_node(node),
"block cannot declare generics")
if iirs.Get_Port_Chain(hdr) != thin.Null_Iir:
self.error(Location.from_node(node),
"block cannot declare ports")
if iirs.Get_Guard_Decl(node) != thin.Null_Iir:
self.error(Location.from_node(node),
"block cannot have an implicit GUARD signal")
def declarations_iter(n):
"""Iterator on all declarations in n."""
k = iirs.Get_Kind(n)
if nodes_meta.Has_Generic_Chain(k):
for n1 in chain_iter(iirs.Get_Generic_Chain(n)):
yield n1
if nodes_meta.Has_Port_Chain(k):
for n1 in chain_iter(iirs.Get_Port_Chain(n)):
yield n1
if nodes_meta.Has_Interface_Declaration_Chain(k):
for n1 in chain_iter(iirs.Get_Interface_Declaration_Chain(n)):
yield n1
if nodes_meta.Has_Declaration_Chain(k):
for n1 in chain_iter(iirs.Get_Declaration_Chain(n)):
k1 = iirs.Get_Kind(n1)
if k1 in iirs.Iir_Kinds.Specification \
or k1 == iirs.Iir_Kind.Use_Clause:
# Not a declaration
pass
elif k1 == iirs.Iir_Kind.Signal_Attribute_Declaration:
# Not a declaration
pass
elif k1 in [
iirs.Iir_Kind.Type_Declaration,
iirs.Iir_Kind.Anonymous_Type_Declaration
]:
yield n1
# Handle nested declarations: record elements, physical units,
# enumeration literals...
typ = iirs.Get_Type_Definition(n1)
for n2 in declarations_iter(n1):
yield n2
else:
yield n1
# There can be nested declarations (subprograms)
for n2 in declarations_iter(n1):
yield n2
if nodes_meta.Has_Concurrent_Statement_Chain(k):
for n1 in chain_iter(iirs.Get_Concurrent_Statement_Chain(n)):
for n2 in declarations_iter(n1):
yield n2
if nodes_meta.Has_Sequential_Statement_Chain(k):
for n1 in chain_iter(iirs.Get_Sequential_Statement_Chain(n)):
for n2 in declarations_iter(n1):
yield n2
if nodes_meta.Has_Parameter_Specification(k):
yield iirs.Get_Parameter_Specification(n)
if nodes_meta.Has_Generate_Statement_Body(k):
for n1 in declarations_iter(iirs.Get_Generate_Statement_Body(n)):
yield n1
if nodes_meta.Has_Else_Clause(k):
n1 = iirs.Get_Else_Clause(n)
if n1 != Null_Iir:
for n2 in declarations_iter(n1):
yield n2
if nodes_meta.Has_Generate_Else_Clause(k):
n1 = iirs.Get_Generate_Else_Clause(n)
if n1 != Null_Iir:
for n2 in declarations_iter(n1):
yield n2
if nodes_meta.Has_Block_Header(k):
n1 = iirs.Get_Block_Header(n)
if n1 != Null_Iir:
for n2 in declarations_iter(n1):
yield n2
# All these nodes are handled:
if k in [
iirs.Iir_Kind.Entity_Declaration,
iirs.Iir_Kind.Architecture_Body,
iirs.Iir_Kind.Package_Declaration,
iirs.Iir_Kind.Package_Body,
iirs.Iir_Kind.Process_Statement,
iirs.Iir_Kind.Sensitized_Process_Statement,
iirs.Iir_Kind.Concurrent_Assertion_Statement,
iirs.Iir_Kind.Concurrent_Simple_Signal_Assignment,
iirs.Iir_Kind.Concurrent_Selected_Signal_Assignment,
iirs.Iir_Kind.Concurrent_Conditional_Signal_Assignment,
iirs.Iir_Kind.Concurrent_Procedure_Call_Statement,
iirs.Iir_Kind.Block_Statement,
iirs.Iir_Kind.Block_Header,
iirs.Iir_Kind.For_Generate_Statement,
iirs.Iir_Kind.If_Generate_Statement,
iirs.Iir_Kind.Generate_Statement_Body,
iirs.Iir_Kind.Assertion_Statement,
iirs.Iir_Kind.Wait_Statement,
iirs.Iir_Kind.Simple_Signal_Assignment_Statement,
iirs.Iir_Kind.Variable_Assignment_Statement,
iirs.Iir_Kind.For_Loop_Statement,
iirs.Iir_Kind.While_Loop_Statement,
iirs.Iir_Kind.Case_Statement,
iirs.Iir_Kind.Null_Statement,
iirs.Iir_Kind.Exit_Statement,
iirs.Iir_Kind.Next_Statement,
iirs.Iir_Kind.Procedure_Call_Statement,
iirs.Iir_Kind.Signal_Declaration,
iirs.Iir_Kind.Constant_Declaration,
iirs.Iir_Kind.Variable_Declaration,
iirs.Iir_Kind.File_Declaration,
iirs.Iir_Kind.Object_Alias_Declaration,
iirs.Iir_Kind.Attribute_Declaration,
iirs.Iir_Kind.Component_Declaration,
iirs.Iir_Kind.Use_Clause,
iirs.Iir_Kind.If_Statement,
iirs.Iir_Kind.Elsif,
iirs.Iir_Kind.Return_Statement,
iirs.Iir_Kind.Type_Declaration,
iirs.Iir_Kind.Anonymous_Type_Declaration,
iirs.Iir_Kind.Subtype_Declaration,
iirs.Iir_Kind.Function_Declaration,
iirs.Iir_Kind.Function_Body,
iirs.Iir_Kind.Procedure_Declaration,
iirs.Iir_Kind.Procedure_Body,
iirs.Iir_Kind.Component_Instantiation_Statement,
]:
return
assert False, "unknown node of kind {}".format(kind_image(k))