Skip to content

Commit 25d2811

Browse files
committed
Java: Minor change note updates.
1 parent d08467b commit 25d2811

File tree

1 file changed

+8
-8
lines changed

1 file changed

+8
-8
lines changed

change-notes/1.20/analysis-java.md

Lines changed: 8 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -18,13 +18,13 @@
1818
## Changes to QL libraries
1919

2020
* The class `ControlFlowNode` (and by extension `BasicBlock`) is no longer
21-
directly equatable to `Expr` and `Stmt`. Any queries that exploit these
22-
equalities, for example by using casts, will now report compilation errors.
23-
You can fix these errors by making minor changes to the affected classes.
24-
The conversion can be inserted in either direction depending on what is most
25-
convenient. Available conversions include `Expr.getControlFlowNode()`,
26-
`Stmt.getControlFlowNode()`, `ControlFlowNode.asExpr()`,
27-
`ControlFlowNode.asStmt()`, and `ControlFlowNode.asCall()`.
28-
Exit nodes were until now modeled as a `ControlFlowNode` equal to its
21+
directly equatable to `Expr` and `Stmt`. Any queries that exploit these
22+
equalities, for example by using casts, will now report compilation errors.
23+
You can fix these errors by making minor changes to the affected queries.
24+
The conversions can be inserted in either direction depending on what is most
25+
convenient. Available conversions include `Expr.getControlFlowNode()`,
26+
`Stmt.getControlFlowNode()`, `ControlFlowNode.asExpr()`,
27+
`ControlFlowNode.asStmt()`, and `ControlFlowNode.asCall()`.
28+
Exit nodes were until now modeled as a `ControlFlowNode` equal to its
2929
enclosing `Callable`; these are now modeled by the class `ControlFlow::ExitNode`.
3030

0 commit comments

Comments
 (0)