Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit b11a17d

Browse files
smowtonsmowton
committed
Improve change note
1 parent d7a517a commit b11a17d

1 file changed

Lines changed: 2 additions & 1 deletion

File tree

‎java/ql/lib/change-notes/2023-11-03-jdk21-support.md‎

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
---
22
category: minorAnalysis
33
---
4-
* Switch cases using patterns and both cases and instanceof expressions using record patterns are now supported. The new class `RecordPatternExpr` is introduced to represent patterns, `PatternCase` and `CaseNullDefault` to represent new kinds of case statement, `InstanceOfExpr` gains `getPattern` to replace `getLocalVariableDeclExpr`.
4+
* Switch cases using binding patterns and `case null[, default]` are now supported. Classes `PatternCase` and `CaseNullDefault` are introduced to represent new kinds of case statement.
5+
* Both switch cases and instanceof expressions using record patterns are now supported. The new class `RecordPatternExpr` is introduced to represent record patterns, and `InstanceOfExpr` gains `getPattern` to replace `getLocalVariableDeclExpr`.
56
* The control-flow graph and therefore dominance information regarding switch blocks in statement context but with an expression rule (e.g. `switch(...) { case 1 -> System.out.println("Hello world!") }`) has been fixed. This reduces false positives and negatives from various queries relating to functions featuring such statements.

0 commit comments

Comments
 (0)