File: Uninit13.java

package info (click to toggle)

checker-framework-java 3.2.0%2Bds-3

file content (9 lines) | stat: -rw-r--r-- 105 bytes

public class Uninit13 {
    {
        x = 1;
        o = new Object();
    }

    int x;
    Object o;
}