ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_cpp_languaget Class Reference

#include <clang_cpp_language.h>

Inheritance diagram for clang_cpp_languaget:
[legend]

Public Member Functions

bool final (contextt &context) override
bool typecheck (contextt &context, const std::string &module) override
std::string id () const override
bool from_expr (const exprt &expr, std::string &code, const namespacet &ns, unsigned flags) override
bool from_type (const typet &type, std::string &code, const namespacet &ns, unsigned flags) override
languaget * new_language () const override
Public Member Functions inherited from clang_c_languaget
virtual bool preprocess (const std::string &path, std::ostream &outstream)
bool parse (const std::string &path) override
void show_parse (std::ostream &out) override
unsigned default_flags (presentationt target) const override
 clang_c_languaget ()
 ~clang_c_languaget ()
Public Member Functions inherited from languaget
bool from_expr (const exprt &expr, std::string &code, const namespacet &ns, presentationt target=presentationt::HUMAN)
bool from_type (const typet &type, std::string &code, const namespacet &ns, presentationt target=presentationt::HUMAN)
virtual ~languaget ()=default

Protected Member Functions

std::string internal_additions () override
void force_file_type (std::vector< std::string > &compiler_args) override
void build_include_args (std::vector< std::string > &compiler_args) override
Protected Member Functions inherited from clang_c_languaget
virtual void build_compiler_args (std::vector< std::string > &compiler_args)
std::vector< std::string > compiler_args (std::string tool_name)

Additional Inherited Members

Static Public Member Functions inherited from clang_c_languaget
static void register_bundled ()
 Registers the bundled clang headers with file_operations.
Static Protected Member Functions inherited from clang_c_languaget
static const std::string & clang_resource_dir ()
Protected Attributes inherited from clang_c_languaget
std::unique_ptr< clang::ASTUnit > AST

Member Function Documentation

◆ build_include_args()

void clang_cpp_languaget::build_include_args ( std::vector< std::string > & compiler_args)
overrideprotectedvirtual

Reimplemented from clang_c_languaget.

◆ final()

bool clang_cpp_languaget::final ( contextt & context)
overridevirtual

Reimplemented from clang_c_languaget.

Reimplemented in solidity_languaget.

◆ force_file_type()

void clang_cpp_languaget::force_file_type ( std::vector< std::string > & compiler_args)
overrideprotectedvirtual

Reimplemented from clang_c_languaget.

◆ from_expr()

bool clang_cpp_languaget::from_expr ( const exprt & expr,
std::string & code,
const namespacet & ns,
unsigned flags )
overridevirtual

Reimplemented from clang_c_languaget.

◆ from_type()

bool clang_cpp_languaget::from_type ( const typet & type,
std::string & code,
const namespacet & ns,
unsigned flags )
overridevirtual

Reimplemented from clang_c_languaget.

◆ id()

std::string clang_cpp_languaget::id ( ) const
inlineoverridevirtual

Reimplemented from clang_c_languaget.

Reimplemented in solidity_languaget.

◆ internal_additions()

std::string clang_cpp_languaget::internal_additions ( )
overrideprotectedvirtual

Reimplemented from clang_c_languaget.

◆ new_language()

languaget * clang_cpp_languaget::new_language ( ) const
inlineoverridevirtual

Reimplemented from clang_c_languaget.

Reimplemented in solidity_languaget.

◆ typecheck()

bool clang_cpp_languaget::typecheck ( contextt & context,
const std::string & module )
overridevirtual

Reimplemented from clang_c_languaget.

Reimplemented in solidity_languaget.


The documentation for this class was generated from the following files: