mirror of
https://github.com/boostorg/contract.git
synced 2026-01-27 06:42:20 +00:00
31 lines
636 B
C++
Executable File
31 lines
636 B
C++
Executable File
/**
|
|
* @file
|
|
* @author Copyright (C) 2009 Lorenzo Caminiti.
|
|
* Distributed under DBC++ Software License (see file LICENSE_1_0.txt).
|
|
*/
|
|
|
|
#ifndef DBC_HPP_
|
|
#define DBC_HPP_
|
|
|
|
// Preprocessor #defines (must be included as 1st file).
|
|
#include "dbc/detail/pp/defines.hpp"
|
|
|
|
// Configuration.
|
|
#include "dbc/config.hpp"
|
|
// Assertions.
|
|
#include "dbc/exception.hpp"
|
|
#include "dbc/assertion.hpp"
|
|
// Facilities.
|
|
#include "dbc/body.hpp"
|
|
#include "dbc/post.hpp"
|
|
#include "dbc/mparam.hpp"
|
|
// Contracts.
|
|
#include "dbc/object.hpp"
|
|
#include "dbc/invariant.hpp"
|
|
#include "dbc/fun.hpp"
|
|
#include "dbc/mfun.hpp"
|
|
#include "dbc/loop.hpp"
|
|
|
|
#endif // DBC_HPP_
|
|
|