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
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
2350d69472
[java-highlighting] JavaCompilationErrorBundle.properties proofreading (DOC-34381)
...
GitOrigin-RevId: 05bdca159a63027ea0d1e3d767d4adb9b258f47e
2025-02-14 12:45:24 +00:00
Mikhail Pyltsin
26a09a1c53
[java-highlighting] IDEA-366905 'Label is dominated by a preceding case label' error highlighting appears in a case when there is no compilation error
...
GitOrigin-RevId: a6cb61a29153fbd0524b15995427cd2dc285c653
2025-02-11 11:58:17 +00:00
Tagir Valeev
913cade2a5
[java-highlighting] checkVariableMustBeFinal migrated
...
Also: intermediate refactoring inside HighlightControlFlowUtil related to init-before-use
Also: ErrorFixExtensionPoint now works for any kind (intermediate solution)
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)
GitOrigin-RevId: 7a712a841a52a99bac4faafaf1164921c1150a56
2025-02-05 12:41:14 +00:00
Tagir Valeev
4c3dca5425
[java-inspections] checkNotAStatement -> StatementChecker
...
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)
GitOrigin-RevId: 9450280ccdb333167828b22238d4a7ebf95de3c2
2025-01-27 18:53:10 +00:00
Tagir Valeev
072f53c464
[java-highlighting] more method call errors -> ExpressionChecker; drop ranges on fixes
...
Part of IDEA-365344 Create a new Java error highlighter with minimal dependencies (PSI only)
GitOrigin-RevId: e8ba3ee967f6d8b3534549b1a115b66fde3f57e5
2025-01-22 10:33:39 +00:00
Mikhail Pyltsin
fe129bc95c
[java-highlighting] IDEA-362977 Incorrectly check hierarchy for permitted classes
...
GitOrigin-RevId: 2657b06d91569f31b08eb82c14a9340b7b0ca56c
2025-01-16 17:04:28 +00:00
Mikhail Pyltsin
e39d914c56
[java-highlighting] IDEA-357868 Better error message for primitive types in instanceof
...
GitOrigin-RevId: bb638cf01ec27474d89859c27c5410add6be5931
2024-08-22 09:22:53 +00:00
Bas Leijdekkers
3b9377a54b
Java: better error message on duplicate reference in extends/implements list (IDEA-354856)
...
GitOrigin-RevId: 0ba4eed5966c273f94552d7fe623a69bb6eb6c95
2024-06-14 13:20:40 +00:00
Mikhail Pyltsin
7327bf910a
[java-highlighting] IDEA-353876 Support intersection type for switch selectors
...
GitOrigin-RevId: 075363ad27e93718b10b79234904eed7ac919436
2024-06-03 10:46:00 +00:00
Mikhail Pyltsin
717a44934b
[java-highlighting] IDEA-354239 support exhaustiveness for record patterns with cross-section
...
GitOrigin-RevId: 3a5ce8c4aeb88270fc750f1b671d02e0e3a9b7a7
2024-05-30 11:57:36 +00:00
Mikhail Pyltsin
f27595c831
[java-highlighting] IJ-CR-132825 IDEA-352187 Support JEP 455: highlighting for instanceof with primitives
...
- use `HighlightUtil.checkFeature` for PRIMITIVE_TYPES_IN_PATTERNS
- simplify tests
- add javadocs a bit
GitOrigin-RevId: 61019896534a11e1c7e2f281054d49a32a8ab8e6
2024-05-01 21:37:16 +00:00
Alexey Kudravtsev
3102effabf
make highlight visitors run concurrently; fix tests, get rid of HighlightInfoProcessors to fix IJPL-149030 HighlightVisitors should run in parallel
...
GitOrigin-RevId: 8a77dd409a575d3eaf28d6935ffeb87fce35dbd4
2024-05-01 11:53:23 +00:00
Mikhail Pyltsin
45160db0df
[java-highlighting] IDEA-352588 Support JEP 455: highlighting for switch with primitives
...
GitOrigin-RevId: 06636352b202037ec3400b2f9763e101d8ed6042
2024-04-29 21:17:42 +00:00
Tagir Valeev
d0cf7b359a
[java] IDEA-345498 Remove explicit Java 20-preview support and parenthesized patterns
...
GitOrigin-RevId: 8d646035979e3ec0a7de3c6f58a4e6ec9967bdbd
2024-02-12 19:12:36 +00:00
Mikhail Pyltsin
299b7e468b
[java-highlighting] IDEA-334683 (EA-921945) anonymous classes and local classes must not inherit sealed classes
...
- fix for completion
- fix for error highlighting
GitOrigin-RevId: 337131aab1bc7473711ffc078175b5adba34f30d
2023-10-12 11:53:56 +00:00
Mikhail Pyltsin
b2f6272507
[java-highlighting] Fix flacky test for switch dominance
...
GitOrigin-RevId: 498b70950311ac9b5f1aee55d62f70844060afdb
2023-09-04 12:17:01 +00:00
Tagir Valeev
3dd5f3d6f0
[java-highlighting] Fixes for unnamed patterns in switch (IDEA-326939)
...
1. More uniform messages
2. Better anchor when var is defined in multiple patterns
3. Separate error messages for Java 20 and Java 21
GitOrigin-RevId: d7c6ab5b4445b7929bdcf200ac0838fc5431e803
2023-08-18 11:33:05 +00:00
Tagir Valeev
efbff7c99c
[java-highlighting] Move guard expression to switch label
...
Part of IDEA-326939 Support multi-pattern switch labels that define no variables
GitOrigin-RevId: c236438af58e1c74a2bf12a5985b33cedadb9cbb
2023-08-18 08:18:06 +00:00
Tagir Valeev
5618627fa4
[java-highlighting] IDEA-326939 Support multi-pattern switch labels that define no variables
...
GitOrigin-RevId: fb0360f00314417c17566637db6bbda4c21e6faa
2023-08-16 08:59:25 +00:00
Mikhail Pyltsin
afe84f8eed
[java-highlighting] IDEA-324474 Highlight unreachable statement for exhaustive switch. Tests
...
GitOrigin-RevId: 97f525a579bd45c6863a6662142f26193e7e2429
2023-07-14 16:14:48 +00:00
Mikhail Pyltsin
ab14666e4e
[java-highlighting] 'case default' is the incorrect syntax, and it was replaced with the proper 'default' syntax.
...
GitOrigin-RevId: 72f8e7f6c9080db7cb0b89c0ed876eb949171e8f
2023-07-14 16:14:45 +00:00
Mikhail Pyltsin
125ae46c37
[java-highlighting] IDEA-324638 Null type can be covered by any reference type
...
GitOrigin-RevId: 98c93a763cc6172aa3a2789759ae1e1715e79278
2023-07-13 19:06:23 +00:00
Mikhail Pyltsin
07a6f3f57a
[java-highlighting] IDEA-324314 Enums must be qualified with switch with compatible types
...
GitOrigin-RevId: db218b31e81d767fff0c341a00593983522564b1
2023-07-13 13:29:07 +00:00
Mikhail Pyltsin
50a055ff5c
[java-highlighting] IDEA-325165 Take into account direct superclass for covered enum or record pattern classes
...
GitOrigin-RevId: 7176453ec46c0156391b064e60bf9c0f7f291d42
2023-07-13 13:28:59 +00:00
Mikhail Pyltsin
c09ed3984b
[java-highlighting] IDEA-324625 fix case with nested record patterns
...
GitOrigin-RevId: c88ce329fd28cf12a6b27f752a6d96040061aa17
2023-07-12 21:09:42 +00:00
Mikhail Pyltsin
ae0a9aceaa
[java-highlighting] IDEA-324599 IJ-CR-110513 Use isAccessedForWriting for guard expression
...
GitOrigin-RevId: 3baedbcb85eb0de7a186cc9f990693da7283f90a
2023-07-12 11:06:40 +00:00
Mikhail Pyltsin
6f2c4ec3f3
[java-highlighting] IDEA-324625 Highlight using non-final variable in guard
...
GitOrigin-RevId: 0cedf700c6960e15104409b9cc411e8a5bd15fea
2023-07-12 11:06:37 +00:00
Mikhail Pyltsin
5237df5eb3
[java-highlighting] IDEA-324880 Exhaustive switches can produce definitely assigned variables
...
GitOrigin-RevId: 7e644a2565803fdd900830d986dba481aeb127db
2023-07-12 11:06:36 +00:00
Mikhail Pyltsin
aeb1714a62
[java-highlighting] IDEA-324641 Allow fallthrough for empty block
...
GitOrigin-RevId: e60d99c7c4e142d0df91601e9bcee02f4ff4cd7e
2023-07-11 13:31:09 +00:00
Mikhail Pyltsin
4054012fb4
[java-highlighting] IDEA-324654 Fixes to find missed and covered classes
...
GitOrigin-RevId: 6eb6f4cab91bc3b27c39f7dd60f9cdcdbe2e9475
2023-07-11 13:30:28 +00:00
Mikhail Pyltsin
1b8c014dbd
[java-highlighting] IDEA-324654 IDEA-324725 Coverage with 2 sealed hierarchies (exhaustiveness)
...
GitOrigin-RevId: 1b5ad7fc6c70c9df125cb660ea17e5567ae5a560
2023-07-11 13:30:21 +00:00
Mikhail Pyltsin
1c9acababc
[java-highlighting] IDEA-324654 IDEA-324723 For permitted classes must cover only direct subtypes
...
GitOrigin-RevId: 144a419d3dce0786457236ac96cb066c4718c084
2023-07-11 13:30:20 +00:00
Mikhail Pyltsin
9add8b349e
[java-highlighting] IDEA-324708 Coverage with 2 sealed hierarchies
...
GitOrigin-RevId: c38172bc2a5f16c29a7587f798d889da1c9d80eb
2023-07-11 13:30:19 +00:00
Mikhail Pyltsin
20285c8d02
[java-highlighting] IDEA-324654 IDEA-324727 Coverage overfitting
...
GitOrigin-RevId: 301d2ef5dac2384ec6de653a5fd78a1ef74c6536
2023-07-11 13:30:17 +00:00
Mikhail Pyltsin
fef71943cd
[java-highlighting] IDEA-324654 Tests for record patterns
...
GitOrigin-RevId: d79a18b38ae689c4024c0dacc7aeedfd279be26e
2023-07-11 13:30:15 +00:00
Mikhail Pyltsin
5cfb7551e7
[java-highlighting] IJ-CR-110513 IDEA-324599 Highlight assignment to variable declared outside the guard
...
GitOrigin-RevId: b2e2ccb9e2464323cf615ecbe311da3a749ea098
2023-07-11 13:30:13 +00:00
Mikhail Pyltsin
11a07b9e2c
[java-highlighting] IDEA-324654 IDEA-324675 Take into account the hierarchy for coverage
...
GitOrigin-RevId: 37d211b59419aa50a106c47ac897e704bed32ca7
2023-07-11 13:30:10 +00:00
Mikhail Pyltsin
d64809acc7
[java-highlighting] IDEA-324586 Highlight duplicated values with casts in java 21. Fix for null
...
GitOrigin-RevId: 85c0a0e8608267502c300b150fa9c5df23521efb
2023-07-08 13:45:02 +00:00
Mikhail Pyltsin
fb5e591040
[java-highlighting] IDEA-324599 Highlight assignment to variable declared outside the guard
...
GitOrigin-RevId: 6764de4f511daaeb477c727ea622c64c041e4356
2023-07-08 13:44:53 +00:00
Mikhail Pyltsin
0d8d977eff
[java-highlighting] IDEA-324551 Support enums in permitted list for exhaustiveness
...
GitOrigin-RevId: 7b6a01cbd18b7062babcb4875a580f8f67fb66ee
2023-07-08 13:44:38 +00:00
Mikhail Pyltsin
cb3916ded4
[java-highlighting] IDEA-324544 Support intersections for exhaustiveness
...
GitOrigin-RevId: c87035335aa16dd8ff50d903cc9de814fe7b6a30
2023-07-08 13:44:35 +00:00
Mikhail Pyltsin
d1ee298827
[java-highlighting] Refactoring for fallthrough
...
GitOrigin-RevId: 88bf0c45eb23406f29f693659c8495b286512d36
2023-07-05 20:46:12 +00:00
Mikhail Pyltsin
f92fe33afa
[java-highlighting] IDEA-324405 Not take into account guarded cases for dominating
...
GitOrigin-RevId: 980851746c2e1c1e0f644540867c970598224d2a
2023-07-05 20:46:01 +00:00
Mikhail Pyltsin
4bc43b46f4
[java-highlighting] IDEA-323955 Record patterns support available only for Java 20 preview. Fix compiler errors and tests
...
GitOrigin-RevId: 5f856519e56e61818e95cf63766fb6a54c6283ad
2023-07-05 12:09:22 +00:00
Andrey Cherkasov
9ccc820db2
[java] Remove Java 17 Preview and Java 18 Preview language levels
...
IDEA-314047
GitOrigin-RevId: 8c24deb2dfb5361f08857d7933ab290476f4ce84
2023-06-19 17:37:05 +00:00
Andrey Cherkasov
d1049d3b8f
[java-highlighting] Incorrect priority of error identification for "case default"
...
IDEA-315471
GitOrigin-RevId: 15ba8b32ad2f8616aa7be9f76a4a7f0880baf196
2023-03-16 16:23:41 +00:00
Mikhail Pyltsin
2171340c50
IJ-CR-104238 [java-highlighting] IDEA-299588. Generate missed deconstruction. Fix cover with a type test pattern
...
GitOrigin-RevId: f42b523605d69ebf62c18dfe1b27743e7ef9698c
2023-03-14 21:29:12 +00:00
Andrey Cherkasov
3f67f5fe7e
[java-highlighting] Illegal case label combination
...
— Improve message errors
— Highlighting for default label not allowed here
IDEA-309572
IDEA-311508
IJ-CR-100879
GitOrigin-RevId: ec31413e87c30697c58ae0444425a68d838c7210
2023-03-13 12:53:39 +00:00