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
|
public class StateMatch {
private int num_elts = 0;
@SuppressWarnings("nullness")
private double[][] elts = null;
@SuppressWarnings({
"Interning",
"index"
}) // This code is inherently unsafe for the index checker, but adding index annotations
// produces warnings for other checkers (fenum)
public boolean state_match(Object state) {
if (!(state instanceof double[][])) {
System.out.println("");
}
double[][] e = (double[][]) state;
boolean match = false;
if (elts[0] == e[0]) {
// When analyzing this statement, we get an exception about taking
// the LUB of ATMs with empty sets of qualifiers.
match = true;
}
return (true);
}
}
|
