/* DBOX Module Copyright (C) 1994-2000 Daniel Kroening Purpose: */ #include #include #include std::string htmlize_string(const std::string &s) { std::string dest; for(unsigned i=0; i': dest+=">"; break; case '"': dest+="""; break; default: dest+=s[i]; } } return dest; } static char hex_code[]="0123456789abcdef"; std::string urlize_string(const std::string &s) { std::string dest; for(unsigned i=0; i>4)&0xf]; dest+=hex_code[ch&0xf]; } else dest+=ch; } return dest; }