cprover
|
Go to the source code of this file.
Functions | |
int | yyansi_cerror (const std::string &error) |
Variables | |
ansi_c_parsert | ansi_c_parser |
char * | yyansi_ctext |
int yyansi_cerror | ( | const std::string & | error | ) |
Definition at line 78 of file ansi_c_parser.cpp.
References ansi_c_parser, parsert::parse_error(), and yyansi_ctext.
Referenced by cpp_operator(), and yyansi_clex().
ansi_c_parsert ansi_c_parser |
Definition at line 13 of file ansi_c_parser.cpp.
Referenced by convert(), Parser::optStorageSpec(), ansi_c_languaget::parse(), cpp_parsert::parse(), Parser::rConstructorDecl(), Parser::rDeclaratorWithInit(), cpp_token_buffert::read_token(), ansi_c_languaget::to_expr(), and yyansi_cerror().
char* yyansi_ctext |
Referenced by yyansi_cerror().