File: GenericTest12b.java

package info (click to toggle)
checker-framework-java 3.2.0%2Bds-1
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 22,840 kB
  • sloc: java: 145,910; xml: 839; sh: 518; makefile: 401; perl: 26
file content (20 lines) | stat: -rw-r--r-- 521 bytes parent folder | download | duplicates (3) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
 
@SuppressWarnings("nullness") // Don't want to depend on @Nullable
class GenericTest12b {
    class Cell<T1 extends Object> {}

    class Node<CONTENT extends Object> {
        public Node(Cell<CONTENT> userObject) {}

        void nodecall(Cell<CONTENT> userObject) {}
    }

    class RootNode extends Node<Void> {
        public RootNode() {
            super(new Cell<Void>());
            call(new Cell<Void>());
            nodecall(new Cell<Void>());
        }

        void call(Cell<Void> userObject) {}
    }
}