test/transform/resource/before/CheckerFrameworkSuperBuilder.java


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

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

class CheckerFrameworkSuperBuilder {
	@lombok.experimental.SuperBuilder
	public static class Parent {
		@lombok.Builder.Default int x = 5;
		int y;
		int z;
		@Singular List<String> names;
	}
	
	@lombok.experimental.SuperBuilder
	public static class Child extends Parent {
		@lombok.Builder.Default int a = 1;
		int b;
	}
}