BALL::Exception::Postcondition

BALL::Exception::Postcondition Class Reference

#include <BALL/COMMON/exception.h>

Inheritance diagram for BALL::Exception::Postcondition:
BALL::Exception::GeneralException

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.

Constructor & Destructor Documentation

BALL::Exception::Postcondition::Postcondition ( const char *  file,
int  line,
const char *  condition 
)