tests/bugs163/pr257833/NotNullTest.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21

package patterntesting.check.runtime;


public class NotNullTest {
    
    private String s2;
    private static final String nullString = null;
    
    public NotNullTest() {
    }
    
    public NotNullTest(@NotNull String s) {
        s2 = s;
    }
    
    public static void main(String []argv) {
        new NotNullTest("something");
        new NotNullTest(nullString);
    }

}