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