Commit Graph

8224 Commits

Author SHA1 Message Date
Tagir Valeev
6f562db724 [java-inspection] Annotated.from: fix variable names (IDEA-369220)
(cherry picked from commit af14927c6d2fe6794c8fb49994f539be1f0ef97f)

IJ-CR-159281

GitOrigin-RevId: 6e7b3d90603eda734d7abfcbf24bbfda70117c3d
2025-04-12 07:11:23 +00:00
Tagir Valeev
a1141237c8 [java-inspections] When analyzing annotation conflict, ignore container annotation if non-container is present
Fixes IDEA-369220 JSpecify support - wrong warning when Nullable method is declared in NullMarked scope and overridden


(cherry picked from commit 50163bfda72bd1f583dda644c668b78859fac022)

IJ-CR-159281

GitOrigin-RevId: fc33b9c9f8ae165baba5a70c00b91267e57d68b1
2025-04-12 07:11:23 +00:00
Tagir Valeev
914432b67a [java-dfa] IDEA-368172 Nullable return is not reported for lambda parameterized with unbounded type parameter under NullMarked
(cherry picked from commit 61623e582c856479d4a2222ef33a73178831e074)

IJ-CR-156030

GitOrigin-RevId: 450b280f93a17b3c8500b6cfeaf9be7464e4edd3
2025-04-01 08:23:22 +00:00
Tagir Valeev
a7923aaa6a [java-dfa] In case of failed join dump supertypes into exception
Diagnostics for IDEA-369213 AE: DfGenericObjectType.join


(cherry picked from commit b924c1a19cb139e514eedabe838c671b9347328a)

IJ-CR-157916

GitOrigin-RevId: 85441643c9e7a83abc5c8c72edf02977ee0b4074
2025-03-26 20:14:02 +00:00
Bas Leijdekkers
7578dbe3e5 Java: fix assertion failure on KMP class with expect modifier (IDEA-359250, IJPL-178803)
(cherry picked from commit 03b6555f0b9da012f75401b16908012205a25cbe)

IJ-CR-157390

GitOrigin-RevId: 7f20c1afdb293ff8782698ef14e40b7c9119c2ed
2025-03-13 20:54:11 +00:00
Bart van Helvert
ff3149c8ef [java] Expose JavaMethodContractUtil#createAttributesText
Also adds documentation. #IDEA-367681 #IJ-CR-155341

(cherry picked from commit fa180e9bf3f4710bfae4a5f0dab7b7f10d3db4fd)

GitOrigin-RevId: faeebc6d2b5f3ea91fbdaf12ea83e099e83cd0f0
2025-03-11 00:36:09 +00:00
Bart van Helvert
729d35a86c [java] Remove deprecation of Jetbrains contract FQN
#IDEA-366120 #IJ-CR-155341

(cherry picked from commit b01f0abcffd15515cf4426c981b5a18ebde38d4f)

GitOrigin-RevId: ed29102ebdb408ce321e7cd295615c30c14f9626
2025-03-11 00:36:09 +00:00
Bart van Helvert
09b55a16cc [java] Migrate contract provider extension point to hard coded values
#IDEA-366120 #IJ-CR-155341

(cherry picked from commit f0a38cf77f2a636e4d2b58f93f6d225d57d5738f)

GitOrigin-RevId: 34263eb95a904729580bd9180dbbad2c1124ea33
2025-03-11 00:36:09 +00:00
Tagir Valeev
2954f198ce [java-dfa] IDEA-365459 "Treat non-annotated members and parameters as @Nullable" inspections makes constructors @Nullable
(cherry picked from commit b4c0234154171b658451e9628fd1bbc873e4699f)

IJ-CR-156081

