CBMC
jsil_parser.cpp
Go to the documentation of this file.
1
/*******************************************************************\
2
3
Module: Jsil Language
4
5
Author: Michael Tautschnig, tautschn@amazon.com
6
7
\*******************************************************************/
8
11
12
#include "
jsil_parser.h
"
13
14
jsil_parsert
jsil_parser
;
15
16
extern
char
*
yyjsiltext
;
17
18
int
yyjsilerror
(
const
std::string &error)
19
{
20
jsil_parser
.
parse_error
(error,
yyjsiltext
);
21
return
0;
22
}
yyjsiltext
char * yyjsiltext
jsil_parser.h
yyjsilerror
int yyjsilerror(const std::string &error)
Definition:
jsil_parser.cpp:18
jsil_parsert
Definition:
jsil_parser.h:21
jsil_parser
jsil_parsert jsil_parser
Definition:
jsil_parser.cpp:14
parsert::parse_error
void parse_error(const std::string &message, const std::string &before)
Definition:
parser.cpp:30
src
jsil
jsil_parser.cpp
Generated by
1.8.17