Consider a Rectangle class and a Square class that inherits from the Rectangle class:
• Write post conditions for the Rectangle.setWidth(w:int) and the Rectangle.setHeight(h:int) operations in terms of the Rectangle.getWidth():int and the Rectangle.getHeight():int operations.
• Write an invariant for the Square class stating that the width and height of a Square should always be the same.
• Consider the rules for inheriting contracts described in Section 9.4.5 in the context of the Square.setWidth() and Square.setHeight() operations of the Square class. Are all rules met? Why not? What should change in the model?
We need at least 10 more requests to produce the solution.
0 / 10 have requested this problem solution
The more requests, the faster the answer.