1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
import org.checkerframework.checker.initialization.qual.UnderInitialization;
import org.checkerframework.checker.nullness.qual.Nullable;
class GenericTest12b {
class Cell<T1 extends @Nullable Object> {}
class Node<CONTENT extends @Nullable Object> {
public Node(Cell<CONTENT> userObject) {}
void nodecall(@UnderInitialization Node<CONTENT> this, Cell<CONTENT> userObject) {}
}
class RootNode extends Node<Void> {
public RootNode() {
super(new Cell<Void>());
call(new Cell<Void>());
nodecall(new Cell<Void>());
}
void call(@UnderInitialization RootNode this, Cell<Void> userObject) {}
}
}
|