GitOrigin-RevId: 817d0389f7e0da1476a024d538fe588300c6e5e1
2025-02-28 12:47:10 +00:00
Tagir Valeev
42ce63523e [java-highlighting] checkModuleReference migrated to ModuleChecker and JavaModuleDefinitionInspection
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: b801fdbe22df163a4f0db153016ae50671ccc866
2025-02-19 20:42:37 +00:00
Tagir Valeev
e51112fe28 [java-highlighting] Move module-not-found warning to JavaModuleDefinitionInspection
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: f9b9df89c27ce40b57cce53c46871282d0e8eded
2025-02-19 20:42:37 +00:00
Tagir Valeev
dcd68e51a4 [java-highlighting] HighlightUtil: remove unused code
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: a7d84cd249a63f5427e20f9feb29b5c00b4d8b01
2025-02-19 20:42:37 +00:00
Tagir Valeev
9c4282bb5f [java-highlighting] SwitchChecker.checkDuplicates migrated
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: 009041ed8f87c4b2af89849393f00388e912d95a
2025-02-19 20:42:37 +00:00
Tagir Valeev
b9999a124d [java-highlighting] SwitchBlockHighlightingModel: move getValuesAndLabels to JavaPsiSwitchUtil
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: 45cfc36addf6faa44c7a12081e5f22cadf6daae2
2025-02-19 20:42:37 +00:00
Tagir Valeev
69ec209f9b [java-highlighting] SwitchBlockHighlightingModel: isolate duplicates search code
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: c207684c048db5a739c684b74792ca8bf2a7e674
2025-02-19 17:57:38 +00:00
Tagir Valeev
581cbbb425 [java-highlighting] HighlightVisitorImpl removed (inlined)
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: 6ba4ce24a0987e353e4d85ee6561b193a619d5f9
2025-02-19 17:57:38 +00:00
Tagir Valeev
9e458c909c [java-highlighting] checkLabelSelectorCompatibility extracted and moved to SwitchChecker
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: bec076c5bff67e22d06e64e573d3219a4c89dd4d
2025-02-19 17:57:38 +00:00
Tagir Valeev
4c9f74c499 [java-highlighting] createDuplicateInfo overload eliminated; minor reordering
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: 697227347f9149b54254e825a910c9ff90c9875c
2025-02-19 14:57:00 +00:00
Vladimir Krivosheev
df0be4aec0 fix PluginsNode visibility
GitOrigin-RevId: ce6438c3bf601f197b0f55b920c5747be6180005
2025-02-19 08:33:02 +00:00
Vladimir Krivosheev
e4ed15ed08 fix StaticImportMemberFix visibility
GitOrigin-RevId: be37ae01fe476a08a67ef5bd3b062d720f8c9731
2025-02-19 08:33:02 +00:00
Vladimir Krivosheev
d73017c3f9 fix Equations visibility
GitOrigin-RevId: 48bbeffa775b466be88d6249319eb359cacd6e13
2025-02-19 08:33:02 +00:00
Vladimir Krivosheev
28e6698017 fix ProjectsGroupNode visibility
GitOrigin-RevId: f8351372588e745b6c5beae5adceb169da67ab63
2025-02-19 08:33:02 +00:00
Tagir Valeev
e94096afec [java-dfa] When reporting return type, type annotation should take preference over the inferred type
Fixes IDEA-367721 No 'nullable return' warning inside NullMarked scope

GitOrigin-RevId: ea77401d66d92b40cabfbd4fb16fe0a1bbb828bc
2025-02-18 11:55:50 +00:00
Tagir Valeev
fff1c6af0c [java-analysis] ClassDataIndexer: provide an extension to register custom file suppressors
Should help BAZEL-852 IntelliJ incorrectly infers "Contract(pure = true)" annotations for methods from ijar-s produced by Bazel

GitOrigin-RevId: 2fdfc9166737d0aba84372a5a2d127aeeb747f9d
2025-02-18 09:36:18 +00:00
Tagir Valeev
cb626d5749 [java-highlighting] checkSwitchSelectorType migrated
Error messages unified; do not list allowed switch types anymore
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: 69675af87ac8866fb5ba1475094b93af07aa1ad5
2025-02-18 09:36:18 +00:00
Tagir Valeev
16c58ccd5d [java-highlighting] JavaPsiSwitchUtil.getSwitchSelectorKind extracted
Also: unified between pattern and non-pattern switches; always returns non-null now
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: aaf556f2c32dc36fe54047ac95683a15d7728bf7
2025-02-18 09:36:18 +00:00
Tagir Valeev
492c6bdaec [java-core] JavaPsiSealedUtil moved to codeserver.core
GitOrigin-RevId: d4d5b683216563029bf817a964fbd020c33ac990
2025-02-18 09:36:18 +00:00
Tagir Valeev
47ea843d98 [java-core] JavaPsiReferenceUtil moved to codeserver.core
GitOrigin-RevId: acad9e3fddb54a91d678aead628c2124128e93f0
2025-02-18 09:36:18 +00:00
Tagir Valeev
4abe8788e2 [java-core] JavaPsiSingleFileSourceUtil moved to codeserver.core
GitOrigin-RevId: 2368062535cd331747a871d22f405e4683ae8bd6
2025-02-18 09:36:18 +00:00
Tagir Valeev
eec026b0ea [java-core] JavaPsiModifierUtil moved to codeserver.core
GitOrigin-RevId: 72b18a9acec8597aad73610937894f2c2e6d1b36
2025-02-18 09:36:18 +00:00
Tagir Valeev
d0e7c1e66e [java-core] JavaPsiVariableUtil moved to codeserver.core
GitOrigin-RevId: d439121bd3795e5ffe13a43152c2a78973e24fcc
2025-02-18 09:36:18 +00:00
Tagir Valeev
e6691d9ea8 [java-highlighting] SwitchBlockHighlightingModel.checkSwitchBlockStatements migrated
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: 463b1549d45bf98586e6ae9dafb4bc4b330bbe52
2025-02-18 09:36:18 +00:00
Bart van Helvert
6e90ba2b6c [java] Adjust Spring contracts when safe deleting parameters
#IDEA-367681 Fixed

