CBMC
json_interface.h File Reference
+ 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:
" --json-ui use JSON-formatted output\n" \
" --json-interface bi-directional JSON interface\n"

Definition at line 45 of file json_interface.h.

◆ OPT_JSON_INTERFACE

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

Definition at line 41 of file json_interface.h.

Function Documentation

◆ json_interface()

void json_interface ( cmdlinet ,
message_handlert  
)

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.