Commit Graph
350 Commits
Author SHA1 Message Date
Tagir Valeevandintellij-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 Pyltsinandintellij-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 Valeevandintellij-monorepo-bot 73455b3839 [java-annotations] More type-use collector annotations
GitOrigin-RevId: 5b43383bd7a3d460fcef8a7bf4c818e990a5cab0
2025-09-19 11:56:20 +00:00
Tagir Valeevandintellij-monorepo-bot 33baf7b9b6 [java] @Unmodifiable on collection factories moved to external annotations
GitOrigin-RevId: 1fee7d38c796e7027de9ce886097c7bdb0fed8d5
2025-09-17 15:55:14 +00:00
Mikhail Pyltsinandintellij-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 Valeevandintellij-monorepo-bot 73943d0839 [java-dfa] Simplify Mutability computation using external annotations
GitOrigin-RevId: 6570f36a8fa94ca14f4341875b5b980c7124641a
2025-06-16 15:03:39 +00:00
Tagir Valeevandintellij-monorepo-bot de66f48c05 [java-annotations] j.n.f.Files.readAttributes returns NotNull
GitOrigin-RevId: b8914587908c609a1e11646653a3ae63c9a74ca4
2025-04-10 13:14:20 +00:00
Tagir Valeevandintellij-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 Leijdekkersandintellij-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 Leijdekkersandintellij-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 Leijdekkersandintellij-monorepo-bot 6aeef1b12a Java: fix incorrect annotations (IJ-CR-158282)
GitOrigin-RevId: 03e6b3fb7752b53967761c4a10b3187525cfa180
2025-03-31 09:59:32 +00:00
Bas Leijdekkersandintellij-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 Valeevandintellij-monorepo-bot 2b1287683b [java-annotations] Locale fields are annotated as not-null
GitOrigin-RevId: f0b42aa616abbb80192c93d5c39764873365c5d6
2025-03-07 11:16:13 +00:00
Tagir Valeevandintellij-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 Valeevandintellij-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 Valeevandintellij-monorepo-bot 363cb8b5d3 [java-annotations] Annotate SimpleFileVisitor
GitOrigin-RevId: 7fb2858272c72ff7311785672059fae16228a727
2025-01-10 16:33:09 +00:00
Tagir Valeevandintellij-monorepo-bot 9729515184 [java-annotations] java.lang.Record::toString: notnull
GitOrigin-RevId: 00a8e89669a4663dbdd9f1bdd823c90c3d490cb9
2024-11-19 18:59:12 +00:00
Tagir Valeevandintellij-monorepo-bot de691ce7c7 [java-annotations] Map.ofEntries array element annotated
GitOrigin-RevId: fd932d5756584bde01565aa63b4716e6f4b9af01
2024-10-17 07:57:32 +00:00
Tagir Valeevandintellij-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 Valeevandintellij-monorepo-bot 34006d311d [java-annotations] Type annotations for reflection
GitOrigin-RevId: 8a38692e45db2775c4ccee3b3cfcd40864b47224
2024-09-25 08:04:53 +00:00
Tagir Valeevandintellij-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 Valeevandintellij-monorepo-bot 80752cc29c [java-annotations] More annotations for comparator
GitOrigin-RevId: 8dc815684fb597ccae62260e454b8a83fb958324
2024-09-21 17:52:33 +00:00
Tagir Valeevandintellij-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 Valeevandintellij-monorepo-bot 5b16802ed3 [java-annotations] A few more java.util annotations
GitOrigin-RevId: 903ecd35185cd509eae533e0646e129f0b9f0a4a
2024-09-19 19:06:26 +00:00
Tagir Valeevandintellij-monorepo-bot 6e23889cc9 [java] Syntax of typePath changed; annotations for collection factories
GitOrigin-RevId: 178882a91d4e6cff0ec317739b107fadb0d07047
2024-09-19 19:06:26 +00:00
Tagir Valeevandintellij-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 Valeevandintellij-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 Valeevandintellij-monorepo-bot 1c8240ecd6 [java-annotations] Collectors notnull annotations
GitOrigin-RevId: 6f44dab3101fb0a50a9ee6927f0c010eb4b68a8b
2024-09-18 20:06:30 +00:00
Tagir Valeevandintellij-monorepo-bot e72143205b [java-annotations] Optional functions: NotNull
GitOrigin-RevId: 74fdcf0b2ebc67f5b8758799a19a3326baa95f00
2024-09-18 12:08:08 +00:00
Tagir Valeevandintellij-monorepo-bot 43ae6e7dfe [java] External annotations for CompletableFuture and CompletionStage
GitOrigin-RevId: 5c96df87c10ab8249fe0bca0fcc0baa737fb2f34
2024-09-17 07:28:39 +00:00
Anna Kozlovaandintellij-monorepo-bot 581ac3b40f Make getSelectedItem Nullable corresponding to javadoc
GitOrigin-RevId: 08df371744243c7207065847d791c1b92f4febd2
2024-08-06 08:11:17 +00:00
Tagir Valeevandintellij-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 Valeevandintellij-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 Valeevandintellij-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 Valeevandintellij-monorepo-bot c446f2c4d0 [java] String.format, formatted NotNull external annotation (IDEA-350263)
GitOrigin-RevId: e6ad9c6fca8653c45939271ed4e9ffc1b7dfee42
2024-04-03 19:43:21 +00:00
Alexey Kudravtsevandintellij-monorepo-bot f9ba4d0cec cleanup
GitOrigin-RevId: 2a421924d23670a98903ad244394223000944fb1
2024-03-09 01:36:33 +00:00
Tagir Valeevandintellij-monorepo-bot cab1be81ee [java-annotations] Contract and NotNull annotations on intermediate operations
GitOrigin-RevId: 3a67415f4b28a87ebe597258dab1dd039488c047
2024-02-12 19:13:08 +00:00
Tagir Valeevandintellij-monorepo-bot 9a274d4f01 [java-annotations] MouseWheelEvent methods marked as pure
GitOrigin-RevId: 2d87dc8fdba945bf4940e09cdd6e90ff549a4ca6
2024-02-09 21:17:16 +00:00
Tagir Valeevandintellij-monorepo-bot 6be9a50aaf [java-annotations] Purity contracts for Button methods
GitOrigin-RevId: 361eea2509f578029f7465c1165ec300d146f1af
2024-02-07 19:29:08 +00:00
Tagir Valeevandintellij-monorepo-bot 7d41efea2b [java-annotations] Iterator.next(): mutates itself
GitOrigin-RevId: 7acd79a299004cc4ddb1c473243cd7e4f8a526a1
2024-02-07 19:29:02 +00:00
Tagir Valeevandintellij-monorepo-bot 7805cdf70f [java-annotations] Purity contracts for InputEvent
GitOrigin-RevId: f2d37351adc29f5856faf3eb03b6f967da4ba7a7
2024-02-07 19:28:57 +00:00
Tagir Valeevandintellij-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 Valeevandintellij-monorepo-bot eed5037d8f [java] Annotate java.time parse methods
GitOrigin-RevId: 61d86579eafec120e59985886094bcb0a7a32ac1
2023-12-14 15:51:20 +00:00
Tagir Valeevandintellij-monorepo-bot 70ec96cc40 Annotations for KeyEvent, MouseEvent, InputEvent
GitOrigin-RevId: 97c7b0be6f13e33c96c105a18e3ee7fe4dab2510
2023-12-14 15:51:13 +00:00
Alexey Kudravtsevandintellij-monorepo-bot 4355ee6a0b notnull
GitOrigin-RevId: 3e9f444a08027f094aefdbf7d991afdfc137b63e
2023-08-17 19:19:26 +00:00
Tagir Valeevandintellij-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 Batrakandintellij-monorepo-bot 413c946dc5 IDEA-322100 IDE suggests using incorrect AWT event constants
GitOrigin-RevId: b8f76637d0d899011b1d591d3f47d7fa970ed1af
2023-06-08 18:28:42 +00:00
Tagir Valeevandintellij-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 Pyltsinandintellij-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 Pyltsinandintellij-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