|
void | set_language_options (const optionst &options) override |
| Set language-specific options.
|
|
bool | preprocess (std::istream &instream, const std::string &path, std::ostream &outstream) override |
| ANSI-C preprocessing.
|
|
bool | parse (std::istream &instream, const std::string &path) override |
|
bool | generate_support_functions (symbol_tablet &symbol_table) override |
| Create language-specific support functions, such as __CPROVER_start, __CPROVER_initialize and language-specific library functions.
|
|
bool | typecheck (symbol_tablet &symbol_table, const std::string &module) override |
|
bool | merge_symbol_table (symbol_tablet &dest, symbol_tablet &src, const std::string &module, class replace_symbolt &replace_symbol) const |
|
void | show_parse (std::ostream &out) override |
|
| ~cpp_languaget () override |
|
| cpp_languaget () |
|
bool | from_expr (const exprt &expr, std::string &code, const namespacet &ns) override |
| Formats the given expression in a language-specific way.
|
|
bool | from_type (const typet &type, std::string &code, const namespacet &ns) override |
| Formats the given type in a language-specific way.
|
|
bool | type_to_name (const typet &type, std::string &name, const namespacet &ns) override |
| Encodes the given type 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.
|
|
std::unique_ptr< languaget > | new_language () override |
|
std::string | id () const override |
|
std::string | description () const override |
|
std::set< std::string > | extensions () const override |
|
void | modules_provided (std::set< std::string > &modules) override |
|
virtual void | set_language_options (const optionst &) |
| Set language-specific options.
|
|
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 bool | generate_support_functions (symbol_tablet &symbol_table)=0 |
| Create language-specific support functions, such as __CPROVER_start, __CPROVER_initialize and language-specific library functions.
|
|
virtual void | dependencies (const std::string &module, std::set< std::string > &modules) |
|
virtual void | modules_provided (std::set< std::string > &modules) |
|
virtual void | methods_provided (std::unordered_set< irep_idt > &methods) const |
| Should fill methods with the symbol identifiers of all methods this languaget can provide a body for, but doesn't populate that body in languaget::typecheck (i.e.
|
|
virtual void | convert_lazy_method (const irep_idt &function_id, symbol_table_baset &symbol_table) |
| Requests this languaget should populate the body of method function_id in symbol_table .
|
|
virtual bool | final (symbol_table_baset &symbol_table) |
| Final adjustments, e.g.
|
|
virtual bool | interfaces (symbol_tablet &symbol_table) |
|
virtual bool | typecheck (symbol_tablet &symbol_table, const std::string &module)=0 |
|
virtual bool | can_keep_file_local () |
| Is it possible to call three-argument typecheck() on this object?
|
|
virtual bool | typecheck (symbol_tablet &symbol_table, const std::string &module, const bool keep_file_local) |
| typecheck without removing specified entries from the symbol table
|
|
virtual std::string | id () const =0 |
|
virtual std::string | description () const =0 |
|
virtual std::set< std::string > | extensions () const =0 |
|
virtual void | show_parse (std::ostream &out)=0 |
|
virtual bool | from_expr (const exprt &expr, std::string &code, const namespacet &ns) |
| Formats the given expression in a language-specific way.
|
|
virtual bool | from_type (const typet &type, std::string &code, const namespacet &ns) |
| Formats the given type in a language-specific way.
|
|
virtual bool | type_to_name (const typet &type, std::string &name, const namespacet &ns) |
| Encodes the given type in a language-specific way.
|
|
virtual bool | to_expr (const std::string &code, const std::string &module, exprt &expr, const namespacet &ns)=0 |
| Parses the given string into an expression.
|
|
virtual std::unique_ptr< languaget > | new_language ()=0 |
|
| languaget () |
|
virtual | ~languaget () |
|
virtual void | set_message_handler (message_handlert &_message_handler) |
|
message_handlert & | get_message_handler () |
|
| messaget () |
|
| messaget (const messaget &other) |
|
messaget & | operator= (const messaget &other) |
|
| messaget (message_handlert &_message_handler) |
|
virtual | ~messaget () |
|
mstreamt & | get_mstream (unsigned message_level) const |
|
mstreamt & | error () const |
|
mstreamt & | warning () const |
|
mstreamt & | result () const |
|
mstreamt & | status () const |
|
mstreamt & | statistics () const |
|
mstreamt & | progress () const |
|
mstreamt & | debug () const |
|
void | conditional_output (mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const |
| Generate output to message_stream using output_generator if the configured verbosity is at least as high as that of message_stream .
|
|
Definition at line 25 of file cpp_language.h.