Default annotations in class files cause undesired downstream completions in IntelliJ

[k...@google.com]

Hi all,

This came up on the Beam dev list. I did not realize that checkerframework inserted the default annotations into class files. Now I see it is an FAQ at https://checkerframework.org/manual/#faq-classfile-annotations

Personally, I don't really care. Annotations should be benign and ignored if the user doesn't have them on their classpath. But there are some issues:

• I see a past thread about dependency analysis. We hit this too, but just added the dep.
• Older JDKs actually NPE rather than ignoring unknown annotations (and it bit Beam)
• IntelliJ autocompletes new classes/methods with all the defaults inserted. This makes sense if IntelliJ does not know about the annotations.

I am mostly concerned with the last bullet. For starters, we will suppress checkerframework in release builds. But I expect we will still have complaints from the Beam devs that raised the issue. I am wondering if anyone has recommendations for a good set up?

Kenn

[Michael Ernst]

Kenn-

My contacts at JetBrains ask you to please create a bug report in their tracker ( https://youtrack.jetbrains.com/newIssue ) providing exact steps to reproduce (with all the dependencies listed, or probably even a sample project attached), expected behavior, and actual behavior.  Hopefully they will be able to fix it for you and the other users.

Mike

--

---
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-...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/checker-framework-discuss/a27e6925-1c7a-4b09-9e09-7552d27a18b5n%40googlegroups.com.

[Jan Lukavsky]

Hi, I created an issue in Idea: https://youtrack.jetbrains.com/issue/IDEA-265658

Dne čtvrtek 1. dubna 2021 v 6:08:41 UTC+2 uživatel Michael Ernst napsal: