ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
mode.h File Reference
#include <string>
#include <memory>
Include dependency graph for mode.h:
This graph shows which files directly or indirectly include this file:

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 []

Macro Definition Documentation

◆ LANGAPI_MODE_C

#define LANGAPI_MODE_C   {language_idt::C, &new_ansi_c_language}

◆ LANGAPI_MODE_CLANG_C

#define LANGAPI_MODE_CLANG_C   {language_idt::C, &new_clang_c_language}

◆ LANGAPI_MODE_CLANG_CPP

#define LANGAPI_MODE_CLANG_CPP   {language_idt::CPP, &new_clang_cpp_language}

◆ LANGAPI_MODE_CPP

#define LANGAPI_MODE_CPP   {language_idt::CPP, &new_cpp_language}

◆ LANGAPI_MODE_END

#define LANGAPI_MODE_END   {language_idt::NONE, NULL}

◆ LANGAPI_MODE_JIMPLE

#define LANGAPI_MODE_JIMPLE   {language_idt::JIMPLE, &new_jimple_language}

◆ LANGAPI_MODE_LD

#define LANGAPI_MODE_LD   {language_idt::LD, &new_ld_language}

◆ LANGAPI_MODE_PYTHON

#define LANGAPI_MODE_PYTHON   {language_idt::PYTHON, &new_python_language}

◆ LANGAPI_MODE_SOLAST

#define LANGAPI_MODE_SOLAST   {language_idt::SOLIDITY, &new_solidity_language}

Enumeration Type Documentation

◆ language_idt

enum class language_idt : int
strong
Enumerator
NONE 
C 
CPP 
SOLIDITY 
JIMPLE 
PYTHON 
LD 

Function Documentation

◆ 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 id)

◆ new_ansi_c_language()

languaget * new_ansi_c_language ( )

◆ new_clang_c_language()

languaget * new_clang_c_language ( )

◆ new_clang_cpp_language()

languaget * new_clang_cpp_language ( )

◆ new_cpp_language()

languaget * new_cpp_language ( )

◆ new_jimple_language()

languaget * new_jimple_language ( )

◆ new_language()

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

◆ new_ld_language()

languaget * new_ld_language ( )

◆ new_python_language()

languaget * new_python_language ( )

◆ new_solidity_language()

languaget * new_solidity_language ( )

Variable Documentation

◆ mode_table

const mode_table_et mode_table[]
extern