12 #ifndef CPROVER_JSIL_JSIL_PARSER_H 13 #define CPROVER_JSIL_JSIL_PARSER_H 49 #endif // CPROVER_JSIL_JSIL_PARSER_H
std::string string_literal
jsil_parse_treet parse_tree
int yyjsilerror(const std::string &error)
virtual void clear() override
virtual bool parse() override