Added special escape sequences "\{", "\}", and "\|" when processing

getNodeLabel(); these sequences allow the user to specify the characters '{',
'}', and '|' in the label, which facilitate breaking the label into multiple
record segments.

llvm-svn: 46283
This commit is contained in:
Ted Kremenek 2008-01-23 22:29:58 +00:00
parent 95d46ef887
commit 9e7a112377
1 changed files with 7 additions and 2 deletions

View File

@ -48,8 +48,13 @@ namespace DOT { // Private functions...
Str[i] = ' ';
break;
case '\\':
if (i+1 != Str.length() && Str[i+1] == 'l')
break; // don't disturb \l
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 '"':