CPP: 'i.e.' -> 'that is'.

Author: geoffw0

cpp/ql/src/Microsoft/SAL.qll

@@ -126,7 +126,7 @@ class SALParameter extends Parameter {
 }
 
 /**
- * A SAL element, i.e. a SAL annotation or a declaration entry
+ * A SAL element, that is, a SAL annotation or a declaration entry
  * that may have SAL annotations.
  */
 library class SALElement extends Element {

cpp/ql/src/semmle/code/cpp/dispatch/VirtualDispatch.qll

@@ -63,7 +63,7 @@ module VirtualDispatch {
 
   /**
    * Holds if `c` cannot inherit the member function `f`,
-   * i.e. `c` or one of its supertypes overrides `f`.
+   * that is, `c` or one of its supertypes overrides `f`.
    */
   private predicate cannotInherit(Class c, MemberFunction f) {
     exists(Class overridingType, MemberFunction override |

cpp/ql/src/semmle/code/cpp/security/boostorg/asio/protocols.qll

@@ -56,7 +56,8 @@ module BoostorgAsio {
     }
 
     /**
-     * returns the value for a approved protocols, but that are hard-coded (i.e. no protocol negotiation)
+     * returns the value for an approved protocol, but that are hard-coded
+     * (that is, no protocol negotiation)
      */
     EnumConstant getAnApprovedButHardcodedProtocolConstant() {
       result = this.getATls12ProtocolConstant()