ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_c_convert.h File Reference
#include <util/symtab/context.h>
#include <util/symtab/namespace.h>
#include <util/irep/std_code.h>
#include <util/irep/std_types.h>
#include <util/symtab/symbol_generator.h>
#include <unordered_map>
Include dependency graph for clang_c_convert.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes

class  clang_c_convertert

Namespaces

namespace  clang

Macros

#define __STDC_LIMIT_MACROS
#define __STDC_FORMAT_MACROS

Functions

std::string getFullyQualifiedName (const clang::QualType &, const clang::ASTContext &)

Macro Definition Documentation

◆ __STDC_FORMAT_MACROS

#define __STDC_FORMAT_MACROS

◆ __STDC_LIMIT_MACROS

#define __STDC_LIMIT_MACROS

Function Documentation

◆ getFullyQualifiedName()

std::string getFullyQualifiedName ( const clang::QualType & t,
const clang::ASTContext & c )