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
9{
10public:
13
28 expr2tc parse_expr(const std::string &expr);
29
30 struct LexerContext;
31
32private:
33 std::unique_ptr<LexerContext> ctx;
34};
35
36#endif
clang_c_lexert()
Definition clang_c_lexer.cpp:238
expr2tc parse_expr(const std::string &expr)
Parse a C scalar-expression string into an IRep2 expression tree.
Definition clang_c_lexer.cpp:244
Classes and definitions for non-stringy internal representation.
irep_container< expr2t > expr2tc
Definition irep2.h:431
Definition clang_c_lexer.cpp:31