cprover
|
#include <jsil_language.h>
Public Member Functions | |
virtual bool | preprocess (std::istream &instream, const std::string &path, std::ostream &outstream) |
virtual bool | parse (std::istream &instream, const std::string &path) |
virtual bool | typecheck (symbol_tablet &context, const std::string &module) |
Converting from parse tree and type checking. More... | |
virtual bool | final (symbol_tablet &context) |
virtual void | show_parse (std::ostream &out) |
virtual | ~jsil_languaget () |
jsil_languaget () | |
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 | to_expr (const std::string &code, const std::string &module, exprt &expr, const namespacet &ns) |
virtual languaget * | new_language () |
virtual std::string | id () const |
virtual std::string | description () const |
virtual std::set< std::string > | extensions () const |
virtual void | modules_provided (std::set< std::string > &modules) |
virtual bool | interfaces (symbol_tablet &symbol_table) |
Adding symbols for all procedure declarations. More... | |
![]() | |
virtual void | get_language_options (const cmdlinet &) |
virtual void | dependencies (const std::string &module, 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 | type_to_name (const typet &type, std::string &name, const namespacet &ns) |
languaget () | |
virtual | ~languaget () |
Protected Attributes | |
jsil_parse_treet | parse_tree |
std::string | parse_path |
Additional Inherited Members |
Definition at line 19 of file jsil_language.h.
|
virtual |
Definition at line 171 of file jsil_language.cpp.
|
inline |
Definition at line 41 of file jsil_language.h.
Referenced by new_language().
|
inlinevirtual |
Reimplemented from languaget.
Definition at line 63 of file jsil_language.h.
|
virtual |
Reimplemented from languaget.
Definition at line 24 of file jsil_language.cpp.
|
virtual |
Reimplemented from languaget.
Definition at line 89 of file jsil_language.cpp.
References messaget::get_message_handler(), and jsil_entry_point().
|
virtual |
Reimplemented from languaget.
Definition at line 109 of file jsil_language.cpp.
References expr2jsil().
|
virtual |
Reimplemented from languaget.
Definition at line 118 of file jsil_language.cpp.
References type2jsil().
|
inlinevirtual |
Reimplemented from languaget.
Definition at line 62 of file jsil_language.h.
|
virtual |
Adding symbols for all procedure declarations.
Reimplemented from languaget.
Definition at line 35 of file jsil_language.cpp.
References messaget::get_message_handler(), jsil_convert(), jsil_internal_additions(), and parse_tree.
|
virtual |
Reimplemented from languaget.
Definition at line 29 of file jsil_language.cpp.
References get_base_name(), and parse_path.
|
inlinevirtual |
|
virtual |
Implements languaget.
Definition at line 53 of file jsil_language.cpp.
References jsil_parsert::clear(), messaget::get_message_handler(), parsert::in, jsil_parser, jsil_scanner_init(), jsil_parsert::parse(), parse_path, jsil_parsert::parse_tree, parse_tree, messaget::result(), parsert::set_file(), messaget::set_message_handler(), and jsil_parse_treet::swap().
|
virtual |
Reimplemented from languaget.
Definition at line 44 of file jsil_language.cpp.
|
virtual |
Implements languaget.
Definition at line 99 of file jsil_language.cpp.
References jsil_parse_treet::output(), and parse_tree.
|
virtual |
Implements languaget.
Definition at line 127 of file jsil_language.cpp.
References jsil_parsert::clear(), messaget::get_message_handler(), parsert::in, jsil_parse_treet::items, jsil_convert(), jsil_parser, jsil_scanner_init(), jsil_typecheck(), irept::make_nil(), jsil_parsert::parse(), jsil_parsert::parse_tree, parse_tree, messaget::result(), parsert::set_file(), messaget::set_message_handler(), and symbol_tablet::symbols.
|
virtual |
Converting from parse tree and type checking.
Implements languaget.
Definition at line 79 of file jsil_language.cpp.
References messaget::get_message_handler(), and jsil_typecheck().
|
protected |
Definition at line 72 of file jsil_language.h.
Referenced by modules_provided(), and parse().
|
protected |
Definition at line 71 of file jsil_language.h.
Referenced by interfaces(), parse(), show_parse(), and to_expr().