#include <BALL/COMMON/exception.h>
Public Member Functions | |
Postcondition (const char *file, int line, const char *condition) |
Postcondition failed. A postcondition (as defined by BALL_POSTCONDITION_EXCEPTION) has failed.
Definition at line 405 of file COMMON/exception.h.
BALL::Exception::Postcondition::Postcondition | ( | const char * | file, | |
int | line, | |||
const char * | condition | |||
) |