|  | Home | Libraries | People | FAQ | More | 
boost::contract::call_if_statement<true, Then, internal_type> — Template specialization to dispatch between then-branch functor template calls that return void and the ones that return non-void (not needed on C++17 compilers, use if constexpr instead). 
// In header: <boost/contract/call_if.hpp> template<typename Then> struct call_if_statement<true, Then, internal_type> : public boost::contract::call_if_statement< true, Then, result_of< Then()>::type > { // construct/copy/destruct explicit call_if_statement(Then); };
The base class is a call-if statement so the else and else-if statements can be specified if needed. Usually this class template is instantiated only via the return value of  boost::contract::call_if and boost::contract::call_if_c.
| ![[Note]](../../../../../../doc/src/images/note.png) | Note | 
|---|---|
| The  | 
See Also:
typename Then
Type of functor template to call when the static predicate is true (as it is for this template specialization). 
call_if_statement 
        public
       construct/copy/destructexplicit call_if_statement(Then f);Construct this object with the then-branch functor template.
| Parameters: | 
 |