32 lines
1.4 KiB
C++
32 lines
1.4 KiB
C++
// fig12_08.cpp
|
|
// Division by zero with a precondition.
|
|
#include <iostream>
|
|
|
|
double quotient(double numerator, double denominator)
|
|
[[pre: denominator != 0.0]];
|
|
|
|
int main() {
|
|
std::cout << "quotient(100, 7): " << quotient(100, 7)
|
|
<< "\nquotient(100, 0): " << quotient(100, 0) << '\n';
|
|
}
|
|
|
|
// perform division
|
|
double quotient(double numerator, double denominator) {
|
|
return numerator / denominator;
|
|
}
|
|
|
|
/**************************************************************************
|
|
* (C) Copyright 1992-2022 by Deitel & Associates, Inc. and *
|
|
* Pearson Education, Inc. All Rights Reserved. *
|
|
* *
|
|
* DISCLAIMER: The authors and publisher of this book have used their *
|
|
* best efforts in preparing the book. These efforts include the *
|
|
* development, research, and testing of the theories and programs *
|
|
* to determine their effectiveness. The authors and publisher make *
|
|
* no warranty of any kind, expressed or implied, with regard to these *
|
|
* programs or to the documentation contained in these books. The authors *
|
|
* and publisher shall not be liable in any event for incidental or *
|
|
* consequential damages in connection with, or arising out of, the *
|
|
* furnishing, performance, or use of these programs. *
|
|
**************************************************************************/
|