Debug Mode

- No longer generates parsing diagrams if debug mode is off.
2011-08-23 07:14:26 -04:00
parent 1dc2257156
commit 9641dde54f
1 changed files with 62 additions and 59 deletions
--- a/src/A3.cpp
+++ b/src/A3.cpp
@@ -1990,6 +1990,8 @@ bool A3::is_operator (

 ////////////////////////////////////////////////////////////////////////////////
 void A3::dump (const std::string& label)
+{
+  if (context.config.getBoolean ("debug"))
  {
    // Set up a color mapping.
    std::map <int, Color> color_map;
@@ -2055,5 +2057,6 @@ void A3::dump (const std::string& label)
    out << view.render ();
    context.debug (out.str ());
  }
+}

 ////////////////////////////////////////////////////////////////////////////////