C#: fix typos in comments

nickrolfe · nickrolfe · commit a50601c3675e · 2022-05-12T14:28:40.000+01:00
diff --git a/csharp/ql/lib/semmle/code/cil/Instructions.qll b/csharp/ql/lib/semmle/code/cil/Instructions.qll
@@ -491,7 +491,7 @@ module Opcodes {
 
     override Callable getTarget() { none() }
 
-    /** Gets the function pointer type targetted by this instruction. */
+    /** Gets the function pointer type targeted by this instruction. */
     FunctionPointerType getTargetType() { cil_access(this, result) }
 
     // The number of items popped/pushed from the stack depends on the target of
diff --git a/csharp/ql/lib/semmle/code/csharp/Member.qll b/csharp/ql/lib/semmle/code/csharp/Member.qll
@@ -117,7 +117,7 @@ class Modifiable extends Declaration, @modifiable {
    * Note that explicit interface implementations are also considered effectively
    * `private` if the implemented interface is itself effectively `private`. Finally,
    * `private protected` members are not considered effectively `private`, because
-   * they can be overriden within the declaring assembly.
+   * they can be overridden within the declaring assembly.
    */
   predicate isEffectivelyPrivate() {
     this.isReallyPrivate() or
@@ -143,7 +143,7 @@ class Modifiable extends Declaration, @modifiable {
    * considered. Explicit interface implementations are also considered effectively
    * `internal` if the implemented interface is itself effectively `internal`. Finally,
    * `internal protected` members are not considered effectively `internal`, because
-   * they can be overriden outside the declaring assembly.
+   * they can be overridden outside the declaring assembly.
    */
   predicate isEffectivelyInternal() {
     this.isReallyInternal() or
diff --git a/csharp/ql/lib/semmle/code/csharp/PrintAst.qll b/csharp/ql/lib/semmle/code/csharp/PrintAst.qll
@@ -265,7 +265,7 @@ class TypeMentionNode extends PrintAstNode, TTypeMentionNode {
   final TypeMention getTypeMention() { result = typeMention }
 
   /**
-   * Gets the `Element` targetted by the `TypeMention`.
+   * Gets the `Element` targeted by the `TypeMention`.
    */
   final Element getTarget() { result = typeMention.getTarget() }
 
diff --git a/csharp/ql/lib/semmle/code/csharp/Unification.qll b/csharp/ql/lib/semmle/code/csharp/Unification.qll
@@ -672,7 +672,7 @@ module Unification {
    *    `ConstrainedTypeParameter::unifiable()` can be used.
    *
    *
-   * For performance reasons, type paramater constraints inside `t1` and `t2` are
+   * For performance reasons, type parameter constraints inside `t1` and `t2` are
    * *not* taken into account, and there is also no guarantee that the same type
    * parameter can be substituted with two different terms. For example, in
    *
diff --git a/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImplShared.qll b/csharp/ql/lib/semmle/code/csharp/controlflow/internal/ControlFlowGraphImplShared.qll
@@ -744,7 +744,7 @@ cached
 private module Cached {
   /**
    * If needed, call this predicate from `ControlFlowGraphImplSpecific.qll` in order to
-   * force a stage-dependency on the `ControlFlowGraphImplShared.qll` stage and therby
+   * force a stage-dependency on the `ControlFlowGraphImplShared.qll` stage and thereby
    * collapsing the two stages.
    */
   cached
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowImplCommon.qll
@@ -305,7 +305,7 @@ cached
 private module Cached {
   /**
    * If needed, call this predicate from `DataFlowImplSpecific.qll` in order to
-   * force a stage-dependency on the `DataFlowImplCommon.qll` stage and therby
+   * force a stage-dependency on the `DataFlowImplCommon.qll` stage and thereby
    * collapsing the two stages.
    */
   cached
diff --git a/csharp/ql/lib/semmle/code/csharp/dispatch/OverridableCallable.qll b/csharp/ql/lib/semmle/code/csharp/dispatch/OverridableCallable.qll
@@ -9,7 +9,7 @@ import csharp
  * A callable that can be overridden or implemented.
  *
  * Unlike the class `Overridable`, this class only includes callables that
- * can actually be overriden/implemented.
+ * can actually be overridden/implemented.
  */
 class OverridableCallable extends Callable, Overridable {
   OverridableCallable() { this.isOverridableOrImplementable() }
diff --git a/csharp/ql/lib/semmle/code/csharp/exprs/Expr.qll b/csharp/ql/lib/semmle/code/csharp/exprs/Expr.qll
@@ -937,7 +937,7 @@ class ThrowExpr extends Expr, ThrowElement, @throw_expr {
    * For example, `new ArgumentException("i")` in
    * `return i != 0 ? 1 / i : throw new ArgumentException("i");`.
    */
-  // overriden for more precise qldoc
+  // overridden for more precise qldoc
   override Expr getExpr() { result = ThrowElement.super.getExpr() }
 
   override string getAPrimaryQlClass() { result = "ThrowExpr" }
@@ -1173,7 +1173,7 @@ class WithExpr extends Expr, @with_expr {
   /** Gets the expression on which this `with` is called. */
   Expr getExpr() { result = this.getChild(0) }
 
-  /** Gets the clone method of the `record` that is targetted by this `with` expression. */
+  /** Gets the clone method of the `record` that is targeted by this `with` expression. */
   RecordCloneMethod getCloneMethod() {
     result = this.getExpr().getType().(RecordClass).getCloneMethod()
   }
diff --git a/csharp/ql/src/definitions.qll b/csharp/ql/src/definitions.qll
@@ -105,7 +105,7 @@ private class AccessUse extends Access, Use {
     not this.(PropertyAccess).getParent().getParent() instanceof Property // Property initializer
   }
 
-  /** Gets the qualifier of this acccess, if any. */
+  /** Gets the qualifier of this access, if any. */
   private Expr getFormatQualifier() {
     result = this.(QualifiableExpr).getQualifier() and
     not result.isImplicit()
diff --git a/csharp/ql/src/experimental/Security Features/backdoor/PotentialTimeBomb.ql b/csharp/ql/src/experimental/Security Features/backdoor/PotentialTimeBomb.ql
@@ -70,7 +70,7 @@ class DateTimeStruct extends Struct {
   }
 
   /**
-   * Holds if the Callable is used for DateTime comparision
+   * Holds if the Callable is used for DateTime comparison
    */
   Callable getAComparisonCallable() {
     (result = this.getAnOperator() or result = this.getAMethod()) and
diff --git a/csharp/ql/src/experimental/ir/implementation/EdgeKind.qll b/csharp/ql/src/experimental/ir/implementation/EdgeKind.qll
@@ -67,7 +67,7 @@ class DefaultEdge extends EdgeKind, TDefaultEdge {
 
 /**
  * A "case" edge, representing the successor of a `Switch` instruction when the
- * the condition value matches a correponding `case` label.
+ * the condition value matches a corresponding `case` label.
  */
 class CaseEdge extends EdgeKind, TCaseEdge {
   string minValue;
diff --git a/csharp/ql/src/experimental/ir/implementation/raw/gvn/ValueNumbering.qll b/csharp/ql/src/experimental/ir/implementation/raw/gvn/ValueNumbering.qll
@@ -34,7 +34,7 @@ class ValueNumber extends TValueNumber {
   final Instruction getAnInstruction() { this = valueNumber(result) }
 
   /**
-   * Gets one of the instructions that was assigned this value number. The chosen instuction is
+   * Gets one of the instructions that was assigned this value number. The chosen instruction is
    * deterministic but arbitrary. Intended for use only in debugging.
    */
   final Instruction getExampleInstruction() {
diff --git a/csharp/ql/src/experimental/ir/implementation/raw/internal/desugar/Common.qll b/csharp/ql/src/experimental/ir/implementation/raw/internal/desugar/Common.qll
@@ -183,7 +183,7 @@ abstract class TranslatedCompilerGeneratedVariableAccess extends TranslatedCompi
   override Instruction getChildSuccessor(TranslatedElement child) { none() }
 
   /**
-   * Returns the type of the accessed variable. Can be overriden when the return
+   * Returns the type of the accessed variable. Can be overridden when the return
    * type is different than the type of the underlying variable.
    */
   Type getVariableType() { result = getResultType() }
diff --git a/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll b/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/gvn/ValueNumbering.qll
@@ -34,7 +34,7 @@ class ValueNumber extends TValueNumber {
   final Instruction getAnInstruction() { this = valueNumber(result) }
 
   /**
-   * Gets one of the instructions that was assigned this value number. The chosen instuction is
+   * Gets one of the instructions that was assigned this value number. The chosen instruction is
    * deterministic but arbitrary. Intended for use only in debugging.
    */
   final Instruction getExampleInstruction() {
diff --git a/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll b/csharp/ql/src/experimental/ir/implementation/unaliased_ssa/internal/SSAConstruction.qll
@@ -1005,7 +1005,7 @@ predicate canReuseSsaForMemoryResult(Instruction instruction) {
 deprecated predicate canReuseSSAForMemoryResult = canReuseSsaForMemoryResult/1;
 
 /**
- * Expose some of the internal predicates to PrintSSA.qll. We do this by publically importing those modules in the
+ * Expose some of the internal predicates to PrintSSA.qll. We do this by publicly importing those modules in the
  * `DebugSSA` module, which is then imported by PrintSSA.
  */
 module DebugSsa {
diff --git a/csharp/ql/test/TestUtilities/InlineExpectationsTest.qll b/csharp/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

Original file line number	Diff line number	Diff line change
`@@ -672,7 +672,7 @@ module Unification {`
`672`	`672`	* `ConstrainedTypeParameter::unifiable()` can be used.
`673`	`673`	`*`
`674`	`674`	`*`
`675`		- * For performance reasons, type paramater constraints inside `t1` and `t2` are
	`675`	+ * For performance reasons, type parameter constraints inside `t1` and `t2` are
`676`	`676`	`* not taken into account, and there is also no guarantee that the same type`
`677`	`677`	`* parameter can be substituted with two different terms. For example, in`
`678`	`678`	`*`
Original file line number	Diff line number	Diff line change
`@@ -9,7 +9,7 @@ import csharp`
`9`	`9`	`* A callable that can be overridden or implemented.`
`10`	`10`	`*`
`11`	`11`	* Unlike the class `Overridable`, this class only includes callables that
`12`		`- * can actually be overriden/implemented.`
	`12`	`+ * can actually be overridden/implemented.`
`13`	`13`	`*/`
`14`	`14`	`class OverridableCallable extends Callable, Overridable {`
`15`	`15`	`OverridableCallable() { this.isOverridableOrImplementable() }`
Original file line number	Diff line number	Diff line change
`@@ -105,7 +105,7 @@ private class AccessUse extends Access, Use {`
`105`	`105`	`not this.(PropertyAccess).getParent().getParent() instanceof Property // Property initializer`
`106`	`106`	`}`
`107`	`107`
`108`		`- /** Gets the qualifier of this acccess, if any. */`
	`108`	`+ /** Gets the qualifier of this access, if any. */`
`109`	`109`	`private Expr getFormatQualifier() {`
`110`	`110`	`result = this.(QualifiableExpr).getQualifier() and`
`111`	`111`	`not result.isImplicit()`
Original file line number	Diff line number	Diff line change
`@@ -70,7 +70,7 @@ class DateTimeStruct extends Struct {`
`70`	`70`	`}`
`71`	`71`
`72`	`72`	`/**`
`73`		`- * Holds if the Callable is used for DateTime comparision`
	`73`	`+ * Holds if the Callable is used for DateTime comparison`
`74`	`74`	`*/`
`75`	`75`	`Callable getAComparisonCallable() {`
`76`	`76`	`(result = this.getAnOperator() or result = this.getAMethod()) and`