cprover
|
#include <language.h>
Public Member Functions | |
virtual void | get_language_options (const cmdlinet &) |
virtual bool | preprocess (std::istream &instream, const std::string &path, std::ostream &outstream) |
virtual bool | parse (std::istream &instream, const std::string &path)=0 |
virtual void | dependencies (const std::string &module, std::set< std::string > &modules) |
virtual void | modules_provided (std::set< std::string > &modules) |
virtual void | lazy_methods_provided (std::set< irep_idt > &methods) const |
virtual void | convert_lazy_method (const irep_idt &id, symbol_tablet &) |
virtual bool | final (symbol_tablet &symbol_table) |
virtual bool | interfaces (symbol_tablet &symbol_table) |
virtual bool | typecheck (symbol_tablet &symbol_table, const std::string &module)=0 |
virtual std::string | id () const |
virtual std::string | description () const |
virtual std::set< std::string > | extensions () const |
virtual void | show_parse (std::ostream &out)=0 |
virtual bool | from_expr (const exprt &expr, std::string &code, const namespacet &ns) |
virtual bool | from_type (const typet &type, std::string &code, const namespacet &ns) |
virtual bool | type_to_name (const typet &type, std::string &name, const namespacet &ns) |
virtual bool | to_expr (const std::string &code, const std::string &module, exprt &expr, const namespacet &ns)=0 |
virtual languaget * | new_language ()=0 |
languaget () | |
virtual | ~languaget () |
Additional Inherited Members |
Definition at line 27 of file language.h.
|
inline |
Definition at line 118 of file language.h.
|
inlinevirtual |
Definition at line 119 of file language.h.
|
inlinevirtual |
Reimplemented in java_bytecode_languaget.
Definition at line 61 of file language.h.
References interfaces(), and typecheck().
Referenced by language_filet::convert_lazy_method().
|
virtual |
Definition at line 26 of file language.cpp.
Referenced by preprocess(), and language_filest::typecheck_module().
|
inlinevirtual |
Reimplemented in java_bytecode_languaget, cpp_languaget, ansi_c_languaget, and jsil_languaget.
Definition at line 83 of file language.h.
|
inlinevirtual |
Reimplemented in java_bytecode_languaget, cpp_languaget, ansi_c_languaget, and jsil_languaget.
Definition at line 84 of file language.h.
References from_expr(), from_type(), new_language(), show_parse(), to_expr(), and type_to_name().
Referenced by register_language().
|
virtual |
Reimplemented in java_bytecode_languaget, cpp_languaget, jsil_languaget, and ansi_c_languaget.
Definition at line 16 of file language.cpp.
|
virtual |
Reimplemented in java_bytecode_languaget, cpp_languaget, jsil_languaget, and ansi_c_languaget.
Definition at line 32 of file language.cpp.
References irept::pretty().
Referenced by dump_ct::expr_to_string(), extensions(), from_expr(), languagest::from_expr(), show_symbol_table_plain(), and language_uit::show_symbol_table_plain().
|
virtual |
Reimplemented in java_bytecode_languaget, cpp_languaget, jsil_languaget, and ansi_c_languaget.
Definition at line 41 of file language.cpp.
References irept::pretty().
Referenced by extensions(), languagest::from_type(), from_type(), show_symbol_table_plain(), language_uit::show_symbol_table_plain(), and dump_ct::type_to_string().
|
inlinevirtual |
Reimplemented in java_bytecode_languaget.
Definition at line 31 of file language.h.
Referenced by initialize_goto_model(), and language_uit::parse().
|
inlinevirtual |
Reimplemented in java_bytecode_languaget, cpp_languaget, ansi_c_languaget, and jsil_languaget.
Definition at line 82 of file language.h.
Referenced by dump_ct::convert_compound(), linkingt::do_type_dependencies(), and register_language().
|
virtual |
Reimplemented in jsil_languaget.
Definition at line 21 of file language.cpp.
Referenced by convert_lazy_method().
|
inlinevirtual |
Reimplemented in java_bytecode_languaget.
Definition at line 57 of file language.h.
|
inlinevirtual |
Reimplemented in java_bytecode_languaget, cpp_languaget, ansi_c_languaget, and jsil_languaget.
Definition at line 52 of file language.h.
Referenced by language_filet::get_modules().
|
pure virtual |
Implemented in java_bytecode_languaget, cpp_languaget, ansi_c_languaget, and jsil_languaget.
Referenced by extensions().
|
pure virtual |
Implemented in java_bytecode_languaget, cpp_languaget, jsil_languaget, and ansi_c_languaget.
Referenced by clobber_parse_optionst::get_goto_program(), cbmc_parse_optionst::get_goto_program(), initialize_goto_model(), language_uit::parse(), compilet::parse(), language_filest::parse(), and preprocess().
|
inlinevirtual |
Reimplemented in java_bytecode_languaget, cpp_languaget, jsil_languaget, and ansi_c_languaget.
Definition at line 35 of file language.h.
References dependencies(), and parse().
Referenced by compilet::parse(), and cbmc_parse_optionst::preprocessing().
|
pure virtual |
Implemented in java_bytecode_languaget, cpp_languaget, jsil_languaget, and ansi_c_languaget.
Referenced by extensions(), clobber_parse_optionst::get_goto_program(), and cbmc_parse_optionst::get_goto_program().
|
pure virtual |
Implemented in java_bytecode_languaget, cpp_languaget, ansi_c_languaget, and jsil_languaget.
Referenced by extensions(), languagest::to_expr(), and to_expr().
|
virtual |
Reimplemented in cpp_languaget, and ansi_c_languaget.
Definition at line 50 of file language.cpp.
References irept::pretty().
Referenced by extensions(), and type_to_name().
|
pure virtual |
Implemented in java_bytecode_languaget, cpp_languaget, jsil_languaget, and ansi_c_languaget.
Referenced by convert_lazy_method(), and language_filest::typecheck_module().