cprover
|
ANSI-C Misc Utilities. More...
Go to the source code of this file.
Functions | |
static void | MetaChar (std::string &out, char c, bool inString) |
std::string | MetaString (const std::string &in) |
ANSI-C Misc Utilities.
Definition in file c_misc.cpp.
|
static |
Definition at line 22 of file c_misc.cpp.
Referenced by MetaString().
std::string MetaString | ( | const std::string & | in | ) |
Definition at line 104 of file c_misc.cpp.
References MetaChar().
Referenced by expr2ct::convert_norep(), expr2ct::convert_rec(), expr2cppt::convert_rec(), expr2javat::convert_with_precedence(), and expr2ct::convert_with_precedence().