File: Expected.txt

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 (17 lines) | stat: -rw-r--r-- 568 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
C1.java:1: error: [initialization.fields.uninitialized] the constructor does not initialize fields: o
public class C1 {
       ^
C2.java:2: error: [assignment.type.incompatible] incompatible types in assignment.
    Object o = null;
               ^
  found   : null
  required: @Initialized @NonNull Object
C3.java:4: error: cannot find symbol
            void bad(XXX p) {
                     ^
  symbol:   class XXX
  location: class C3b
C4.java:3: error: [dereference.of.nullable] dereference of possibly-null reference p
        p.toString();
        ^
4 errors