ESBMC
Efficient SMT-based Context-Bounded Model Checker
Loading...
Searching...
No Matches
clang_c_lexer.h
Go to the documentation of this file.
1
#ifndef CLANG_C_FRONTEND_CLANG_C_LEXER_H_
2
#define CLANG_C_FRONTEND_CLANG_C_LEXER_H_
3
4
#include <
irep2/irep2.h
>
5
#include <memory>
6
#include <string>
7
8
class
clang_c_lexert
9
{
10
public
:
11
clang_c_lexert
();
12
~clang_c_lexert
();
13
28
expr2tc
parse_expr
(
const
std::string &expr);
29
30
struct
LexerContext
;
31
32
private
:
33
std::unique_ptr<LexerContext> ctx;
34
};
35
36
#endif
clang_c_lexert::~clang_c_lexert
~clang_c_lexert()
clang_c_lexert::clang_c_lexert
clang_c_lexert()
Definition
clang_c_lexer.cpp:238
clang_c_lexert::parse_expr
expr2tc parse_expr(const std::string &expr)
Parse a C scalar-expression string into an IRep2 expression tree.
Definition
clang_c_lexer.cpp:244
irep2.h
Classes and definitions for non-stringy internal representation.
expr2tc
irep_container< expr2t > expr2tc
Definition
irep2.h:431
clang_c_lexert::LexerContext
Definition
clang_c_lexer.cpp:31
src
clang-c-frontend
clang_c_lexer.h
Generated by
1.15.0