EnsureException Class Reference

#include <Assertion.h>

Inherits DbcException.

List of all members.

---

Detailed Description

EnsureException is the design-by-contract postcondition exception.

See also design-by-contract assertions.

Public Member Functions
	EnsureException (CharCptr aExpression, CharCptr aFile, int aLine)
	constructor.

---

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

• Assertion.h

---