Commit bb954cc9 authored by VIGNET Pierre's avatar VIGNET Pierre
Browse files

[lib] CLUnfolder: add doc __compile_event, __compile_property

parent c05baab5
......@@ -810,12 +810,14 @@ class CLUnfolder(object):
if self.__locked:
raise MCLException("Trying to compile property while unfolder is locked")
# syntax analyser and type checker
# property_text, symb_t, reporter
tree_prop = compile_cond(property_text,
self.__dyn_sys.symb_tab,
self.__dyn_sys.report)
# avoid name collisions of aux var
# Syntax analyser and type checker
# Compile a condition expression to a tree representation
tree_prop = compile_cond( ## TODO: AUDIT
property_text,
self.dynamic_system.symb_tab,
self.dynamic_system.report
)
# Avoid name collisions of aux var
prop_visitor = CLPropertyVisitor(self.__lit_cpt)
tree_prop.accept(prop_visitor)
self.__lit_cpt = prop_visitor.cpt # avoid name collisions of aux var
......@@ -836,10 +838,14 @@ class CLUnfolder(object):
raise MCLException("Trying to compile property while unfolder is locked")
# Syntax analyser and type checker
# Compile an event expression to a tree representation
# tree_prop is the event expression,
# ste the state events (s#> ..) used and
# fcl is the free clocks used in the event expression.
tree_prop, ste, fcl = compile_event(
property_text,
self.dynamic_system.symb_tab,
True,
True, # Collect free clocks (events)
self.dynamic_system.report
)
# Avoid name collisions of aux var
......
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