def chk_sequential(self, head, level):
nlevel = level + self._l
for n in thinutils.chain_iter(head):
k = iirs.Get_Kind(n)
self.chk_level(n, iirs.Get_Location(n), level)
if k == iirs.Iir_Kind.If_Statement:
self.chk_if_stmt(n, level)
elif (k == iirs.Iir_Kind.For_Loop_Statement
or k == iirs.Iir_Kind.While_Loop_Statement):
self.chk_line_or_col(
n, iirs.Get_Location(n), elocs.Get_Loop_Location(n))
self.chk_sequential(
iirs.Get_Sequential_Statement_Chain(n), nlevel)
self.chk_level(n, elocs.Get_End_Location(n), level)
elif k == iirs.Iir_Kind.Case_Statement:
alts = iirs.Get_Case_Statement_Alternative_Chain(n)
self.chk_case_alternatives(alts, nlevel)
elif (k == iirs.Iir_Kind.Wait_Statement
or k == iirs.Iir_Kind.Return_Statement
or k == iirs.Iir_Kind.Assertion_Statement
or k == iirs.Iir_Kind.Report_Statement
or k == iirs.Iir_Kind.Procedure_Call_Statement
or k == iirs.Iir_Kind.Null_Statement
or k == iirs.Iir_Kind.Exit_Statement
or k == iirs.Iir_Kind.Next_Statement):
pass
elif (k == iirs.Iir_Kind.Simple_Signal_Assignment_Statement
or k == iirs.Iir_Kind.Variable_Assignment_Statement):
pass
else:
assert False, "Indent: unhandled node {}".format(
thinutils.kind_image(k))
def chk_declarations(self, head, level):
nlevel = level + self._l
for n in thinutils.chain_iter(head):
k = iirs.Get_Kind(n)
if k == iirs.Iir_Kind.Constant_Declaration \
or k == iirs.Iir_Kind.Signal_Declaration \
or k == iirs.Iir_Kind.Variable_Declaration \
or k == iirs.Iir_Kind.File_Declaration \
or k == iirs.Iir_Kind.Object_Alias_Declaration \
or k == iirs.Iir_Kind.Attribute_Declaration \
or k == iirs.Iir_Kind.Attribute_Specification:
self.chk_level(n, elocs.Get_Start_Location(n), level)
elif (k == iirs.Iir_Kind.Configuration_Specification
or k == iirs.Iir_Kind.Disconnection_Specification):
self.chk_level(n, iirs.Get_Location(n), level)
elif (k == iirs.Iir_Kind.Subtype_Declaration
or k == iirs.Iir_Kind.Type_Declaration
or k == iirs.Iir_Kind.Anonymous_Type_Declaration):
self.chk_level(n, elocs.Get_Start_Location(n), level)
elif k == iirs.Iir_Kind.Component_Declaration:
self.chk_level(n, elocs.Get_Start_Location(n), level)
self.chk_level(n, elocs.Get_Generic_Location(n), nlevel)
self.chk_level(n, elocs.Get_Port_Location(n), nlevel)
self.chk_level(n, elocs.Get_End_Location(n), level)
elif (k == iirs.Iir_Kind.Function_Declaration
or k == iirs.Iir_Kind.Procedure_Declaration):
self.chk_level(n, elocs.Get_Start_Location(n), level)
elif (k == iirs.Iir_Kind.Function_Body
or k == iirs.Iir_Kind.Procedure_Body):
self.chk_declarations(iirs.Get_Declaration_Chain(n), nlevel)
self.chk_level(n, elocs.Get_Begin_Location(n), level)
self.chk_sequential(
iirs.Get_Sequential_Statement_Chain(n), nlevel)
self.chk_level(n, elocs.Get_End_Location(n), level)
# check start
elif k == iirs.Iir_Kind.Use_Clause:
self.chk_level(n, iirs.Get_Location(n), level)
else:
assert False, "unhandled declaration {}".format(
thinutils.kind_image(k))
def chk_library_unit(self, n, level):
k = iirs.Get_Kind(n)
nlevel = level + self._l
self.chk_level(n, elocs.Get_Start_Location(n), level)
if k == iirs.Iir_Kind.Package_Declaration \
or k == iirs.Iir_Kind.Package_Body:
self.chk_declarations(iirs.Get_Declaration_Chain(n), nlevel)
elif k == iirs.Iir_Kind.Entity_Declaration:
self.chk_level(n, elocs.Get_Generic_Location(n), nlevel)
self.chk_level(n, elocs.Get_Port_Location(n), nlevel)
self.chk_declarations(iirs.Get_Declaration_Chain(n), nlevel)
self.chk_level(n, elocs.Get_Begin_Location(n), level)
self.chk_concurrent(iirs.Get_Concurrent_Statement_Chain(n), nlevel)
elif k == iirs.Iir_Kind.Architecture_Body:
self.chk_declarations(iirs.Get_Declaration_Chain(n), nlevel)
self.chk_level(n, elocs.Get_Begin_Location(n), level)
self.chk_concurrent(iirs.Get_Concurrent_Statement_Chain(n), nlevel)
elif k == iirs.Iir_Kind.Configuration_Declaration:
self.chk_declarations(iirs.Get_Declaration_Chain(n), nlevel)
# TODO: block configuration
else:
assert False, "unhandled unit {}".format(thinutils.kind_image(k))
self.chk_level(n, elocs.Get_End_Location(n), level)