Boost C++ Libraries

...one of the most highly regarded and expertly designed C++ library projects in the world. Herb Sutter and Andrei Alexandrescu, C++ Coding Standards

This is the documentation for a snapshot of the master branch, built from commit c0bc0d89c9.
PrevUpHomeNext

Class specify_nothing

boost::contract::specify_nothing — Used to prevent setting other contract conditions after exception guarantees.

Synopsis

// In header: <boost/contract/core/specify.hpp>


class specify_nothing {
public:
  // construct/copy/destruct
  ~specify_nothing();
};

Description

This class has no member function so it is used to prevent specifying additional functors to check any other contract. This object is internally constructed by the library when users specify contracts calling boost::contract::function and similar functions (that is why this class does not have a public constructor).

See Also:

Tutorial

specify_nothing public construct/copy/destruct

  1. ~specify_nothing();
    Destruct this object.

    Throws: This is declared noexcept(false) since C++11 to allow users to program failure handlers that throw exceptions on contract assertion failures (not the default, see Throw on Failure).


PrevUpHomeNext