cprover
Loading...
Searching...
No Matches
api.cpp File Reference
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.
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.