Main Page | Modules | Namespace List | Class Hierarchy | Class List | Namespace Members | Class Members

Exception::Postcondition Class Reference

Postcondition failed. More...

#include <exception.h>

Inheritance diagram for Exception::Postcondition:

Exception::GeneralException List of all members.

Public Member Functions

 Postcondition (const char *file, int line, const char *condition) throw ()

Detailed Description

Postcondition failed.

A postcondition (as defined by BALL_POSTCONDITION_EXCEPTION) has failed.