json_interface.cpp File Reference

JSON Commandline Interface. More...

#include "json_interface.h"
#include <util/cmdline.h>
#include <util/exception_utils.h>
#include <util/json.h>
#include <util/message.h>
#include "json_parser.h"
#include <iostream>

Include dependency graph for json_interface.cpp:

Go to the source code of this file.

Functions
static void	get_json_options (const json_objectt &json, cmdlinet &cmdline)
	Parse commandline options from json into cmdline. More...
void	json_interface (cmdlinet &cmdline, message_handlert &message_handler)
	Parses the JSON-formatted command line from stdin. More...

Detailed Description

JSON Commandline Interface.

Definition in file json_interface.cpp.

Function Documentation

get_json_options()

static void get_json_options ( const json_objectt &  json, cmdlinet &  cmdline  )

static

Parse commandline options from json into cmdline.

Definition at line 24 of file json_interface.cpp.

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.