Given the following function definitions, write matching precondition and postcondition comments. void swap(int& x, int& y) {     int temp;     temp = x;     x = y;     y = x; }   void displayOrder(string order, double price, int num) {     cout << "Your order of " << num << " " << order << "(s) comes out to $" << price * num << endl;  } int processChoice(char choice, int n, int r) {     int result = r;     if (choice == 'P' || choice == 'p')        result += n;     else if (choice == 'S' || choice == 's')        result -= n;     else if (choice == 'M' || choice == 'm')        result *= n;    else if (choice == 'D' || choice == 'd')        result /= n;     else        result = 0;      return result; }

Database System Concepts
7th Edition
ISBN:9780078022159
Author:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Chapter1: Introduction
Section: Chapter Questions
Problem 1PE
icon
Related questions
Question
100%

Given the following function definitions, write matching precondition and postcondition comments.


void swap(int& x, int& y)
{

    int temp;
    temp = x;
    x = y;
    y = x;
}

 

void displayOrder(string order, double price, int num)
{
    cout << "Your order of " << num << " " << order << "(s) comes out to $" << price * num << endl; 
}


int processChoice(char choice, int n, int r)
{
    int result = r;
    if (choice == 'P' || choice == 'p')
       result += n;
    else if (choice == 'S' || choice == 's')
       result -= n;
    else if (choice == 'M' || choice == 'm')
       result *= n;
   else if (choice == 'D' || choice == 'd')
       result /= n;
    else
       result = 0;
     return result;
}

Expert Solution
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 2 steps

Blurred answer
Knowledge Booster
Datatypes
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, computer-science and related others by exploring similar questions and additional content below.
Similar questions
Recommended textbooks for you
Database System Concepts
Database System Concepts
Computer Science
ISBN:
9780078022159
Author:
Abraham Silberschatz Professor, Henry F. Korth, S. Sudarshan
Publisher:
McGraw-Hill Education
Starting Out with Python (4th Edition)
Starting Out with Python (4th Edition)
Computer Science
ISBN:
9780134444321
Author:
Tony Gaddis
Publisher:
PEARSON
Digital Fundamentals (11th Edition)
Digital Fundamentals (11th Edition)
Computer Science
ISBN:
9780132737968
Author:
Thomas L. Floyd
Publisher:
PEARSON
C How to Program (8th Edition)
C How to Program (8th Edition)
Computer Science
ISBN:
9780133976892
Author:
Paul J. Deitel, Harvey Deitel
Publisher:
PEARSON
Database Systems: Design, Implementation, & Manag…
Database Systems: Design, Implementation, & Manag…
Computer Science
ISBN:
9781337627900
Author:
Carlos Coronel, Steven Morris
Publisher:
Cengage Learning
Programmable Logic Controllers
Programmable Logic Controllers
Computer Science
ISBN:
9780073373843
Author:
Frank D. Petruzella
Publisher:
McGraw-Hill Education