Struct template call_if_statement<false, Then, internal_type>

boost::contract::call_if_statement<false, Then, internal_type> — Template specialization to handle static predicates that are false.

Synopsis

// 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;
};

Description

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:

Assertion Requirements

Template Parameters

```
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/destruct

explicit call_if_statement(Then const & f);

Construct this object with the then-branch functor template.

Parameters:

f

Then-branch nullary functor template. The functor template call f() is never compiled and executed for this template specialization (because the if-statement static predicate is false). The return type of f() must be the same as (or implicitly convertible to) the return type of all other functor template calls specified for this call-if object.

`call_if_statement` public member functions

template<typename Else> result_of< Else()>::type else_(Else f) const;

Specify the else-branch functor template.

	Note
	The `result_of<Else()>::type` expression should be evaluated only when the static predicate is already checked to be `false` (because `Else()` is required to compile only in that case). Thus, this result-of expression is evaluated lazily only in instantiations of this template specialization.

Parameters:

f

Else-branch nullary functor template. The functor template call f() is actually compiled and executed for this template specialization (because the if-statement static predicate is false). The return type of f() must be the same as (or implicitly convertible to) the return type of all other functor template calls specified for this call-if object.

Returns:

A copy of the value returned by the call to the else-branch functor template f().

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:

f

Else-if-branch nullary functor template. The functor template call f() is actually compiled and executed if and only if ElseIfPred is true (because the if-statement static predicate is already false for this template specialization). The return type of f() must be the same as (or implicitly convertible to) the return type of all other functor template calls specified for this call-if object.

Template Parameters:

ElseIfPred

Static boolean predicate selecting which functor template call to compile and execute.

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:

f

Else-if-branch nullary functor template. The functor template call f() is actually compiled and executed if and only if ElseIfPred::value is true (because the if-statement static predicate is already false for this template specialization). The return type of f() must be the same as (or implicitly convertible to) the return type of all other functor template calls specified for this call-if object.

Template Parameters:

ElseIfPred

Nullary boolean meta-function selecting which functor template call to compile and execute.

Returns:

Boost C++ Libraries