cprover
Loading...
Searching...
No Matches
json_interface.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: JSON Commandline Interface
4
5Author: Peter Schrammel
6
7\*******************************************************************/
8
11
12#ifndef CPROVER_JSON_JSON_INTERFACE_H
13#define CPROVER_JSON_JSON_INTERFACE_H
14
15class cmdlinet;
17
39
40// clang-format off
41#define OPT_JSON_INTERFACE \
42 "(json-ui)" \
43 "(json-interface)"
44
45#define HELP_JSON_INTERFACE \
46 " --json-ui use JSON-formatted output\n" \
47 " --json-interface bi-directional JSON interface\n"
48// clang-format on
49
50#endif // CPROVER_JSON_JSON_INTERFACE_H
void json_interface(cmdlinet &, message_handlert &)
Parses the JSON-formatted command line from stdin.