c_api.h File Reference

#include <memory>
#include <stdexcept>
#include <string>
#include "rust/cxx.h"
#include "include/c_errors.h"

Include dependency graph for c_api.h:

Go to the source code of this file.

Namespaces
	rust
	rust::behavior

Functions
std::vector< std::string > const &	_translate_vector_of_string (rust::Vec< rust::String > elements)
std::unique_ptr< api_sessiont >	new_api_session ()
std::vector< std::string > const &	get_messages ()
verifier_resultt	get_verification_result (const std::unique_ptr< verification_resultt > &v)
std::vector< std::string > const &	get_property_ids (const std::unique_ptr< verification_resultt > &)
std::string const &	get_property_description (const std::unique_ptr< verification_resultt > &, const std::string &)
prop_statust	get_property_status (const std::unique_ptr< verification_resultt > &, const std::string &)
template<typename Try , typename Fail >
static void	rust::behavior::trycatch (Try &&func, Fail &&fail) noexcept

Function Documentation

_translate_vector_of_string()

std::vector<std::string> const& _translate_vector_of_string

(

rust::Vec< rust::String >

elements

)

get_messages()

std::vector<std::string> const& get_messages

(

)

get_property_description()

std::string const& get_property_description	(	const std::unique_ptr< verification_resultt > &	,
		const std::string &
	)

get_property_ids()

std::vector<std::string> const& get_property_ids

(

const std::unique_ptr< verification_resultt > &

)

get_property_status()

prop_statust get_property_status	(	const std::unique_ptr< verification_resultt > &	,
		const std::string &
	)

get_verification_result()

verifier_resultt get_verification_result

(

const std::unique_ptr< verification_resultt > &

v

)

new_api_session()

std::unique_ptr<api_sessiont> new_api_session

(

)