Merge from arrays2 branch.

1 files changed, 18 insertions, 0 deletions

diff --git a/src/util/stats.h b/src/util/stats.h
index 882cc1f81..a94733595 100644
--- a/src/util/stats.h
+++ b/src/util/stats.h
@@ -446,6 +446,24 @@ public:
 
 };/* class IntStat */
 
+template <class T>
+class SizeStat : public Stat {
+private:
+  const T& d_sized;
+public:
+  SizeStat(const std::string&name, const T& sized) :
+    Stat(name), d_sized(sized) {}
+  ~SizeStat() {}
+
+  void flushInformation(std::ostream& out) const {
+    out<< d_sized.size();
+  }
+  std::string getValue() const {
+    std::stringstream ss;
+    flushInformation(ss);
+    return ss.str();
+  }
+};/* class SizeStat */
 
 /**
  * The value for an AverageStat is the running average of (e1, e_2, ..., e_n),