CBMC
json_interface.h File Reference

JSON Commandline Interface. More...

+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Macros

#define OPT_JSON_INTERFACE
 
#define HELP_JSON_INTERFACE
 

Functions

void json_interface (cmdlinet &, message_handlert &)
 Parses the JSON-formatted command line from stdin. More...
 

Detailed Description

JSON Commandline Interface.

Definition in file json_interface.h.

Macro Definition Documentation

◆ HELP_JSON_INTERFACE

#define HELP_JSON_INTERFACE
Value:
" {y--json-ui} \t use JSON-formatted output\n" \
" {y--json-interface} \t bi-directional JSON interface\n"

Definition at line 44 of file json_interface.h.

◆ OPT_JSON_INTERFACE

#define OPT_JSON_INTERFACE
Value:
"(json-ui)" \
"(json-interface)"

Definition at line 40 of file json_interface.h.

Function Documentation

◆ json_interface()

void json_interface ( cmdlinet cmdline,
message_handlert message_handler 
)

Parses the JSON-formatted command line from stdin.

Example:

{
"arguments": [
"main.c"
],
"options": {
"function": "foo",
"unwind": 3,
"property": [
"foo.assertion.1",
"foo.assertion.3"
],
"trace": true,
"show-properties": false
}
}

Definition at line 88 of file json_interface.cpp.