shared

Author: hvitved

shared/typeinference/codeql/typeinference/internal/TypeInference.qll

@@ -2436,7 +2436,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
        * Use this predicate to implement any language-specific inference logic.
        *
        * Any tuples included in this predicate will also automatically be included
-       * in `inferStep`; if in doubt, use `inferStep` instead.
+       * in `stepLanguageSpecific`; if in doubt, use `stepLanguageSpecific` instead.
        */
       default predicate stepCertainLanguageSpecific(
         AstNode n1, TypePath prefix1, AstNode n2, TypePath prefix2
@@ -2448,10 +2448,10 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
        * Gets the inferred certain type of `n` at `path`.
        *
        * Use this predicate to implement any language-specific inference logic, but only for
-       * nodes where `inferStepCertain` cannot be used, such as leaf nodes in the AST.
+       * nodes where `stepCertainLanguageSpecific` cannot be used, such as leaf nodes in the AST.
        *
        * Any tuples included in this predicate will also automatically be included
-       * in `inferType`; if in doubt, use `inferType` instead.
+       * in `inferTypeLanguageSpecific`; if in doubt, use `inferTypeLanguageSpecific` instead.
        */
       default Type inferTypeCertainLanguageSpecific(AstNode n, TypePath path) { none() }
 
@@ -2468,7 +2468,7 @@ module Make1<LocationSig Location, InputSig1<Location> Input1> {
        * Gets the inferred type of `n` at `path`.
        *
        * Use this predicate to implement any language-specific inference logic, but only for
-       * nodes where `inferStep` cannot be used, such as leaf nodes in the AST.
+       * nodes where `stepLanguageSpecific` cannot be used, such as leaf nodes in the AST.
        */
       Type inferTypeLanguageSpecific(AstNode n, TypePath path);
     }