libfsafe/PostconditionViolation.hxx

   1 /**
   2  * @file
   3  *
   4  * Contains declaration of @ref libfsafe::PostconditionViolation
   5  */
   6
   7 #ifndef LIBFSAFE_POSTCONDITIONVIOLATION_HXX
   8 #define LIBFSAFE_POSTCONDITIONVIOLATION_HXX
   9
  10 #include <libsex/declare.hxx>
  11 #include <libfsafe/AssertionFailure.hxx>
  12
  13 /**
  14  * @class libfsafe::PostconditionViolation
  15  *
  16  * Indicates that a caller did not fulfill its part
  17  * of the contract.
  18  *
  19  * Inherits from @ref AssertionFailure.
  20  */
  21 namespace libfsafe
  22 {
  23         class PostconditionViolation;
  24 }
  25
  26 LIBSEX_DECLARE(
  27         libfsafe::AssertionFailure,
  28         libfsafe,
  29         PostconditionViolation)
  30
  31 #endif