Searched refs:dumpInteger (Results 1 – 1 of 1) sorted by relevance
308 void dumpInteger(std::string& out, NumberType number) in dumpInteger() function521 dumpInteger(out, *(val.get_ptr<const int64_t*>())); in dump()527 dumpInteger(out, *(val.get_ptr<const uint64_t*>())); in dump()