Tagir Valeev and intellij-monorepo-bot
bae91397ac
IDEA-382748 [java-annotations] External annotations for javax.lang.model APIs
...
Fixes false positive: 'Optional.ofNullable()' with non-null argument should be replaced with 'Optional.of()' when using TypeElement#getAnnotation
(cherry picked from commit 1b3e7f8e4a0d8ef0a611fb644c6b06b137fa9dca)
IJ-CR-184569
GitOrigin-RevId: d132bebf09d2ee872267a20c78b84537dc17dc04
2025-12-03 13:07:46 +00:00
Mikhail Pyltsin and intellij-monorepo-bot
9a1cfdb7a6
[java-inspections] IDEA-379697 False warning about Comparator.nullsLast/nullsFirst passing null to comparator argument
...
GitOrigin-RevId: d3e361fa960d2b3ca36a54c98ccca4863c03c343
2025-09-29 12:37:10 +00:00
Tagir Valeev and intellij-monorepo-bot
73455b3839
[java-annotations] More type-use collector annotations
...
GitOrigin-RevId: 5b43383bd7a3d460fcef8a7bf4c818e990a5cab0
2025-09-19 11:56:20 +00:00
Tagir Valeev and intellij-monorepo-bot
33baf7b9b6
[java] @Unmodifiable on collection factories moved to external annotations
...
GitOrigin-RevId: 1fee7d38c796e7027de9ce886097c7bdb0fed8d5
2025-09-17 15:55:14 +00:00
Mikhail Pyltsin and intellij-monorepo-bot
07ca813ff6
[java-inspection] IDEA-378175 Inspection "'collect(toList())' can be replaced with 'toList()'" disappears on some newer JDKs
...
- more external annotations
GitOrigin-RevId: 349bb9e942e5f1278ba8531d3d79f507cf6eef39
2025-09-05 23:23:50 +00:00
Tagir Valeev and intellij-monorepo-bot
73943d0839
[java-dfa] Simplify Mutability computation using external annotations
...
GitOrigin-RevId: 6570f36a8fa94ca14f4341875b5b980c7124641a
2025-06-16 15:03:39 +00:00
Tagir Valeev and intellij-monorepo-bot
de66f48c05
[java-annotations] j.n.f.Files.readAttributes returns NotNull
...
GitOrigin-RevId: b8914587908c609a1e11646653a3ae63c9a74ca4
2025-04-10 13:14:20 +00:00
Tagir Valeev and intellij-monorepo-bot
2414ed8520
[java-annotations] IDEA-370354 Unmark Class.getAnnotation(annoClass) as Nullable
...
GitOrigin-RevId: 381d07d7dfdbc732dc651e27ac2d3b1f6e2e185e
2025-04-03 17:26:53 +00:00
Bas Leijdekkers and intellij-monorepo-bot
bffda7b491
Java: more @NotNull and @Range external annotations for java.io
...
GitOrigin-RevId: 977f6a79ed5abe3158ae8fde4aebaf47820ca8e1
2025-03-31 09:59:32 +00:00
Bas Leijdekkers and intellij-monorepo-bot
0a86d7103a
Java: detect more problems in annotations.xml (IJ-CR-158282)
...
GitOrigin-RevId: 83cdba5a1cc7294ddd13191004d09e5d0d138343
2025-03-31 09:59:32 +00:00
Bas Leijdekkers and intellij-monorepo-bot
6aeef1b12a
Java: fix incorrect annotations (IJ-CR-158282)
...
GitOrigin-RevId: 03e6b3fb7752b53967761c4a10b3187525cfa180
2025-03-31 09:59:32 +00:00
Bas Leijdekkers and intellij-monorepo-bot
156e101767
Java: add range annotations for readNBytes() and skip() return types (IDEA-369027)
...
GitOrigin-RevId: 63ff5f0ad8a53cc71d61419bbd31fdb48df901c4
2025-03-13 10:50:04 +00:00
Tagir Valeev and intellij-monorepo-bot
2b1287683b
[java-annotations] Locale fields are annotated as not-null
...
GitOrigin-RevId: f0b42aa616abbb80192c93d5c39764873365c5d6
2025-03-07 11:16:13 +00:00
Tagir Valeev and intellij-monorepo-bot
e95fbbb2d4
[java-annotations] More annotations for reflection; Nullable for generic return type
...
Should fix IDEA-366828 AnnotatedElement#getAnnotation incorrectly seen as non-null in null-marked code
GitOrigin-RevId: ea8bf3f0e5f703090b0c56114c2d03aa9a75dc23
2025-02-14 14:14:05 +00:00
Tagir Valeev and intellij-monorepo-bot
b007ebf865
[java-annotations] getOrDefault 2nd parameter is marked as nullable
...
Fixes IDEA-367387 Mismatch between IDEA and JSpecify on HashMap.getDefault(...) nullness
GitOrigin-RevId: 6e90dcdac5b61aa91431f96d007261ad448ea522
2025-02-13 11:05:42 +00:00
Tagir Valeev and intellij-monorepo-bot
363cb8b5d3
[java-annotations] Annotate SimpleFileVisitor
...
GitOrigin-RevId: 7fb2858272c72ff7311785672059fae16228a727
2025-01-10 16:33:09 +00:00
Tagir Valeev and intellij-monorepo-bot
9729515184
[java-annotations] java.lang.Record::toString: notnull
...
GitOrigin-RevId: 00a8e89669a4663dbdd9f1bdd823c90c3d490cb9
2024-11-19 18:59:12 +00:00
Tagir Valeev and intellij-monorepo-bot
de691ce7c7
[java-annotations] Map.ofEntries array element annotated
...
GitOrigin-RevId: fd932d5756584bde01565aa63b4716e6f4b9af01
2024-10-17 07:57:32 +00:00
Tagir Valeev and intellij-monorepo-bot
f8c7cd228d
[java-annotations] Annotate java.util.Locale
...
Fixes IDEA-345772 Locale.getLanguage should be marked as Nonnull
GitOrigin-RevId: a83e358144441631819c800b5669f89b406cc14e
2024-10-15 10:57:21 +00:00
Tagir Valeev and intellij-monorepo-bot
34006d311d
[java-annotations] Type annotations for reflection
...
GitOrigin-RevId: 8a38692e45db2775c4ccee3b3cfcd40864b47224
2024-09-25 08:04:53 +00:00
Tagir Valeev and intellij-monorepo-bot
343eb3c8c7
[java-annotations] More Optional, Stream, NIO annotations (mostly type-use)
...
GitOrigin-RevId: e84dda38c9ddf50ca32f3b7e20aaddaf4a69aa63
2024-09-24 11:13:21 +00:00
Tagir Valeev and intellij-monorepo-bot
80752cc29c
[java-annotations] More annotations for comparator
...
GitOrigin-RevId: 8dc815684fb597ccae62260e454b8a83fb958324
2024-09-21 17:52:33 +00:00
Tagir Valeev and intellij-monorepo-bot
c3ecaaa190
[java-dfa] More annotations; annotations for comparators; warn on nullity violation from methodref return
...
GitOrigin-RevId: d0b1a4967d361f409d4d25562c595e2812fc8044
2024-09-19 19:06:26 +00:00
Tagir Valeev and intellij-monorepo-bot
5b16802ed3
[java-annotations] A few more java.util annotations
...
GitOrigin-RevId: 903ecd35185cd509eae533e0646e129f0b9f0a4a
2024-09-19 19:06:26 +00:00
Tagir Valeev and intellij-monorepo-bot
6e23889cc9
[java] Syntax of typePath changed; annotations for collection factories
...
GitOrigin-RevId: 178882a91d4e6cff0ec317739b107fadb0d07047
2024-09-19 19:06:26 +00:00
Tagir Valeev and intellij-monorepo-bot
ffd5d01482
[java-dfa] Type annotations for stream collectors; now, special processing of non-null collections is unnecessary
...
Part of IDEA-231901 Support TYPE_USE in external annotations
GitOrigin-RevId: 34e116eddf5dbc90468311e5fd2d0c30e600fc1a
2024-09-18 20:27:35 +00:00
Tagir Valeev and intellij-monorepo-bot
b50767f679
[java] Basic support for external type annotations
...
Only in XML directly; no editing UI for now; no inlays for now; only for libraries (Cls), currently no intent to extend to sources (Psi)
Part of IDEA-231901 Support TYPE_USE in external annotations
GitOrigin-RevId: 672ed09f57ffc40b61e8fe4dd33d0f9acdac92dc
2024-09-18 20:06:30 +00:00
Tagir Valeev and intellij-monorepo-bot
1c8240ecd6
[java-annotations] Collectors notnull annotations
...
GitOrigin-RevId: 6f44dab3101fb0a50a9ee6927f0c010eb4b68a8b
2024-09-18 20:06:30 +00:00
Tagir Valeev and intellij-monorepo-bot
e72143205b
[java-annotations] Optional functions: NotNull
...
GitOrigin-RevId: 74fdcf0b2ebc67f5b8758799a19a3326baa95f00
2024-09-18 12:08:08 +00:00
Tagir Valeev and intellij-monorepo-bot
43ae6e7dfe
[java] External annotations for CompletableFuture and CompletionStage
...
GitOrigin-RevId: 5c96df87c10ab8249fe0bca0fcc0baa737fb2f34
2024-09-17 07:28:39 +00:00
Anna Kozlova and intellij-monorepo-bot
581ac3b40f
Make getSelectedItem Nullable corresponding to javadoc
...
GitOrigin-RevId: 08df371744243c7207065847d791c1b92f4febd2
2024-08-06 08:11:17 +00:00
Tagir Valeev and intellij-monorepo-bot
1f3b821f82
[java-annotations] Remove 'io' mutation annotation from methods that read file-system only
...
Despite the benign side effect, it's still ok to use them in assert statements, etc.
GitOrigin-RevId: 5d20dd9bd2b8191217ea71190942adcd1c618428
2024-07-08 09:43:22 +00:00
Tagir Valeev and intellij-monorepo-bot
d52f6c789f
[java-dfa] IDEA-355908 Add new mutation contract option: io
...
GitOrigin-RevId: 206fae268d8444d475a4feac6ebc5ef96ffc57bb
2024-07-04 21:05:23 +00:00
Tagir Valeev and intellij-monorepo-bot
fcab6d8eef
[java-annotations] IDEA-354204 java.lang.Integer.valueOf overloads should be externally annotated to return not-null result
...
GitOrigin-RevId: 000b7250ae122937fc668fd25458ea6fbad431f2
2024-06-03 16:18:36 +00:00
Tagir Valeev and intellij-monorepo-bot
c446f2c4d0
[java] String.format, formatted NotNull external annotation (IDEA-350263)
...
GitOrigin-RevId: e6ad9c6fca8653c45939271ed4e9ffc1b7dfee42
2024-04-03 19:43:21 +00:00
Alexey Kudravtsev and intellij-monorepo-bot
f9ba4d0cec
cleanup
...
GitOrigin-RevId: 2a421924d23670a98903ad244394223000944fb1
2024-03-09 01:36:33 +00:00
Tagir Valeev and intellij-monorepo-bot
cab1be81ee
[java-annotations] Contract and NotNull annotations on intermediate operations
...
GitOrigin-RevId: 3a67415f4b28a87ebe597258dab1dd039488c047
2024-02-12 19:13:08 +00:00
Tagir Valeev and intellij-monorepo-bot
9a274d4f01
[java-annotations] MouseWheelEvent methods marked as pure
...
GitOrigin-RevId: 2d87dc8fdba945bf4940e09cdd6e90ff549a4ca6
2024-02-09 21:17:16 +00:00
Tagir Valeev and intellij-monorepo-bot
6be9a50aaf
[java-annotations] Purity contracts for Button methods
...
GitOrigin-RevId: 361eea2509f578029f7465c1165ec300d146f1af
2024-02-07 19:29:08 +00:00
Tagir Valeev and intellij-monorepo-bot
7d41efea2b
[java-annotations] Iterator.next(): mutates itself
...
GitOrigin-RevId: 7acd79a299004cc4ddb1c473243cd7e4f8a526a1
2024-02-07 19:29:02 +00:00
Tagir Valeev and intellij-monorepo-bot
7805cdf70f
[java-annotations] Purity contracts for InputEvent
...
GitOrigin-RevId: f2d37351adc29f5856faf3eb03b6f967da4ba7a7
2024-02-07 19:28:57 +00:00
Tagir Valeev and intellij-monorepo-bot
cd808051e2
[java-annotations] java.lang.CharSequence methods are annotated as pure
...
GitOrigin-RevId: c2f04a10a14cd36ecc731164f40b8fc1b62c8a2b
2024-02-07 19:28:37 +00:00
Tagir Valeev and intellij-monorepo-bot
eed5037d8f
[java] Annotate java.time parse methods
...
GitOrigin-RevId: 61d86579eafec120e59985886094bcb0a7a32ac1
2023-12-14 15:51:20 +00:00
Tagir Valeev and intellij-monorepo-bot
70ec96cc40
Annotations for KeyEvent, MouseEvent, InputEvent
...
GitOrigin-RevId: 97c7b0be6f13e33c96c105a18e3ee7fe4dab2510
2023-12-14 15:51:13 +00:00
Alexey Kudravtsev and intellij-monorepo-bot
4355ee6a0b
notnull
...
GitOrigin-RevId: 3e9f444a08027f094aefdbf7d991afdfc137b63e
2023-08-17 19:19:26 +00:00
Tagir Valeev and intellij-monorepo-bot
7a7e094d2d
[java-dfa] IDEA-326613 Support constant evaluation of Integer.parseInt and friends
...
GitOrigin-RevId: 178e0b4309a84b07a1f01c5fc782a49f03feeb79
2023-07-28 09:45:33 +00:00
Dmitry Batrak and intellij-monorepo-bot
413c946dc5
IDEA-322100 IDE suggests using incorrect AWT event constants
...
GitOrigin-RevId: b8f76637d0d899011b1d591d3f47d7fa970ed1af
2023-06-08 18:28:42 +00:00
Tagir Valeev and intellij-monorepo-bot
e4b04b1e6a
[java] External annotations of Java 11+ String methods (IDEA-308603)
...
GitOrigin-RevId: f1273bc4c87b91f2b1f2d519f37c3b0822c2637c
2023-06-05 16:00:38 +00:00
Mikhail Pyltsin and intellij-monorepo-bot
54fbbea987
[java-inspections] IDEA-288121 Disable spell-checking in Java date format patterns
...
GitOrigin-RevId: 420d6b71602992a963ea7bf68185b60480ed3dda
2023-04-20 16:09:09 +00:00
Mikhail Pyltsin and intellij-monorepo-bot
14f1d350a3
[java-inspections] IDEA-288121 Disable spell-checking in Java date format patterns
...
GitOrigin-RevId: 4d05d95a8df627cdffc7949afce77b821ae20346
2023-04-20 16:09:02 +00:00