DbC Class Reference

Design by contract interface class. More...

#include <dbc.h>

Inheritance diagram for DbC:

Collaboration diagram for DbC:

Protected Member Functions
virtual bool	invariant () const noexcept
	Checks the invariants of the class in which it is defined. More...

Detailed Description

Design by contract interface class.

Has to be used as protected parent class.

Invariant

None.

Member Function Documentation

invariant()

virtual bool DbC::invariant ( ) const

inlineprotectedvirtualnoexcept

Checks the invariants of the class in which it is defined.

Returns

bool ... true if and only if all class invariants hold.

Reimplemented in Context, Interpreter, SOS, SOA, SOD, SOK, SON, and SOO.

---

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

• dbc.h