ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_ast_dump.h
Go to the documentation of this file.
1
#ifndef CLANG_C_FRONTEND_CLANG_AST_DUMP_H
2
#define CLANG_C_FRONTEND_CLANG_AST_DUMP_H
3
4
namespace
clang
5
{
6
class
ASTContext;
7
}
8
namespace
llvm
9
{
10
class
raw_ostream;
11
}
12
21
void
enable_ast_dump_colors
(llvm::raw_ostream &
os
, clang::ASTContext &ctx);
22
23
#endif
enable_ast_dump_colors
void enable_ast_dump_colors(llvm::raw_ostream &os, clang::ASTContext &ctx)
Opt os into clang's coloured AST dumps, honouring --color.
Definition
clang_ast_dump.cpp:8
clang
Definition
build_ast.h:13
llvm
Definition
clang_ast_dump.h:9
os
Definition
os.py:1
src
clang-c-frontend
clang_ast_dump.h
Generated by
1.15.0