Separate public-facing and internal-facing interfaces to Statistics.

The external interface (e.g., what's answered by ExprManager::getStatistics() and SmtEngine::getStatistics()) is a snapshot of the current statistics (rather than a reference to the actual StatisticsRegistry).

The StatisticsRegistry is now internal-only.  However, it's built as a convenience library so that the parser and driver can use it too (by re-linking against it).

This is part of the ongoing effort to clean up the public interface.

(this commit was certified error- and warning-free by the test-and-commit script.)

1 files changed, 7 insertions, 3 deletions

diff --git a/src/expr/expr_manager_template.cpp b/src/expr/expr_manager_template.cpp
index 03f3a04b0..18b7bff0f 100644
--- a/src/expr/expr_manager_template.cpp
+++ b/src/expr/expr_manager_template.cpp
@@ -21,7 +21,7 @@
 #include "expr/variable_type_map.h"
 #include "context/context.h"
 #include "options/options.h"
-#include "util/stats.h"
+#include "util/statistics_registry.h"
 
 #include <map>
 
@@ -906,8 +906,12 @@ Context* ExprManager::getContext() const {
   return d_ctxt;
 }
 
-StatisticsRegistry* ExprManager::getStatisticsRegistry() const throw() {
-  return d_nodeManager->getStatisticsRegistry();
+Statistics ExprManager::getStatistics() const throw() {
+  return Statistics(*d_nodeManager->getStatisticsRegistry());
+}
+
+SExpr ExprManager::getStatistic(const std::string& name) const throw() {
+  return d_nodeManager->getStatisticsRegistry()->getStatistic(name);
 }
 
 namespace expr {