180string uint64_to_string(uint64_t value,
unsigned padding)
184 uint64_integer_to_buffer(value, tmp);
186 if (padding > ret.size())
188 ret.insert(0, padding - ret.size(),
' ');
193string int64_to_string(int64_t value,
unsigned padding)
197 int64_integer_to_buffer(value, tmp);
199 if (padding > ret.size())
201 ret.insert(0, padding - ret.size(),
' ');
206string uint64_to_string_hex(uint64_t value,
unsigned padding)
210 uint64_integer_to_buffer_hex(value, tmp);
212 if (padding > ret.size())
214 ret.insert(0, padding - ret.size(),
' ');
219string int64_to_string_hex(int64_t value,
unsigned padding)
223 int64_integer_to_buffer_hex(value, tmp);
225 if (padding > ret.size())
227 ret.insert(0, padding - ret.size(),
' ');