Problem running checker under IntelliJ IDEA

[Michael Ernst]

https://checkerframework.org/manual/#intellij

says to enter the fully-qualified name of a checker by instantiating 

org.checkerframework.checker.CHECKER.CHECKERChecker

You should not write the CHECKER part literally, but should replace it as appropriate.

An example instantiation would be org.checkerframework.checker.nullness.NullnessChecker.

-Mike

On Tue, Feb 28, 2017 at 8:29 AM, <sombud...@gmail.com> wrote:

There might be a build error. Some paths are often symbolic links which point to others after a proper build.

On Tuesday, February 28, 2017 at 12:15:03 PM UTC+5:30, Nihla Akram wrote:

Hello,

I am an undergraduate from IIT, Sri Lanka. I have gone through the project list for gsoc 2017 and I am particularly interested on project [1].

I have been programming using java for the past 3 years and proficient with the language. Please refer [2] for my github account.

I am currently following [3],[4] to get started with The Checker Framework on IntelliJ 2016.1.4, and I'm getting the following the error on the Annotation Processor.
Error:java: Annotation processor 'org.checkerframework.checker.CHECKER.CHECKERChecker' not found

I checked the checker.jar, and couldn't locate the package. Please guide me on this.

[1] https://checkerframework.org/gsoc-2017-ideas.html#Case_study_of_preventing_index-out-of-bounds_errors
[2] https://github.com/nihlaakram
[3] https://checkerframework.org/manual/#installation
[4] https://checkerframework.org/manual/#intellij

Thanks,
Nihla

--

---
You received this message because you are subscribed to the Google Groups "Checker Framework discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to checker-framework-discuss+unsub...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.

[Nihla Akram]

Hello Michael,

I did as mentioned in the email, and it solved the error.

Thanks,

Nihla

To unsubscribe from this group and stop receiving emails from it, send an email to checker-framework-discuss+unsubsc...@googlegroups.com.

For more options, visit https://groups.google.com/d/optout.