Software redundancy and constraint types We consider the following statements:

Circuit 2 Circuit 4 subtype Size_of_Shoe is new integer range 28 .. 45;

P: Shoe_Size;

f 1. Does the declaration of a new type (new) instead of using the type integer

(P: integer) introduce a redundancy? If yes, is it functional or structural? Is it active or passive?

2. Refer to the previous questions for the statement of the constraint:

'range 28 . . 45'.