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 &);
 
#define OPT_JSON_INTERFACE \
  "(json-ui)" \
  "(json-interface)"
 
#define HELP_JSON_INTERFACE                                                    \
  " {y--json-ui} \t use JSON-formatted output\n"                               \
  " {y--json-interface} \t bi-directional JSON interface\n"
 
#endif // CPROVER_JSON_JSON_INTERFACE_H