Chapter 5, Problem 5E

a.

Preconditions and postconditions of “getValue” method:

• • In the “getValue” method, the precondition is us...

b.

Class implementation in java:

AcceptedIntegerValue.java:

//Import package

import java.util.Scanner;

//Define class for "AcceptedIntegerValue"

public class AcceptedIntegerValue

{

    //Declare integer variable for minimum value

    private int minValue;

    //Declare integer variable for maximum value

    private int maxValue;

    //Declare string variable prompt string

    private String promptMsg;

//Parameterized constructor for "AcceptedIntegerValue"

    public AcceptedIntegerValue(int mValue1, int mValue2)

    {

        //Assign "minValue" to "mValue1"

        minValue = mValue1;

        //Assign "maxValue" to "mValue2"

        maxValue = mValue2;

        //Assign prompt string

promptMsg = "Enter an integer value between " + mValue1 + " and " + mValue2 + ": ";

    }

    //Method definition for "getValue"

    public int getValue()

    {

        //Create scanner object

        Scanner input = new Scanner(System.in);

        //Declare variable user input value

        int inputValue;

        //Assign user option to "false"

        boolean userOption = false;

        //Check condition using "do-while" loop

        do

        {

            //Display prompt string

            System.out.print(promptMsg);

            //Read input value from user

            inputValue = input...

c.

Test class for some Java statement:

Main.java:

//Define class "Main"

public class Main

{

    //Define main function

    public static void main(String[] args)

    {

//Create an object for "AcceptedIntegerValue" class

AcceptedIntegerValue n = new AcceptedIntegerValue(40, 100); 

//Call the method "getValue" for object of "AcceptedIntegerValue" class

        int value = n.getValue();

        //Display accepted integer

System...