Skip to content

Commit c2f3cb6

Browse files
committed
C#: Update analysis change notes.
1 parent cff0050 commit c2f3cb6

File tree

1 file changed

+5
-0
lines changed

1 file changed

+5
-0
lines changed

change-notes/1.18/analysis-csharp.md

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -36,6 +36,10 @@
3636

3737
## Changes to code extraction
3838

39+
* The `into` part of `join` clauses is now extracted.
40+
* The `when` part of constant cases is now extracted.
41+
* Fixed a bug where `while(x is T y) ...` was not extracted correctly.
42+
3943
* *Series of bullet points*
4044

4145
## Changes to QL libraries
@@ -59,3 +63,4 @@
5963
- `ControlFlowEdgeGotoCase` has been renamed to `ControlFlow::SuccessorTypes::GotoCaseSuccessor`.
6064
- `ControlFlowEdgeGotoDefault` has been renamed to `ControlFlow::SuccessorTypes::GotoDefaultSuccessor`.
6165
- `ControlFlowEdgeException` has been renamed to `ControlFlow::SuccessorTypes::ExceptionSuccessor`.
66+
* The predicate `getCondition()` has been moved from `TypeCase` to `CaseStmt`. It is now possible to get the condition of a `ConstCase` using its `getCondition()` predicate.

0 commit comments

Comments
 (0)