Merge pull request #1432 from diffblue/smvlang-element-show

extract smv_parse_treet::modulet::elementt::show

Author: tautschnig

src/smvlang/smv_parse_tree.cpp

@@ -97,6 +97,12 @@ std::string to_string(smv_parse_treet::modulet::elementt::element_typet i)
   return "";
 }
 
+void smv_parse_treet::modulet::elementt::show(std::ostream &out) const
+{
+  out << "    TYPE: " << to_string(element_type) << '\n';
+  out << "    EXPR: " << expr.pretty() << '\n';
+}
+
 void smv_parse_treet::show(std::ostream &out) const
 {
   for(auto &module_it : modules)
@@ -144,9 +150,8 @@ void smv_parse_treet::show(std::ostream &out) const
 
     for(auto &element : module.elements)
     {
-      out << "    TYPE: " << to_string(element.element_type) << '\n';
-      out << "    EXPR: " << element.expr.pretty() << '\n';
-      out << std::endl;
+      element.show(out);
+      out << '\n';
     }
   }
 }

src/smvlang/smv_parse_tree.h

@@ -150,6 +150,8 @@ class smv_parse_treet
           is_define());
         return to_equal_expr(expr);
       }
+
+      void show(std::ostream &) const;
     };
 
     typedef std::list<elementt> element_listt;