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

Cleaner exception handle

parent d23c0db0
......@@ -596,12 +596,13 @@ class CLUnfolder(object):
MODIFIES __lit_cpt for numbering of auxiliary variables (not coding)
"""
if self.__locked:
mess = "Trying to compile property while unfolder is locked"
raise MCLException(mess)
reporter = self.__dyn_sys.report
symb_t = self.__dyn_sys.symb_tab
raise MCLException("Trying to compile property while unfolder is locked")
# syntax analyser and type checker
tree_prop = compile_cond(property_text, symb_t, reporter)
# 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
prop_visitor = CLPropertyVisitor(self.__lit_cpt)
tree_prop.accept(prop_visitor)
......
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