 | Re: Question regarding Exercise 2 |
|
Dear Klaus, basically the first case applies. N is intended as a constant (even if not declared as final) that specifies the initial size of the array. Since only the constructor uses it, the only thing to say is that after the constructor call the size of the allocated array equals N (private behavior). In the specs of the other methods, N would not show up at all. Regards, Wolfgang |
Formal Methods in Software Development (SS 2005)
|