|
CBMC
|
#include "expr2cpp.h"#include <util/c_types.h>#include <util/lispexpr.h>#include <util/lispirep.h>#include <util/namespace.h>#include <util/pointer_expr.h>#include <util/std_expr.h>#include <ansi-c/c_misc.h>#include <ansi-c/c_qualifiers.h>#include <ansi-c/expr2c_class.h>#include "cpp_name.h"#include "cpp_template_type.h"
Include dependency graph for expr2cpp.cpp:Go to the source code of this file.
Classes | |
| class | expr2cppt |
Functions | |
| std::string | expr2cpp (const exprt &expr, const namespacet &ns) |
| std::string | type2cpp (const typet &type, const namespacet &ns) |
| std::string expr2cpp | ( | const exprt & | expr, |
| const namespacet & | ns | ||
| ) |
Definition at line 495 of file expr2cpp.cpp.
| std::string type2cpp | ( | const typet & | type, |
| const namespacet & | ns | ||
| ) |
Definition at line 502 of file expr2cpp.cpp.