cprover
Loading...
Searching...
No Matches
jsil_parser.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Jsil Language
4
5Author: Michael Tautschnig, tautschn@amazon.com
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_JSIL_JSIL_PARSER_H
13#define CPROVER_JSIL_JSIL_PARSER_H
14
15#include <util/parser.h>
16
17#include "jsil_parse_tree.h"
18
20
22{
23public:
25
26 virtual bool parse() override
27 {
28 return yyjsilparse()!=0;
29 }
30
31 virtual void clear() override
32 {
35
36 // scanner state
37 string_literal.clear();
38 }
39
40 // internal state of the scanner
41 std::string string_literal;
42};
43
45
46int yyjsilerror(const std::string &error);
48
49#endif // CPROVER_JSIL_JSIL_PARSER_H
std::string string_literal
Definition: jsil_parser.h:41
jsil_parse_treet parse_tree
Definition: jsil_parser.h:24
virtual bool parse() override
Definition: jsil_parser.h:26
virtual void clear() override
Definition: jsil_parser.h:31
Definition: parser.h:24
virtual void clear()
Definition: parser.h:32
Jsil Language.
int yyjsilparse()
jsil_parsert jsil_parser
Definition: jsil_parser.cpp:14
int yyjsilerror(const std::string &error)
Definition: jsil_parser.cpp:18
void jsil_scanner_init()
Parser utilities.