Refactor a Supression predicate into a class

Author: NateD-MSFT

src/drivers/libraries/Suppression.qll

@@ -2,27 +2,6 @@
 // Licensed under the MIT license.
 import cpp
 
-/**
- * --- AI-generated ---
- *
- * Gets the minimum start line of a non-suppression Locatable in `f` that is
- * strictly after `afterLine`. Pre-computing distinct lines avoids iterating
- * over every Locatable individually in the aggregate.
- */
-pragma[nomagic]
-private int nextNonSuppressionLine(File f, int afterLine) {
-  afterLine = any(SuppressPragma sp | sp.getFile() = f).getLocation().getEndLine() and
-  result =
-    min(int line |
-      exists(Locatable l |
-        l.getFile() = f and
-        not l instanceof CASuppression and
-        line = l.getLocation().getStartLine() and
-        line > afterLine
-      )
-    )
-}
-
 /**
  * --- AI-generated ---
  *
@@ -256,10 +235,30 @@ class SuppressPragma extends CASuppression {
   pragma[nomagic]
   int getMinimumLocationOffset() {
     exists(int nextLine |
-      nextLine = nextNonSuppressionLine(this.getFile(), this.getLocation().getEndLine()) and
+      nextLine = nextNonSuppressionLine() and
       result = nextLine - this.getLocation().getEndLine()
     )
   }
+  
+  /**
+   * --- AI-generated ---
+   *
+   * Gets the minimum start line of a non-suppression Locatable in `f` that is
+   * strictly after `afterLine`. Pre-computing distinct lines avoids iterating
+   * over every Locatable individually in the aggregate.
+   */
+  pragma[nomagic]
+  private int nextNonSuppressionLine() {
+    result =
+      min(int line |
+        exists(Locatable l |
+          l.getFile() = this.getFile() and
+          not l instanceof CASuppression and
+          line = l.getLocation().getStartLine() and
+          line > this.getLocation().getEndLine()
+        )
+      )
+  }
 }
 
 /**