cprover
|
#include <cassert>
#include <util/parser.h>
#include <util/expr.h>
#include <util/string_hash.h>
#include <util/mp_arith.h>
#include <util/config.h>
#include "ansi_c_parse_tree.h"
#include "ansi_c_scope.h"
Go to the source code of this file.
Classes | |
class | ansi_c_parsert |
Functions | |
int | yyansi_cparse () |
int | yyansi_cerror (const std::string &error) |
void | ansi_c_scanner_init () |
Variables | |
ansi_c_parsert | ansi_c_parser |
void ansi_c_scanner_init | ( | ) |
Definition at line 4065 of file ansi_c_lex.yy.cpp.
References BEGIN, and YY_FLUSH_BUFFER.
Referenced by ansi_c_parsert::lookup_label(), ansi_c_languaget::parse(), and ansi_c_languaget::to_expr().
int yyansi_cerror | ( | const std::string & | error | ) |
Definition at line 82 of file ansi_c_parser.cpp.
References parsert::parse_error(), and yyansi_ctext.
Referenced by cpp_operator(), ansi_c_parsert::lookup_label(), and yyansi_clex().
int yyansi_cparse | ( | void | ) |
Definition at line 3294 of file ansi_c_y.tab.cpp.
Referenced by ansi_c_parsert::parse().
ansi_c_parsert ansi_c_parser |
Definition at line 15 of file ansi_c_parser.cpp.
Referenced by ansi_c_parsert::lookup_label(), ansi_c_languaget::parse(), cpp_parsert::parse(), cpp_token_buffert::read_token(), and ansi_c_languaget::to_expr().