Lines Matching defs:NewName
622 std::string NewName;
627 NewName = Name;
630 if (NewName.find_first_of("0123456789") == 0) {
631 NewName.insert(0, 1, 'n');
637 while ((pos = NewName.find_first_not_of(legal_elements)) != std::string::npos) {
638 char old_c = NewName.at(pos);
641 NewName = NewName.replace(pos, 1, new_str);
644 return NewName;