Currently, JavaCompiler.shouldStopPolicy is about continuing compilation after errors.
Deciding to stop compilatrion early, i.e. -proc:only, is handled explicitly in JavacProcessingEnvironment.

It would be good to extend the use of CompilePolicy to accomodate a more flexible -proc:only feature, as needed by type annotations.