12#ifndef CPROVER_JSIL_JSIL_PARSER_H
13#define CPROVER_JSIL_JSIL_PARSER_H
virtual void clear()
Reset the abstract state.
std::string string_literal
jsil_parse_treet parse_tree
virtual bool parse() override
virtual void clear() override
int yyjsilerror(const std::string &error)