[fixes #2327] mostly trivial: Added this. for field access and unified code gen of build() methods for @Builder.

This commit is contained in:
Reinier Zwitserloot committed 2020-01-07 22:31:43 +01:00
1 parent 889c935ec9
commit 3f620e3b84
63 files changed
+144 -87

No files matched your search

@@ -87,8 +87,8 @@ class CheckerFrameworkBuilder {
names = java.util.Collections.unmodifiableList(new java.util.ArrayList<String>(this.names));
}
int x$value = this.x$value;
if (!x$set) x$value = CheckerFrameworkBuilder.$default$x();
return new CheckerFrameworkBuilder(x$value, y, z, names);
if (!this.x$set) x$value = CheckerFrameworkBuilder.$default$x();
return new CheckerFrameworkBuilder(x$value, this.y, this.z, names);
}
@org.checkerframework.dataflow.qual.SideEffectFree
@java.lang.Override