Skip to content

Commit 2da9bfb

Browse files
committed
Finish renaming getCFGNode to getCfgNode
1 parent 274281f commit 2da9bfb

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

java/ql/lib/semmle/code/java/ControlFlowGraph.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -773,7 +773,7 @@ private module ControlFlowGraphImpl {
773773
or
774774
result.asExpr() = n and n instanceof StmtExpr
775775
or
776-
result = n.getCFGNode() and n.(PostOrderNode).isLeafNode()
776+
result = n.getCfgNode() and n.(PostOrderNode).isLeafNode()
777777
or
778778
result = first(n.(PostOrderNode).firstChild())
779779
or
@@ -932,7 +932,7 @@ private module ControlFlowGraphImpl {
932932
or
933933
// The last node of a node executed in post-order is the node itself.
934934
exists(PostOrderNode p | p = n |
935-
p.mayCompleteNormally() and last = p.getCFGNode() and completion = NormalCompletion()
935+
p.mayCompleteNormally() and last = p.getCfgNode() and completion = NormalCompletion()
936936
)
937937
or
938938
last.asExpr() = n and completion = basicBooleanCompletion(n.(BooleanLiteral).getBooleanValue())
@@ -1088,7 +1088,7 @@ private module ControlFlowGraphImpl {
10881088
or
10891089
// `throw` statements or throwing calls give rise to ` Throw` completion
10901090
exists(ThrowableType tt | mayThrow(n, tt) |
1091-
last = n.getCFGNode() and completion = ThrowCompletion(tt)
1091+
last = n.getCfgNode() and completion = ThrowCompletion(tt)
10921092
)
10931093
or
10941094
// `break` statements give rise to a `Break` completion
@@ -1244,7 +1244,7 @@ private module ControlFlowGraphImpl {
12441244
|
12451245
result = first(p.getChildNode(i + 1))
12461246
or
1247-
not exists(p.getChildNode(i + 1)) and result = p.getCFGNode()
1247+
not exists(p.getChildNode(i + 1)) and result = p.getCfgNode()
12481248
)
12491249
or
12501250
// Statements within a block execute sequentially.

0 commit comments

Comments
 (0)