QL for QL: fix typos in comments

Author: nickrolfe

ql/ql/src/codeql_ql/ast/Ast.qll

@@ -919,7 +919,7 @@ class NewTypeBranch extends TNewTypeBranch, Predicate, TypeDeclaration {
 class Call extends TCall, Expr, Formula {
   /** Gets the `i`th argument of this call. */
   Expr getArgument(int i) {
-    none() // overriden in sublcasses.
+    none() // overridden in sublcasses.
   }
 
   /** Gets an argument of this call, if any. */
@@ -1901,13 +1901,13 @@ class FunctionSymbol extends string {
  */
 class BinOpExpr extends TBinOpExpr, Expr {
   /** Gets the left operand of the binary expression. */
-  Expr getLeftOperand() { none() } // overriden in subclasses
+  Expr getLeftOperand() { none() } // overridden in subclasses
 
   /** Gets the right operand of the binary expression. */
-  Expr getRightOperand() { none() } // overriden in subclasses
+  Expr getRightOperand() { none() } // overridden in subclasses
 
   /** Gets the operator of the binary expression. */
-  FunctionSymbol getOperator() { none() } // overriden in subclasses
+  FunctionSymbol getOperator() { none() } // overridden in subclasses
 
   /** Gets an operand of the binary expression. */
   final Expr getAnOperand() { result = this.getLeftOperand() or result = this.getRightOperand() }

ql/ql/src/codeql_ql/ast/internal/Type.qll

@@ -32,13 +32,13 @@ class Type extends TType {
   string getName() { result = "???" }
 
   /**
-   * Gets a supertype of this type. This follows the user-visible type heirarchy,
+   * Gets a supertype of this type. This follows the user-visible type hierarchy,
    * and doesn't include internal types like the characteristic and domain types of classes.
    */
   Type getASuperType() { none() }
 
   /**
-   * Gets a supertype of this type in the internal heirarchy,
+   * Gets a supertype of this type in the internal hierarchy,
    * which includes the characteristic and domain types of classes.
    */
   Type getAnInternalSuperType() { result = TDontCare() }

ql/ql/src/codeql_ql/dataflow/DataFlow.qll

@@ -212,7 +212,7 @@ class SuperNode extends LocalFlow::TSuperNode {
    * The node is arbitrary and the caller should not rely on how the node is chosen.
    * The node is currently chosen such that:
    * - An `AstNodeNode` is preferred over other nodes.
-   * - A node occuring earlier is preferred over one occurring later.
+   * - A node occurring earlier is preferred over one occurring later.
    */
   Node getArbitraryRepr() { result = min(Node n | n = getANode() | n order by getInternalId(n)) }
 
@@ -343,7 +343,7 @@ class Tracker extends GlobalFlow::TEdgeLabelOrTrackerState {
   /** Holds if this is the starting point, that is, the summary of the empty path. */
   predicate start() { this = GlobalFlow::MkNoEdge() }
 
-  /** Holds if a call step has been used (possibly preceeded by return steps). */
+  /** Holds if a call step has been used (possibly preceded by return steps). */
   predicate hasCall() { this = GlobalFlow::MkHasCall() }
 
   /** Holds if either `start()` or `hasCall()` holds */

ql/ql/src/codeql_ql/printAstAst.qll

@@ -25,7 +25,7 @@ class PrintAstConfiguration extends string {
 
 /**
  * Gets the `i`th child of parent.
- * The ordering is location based and pretty arbitary.
+ * The ordering is location based and pretty arbitrary.
  */
 AstNode getAstChild(PrintAstNode parent, int i) {
   result =

ql/ql/src/codeql_ql/printAstGenerated.qll

@@ -28,7 +28,7 @@ class PrintAstConfiguration extends string {
 
 /**
  * Gets the `i`th child of parent.
- * The ordering is location based and pretty arbitary.
+ * The ordering is location based and pretty arbitrary.
  */
 AstNode getAstChild(PrintAstNode parent, int i) {
   result =

ql/ql/src/queries/style/OverridingParameterName.ql

@@ -1,5 +1,5 @@
 /**
- * @name Using a different paramater name than used in the super-predicate.
+ * @name Using a different parameter name than used in the super-predicate.
  * @description Using another parameter can be an indication of copy-pasted code, or a mistake.
  * @kind problem
  * @problem.severity warning

ql/ql/test/TestUtilities/InlineExpectationsTest.qll

@@ -181,7 +181,7 @@ private string expectationCommentPattern() { result = "\\s*\\$((?:[^/]|/[^/])*)(
 /**
  * The possible columns in an expectation comment. The `TDefaultColumn` branch represents the first
  * column in a comment. This column is not precedeeded by a name. `TNamedColumn(name)` represents a
- * column containing expected results preceeded by the string `name:`.
+ * column containing expected results preceded by the string `name:`.
  */
 private newtype TColumn =
   TDefaultColumn() or

ql/ql/test/queries/performance/VarUnusedInDisjunct/Test.qll

@@ -69,7 +69,7 @@ predicate mixed1(Big good, Small small) {
   good =
     any(Big bad |
       small.toString().matches("%foo") and
-      // the use of good is fine, the comparison futher up binds it.
+      // the use of good is fine, the comparison further up binds it.
       // the same is not true for bad.
       (bad.toString().matches("%foo") or good.toString().regexpMatch("foo.*")) and
       small.toString().regexpMatch(".*foo")