ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
mode.cpp File Reference
#include <cassert>
#include <cstring>
#include <langapi/mode.h>
#include <util/config/config.h>
#include <util/lang/language.h>
Include dependency graph for mode.cpp:

Functions

static const language_desct * language_desc (language_idt id)
const char * language_name (language_idt lang)
language_idt language_id_by_name (const std::string &name)
language_idt language_id_by_path (const std::string &path)
static int get_mode (language_idt lang)
static int get_old_frontend_mode (int current_mode)
std::unique_ptr< languaget > new_language (language_idt lang)

Variables

static const char *const extensions_ansi_c [] = {"c", "i", nullptr}
static const char *const extensions_cpp []
static const char *const extensions_sol_ast [] = {"solast", "sol", nullptr}
static const char *const extensions_jimple [] = {"jimple", nullptr}
static const char *const extensions_python [] = {"py", nullptr}
static const char *const extensions_ld [] = {"ld", nullptr}
static const language_desct language_desc_C = {"C", extensions_ansi_c}
static const language_desct language_desc_CPP = {"C++", extensions_cpp}
static const language_desct language_desc_Solidity
static const language_desct language_desc_Jimple
static const language_desct language_desc_python
static const language_desct language_desc_ld = {"LD", extensions_ld}

Function Documentation

◆ get_mode()

int get_mode ( language_idt lang)
static

◆ get_old_frontend_mode()

int get_old_frontend_mode ( int current_mode)
static

◆ language_desc()

const language_desct * language_desc ( language_idt id)
static

◆ language_id_by_name()

language_idt language_id_by_name ( const std::string & name)

◆ language_id_by_path()

language_idt language_id_by_path ( const std::string & path)

◆ language_name()

const char * language_name ( language_idt lang)

◆ new_language()

std::unique_ptr< languaget > new_language ( language_idt lang)

Variable Documentation

◆ extensions_ansi_c

const char* const extensions_ansi_c[] = {"c", "i", nullptr}
static

◆ extensions_cpp

const char* const extensions_cpp[]
static
Initial value:
=
{"cpp", "cc", "cu", "ipp", "C", "cxx", nullptr}

◆ extensions_jimple

const char* const extensions_jimple[] = {"jimple", nullptr}
static

◆ extensions_ld

const char* const extensions_ld[] = {"ld", nullptr}
static

◆ extensions_python

const char* const extensions_python[] = {"py", nullptr}
static

◆ extensions_sol_ast

const char* const extensions_sol_ast[] = {"solast", "sol", nullptr}
static

◆ language_desc_C

const language_desct language_desc_C = {"C", extensions_ansi_c}
static

◆ language_desc_CPP

const language_desct language_desc_CPP = {"C++", extensions_cpp}
static

◆ language_desc_Jimple

const language_desct language_desc_Jimple
static
Initial value:
= {
"Jimple",
static const char *const extensions_jimple[]
Definition mode.cpp:27

◆ language_desc_ld

const language_desct language_desc_ld = {"LD", extensions_ld}
static

◆ language_desc_python

const language_desct language_desc_python
static
Initial value:
= {
"Python",
static const char *const extensions_python[]
Definition mode.cpp:28

◆ language_desc_Solidity

const language_desct language_desc_Solidity
static
Initial value:
= {
"Solidity",
static const char *const extensions_sol_ast[]
Definition mode.cpp:26