4 * Contains declaration of @ref libfsafe::PostconditionViolation
7 #ifndef LIBFSAFE_POSTCONDITIONVIOLATION_HXX
8 #define LIBFSAFE_POSTCONDITIONVIOLATION_HXX
10 #include <libsex/declare.hxx>
11 #include <libfsafe/AssertionFailure.hxx>
14 * @class libfsafe::PostconditionViolation
16 * Indicates that a caller did not fulfill its part
19 * Inherits from @ref AssertionFailure.
23 LIBSEX_DECLARE(AssertionFailure
, PostconditionViolation
)