CBMC
•All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages
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;
16class message_handlert;
17
38void json_interface(cmdlinet &, message_handlert &);
39
40#define OPT_JSON_INTERFACE \
41 "(json-ui)" \
42 "(json-interface)"
43
44#define HELP_JSON_INTERFACE \
45 " {y--json-ui} \t use JSON-formatted output\n" \
46 " {y--json-interface} \t bi-directional JSON interface\n"
47
48#endif // CPROVER_JSON_JSON_INTERFACE_H
message_handlert
Definition message.h:27
json_interface
void json_interface(cmdlinet &, message_handlert &)
Parses the JSON-formatted command line from stdin.
Definition json_interface.cpp:88