Home | History | Annotate | Download | only in fully_lazy

Lines Matching defs:NewName

661   std::string NewName;
665   NewName = Name;
668   if (NewName.find_first_of("0123456789") == 0) {
669     NewName.insert(0, 1, 'n');
675   while ((pos = NewName.find_first_not_of(legal_elements)) != std::string::npos) {
677     NumStream << (int)NewName.at(pos);
678     NewName = NewName.replace(pos, 1, NumStream.str());
681   return NewName;