84 std::string
toString(std::vector<int64_t> constants,
const char*(*stringifier)(int64_t))
const {
86 if (this->
vector() != Vector(0)) {
88 std::vector<Enum> members = this->
split(constants, leftovers );
89 for (Enum member: members) {
90 const char *name = stringifier(member);
91 ASSERT_not_null(name);
92 retval += std::string(retval.empty()?
"":
"|") + name;
94 if (leftovers != Vector(0))
95 retval += retval.empty()?
"":
"|" + (boost::format(
"%lx") % (
unsigned long)leftovers).str();
97 if (
const char* name = stringifier(0)) {