invariant_failure_containingt Class Reference

#include <invariant.h>

Inheritance diagram for invariant_failure_containingt:

Collaboration diagram for invariant_failure_containingt:

Public Member Functions
	invariant_failure_containingt (std::string expected)
bool	match (const invariant_failedt &exception) const override
std::string	describe () const override

Private Attributes
std::string	expected

Detailed Description

Definition at line 12 of file invariant.h.

Constructor & Destructor Documentation

invariant_failure_containingt()

invariant_failure_containingt::invariant_failure_containingt ( std::string  expected )

explicit

Definition at line 14 of file invariant.cpp.

Member Function Documentation

describe()

std::string invariant_failure_containingt::describe ( ) const

override

Definition at line 27 of file invariant.cpp.

match()

bool invariant_failure_containingt::match ( const invariant_failedt &  exception ) const

override

Definition at line 20 of file invariant.cpp.

Member Data Documentation

expected

std::string invariant_failure_containingt::expected

private

Definition at line 21 of file invariant.h.

---

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

• /home/runner/work/cbmc/cbmc/unit/testing-utils/invariant.h
• /home/runner/work/cbmc/cbmc/unit/testing-utils/invariant.cpp