|
cprover
|
#include <memory>#include <string>#include <vector>#include "api_options.h"#include "verification_result.h"Go to the source code of this file.
Classes | |
| struct | api_sessiont |
Typedefs | |
| using | api_call_back_contextt = void * |
| The type of pointers to contextual data passed to the api_message_callback functions. | |
| using | api_message_callbackt |
| The type of call back for feedback of status information and results. | |
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) |
| using api_call_back_contextt = void * |
| using api_message_callbackt |
The type of call back for feedback of status information and results.
| message | A structured message object. The lifetime of this object is the duration of the call to the callback. So if any data from it is required to persist, then this data must be copied into the API consumers memory. |
| call_back_context | A pointer to the context for the function. This is passed through the API to the function and is for use like a capture group. Memory for this object is owned by the consumer of the API. |
| const char * api_message_get_string | ( | const api_messaget & | message | ) |
| bool api_message_is_error | ( | const api_messaget & | message | ) |