|
18 | 18 | ## Changes to QL libraries |
19 | 19 |
|
20 | 20 | * 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 |
29 | 29 | enclosing `Callable`; these are now modeled by the class `ControlFlow::ExitNode`. |
30 | 30 |
|
0 commit comments