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
|
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
|
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
|
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
|
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 |
|