test/transform/resource/before/CheckerFrameworkBuilder.java


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

//version 8:
//CONF: checkerframework = 4.0
import java.util.List;
import lombok.Builder;
import lombok.Singular;

@Builder
class CheckerFrameworkBuilder {
	@Builder.Default int x = 5;
	int y;
	int z;
	@Singular List<String> names;
}