test/transform/resource/before/CheckerFrameworkBasic.java


1
2
3
4
5
6
7
8
9
10
11
12
13

//version 8:
//CONF: checkerframework = 4.0
import lombok.AllArgsConstructor;
import lombok.Data;
import lombok.experimental.Accessors;
import lombok.With;

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