BALL::Exception::Postcondition Class Reference

Postcondition failed. More...

#include <exception.h>

Inheritance diagram for BALL::Exception::Postcondition:

[legend]

List of all members.

Public Member Functions
	Postcondition (const char *file, int line, const char *condition)

---

Detailed Description

Postcondition failed.

A postcondition (as defined by BALL_POSTCONDITION_EXCEPTION) has failed.