import com.google.auto.value.AutoValue; | |
import org.checkerframework.checker.calledmethods.qual.*; | |
import org.checkerframework.checker.nullness.qual.*; | |
@AutoValue | |
abstract class NonAVBuilder { | |
abstract String name(); | |
public Builder toBuilder() { | |
return new Builder(this); | |
} | |
// NOT an AutoValue builder | |
static final class Builder { | |
Builder(NonAVBuilder b) {} | |
} | |
} |