7 comments
Comment actions Permalink

It's in $/redist/src/src_annotations.zip.

0
Comment actions Permalink

I cannot find src_annotations.zip.

It is not anymore under $/redist/src/

- using IntelliJ IDEA Ultimate 2018.3

 

0
Comment actions Permalink

... also not in IntelliJ IDEA Ultimate 2019.1

Can you please fix this or provide the source code for the annotations in some other location?

 

0
Comment actions Permalink

... also not in IntelliJ IDEA Ultimate 2019.2

Can you please fix this or provide the source code for the annotations in some other location?

0
Comment actions Permalink

I am looking for the source code (with documentation) as there is no other documentation provided (or that I was able to locate) for the annotations packaged in the $/redist/annotations.jar.

For example the @Contract annotation provided with the $/redist/annotations.jar has a new method called "mutates". The purpose and usage of this new method is not clear at all. Although, I think I figured it out using the warning messages generated within the IDE, it is not a desired way to do it.

Can you please provide the source code with the documentations for classes included in the $/redist/annotations.jar package or provide the documentation?

 

0
Comment actions Permalink

The source code with documentation for annotation classes distributed with IntelliJ IDEA in $/redist/annotations.jar are located at: https://github.com/JetBrains/java-annotations

0
Comment actions Permalink

Given that these annotations are presumably under development, should the Git repository be tagged with the IDEA version that shipped that particular version of the annotations?  I can see only a few tags in the repository today.  I'm going to go ahead and use the latest version with 2019.3.1 anyway...

It would obviously be more convenient if you could ship a source zip int he $/redist directory though.  As appears to be the case for some other code there.

Would you be willing to accept an enhancement request to ship a source zip alongside $/redist/annotations.jar?

0

Please sign in to leave a comment.