12 #ifndef CPROVER_CPP_CPP_LANGUAGE_H 13 #define CPROVER_CPP_CPP_LANGUAGE_H 27 std::istream &instream,
28 const std::string &path,
29 std::ostream &outstream)
override;
32 std::istream &instream,
33 const std::string &path)
override;
40 const std::string &module)
override;
45 const std::string &module,
73 const std::string &code,
74 const std::string &module,
79 {
return util_make_unique<cpp_languaget>(); }
81 std::string
id()
const override {
return "cpp"; }
83 std::set<std::string>
extensions()
const override;
101 #endif // CPROVER_CPP_CPP_LANGUAGE_H The type of an expression.
bool merge_symbol_table(symbol_tablet &dest, symbol_tablet &src, const std::string &module, class replace_symbolt &replace_symbol) const
std::string description() const override
~cpp_languaget() override
bool from_type(const typet &type, std::string &code, const namespacet &ns) override
Formats the given type in a language-specific way.
void modules_provided(std::set< std::string > &modules) override
cpp_parse_treet cpp_parse_tree
void show_parse(std::ostream &out) override
std::string main_symbol()
bool preprocess(std::istream &instream, const std::string &path, std::ostream &outstream) override
ANSI-C preprocessing.
Abstract interface to support a programming language.
bool from_expr(const exprt &expr, std::string &code, const namespacet &ns) override
Formats the given expression in a language-specific way.
bool to_expr(const std::string &code, const std::string &module, exprt &expr, const namespacet &ns) override
Parses the given string into an expression.
bool parse(std::istream &instream, const std::string &path) override
std::unique_ptr< languaget > new_cpp_language()
std::set< std::string > extensions() const override
std::unique_ptr< languaget > new_language() override
Base class for all expressions.
bool type_to_name(const typet &type, std::string &name, const namespacet &ns) override
Encodes the given type in a language-specific way.
std::string id() const override
bool typecheck(symbol_tablet &symbol_table, const std::string &module) override
bool generate_support_functions(symbol_tablet &symbol_table) override
Create language-specific support functions, such as __CPROVER_start, __CPROVER_initialize and languag...