DbcException Class Reference
[Assertion]

#include <Assertion.h>

Inherits Assertion.

Inherited by AssertException, EnsureException, NeverGetHereException, and RequireException.

List of all members.

---

Detailed Description

Class DbcException is the base class for design-by-contract exception classes, like RequireException and EnsureException.

See also design-by-contract assertions.

Public Types
enum	Type { REQUIRE, ENSURE, ASSERT, NEVERGETHERE }
	type of assertion.
Public Member Functions
Construction
	DbcException (Type aType, CharCptr aDescription, CharCptr aExpression, CharCptr aFile, int aLine)
	constructor.
	DbcException (DbcExceptionCref rhs)
	copy constructor.
virtual	~DbcException ()
	destructor.
Operators
DbcExceptionRef	operator= (DbcExceptionCref rhs)
	copy assignment.
bool	operator== (DbcExceptionCref rhs)
	test equality.
Accessors
virtual CharCptr	what () const
	return message describing the exception.
Type	type () const
	return the type of assertion: require, ensure etc.
String	description () const
	return the assertion type's description.
Private Attributes
Type	theType
	the type
String	theDescription
	the type description
String	theMessage
	the message cache for what()

---

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

• Assertion.h
• Assertion.cpp

---