smt2_parser_error_containingt Class Reference

#include <smt2irep.h>

Inheritance diagram for smt2_parser_error_containingt:

Collaboration diagram for smt2_parser_error_containingt:

Public Member Functions
	smt2_parser_error_containingt (std::string expected_error)
bool	match (const smt2_parser_test_resultt &exception) const override
std::string	describe () const override

Private Attributes
std::string	expected_error

Detailed Description

Definition at line 25 of file smt2irep.h.

Constructor & Destructor Documentation

smt2_parser_error_containingt()

smt2_parser_error_containingt::smt2_parser_error_containingt ( std::string expected_error )

explicit

Definition at line 39 of file smt2irep.cpp.

Member Function Documentation

describe()

std::string smt2_parser_error_containingt::describe ( ) const

override

Definition at line 52 of file smt2irep.cpp.

match()

bool smt2_parser_error_containingt::match ( const smt2_parser_test_resultt & exception ) const

override

Definition at line 45 of file smt2irep.cpp.

Member Data Documentation

expected_error

std::string smt2_parser_error_containingt::expected_error

private

Definition at line 34 of file smt2irep.h.

---

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

• /builddir/build/BUILD/cbmc-6.9.0-build/cbmc-cbmc-6.9.0/unit/testing-utils/smt2irep.h
• /builddir/build/BUILD/cbmc-6.9.0-build/cbmc-cbmc-6.9.0/unit/testing-utils/smt2irep.cpp