Specializing the predicated methods of a function object.

Supporting Design by Contract in C++
by David Maley and Ivor Spence
Listing 4. Specializing the predicated methods of a function object.


typedef ::DBC1<Complex, Complex, double> OperatorDivide;
bool OperatorDivide::pre(const double& d) const
{
  return d!=0;
}

bool OperatorDivide::post(const Complex& returnValue, const double& d) const
{
  return d*returnValue==*_old;
}

About the Authors

David Maley is with St. Mary's University College, Belfast. He can be contacted at [email protected].

Ivor Spence is with Queen's University of Belfast. He can be contacted at [email protected].