hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Shared/Ruby: Use e for edges in documentation

Browse Source
This commit is contained in:
Simon Friis Vindum
2025-02-11 12:48:28 +01:00
parent d6e8acd080
commit 003058c44a
2 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ruby/ql/lib/codeql/ruby/controlflow/BasicBlocks.qll
View File

@@ -177,8 +177,8 @@ final class BasicBlock extends BasicBlocksImpl::BasicBlock {
*
* Edge dominance is similar to node dominance except it concerns edges
* instead of nodes: A basic block is dominated by a _basic block_ `bb` if it
* can only be reached through `bb` and dominated by an _edge_ `s` if it can
* only be reached through `s`.
* can only be reached through `bb` and dominated by an _edge_ `e` if it can
* only be reached through `e`.
*
* Note that where all basic blocks (except the entry basic block) are
* strictly dominated by at least one basic block, a basic block may not be

4
shared/controlflow/codeql/controlflow/BasicBlock.qll
View File

@@ -177,8 +177,8 @@ module Make<LocationSig Location, InputSig<Location> Input> {
*
* Edge dominance is similar to node dominance except it concerns edges
* instead of nodes: A basic block is dominated by a _basic block_ `bb` if
* it can only be reached through `bb` and dominated by an _edge_ `s` if it
* can only be reached through `s`.
* it can only be reached through `bb` and dominated by an _edge_ `e` if it
* can only be reached through `e`.
*
* Note that where all basic blocks (except the entry basic block) are
* strictly dominated by at least one basic block, a basic block may not be