test/transform/resource/before/CheckerFrameworkBasic.java


1
2
3
4
5
6
7
8
9
10
11

//CONF: checkerframework = 3.0
import lombok.Data;
import lombok.experimental.Accessors;
import lombok.With;

@Data @Accessors(chain = true)
class CheckerFrameworkBasic {
	@With private final int x;
	private final int y;
	private int z;
}