SgNodeHelper::doubleQuotedEscapedHTMLString
Same as doubleQuotedEscapedString but also replaces <,<=,>=,> with the corresponding HTML codes. This is required when printing program code inside HTML tables of a dot file.
Synopsis
Declared in <src/midend/abstractLayer/SgNodeHelper.h>
std::string
doubleQuotedEscapedHTMLString(std::string s1);
Created with MrDocs