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