Initial commit, version 0.1.0.
[libfsafe.git] / libfsafe / PostconditionViolation.hxx
bloba1e5e2926025dc5e8950480aaf6a23415418e6cc
1 /**
2 * @file
4 * Contains declaration of @ref libfsafe::PostconditionViolation
5 */
7 #ifndef LIBFSAFE_POSTCONDITIONVIOLATION_HXX
8 #define LIBFSAFE_POSTCONDITIONVIOLATION_HXX
10 #include <libsex/declare.hxx>
11 #include <libfsafe/AssertionFailure.hxx>
13 /**
14 * @class libfsafe::PostconditionViolation
16 * Indicates that a caller did not fulfill its part
17 * of the contract.
19 * Inherits from @ref AssertionFailure.
21 namespace libfsafe
23 LIBSEX_DECLARE(AssertionFailure, PostconditionViolation)
26 #endif