aboutsummaryrefslogtreecommitdiff
path: root/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java
diff options
context:
space:
mode:
Diffstat (limited to 'test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java')
-rw-r--r--test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java50
1 files changed, 25 insertions, 25 deletions
diff --git a/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java b/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java
index 40876369..31e8bdb5 100644
--- a/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java
+++ b/test/transform/resource/after-delombok/CheckerFrameworkSuperBuilder.java
@@ -11,7 +11,7 @@ class CheckerFrameworkSuperBuilder {
return 5;
}
@java.lang.SuppressWarnings("all")
- public static abstract class ParentBuilder<C extends Parent, B extends ParentBuilder<C, B>> {
+ public static abstract class ParentBuilder<C extends CheckerFrameworkSuperBuilder.Parent, B extends CheckerFrameworkSuperBuilder.Parent.ParentBuilder<C, B>> {
@java.lang.SuppressWarnings("all")
private boolean x$set;
@java.lang.SuppressWarnings("all")
@@ -28,23 +28,23 @@ class CheckerFrameworkSuperBuilder {
protected abstract B self();
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.SuppressWarnings("all")
- public abstract C build(@org.checkerframework.checker.builder.qual.CalledMethods({"y", "z"}) Parent this);
+ public abstract C build(@org.checkerframework.checker.builder.qual.CalledMethods({"y", "z"}) CheckerFrameworkSuperBuilder.Parent this);
@org.checkerframework.checker.builder.qual.ReturnsReceiver
@java.lang.SuppressWarnings("all")
- public B x(@org.checkerframework.checker.builder.qual.NotCalledMethods("x") ParentBuilder this, final int x) {
+ public B x(@org.checkerframework.checker.builder.qual.NotCalledMethods("x") CheckerFrameworkSuperBuilder.Parent.ParentBuilder<C, B> this, final int x) {
this.x$value = x;
x$set = true;
return self();
}
@org.checkerframework.checker.builder.qual.ReturnsReceiver
@java.lang.SuppressWarnings("all")
- public B y(@org.checkerframework.checker.builder.qual.NotCalledMethods("y") ParentBuilder this, final int y) {
+ public B y(@org.checkerframework.checker.builder.qual.NotCalledMethods("y") CheckerFrameworkSuperBuilder.Parent.ParentBuilder<C, B> this, final int y) {
this.y = y;
return self();
}
@org.checkerframework.checker.builder.qual.ReturnsReceiver
@java.lang.SuppressWarnings("all")
- public B z(@org.checkerframework.checker.builder.qual.NotCalledMethods("z") ParentBuilder this, final int z) {
+ public B z(@org.checkerframework.checker.builder.qual.NotCalledMethods("z") CheckerFrameworkSuperBuilder.Parent.ParentBuilder<C, B> this, final int z) {
this.z = z;
return self();
}
@@ -76,7 +76,7 @@ class CheckerFrameworkSuperBuilder {
}
}
@java.lang.SuppressWarnings("all")
- private static final class ParentBuilderImpl extends ParentBuilder<Parent, ParentBuilderImpl> {
+ private static final class ParentBuilderImpl extends CheckerFrameworkSuperBuilder.Parent.ParentBuilder<CheckerFrameworkSuperBuilder.Parent, CheckerFrameworkSuperBuilder.Parent.ParentBuilderImpl> {
@org.checkerframework.common.aliasing.qual.Unique
@java.lang.SuppressWarnings("all")
private ParentBuilderImpl() {
@@ -85,21 +85,21 @@ class CheckerFrameworkSuperBuilder {
@org.checkerframework.checker.builder.qual.ReturnsReceiver
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.SuppressWarnings("all")
- protected ParentBuilderImpl self() {
+ protected CheckerFrameworkSuperBuilder.Parent.ParentBuilderImpl self() {
return this;
}
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.Override
@java.lang.SuppressWarnings("all")
- public Parent build(@org.checkerframework.checker.builder.qual.CalledMethods({"y", "z"}) ParentBuilderImpl this) {
- return new Parent(this);
+ public CheckerFrameworkSuperBuilder.Parent build(@org.checkerframework.checker.builder.qual.CalledMethods({"y", "z"}) CheckerFrameworkSuperBuilder.Parent.ParentBuilderImpl this) {
+ return new CheckerFrameworkSuperBuilder.Parent(this);
}
}
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.SuppressWarnings("all")
- protected Parent(final ParentBuilder<?, ?> b) {
+ protected Parent(final CheckerFrameworkSuperBuilder.Parent.ParentBuilder<?, ?> b) {
if (b.x$set) this.x = b.x$value;
- else this.x = Parent.$default$x();
+ else this.x = CheckerFrameworkSuperBuilder.Parent.$default$x();
this.y = b.y;
this.z = b.z;
java.util.List<String> names;
@@ -117,8 +117,8 @@ class CheckerFrameworkSuperBuilder {
}
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.SuppressWarnings("all")
- public static ParentBuilder<?, ?> builder() {
- return new ParentBuilderImpl();
+ public static CheckerFrameworkSuperBuilder.Parent.ParentBuilder<?, ?> builder() {
+ return new CheckerFrameworkSuperBuilder.Parent.ParentBuilderImpl();
}
}
public static class Child extends Parent {
@@ -129,7 +129,7 @@ class CheckerFrameworkSuperBuilder {
return 1;
}
@java.lang.SuppressWarnings("all")
- public static abstract class ChildBuilder<C extends Child, B extends ChildBuilder<C, B>> extends Parent.ParentBuilder<C, B> {
+ public static abstract class ChildBuilder<C extends CheckerFrameworkSuperBuilder.Child, B extends CheckerFrameworkSuperBuilder.Child.ChildBuilder<C, B>> extends Parent.ParentBuilder<C, B> {
@java.lang.SuppressWarnings("all")
private boolean a$set;
@java.lang.SuppressWarnings("all")
@@ -144,17 +144,17 @@ class CheckerFrameworkSuperBuilder {
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.Override
@java.lang.SuppressWarnings("all")
- public abstract C build(@org.checkerframework.checker.builder.qual.CalledMethods("b") Child this);
+ public abstract C build(@org.checkerframework.checker.builder.qual.CalledMethods("b") CheckerFrameworkSuperBuilder.Child this);
@org.checkerframework.checker.builder.qual.ReturnsReceiver
@java.lang.SuppressWarnings("all")
- public B a(@org.checkerframework.checker.builder.qual.NotCalledMethods("a") ChildBuilder this, final int a) {
+ public B a(@org.checkerframework.checker.builder.qual.NotCalledMethods("a") CheckerFrameworkSuperBuilder.Child.ChildBuilder<C, B> this, final int a) {
this.a$value = a;
a$set = true;
return self();
}
@org.checkerframework.checker.builder.qual.ReturnsReceiver
@java.lang.SuppressWarnings("all")
- public B b(@org.checkerframework.checker.builder.qual.NotCalledMethods("b") ChildBuilder this, final int b) {
+ public B b(@org.checkerframework.checker.builder.qual.NotCalledMethods("b") CheckerFrameworkSuperBuilder.Child.ChildBuilder<C, B> this, final int b) {
this.b = b;
return self();
}
@@ -166,7 +166,7 @@ class CheckerFrameworkSuperBuilder {
}
}
@java.lang.SuppressWarnings("all")
- private static final class ChildBuilderImpl extends ChildBuilder<Child, ChildBuilderImpl> {
+ private static final class ChildBuilderImpl extends CheckerFrameworkSuperBuilder.Child.ChildBuilder<CheckerFrameworkSuperBuilder.Child, CheckerFrameworkSuperBuilder.Child.ChildBuilderImpl> {
@org.checkerframework.common.aliasing.qual.Unique
@java.lang.SuppressWarnings("all")
private ChildBuilderImpl() {
@@ -175,28 +175,28 @@ class CheckerFrameworkSuperBuilder {
@org.checkerframework.checker.builder.qual.ReturnsReceiver
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.SuppressWarnings("all")
- protected ChildBuilderImpl self() {
+ protected CheckerFrameworkSuperBuilder.Child.ChildBuilderImpl self() {
return this;
}
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.Override
@java.lang.SuppressWarnings("all")
- public Child build(@org.checkerframework.checker.builder.qual.CalledMethods("b") ChildBuilderImpl this) {
- return new Child(this);
+ public CheckerFrameworkSuperBuilder.Child build(@org.checkerframework.checker.builder.qual.CalledMethods("b") CheckerFrameworkSuperBuilder.Child.ChildBuilderImpl this) {
+ return new CheckerFrameworkSuperBuilder.Child(this);
}
}
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.SuppressWarnings("all")
- protected Child(final ChildBuilder<?, ?> b) {
+ protected Child(final CheckerFrameworkSuperBuilder.Child.ChildBuilder<?, ?> b) {
super(b);
if (b.a$set) this.a = b.a$value;
- else this.a = Child.$default$a();
+ else this.a = CheckerFrameworkSuperBuilder.Child.$default$a();
this.b = b.b;
}
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.SuppressWarnings("all")
- public static ChildBuilder<?, ?> builder() {
- return new ChildBuilderImpl();
+ public static CheckerFrameworkSuperBuilder.Child.ChildBuilder<?, ?> builder() {
+ return new CheckerFrameworkSuperBuilder.Child.ChildBuilderImpl();
}
}
} \ No newline at end of file
generated by cgit (git 2.46.0) at 2024-11-23 20:45:21 +0000