api.cpp File Reference

#include "api.h"
#include <util/cmdline.h>
#include <util/config.h>
#include <util/invariant.h>
#include <util/message.h>
#include <util/options.h>
#include <util/ui_message.h>
#include <util/version.h>
#include <goto-programs/goto_model.h>
#include <goto-programs/initialize_goto_model.h>
#include <goto-programs/process_goto_program.h>
#include <goto-programs/read_goto_binary.h>
#include <goto-programs/remove_skip.h>
#include <goto-programs/remove_unused_functions.h>
#include <goto-programs/set_properties.h>
#include <ansi-c/ansi_c_language.h>
#include <ansi-c/cprover_library.h>
#include <ansi-c/gcc_version.h>
#include <ansi-c/goto-conversion/link_to_library.h>
#include <assembler/remove_asm.h>
#include <goto-checker/all_properties_verifier_with_trace_storage.h>
#include <goto-checker/multi_path_symex_checker.h>
#include <langapi/mode.h>
#include <pointer-analysis/add_failed_symbols.h>
#include <memory>
#include <string>
#include <vector>

Include dependency graph for api.cpp:

Go to the source code of this file.

Classes
struct	api_session_implementationt
struct	api_messaget
class	api_message_handlert

Functions
const char *	api_message_get_string (const api_messaget &message)
	Given a api_message, this function returns that message expressed as a C language string. More...
bool	api_message_is_error (const api_messaget &message)

Variables
configt	config

Function Documentation

api_message_get_string()

const char* api_message_get_string

(

const api_messaget &

message

)

Given a api_message, this function returns that message expressed as a C language string.

Note

The memory for the returned string is owned by the message and as such does not need to be freed by users of the API.

Definition at line 82 of file api.cpp.

api_message_is_error()

bool api_message_is_error

(

const api_messaget &

message

)

Returns

true is message is an error message, or false otherwise.

Definition at line 87 of file api.cpp.

Variable Documentation

config

configt config

extern

Definition at line 25 of file config.cpp.