cprover
|
Holds either a valid parsed response or response sub-tree of type. More...
#include <smt_response_validation.h>
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 |
Holds either a valid parsed response or response sub-tree of type.
smtt | or a collection of message strings explaining why the given input was not valid. |
Definition at line 18 of file smt_response_validation.h.
|
explicit |
Definition at line 26 of file smt_response_validation.cpp.
|
explicit |
Definition at line 31 of file smt_response_validation.cpp.
|
explicit |
Definition at line 37 of file smt_response_validation.cpp.
const std::vector< std::string > * response_or_errort< smtt >::get_if_error |
Gets the error messages if the response is invalid, or returns nullptr otherwise.
Definition at line 53 of file smt_response_validation.cpp.
const smtt * response_or_errort< smtt >::get_if_valid |
Gets the smt response if the response is valid, or returns nullptr otherwise.
Definition at line 43 of file smt_response_validation.cpp.
|
private |
Definition at line 38 of file smt_response_validation.h.
|
private |
Definition at line 37 of file smt_response_validation.h.