Go to the documentation of this file.
21 std::istream &instream,
22 const std::string &path)
33 const std::string &module)
40 catch(
const std::string &str)
42 error() <<
"typecheck: " << str <<
eom;
void show_parse(std::ostream &out) override
Output the result of the parsed json file to the output stream passed as a parameter to this function...
void output(std::ostream &out) const
bool parse(std::istream &instream, const std::string &path) override
Parse a goto program in json form.
message_handlert & get_message_handler()
bool typecheck(symbol_tablet &symbol_table, const std::string &module) override
Typecheck a goto program in json form.
bool parse_json(std::istream &in, const std::string &filename, message_handlert &message_handler, jsont &dest)
void symbol_table_from_json(const jsont &in, symbol_tablet &symbol_table)