Commit 15c5b7d5 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[gui][lib] Rename CLPropertyVisitor to PropertyVisitor; reference them in analyser visitors

parent a6b41322
......@@ -1142,7 +1142,7 @@ class CLUnfolder(object):
)
# Avoid name collisions of aux var
prop_visitor = CLPropertyVisitor(self.__lit_cpt)
prop_visitor = PropertyVisitor(self.__lit_cpt)
tree_prop.accept(prop_visitor)
self.__lit_cpt = prop_visitor.cpt # avoid name collisions of aux var
return prop_visitor.clauses
......@@ -1180,7 +1180,7 @@ class CLUnfolder(object):
)
# Avoid name collisions of aux var
prop_visitor = CLPropertyVisitor(self.__lit_cpt)
prop_visitor = PropertyVisitor(self.__lit_cpt)
tree_prop.accept(prop_visitor)
self.__lit_cpt = prop_visitor.cpt # avoid name collisions of aux var
return prop_visitor.clauses
......@@ -1771,7 +1771,7 @@ class CLUnfolder(object):
###############################################################################
class CLPropertyVisitor(object):
class PropertyVisitor(object):
"""
SigExpression on states and events into a set of clauses
Type checking must be done.
......@@ -1867,7 +1867,7 @@ class CLPropertyVisitor(object):
self.clauses.append(Clause([lit]))
return newl
# time operators
## Time operators ##########################################################
def visit_sig_default(self, exp):
"""
default translation
......
......@@ -50,9 +50,12 @@ Visitors::
(subset of sig expressions)
- :class:`SigExpIdCollectVisitor`: Collect idents in a sig expression
.. note:: 1 more visitor is kept for now at
:meth:`cadbiom.models.clause_constraints.mcl.CLUnfolder.CLPropertyVisitor`
for practical reasons (involve Clause and Literals).
.. note:: 2 more visitors are kept elsewhere for practical reasons and for now at:
- :meth:`cadbiom.models.clause_constraints.mcl.CLUnfolder.PropertyVisitor`
(involve Clause and Literals).
- :meth:`cadbiom_gui.gt_gui.chart_checker.chart_checker_controler.PropertyVisitor`
(used to get mandatory nodes in conditions of transitions)
"""
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment