smt parser for bit-vectors

1 files changed, 11 insertions, 0 deletions

diff --git a/src/parser/antlr_input.h b/src/parser/antlr_input.h
index 1d6f5f790..441d2a0b3 100644
--- a/src/parser/antlr_input.h
+++ b/src/parser/antlr_input.h
@@ -134,6 +134,8 @@ public:
 
   /** Retrieve the text associated with a token. */
   inline static std::string tokenText(pANTLR3_COMMON_TOKEN token);
+  /** Retrieve an unsigned from the text of a token */
+  inline static unsigned tokenToUnsigned( pANTLR3_COMMON_TOKEN token );
   /** Retrieve an Integer from the text of a token */
   inline static Integer tokenToInteger( pANTLR3_COMMON_TOKEN token );
   /** Retrieve a Rational from the text of a token */
@@ -180,6 +182,15 @@ std::string AntlrInput::tokenText(pANTLR3_COMMON_TOKEN token) {
   return txt;
 }
 
+unsigned AntlrInput::tokenToUnsigned(pANTLR3_COMMON_TOKEN token) {
+  unsigned result;
+  std::stringstream ss;
+  ss << tokenText(token);
+  ss >> result;
+  return result;
+}
+
+
 Integer AntlrInput::tokenToInteger(pANTLR3_COMMON_TOKEN token) {
   Integer i( tokenText(token) );
   return i;