Method EscapeStr

svf/lib/Graphs/GraphWriter.cpp:12–53

#include <string>

std::string SVF::DOT::EscapeStr(const std::string &Label)
{
    std::string Str(Label);
    for (unsigned i = 0; i != Str.length(); ++i)
        switch (Str[i])
        {
        case '\n':
            Str.insert(Str.begin()+i, '\\');  // Escape character...
            ++i;
            Str[i] = 'n';
            break;
        case '\t':
            Str.insert(Str.begin()+i, ' ');  // Convert to two spaces
            ++i;
            Str[i] = ' ';
            break;
        case '\\':
            if (i+1 != Str.length())
                switch (Str[i+1])
                {
                case 'l':
                    continue; // don't disturb \l
                case '|':
                case '{':
                case '}':
                    Str.erase(Str.begin()+i);
                    continue;
                default:
                    break;
                }
        case '{':
        case '}':
        case '<':
        case '>':
        case '|':
        case '"':
            Str.insert(Str.begin()+i, '\\');  // Escape character...
            ++i;  // don't infinite loop
            break;
        }
    return Str;
}