response_or_errort< smtt > Class Template Reference

Holds either a valid parsed response or response sub-tree of type. More...

#include <response_or_error.h>

Collaboration diagram for response_or_errort< smtt >:

Public Member Functions
	response_or_errort (smtt smt)
	response_or_errort (std::string message)
	response_or_errort (std::vector< std::string > messages)
const smtt *	get_if_valid () const
	Gets the smt response if the response is valid, or returns nullptr otherwise. More...
const std::vector< std::string > *	get_if_error () const
	Gets the error messages if the response is invalid, or returns nullptr otherwise. More...

Private Attributes
optionalt< smtt >	smt
std::vector< std::string >	messages

Detailed Description

template<class smtt>
class response_or_errort< smtt >

Holds either a valid parsed response or response sub-tree of type.

Template Parameters

smtt	or a collection of message strings explaining why the given input was not valid.

Definition at line 16 of file response_or_error.h.

Constructor & Destructor Documentation

response_or_errort() [1/3]

template<class smtt >

response_or_errort< smtt >::response_or_errort ( smtt  smt )

inlineexplicit

Definition at line 19 of file response_or_error.h.

response_or_errort() [2/3]

template<class smtt >

response_or_errort< smtt >::response_or_errort ( std::string  message )

inlineexplicit

Definition at line 23 of file response_or_error.h.

response_or_errort() [3/3]

template<class smtt >

response_or_errort< smtt >::response_or_errort ( std::vector< std::string >  messages )

inlineexplicit

Definition at line 28 of file response_or_error.h.

Member Function Documentation

get_if_error()

template<class smtt >

const std::vector<std::string>* response_or_errort< smtt >::get_if_error ( ) const

inline

Gets the error messages if the response is invalid, or returns nullptr otherwise.

Definition at line 46 of file response_or_error.h.

get_if_valid()

template<class smtt >

const smtt* response_or_errort< smtt >::get_if_valid ( ) const

inline

Gets the smt response if the response is valid, or returns nullptr otherwise.

Definition at line 35 of file response_or_error.h.

Member Data Documentation

messages

template<class smtt >

std::vector<std::string> response_or_errort< smtt >::messages

private

Definition at line 61 of file response_or_error.h.

smt

template<class smtt >

optionalt<smtt> response_or_errort< smtt >::smt

private

Definition at line 60 of file response_or_error.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/smt2_incremental/response_or_error.h