|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
#include <string>#include <memory>Go to the source code of this file.
Classes | |
| struct | mode_table_et |
Macros | |
| #define | LANGAPI_MODE_CLANG_C {language_idt::C, &new_clang_c_language} |
| #define | LANGAPI_MODE_CLANG_CPP {language_idt::CPP, &new_clang_cpp_language} |
| #define | LANGAPI_MODE_SOLAST {language_idt::SOLIDITY, &new_solidity_language} |
| #define | LANGAPI_MODE_C {language_idt::C, &new_ansi_c_language} |
| #define | LANGAPI_MODE_CPP {language_idt::CPP, &new_cpp_language} |
| #define | LANGAPI_MODE_JIMPLE {language_idt::JIMPLE, &new_jimple_language} |
| #define | LANGAPI_MODE_PYTHON {language_idt::PYTHON, &new_python_language} |
| #define | LANGAPI_MODE_LD {language_idt::LD, &new_ld_language} |
| #define | LANGAPI_MODE_END {language_idt::NONE, NULL} |
Enumerations | |
| enum class | language_idt : int { NONE = -1 , C , CPP , SOLIDITY , JIMPLE , PYTHON , LD } |
Functions | |
| const char * | language_name (language_idt id) |
| language_idt | language_id_by_name (const std::string &name) |
| language_idt | language_id_by_path (const std::string &path) |
| languaget * | new_clang_c_language () |
| languaget * | new_clang_cpp_language () |
| languaget * | new_jimple_language () |
| languaget * | new_ansi_c_language () |
| languaget * | new_cpp_language () |
| languaget * | new_solidity_language () |
| languaget * | new_python_language () |
| languaget * | new_ld_language () |
| std::unique_ptr< languaget > | new_language (language_idt lang) |
Variables | |
| const mode_table_et | mode_table [] |
| #define LANGAPI_MODE_C {language_idt::C, &new_ansi_c_language} |
| #define LANGAPI_MODE_CLANG_C {language_idt::C, &new_clang_c_language} |
| #define LANGAPI_MODE_CLANG_CPP {language_idt::CPP, &new_clang_cpp_language} |
| #define LANGAPI_MODE_CPP {language_idt::CPP, &new_cpp_language} |
| #define LANGAPI_MODE_END {language_idt::NONE, NULL} |
| #define LANGAPI_MODE_JIMPLE {language_idt::JIMPLE, &new_jimple_language} |
| #define LANGAPI_MODE_LD {language_idt::LD, &new_ld_language} |
| #define LANGAPI_MODE_PYTHON {language_idt::PYTHON, &new_python_language} |
| #define LANGAPI_MODE_SOLAST {language_idt::SOLIDITY, &new_solidity_language} |
|
strong |
| language_idt language_id_by_name | ( | const std::string & | name | ) |
| language_idt language_id_by_path | ( | const std::string & | path | ) |
| const char * language_name | ( | language_idt | id | ) |
| languaget * new_ansi_c_language | ( | ) |
| languaget * new_clang_c_language | ( | ) |
| languaget * new_clang_cpp_language | ( | ) |
| languaget * new_cpp_language | ( | ) |
| languaget * new_jimple_language | ( | ) |
| std::unique_ptr< languaget > new_language | ( | language_idt | lang | ) |
| languaget * new_ld_language | ( | ) |
| languaget * new_python_language | ( | ) |
| languaget * new_solidity_language | ( | ) |
|
extern |