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 
15 
16 extern char *yyjsiltext;
17 
18 int yyjsilerror(const std::string &error)
19 {
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