def check(self, input, file):
if self._allowed_id is None:
self._allowed_id = [
thin.Get_Identifier(n) for n in self._allowed_name
]
for unit in thinutils.chain_iter(iirs.Get_First_Design_Unit(file)):
for n in thinutils.chain_iter(iirs.Get_Context_Items(unit)):
if iirs.Get_Kind(n) != iirs.Iir_Kind.Use_Clause:
continue
cl = n
while cl != thin.Null_Iir:
self.check_clause(cl)
cl = iirs.Get_Use_Clause_Chain(cl)
def check(self, input, file):
for unit in thinutils.chain_iter(iirs.Get_First_Design_Unit(file)):
# Extract the list of clauses
clauses = []
for cl in thinutils.chain_iter(iirs.Get_Context_Items(unit)):
k = iirs.Get_Kind(cl)
if k == iirs.Iir_Kind.Library_Clause:
clauses.extend(self.extract_library(cl))
elif k == iirs.Iir_Kind.Use_Clause:
clauses.extend(self.extract_use(cl))
else:
assert False, "unknown context clause"
if clauses:
self.check_group(clauses)
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 check_assocs(self, n, inters, assocs):
if assocs == thin.Null_Iir:
# Also cover the case of no interfaces
return
inter = inters
for assoc in thinutils.chain_iter(assocs):
if iirs.Get_Kind(assoc) \
== iirs.Iir_Kind.Association_Element_By_Individual:
continue
formal = iirs.Get_Formal(assoc)
if formal == thin.Null_Iir:
self.error(
Location.from_node(assoc),
"association by position for {}".format(
nodeutils.get_identifier_str(inter)))
# Should the tool report all errors ?
return
assoc_inter = thin.Iirs_Utils.Get_Interface_Of_Formal(formal)
while assoc_inter != inter:
if inter == thin.Null_Iir:
self.error(
Location.from_node(assoc),
"incorrect association order for {}".format(
nodeutils.get_identifier_str(assoc_inter)))
return
inter = iirs.Get_Chain(inter)
if iirs.Get_Whole_Association_Flag(assoc):
inter = iirs.Get_Chain(inter)
def chk_context_clauses(self, parent, level):
for n in thinutils.chain_iter(iirs.Get_Context_Items(parent)):
k = iirs.Get_Kind(n)
if k == iirs.Iir_Kind.Library_Clause:
self.chk_level(n, elocs.Get_Start_Location(n), level)
# Check: same line for next clauses
elif k == iirs.Iir_Kind.Use_Clause:
self.chk_level(n, iirs.Get_Location(n), level)
# Check: same line for next clauses
else:
assert False, "unhandled context clause"
def check_entity(self, ent):
decl = iirs.Get_Declaration_Chain(ent)
if decl != thin.Null_Iir:
self.error(Location.from_node(decl),
"declaration not allowed in entity")
first_stmt = iirs.Get_Concurrent_Statement_Chain(ent)
for s in thinutils.chain_iter(first_stmt):
k = iirs.Get_Kind(s)
if k != iirs.Iir_Kind.Concurrent_Assertion_Statement:
self.error(Location.from_node(s),
"concurrent statement not allowed in entity")
def gather_identifiers(self, pkg):
res = set()
for d in thinutils.chain_iter(iirs.Get_Declaration_Chain(pkg)):
k = iirs.Get_Kind(d)
if d in iirs.Iir_Kinds.Specification:
continue
self.add_identifier(res, d)
if k in [
iirs.Iir_Kind.Type_Declaration,
iirs.Iir_Kind.Anonymous_Type_Declaration
]:
typ = iirs.Get_Type_Definition(d)
k = iirs.Get_Kind(typ)
if k == iirs.Iir_Kind.Enumeration_Type_Definition:
for lit in thinutils.list_iter(
iirs.Get_Enumeration_Literal_List(typ)):
self.add_identifier(res, lit)
elif k == iirs.Iir_Kind.Physical_Type_Definition:
for un in thinutils.chain_iter(iirs.Get_Unit_Chain(typ)):
self.add_identifier(res, un)
return res
def check(self, input, ast):
if 'top' not in input.props:
return
unit = iirs.Get_Library_Unit(ast)
if iirs.Get_Kind(unit) != iirs.Iir_Kind.Entity_Declaration:
return
for port in thinutils.chain_iter(iirs.Get_Port_Chain(unit)):
if not self.check_type(iirs.Get_Type(port)):
self.error(
Location.from_node(port),
"type of port '{0}' must be std_logic/_vector".format(
nodeutils.get_identifier_str(port)))
def check(self, input, ast):
for du in thinutils.chain_iter(iirs.Get_First_Design_Unit(ast)):
ent = iirs.Get_Library_Unit(du)
if iirs.Get_Kind(ent) != iirs.Iir_Kind.Entity_Declaration:
continue
gen = iirs.Get_Generic_Chain(ent)
if gen != thin.Null_Iir:
self.check_declarations(gen)
ports = iirs.Get_Port_Chain(ent)
if ports != thin.Null_Iir:
self.check_declarations(ports)
port = ports
while port != thin.Null_Iir:
if not iirs.Get_Has_Mode(port):
self.error(Location.from_node(port),
"in/out/inout required for port")
port = iirs.Get_Chain(port)
def extract_packages_from_context_clause(dsgn):
"""Return a list of package declarations from design unit dsgn (which must
have been analyzed)."""
res = []
for n in thinutils.chain_iter(iirs.Get_Context_Items(dsgn)):
if iirs.Get_Kind(n) != iirs.Iir_Kind.Use_Clause:
continue
cl = n
while cl != thin.Null_Iir:
name = iirs.Get_Selected_Name(cl)
if iirs.Get_Kind(name) == iirs.Iir_Kind.Selected_By_All_Name:
name = iirs.Get_Prefix(name)
name = iirs.Get_Named_Entity(name)
assert name != thin.Null_Iir, "unit not analyzed"
if iirs.Get_Kind(name) == iirs.Iir_Kind.Package_Declaration:
res.append(name)
cl = iirs.Get_Use_Clause_Chain(cl)
return res
def __init__(self, ruleexec, comment, rule, files):
super(TestRun, self).__init__(quiet=ruleexec._quiet)
print(' test: {0}'.format(comment))
if isinstance(files, str):
files = [files]
basedir = os.path.join(os.path.dirname(__file__), 'testfiles')
files = map(
lambda f: f
if f.startswith('--') else os.path.join(basedir, f), files)
# Be sure the work library is empty. This is brut force.
work = thin.Work_Library.value
if work != thin.Null_Iir:
for f in thinutils.chain_iter(iirs.Get_Design_File_Chain(work)):
thin.Purge_Design_File(f)
iirs.Set_Design_File_Chain(work, thin.Null_Iir)
self.add(rule)
self.execute(files)
if not self.is_ok():
ruleexec._nbr_errors += 1
sys.stderr.write("ERROR: {0}: test failed\n".format(rule.rulename))
def chk_concurrent(self, head, level):
nlevel = level + self._l
for n in thinutils.chain_iter(head):
self.chk_level(n, iirs.Get_Location(n), level)
k = iirs.Get_Kind(n)
if k == iirs.Iir_Kind.Component_Instantiation_Statement:
# TODO
pass
elif (k == iirs.Iir_Kind.Concurrent_Assertion_Statement
or k == iirs.Iir_Kind.Concurrent_Simple_Signal_Assignment
or k ==
iirs.Iir_Kind.Concurrent_Conditional_Signal_Assignment
or k == iirs.Iir_Kind.Concurrent_Selected_Signal_Assignment):
pass
elif k == iirs.Iir_Kind.Concurrent_Procedure_Call_Statement:
pass
elif k == iirs.Iir_Kind.Block_Statement:
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)
self.chk_level(n, elocs.Get_End_Location(n), level)
elif k == iirs.Iir_Kind.For_Generate_Statement:
self.chk_line_or_col(
n, iirs.Get_Location(n), elocs.Get_Generate_Location(n))
self.chk_generate_body(
iirs.Get_Generate_Statement_Body(n), level)
self.chk_level(n, elocs.Get_End_Location(n), level)
elif k == iirs.Iir_Kind.If_Generate_Statement:
self.chk_line_or_col(
n, iirs.Get_Location(n), elocs.Get_Generate_Location(n))
self.chk_generate_body(
iirs.Get_Generate_Statement_Body(n), level)
self.chk_level(n, elocs.Get_End_Location(n), level)
elif (k == iirs.Iir_Kind.Sensitized_Process_Statement
or k == iirs.Iir_Kind.Process_Statement):
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)
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 check(self, input, ast):
# Build the list of use'd packages.
pkgs = []
for n in thinutils.chain_iter(iirs.Get_Context_Items(ast)):
if iirs.Get_Kind(n) != iirs.Iir_Kind.Use_Clause:
continue
cl = n
while cl != thin.Null_Iir:
name = iirs.Get_Selected_Name(cl)
if iirs.Get_Kind(name) == iirs.Iir_Kind.Selected_By_All_Name:
name = iirs.Get_Prefix(name)
p = iirs.Get_Named_Entity(name)
if iirs.Get_Kind(p) == iirs.Iir_Kind.Package_Declaration:
pkgs.append(p)
cl = iirs.Get_Use_Clause_Chain(cl)
# Check dependences
for du in thinutils.list_iter(iirs.Get_Dependence_List(ast)):
lu = iirs.Get_Library_Unit(du)
if iirs.Get_Kind(lu) == iirs.Iir_Kind.Package_Declaration:
if lu != thin.Standard_Package.value and lu not in pkgs:
self.error(
Location.from_node(ast),
"unit depends on '{}' but not by a use clause".format(
nodeutils.get_identifier_str(lu)))
def check(self, input, ast):
assert iirs.Get_Kind(ast) == iirs.Iir_Kind.Design_File
for u in thinutils.chain_iter(iirs.Get_First_Design_Unit(ast)):
self.chk_context_clauses(u, 1)
lib_unit = iirs.Get_Library_Unit(u)
self.chk_library_unit(lib_unit, 1)
def check(self, input, ast):
assert iirs.Get_Kind(ast) == iirs.Iir_Kind.Design_File
for u in thinutils.chain_iter(iirs.Get_First_Design_Unit(ast)):
lu = iirs.Get_Library_Unit(u)
if iirs.Get_Kind(lu) == iirs.Iir_Kind.Entity_Declaration:
self.check_entity(lu)