| Home | Libraries | People | FAQ | More

## 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 this 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 can throw in case programmers specify failure handlers that throw exceptions instead of terminating the program (see Throw on Failure). (This is declared `noexcept(false)` since C++11.)