Another Example

Another Example: (Assume that n has been declared and assigned a value before the following program segment is to be executed.)

// Print the factors of integer n

int i= 1;

// Invariant: the factors of n that are less than

// i have been printed, and 1 <= i <= n+1

while (i <= n) {

if (n % i == 0)

System.out.println(i);

i= i+1;

}

Reminder: x % y yields the remainder when x is divided by y.

Example: 13 % 1 = 0

13 % 2 = 1

13 % 3 = 1

13 % 5 = 3

Previous slide

Next slide

Back to first slide

View graphic version