json_interface.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: JSON Commandline Interface
 
Author: Peter Schrammel
 
\*******************************************************************/
 
 
#ifndef CPROVER_JSON_JSON_INTERFACE_H
#define CPROVER_JSON_JSON_INTERFACE_H
 
class cmdlinet;
class message_handlert;
 
void json_interface(cmdlinet &, message_handlert &);
 
// clang-format off
#define OPT_JSON_INTERFACE \
  "(json-ui)" \
  "(json-interface)"
 
#define HELP_JSON_INTERFACE \
  " --json-ui                    use JSON-formatted output\n" \
  " --json-interface             bi-directional JSON interface\n"
// clang-format on
 
#endif // CPROVER_JSON_JSON_INTERFACE_H