Add comment to getVariableReal

2026-02-19 08:23:45 +01:00 · 2021-05-17 15:02:40 +02:00
parent b434d42d05
commit 25f226e9dc
1 changed files with 5 additions and 0 deletions
--- a/ql/src/codeql_ruby/ast/internal/Variable.qll
+++ b/ql/src/codeql_ruby/ast/internal/Variable.qll
@@ -508,6 +508,11 @@ class TVariableAccessReal =
      TClassVariableAccess;

 abstract class VariableAccessReal extends VariableAccess, TVariableAccessReal {
+  /**
+   * Same as `getVariable()`, but restricted to non-synthesized variable accesses.
+   *
+   * The sole purpose of this predicate is to make AST synthesis monotonic.
+   */
  abstract VariableReal getVariableReal();
 }