ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_c_lexert::LexerContext Struct Reference

Public Member Functions

 LexerContext ()

Public Attributes

clang::LangOptions lo
llvm::IntrusiveRefCntPtr< clang::DiagnosticOptions > diag_opts
llvm::IntrusiveRefCntPtr< clang::DiagnosticIDs > diag_ids
clang::DiagnosticsEngine diags
clang::FileSystemOptions fs_opts
clang::FileManager fm {fs_opts}
clang::SourceManager sm {diags, fm}
std::unique_ptr< clang::TargetInfo > target_info

Constructor & Destructor Documentation

◆ LexerContext()

clang_c_lexert::LexerContext::LexerContext ( )
inline

Member Data Documentation

◆ diag_ids

llvm::IntrusiveRefCntPtr<clang::DiagnosticIDs> clang_c_lexert::LexerContext::diag_ids
Initial value:
{
new clang::DiagnosticIDs()}

◆ diag_opts

llvm::IntrusiveRefCntPtr<clang::DiagnosticOptions> clang_c_lexert::LexerContext::diag_opts
Initial value:
{
new clang::DiagnosticOptions()}

◆ diags

clang::DiagnosticsEngine clang_c_lexert::LexerContext::diags
Initial value:
{
new clang::IgnoringDiagConsumer(),
true}
llvm::IntrusiveRefCntPtr< clang::DiagnosticOptions > diag_opts
Definition clang_c_lexer.cpp:36
llvm::IntrusiveRefCntPtr< clang::DiagnosticIDs > diag_ids
Definition clang_c_lexer.cpp:39

◆ fm

clang::FileManager clang_c_lexert::LexerContext::fm {fs_opts}

◆ fs_opts

clang::FileSystemOptions clang_c_lexert::LexerContext::fs_opts

◆ lo

clang::LangOptions clang_c_lexert::LexerContext::lo

◆ sm

clang::SourceManager clang_c_lexert::LexerContext::sm {diags, fm}

◆ target_info

std::unique_ptr<clang::TargetInfo> clang_c_lexert::LexerContext::target_info

The documentation for this struct was generated from the following file: