1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
|
/* This file has been extracted from module MutRec. */
import java.util.Random;
import java.util.Arrays;
public class MutRec {
public static boolean even(int number) {
if (number == 0) {
return true;
} else if (number < 0) {
return odd (number + 1);
} else {
return odd (number - 1);
}
}
public static boolean odd(int number1) {
if (number1 == 0) {
return false;
} else if (number1 < 0) {
return MutRec.even(number1 + 1);
} else {
return MutRec.even(number1 - 1);
}
}
public static void main(String [] us) {
try {
Random rnd = (new Random());
for (int i = 0; i <= 100; i++) {
int b = rnd.nextInt(72);
if (b % 2 == 0 && MutRec.odd(b) || b % 2 == 1 && MutRec.even(b)) {
throw new ArithmeticException ();
}
}
} catch (IllegalArgumentException eX) {
throw new RuntimeException("unreachable statement");
}
catch (ArithmeticException eX) {
throw new RuntimeException("unreachable statement");
}
}
}
|