GitOrigin-RevId: f62be3a3c0d144bb4f6454347865b96190a7fb1f
2025-02-17 23:20:30 +00:00
Bart van Helvert
87ae54fd79 [java] Support Spring contracts in contract issues inspection
#IDEA-367643 Fixed

GitOrigin-RevId: 7656abae75a51c26d63b6f3b7059ca61d1dadf13
2025-02-17 22:49:57 +00:00
Bart van Helvert
45c34d2f08 [java] Support Spring contracts in DFA
#IDEA-367634 Fixed

GitOrigin-RevId: e4f8ac62bbff7b465367cfdff374e1398938c4dc
2025-02-17 22:49:57 +00:00
Bart van Helvert
df5df7e45f [java] Add extension for providing contract support in library plugins
#IDEA-366120

GitOrigin-RevId: 5d684047c2d75b09435e4d4c883a4ef3b94222f3
2025-02-17 22:49:57 +00:00
Tagir Valeev
493c44c300 [java-highlighting] Null-check for getBackgroundColor result
Fixes IDEA-367626 Code Insight does not work on macOS - toHtmlColor must not be null

GitOrigin-RevId: cd91859692b1eba934e93dbf287e2a7d9bc651f2
2025-02-17 12:04:21 +00:00
Tagir Valeev
a0f777069b [java-highlighting] move module-related warnings to JavaModuleDefinitionInspection
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)

GitOrigin-RevId: 66179a41da5e02b759f07f9d6638b87711181348
2025-02-17 12:04:21 +00:00
Bas Leijdekkers
6828393d81 Java: cleanup
GitOrigin-RevId: 0d9daae1cdffeed5f00f2eb14f4e2812ba234b6d
2025-02-16 22:58:12 +00:00
Vladimir Krivosheev
e666410d59 fix changedParams visibility
GitOrigin-RevId: e39777725de28b15cf2b622ec6df70195247b545
2025-02-16 10:08:11 +00:00
Vladimir Krivosheev
e0c3749fb6 fix PsiVarDescriptor visibility
GitOrigin-RevId: 7fc3e53d873e0e4f012d534610df952a877c94a3
2025-02-15 13:27:50 +00:00
Vladimir Krivosheev
f97821a456 fix ThisPassedAsArgumentVisitor visibility
GitOrigin-RevId: 5e1484bb0362aa97cf1265f3eb4d2e9c6f9e3d0a
2025-02-15 13:27:50 +00:00
Vladimir Krivosheev
3deaff7cf6 fix CMakeVariableNameMixin visibility
GitOrigin-RevId: 94e8f2ee80ddf0098fbcc960bdf6b7aebde4cdc9
2025-02-15 13:27:50 +00:00
Vladimir Krivosheev
49758f2c4a fix AnonymousClassVariableHidesOuterClassVariableVisitor visibility
GitOrigin-RevId: 8a8dcd7c4156120d38cc2cf1ee62795bd90138ee
2025-02-15 13:27:50 +00:00
Vladimir Krivosheev
895557f1e1 fix "class exposed outside of visibility scope"
GitOrigin-RevId: 6679ecb74f16f1d547e0cb77e95d9514ccea89ac
2025-02-14 21:08:26 +00:00
Vladimir Krivosheev
68873aa603 fix LinearBekGraphBuilder, DEFAULT_TESTS_CATEGORY visibility
GitOrigin-RevId: 9d4548ad0a0474dbf0e1ff8b918d9121acab4ba5
2025-02-14 21:08:26 +00:00
Vladimir Krivosheev
06427f7d91 fix FUNCTIONAL_EXPRESSION visibility
GitOrigin-RevId: 1e7706aecfda9f6086c0e3fe91ab528fc8cddffd
2025-02-14 21:08:26 +00:00
Mikhail Pyltsin
5ad0668587 [java-inspection] IDEA-367540 skip outdated guards
GitOrigin-RevId: 0b6f15dda4ddb752d5bfb02f076f7e0ce812f0fe
2025-02-14 17:55:46 +00:00
Nikolay Chashnikov
2e152d37bf [java] API cleanup: mark deprecated unused API for removal (IJPL-163936)
GitOrigin-RevId: dc2eb0f6251c889df4ae78d08c9633f4935cc844
2025-02-14 14:23:04 +00:00
Aleksey Dobrynin
05912469a7 [java, import-module] fix constant: Replace 'import module' with class imports in module-info.java (IDEA-367505)
GitOrigin-RevId: 245b3559d1d9727620ee2963374ac251bf6310b5
2025-02-14 01:09:59 +00:00