77 FrobbyStringStream::operator
const string&()
const {
82 unsigned long integer) {
83 unsigned long initialLength = str.size();
88 unsigned long quotient = integer / 10;
89 unsigned long remainder = integer - quotient * 10;
91 char digit =
static_cast<char>(remainder +
'0');
97 }
while (integer != 0);
101 reverse(str.begin() + initialLength, str.end());
105 const mpz_class& integer) {
106 str += integer.get_str();
110 if (integer.set_str(str, 10) != 0)
112 (
"Argument to FrobbyStringStream::parseInteger not a valid integer.");
FrobbyStringStream & operator<<(unsigned long integer)
NotAnIntegerException(const string &)
static void appendIntegerToString(string &str, unsigned long integer)
static void parseInteger(mpz_class &integer, const string &str)
Throws NotAnIntegerException if str is not the string representation of an integer.
A replacement for stringstream.