1. Implement the static method declared as follows: ** * Reports the value of {@code i}...

   

Transcribed Image Text:

1. Implement the static method declared as follows: ** * Reports the value of {@code i} as a {@code NaturalNumber}, when {@code i} * is non-negative. * * @param i * the given value * @requires i >= 0 * @ensures fromInt = i */ private static Natural Number fromInt(int i) {...} 2. Modify your implementation of the static method toInt so that it is an instance method for Natural Number declared as follows: /** * Reports the value of {@code this} as an {@code int}, when {@code this} is * small enough. * * @return the value * @requires this 1. Implement the static method declared as follows: ** * Reports the value of {@code i} as a {@code NaturalNumber}, when {@code i} * is non-negative. * * @param i * the given value * @requires i >= 0 * @ensures fromInt = i */ private static Natural Number fromInt(int i) {...} 2. Modify your implementation of the static method toInt so that it is an instance method for Natural Number declared as follows: /** * Reports the value of {@code this} as an {@code int}, when {@code this} is * small enough. * * @return the value * @requires this