10 #ifndef CPROVER_ANSI_C_ANSI_C_LANGUAGE_H 11 #define CPROVER_ANSI_C_ANSI_C_LANGUAGE_H 21 std::istream &instream,
22 const std::string &path,
23 std::ostream &outstream)
override;
26 std::istream &instream,
27 const std::string &path)
override;
31 const std::string &module)
override;
57 const std::string &code,
58 const std::string &module,
65 std::string
id()
const override {
return "C"; }
66 std::string
description()
const override {
return "ANSI-C 99"; }
67 std::set<std::string>
extensions()
const override;
78 #endif // CPROVER_ANSI_C_ANSI_C_LANGUAGE_H The type of an expression.
~ansi_c_languaget() override
bool typecheck(symbol_tablet &symbol_table, const std::string &module) override
ansi_c_parse_treet parse_tree
bool parse(std::istream &instream, const std::string &path) override
bool to_expr(const std::string &code, const std::string &module, exprt &expr, const namespacet &ns) override
std::string description() const override
bool preprocess(std::istream &instream, const std::string &path, std::ostream &outstream) override
ANSI-C preprocessing.
Abstract interface to support a programming language.
languaget * new_language() override
bool type_to_name(const typet &type, std::string &name, const namespacet &ns) override
void show_parse(std::ostream &out) override
Base class for all expressions.
std::string id() const override
languaget * new_ansi_c_language()
bool from_type(const typet &type, std::string &code, const namespacet &ns) override
std::set< std::string > extensions() const override
bool from_expr(const exprt &expr, std::string &code, const namespacet &ns) override
void modules_provided(std::set< std::string > &modules) override