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
|
import org.checkerframework.checker.initialization.qual.Initialized;
import org.checkerframework.checker.initialization.qual.UnknownInitialization;
import org.checkerframework.checker.nullness.qual.NonNull;
public class CommitmentFlow {
@NonNull CommitmentFlow t;
public CommitmentFlow(CommitmentFlow arg) {
t = arg;
}
void foo(
@UnknownInitialization CommitmentFlow mystery,
@Initialized CommitmentFlow triedAndTrue) {
CommitmentFlow local = null;
local = mystery;
// :: error: (method.invocation.invalid)
local.hashCode();
local = triedAndTrue;
local.hashCode(); // should determine that it is Committed based on flow
}
}
|
