Type-checking classes and hooks (not tested yet).

2 files changed, 6 insertions, 1 deletions

diff --git a/src/util/bitvector.h b/src/util/bitvector.h
index 1ab13230b..879680fd7 100644
--- a/src/util/bitvector.h
+++ b/src/util/bitvector.h
@@ -83,6 +83,10 @@ public:
   std::string toString(unsigned int base = 2) const {
     return d_value.get_str(base);
   }
+
+  unsigned getSize() const {
+    return d_size;
+  }
 };
 
 /**
diff --git a/src/util/exception.h b/src/util/exception.h
index 862597bae..48dcf1244 100644
--- a/src/util/exception.h
+++ b/src/util/exception.h
@@ -34,7 +34,8 @@ public:
   virtual ~Exception() throw() {}
   // NON-VIRTUAL METHOD for setting and printing the error message
   void setMessage(const std::string& msg) { d_msg = msg; }
-  // Printing: feel free to redefine toString().  When inherited,
+  std::string getMessage() const { return d_msg; }
+    // Printing: feel free to redefine toString().  When inherited,
   // it's recommended that this method print the type of exception
   // before the actual message.
   virtual std::string toString() const { return d_msg; }