|  | Home | Libraries | People | FAQ | More | 
boost::contract::call_if_statement<false, Then, internal_type> — Template specialization to handle static predicates that are false. 
// In header: <boost/contract/call_if.hpp> template<typename Then> struct call_if_statement<false, Then, internal_type> { // construct/copy/destruct explicit call_if_statement(Then const &); // public member functions template<typename Else> result_of< Else()>::type else_(Else) const; template<bool ElseIfPred, typename ElseIfThen> call_if_statement< ElseIfPred, ElseIfThen > else_if_c(ElseIfThen) const; template<typename ElseIfPred, typename ElseIfThen> call_if_statement< ElseIfPred::value, ElseIfThen > else_if(ElseIfThen) const; };
This template specialization handles all else-branch functor template calls (whether they return void or not). Usually this class template is instantiated only via the return value of  boost::contract::call_if and boost::contract::call_if_c.
See Also:
typename Then
Type of functor template to call when the static predicate is true (never the case for this template specialization). 
call_if_statement 
        public
       construct/copy/destructexplicit call_if_statement(Then const & f);Construct this object with the then-branch functor template.
| Parameters: | 
 | 
call_if_statement public member functionstemplate<typename Else> result_of< Else()>::type else_(Else f) const;Specify the else-branch functor template.
| ![[Note]](../../../../../../doc/src/images/note.png) | Note | 
|---|---|
| The  | 
| Parameters: | 
 | ||
| Returns: | A copy of the value returned by the call to the else-branch functor template  | 
template<bool ElseIfPred, typename ElseIfThen> call_if_statement< ElseIfPred, ElseIfThen > else_if_c(ElseIfThen f) const;Specify an else-if-branch functor template (using a static boolean predicate).
| Parameters: | 
 | ||
| Template Parameters: | 
 | ||
| Returns: | A call-if statement so the else statement and additional else-if statements can be specified if needed. Eventually, this will be the return value of the functor template call being compiled and executed. | 
template<typename ElseIfPred, typename ElseIfThen> call_if_statement< ElseIfPred::value, ElseIfThen > else_if(ElseIfThen f) const;Specify an else-if-branch functor template (using a nullary boolen meta-function).
| Parameters: | 
 | ||
| Template Parameters: | 
 | ||
| Returns: | A call-if statement so the else statement and additional else-if statements can be specified if needed. Eventually, this will be the return value of the functor template call being compiled and executed. |