Skip to content

Commit

Permalink
[tests] fixing an error in a superbuilder/checkerframework test
Browse files Browse the repository at this point in the history
  • Loading branch information
rzwitserloot committed Aug 26, 2019
1 parent c11edbf commit 461b554
Showing 1 changed file with 1 addition and 1 deletion.
Expand Up @@ -96,7 +96,7 @@ private ParentBuilderImpl() {
public ChildBuilder() {
}
protected abstract @java.lang.Override @org.checkerframework.checker.builder.qual.ReturnsReceiver @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") B self();
protected abstract @java.lang.Override @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") C build(final @org.checkerframework.checker.builder.qual.CalledMethods("b") ChildBuilder this);
public abstract @java.lang.Override @org.checkerframework.dataflow.qual.SideEffectFree @java.lang.SuppressWarnings("all") C build(final @org.checkerframework.checker.builder.qual.CalledMethods("b") ChildBuilder this);
public @org.checkerframework.checker.builder.qual.ReturnsReceiver @java.lang.SuppressWarnings("all") B a(final @org.checkerframework.checker.builder.qual.NotCalledMethods("a") ChildBuilder this, final int a) {
this.a$value = a;
a$set = true;
Expand Down

0 comments on commit 461b554

Please sign in to comment.