Shared/Ruby: Use e for edges in documentation

paldepind · paldepind · commit 003058c44afe · 2025-02-11T12:48:28.000+01:00
diff --git a/ruby/ql/lib/codeql/ruby/controlflow/BasicBlocks.qll b/ruby/ql/lib/codeql/ruby/controlflow/BasicBlocks.qll
@@ -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
diff --git a/shared/controlflow/codeql/controlflow/BasicBlock.qll b/shared/controlflow/codeql/controlflow/BasicBlock.qll
@@ -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

Original file line number	Diff line number	Diff line change
`@@ -177,8 +177,8 @@ final class BasicBlock extends BasicBlocksImpl::BasicBlock {`
`177`	`177`	`*`
`178`	`178`	`* Edge dominance is similar to node dominance except it concerns edges`
`179`	`179`	* instead of nodes: A basic block is dominated by a _basic block_ `bb` if it
`180`		- * can only be reached through `bb` and dominated by an _edge_ `s` if it can
`181`		- * only be reached through `s`.
	`180`	+ * can only be reached through `bb` and dominated by an _edge_ `e` if it can
	`181`	+ * only be reached through `e`.
`182`	`182`	`*`
`183`	`183`	`* Note that where all basic blocks (except the entry basic block) are`
`184`	`184`	`* strictly dominated by at least one basic block, a basic block may not be`
Original file line number	Diff line number	Diff line change
`@@ -177,8 +177,8 @@ module Make<LocationSig Location, InputSig<Location> Input> {`
`177`	`177`	`*`
`178`	`178`	`* Edge dominance is similar to node dominance except it concerns edges`
`179`	`179`	* instead of nodes: A basic block is dominated by a _basic block_ `bb` if
`180`		- * it can only be reached through `bb` and dominated by an _edge_ `s` if it
`181`		- * can only be reached through `s`.
	`180`	+ * it can only be reached through `bb` and dominated by an _edge_ `e` if it
	`181`	+ * can only be reached through `e`.
`182`	`182`	`*`
`183`	`183`	`* Note that where all basic blocks (except the entry basic block) are`
`184`	`184`	`* strictly dominated by at least one basic block, a basic block may not be`