Commit Graph

12 Commits

Author SHA1 Message Date
Ilyas Selimov
e3bce0dad0 java - patterns for switch: added dominance "pattern over const" implementation
GitOrigin-RevId: 878b2c3acfae184618afb1bc80ec09cf8bc1ab6c
2021-07-17 06:15:29 +00:00
Ilyas Selimov
6a5e75050d java - patterns for switch: fixed fall-through semantics between different switch labels
GitOrigin-RevId: e976f949c422aa56cec971ac7f66b58292c9ee7e
2021-07-16 12:36:47 +00:00
Ilyas Selimov
5beb9feb97 java - patterns for switch:
1) Fixed message for dominance
2) Supported null selector (will be fixed in javac https://github.com/openjdk/jdk/pull/4679/files)
3) null and type patterns check

GitOrigin-RevId: 2cc0da4fdf219f5dfb56ce7ed046606a756f94b6
2021-07-07 17:33:18 +00:00
Ilyas Selimov
79ae2516b7 IDEA-270438 - unchecked cast check
GitOrigin-RevId: 25ff6809f13ebe21f8a192e2084dc96c644b3d23
2021-07-01 14:48:07 +00:00
Ilyas Selimov
dcae1753d1 IDEA-270438 - fixed selector type restrictions
GitOrigin-RevId: 826ebda6866b822783d1611b7f44116f5e3d5f8f
2021-06-29 12:34:22 +00:00
Ilyas Selimov
a508d00a25 IDEA-270438 - fixed totality for arrays
GitOrigin-RevId: 991b05698d1fe95155986e6669e60d46c713b588
2021-06-28 12:14:26 +00:00
Ilyas Selimov
85ec7337d1 IDEA-270438 - fixed assignability in switch, added check for selector types
GitOrigin-RevId: 810891b03c0f6274ddc60225ec9e6079405e639c
2021-06-28 12:14:22 +00:00
Ilyas Selimov
9909791f3f IDEA-270438 - fixed completeness for enums
GitOrigin-RevId: 74b104129dea327095c7dfbbb44e2ad11eeb6d98
2021-06-28 06:43:26 +00:00
Ilyas Selimov
7fa76d8c9c IDEA-270438 - fixed completeness and tests
GitOrigin-RevId: 6e920fc66d916e9bf9f7795eaf426c7ec3532b4d
2021-06-27 13:59:32 +00:00
Ilyas Selimov
5ad49432ce IDEA-270438 - removed duplicates, refactoring, misc fixes
GitOrigin-RevId: 0e6b3bf43f3caa3245c03db339700971534616b2
2021-06-27 13:46:02 +00:00
Nikita Eshkeev
e0970fca77 [java][resolve] IDEA-271676 Pattern matching for switch: fix resolve
Fix the resolve algorithm according to [JEP 406](https://openjdk.java.net/jeps/406). It includes:

- The correct resolution of variables in pattern matching guards in both if and switch
- Restricting the maximal scope of resolving by the PsiSwitchLabeledRuleStatement
- Various tests for resolving variable in pattern matching for switch

Signed-off-by: Nikita Eshkeev <nikita.eshkeev@jetbrains.com>

GitOrigin-RevId: 1efb10f50a458a382a71ffeaef5a0f540b4a8893
2021-06-19 21:31:03 +00:00
Nikita Eshkeev
aff8571fd9 [vcs][properties] IDEA-270602 Optimize precommit code analysis for property files
Enable the check if properties are used in a project only for changed or added properties by default

Signed-off-by: Nikita Eshkeev <nikita.eshkeev@jetbrains.com>

GitOrigin-RevId: 6d336d0bb803543c3627c23923605d0d6827dc86
2021-06-17 22:59:22 +00:00