rename

Author: hvitved

rust/ql/lib/codeql/rust/internal/FunctionType.qll

@@ -130,11 +130,11 @@ private newtype TFunctionType =
  * `self5` | `impl T2 for X` | `X`
  */
 class FunctionType extends TFunctionType {
-  private predicate asFunctionType(Function f, FunctionTypePosition pos, ImplOrTraitItemNode i) {
+  private predicate isFunctionType(Function f, FunctionTypePosition pos, ImplOrTraitItemNode i) {
     this = MkFunctionType(f, pos, i)
   }
 
-  private predicate asInheritedFunctionType(
+  private predicate isInheritedFunctionType(
     Function f, FunctionTypePosition pos, ImplOrTraitItemNode parent, ImplOrTraitItemNode i
   ) {
     this = MkInheritedFunctionType(f, pos, parent, i)
@@ -145,23 +145,23 @@ class FunctionType extends TFunctionType {
    * when viewed as a member of the `impl` or trait item `i`.
    */
   predicate appliesTo(Function f, FunctionTypePosition pos, ImplOrTraitItemNode i) {
-    this.asFunctionType(f, pos, i)
+    this.isFunctionType(f, pos, i)
     or
-    this.asInheritedFunctionType(f, pos, _, i)
+    this.isInheritedFunctionType(f, pos, _, i)
   }
 
   pragma[nomagic]
   private Type getTypeAt0(TypePath path) {
     exists(Function f, FunctionTypePosition pos |
-      this.asFunctionType(f, pos, _) and
+      this.isFunctionType(f, pos, _) and
       functionTypeAtPath(f, pos, path, result)
     )
     or
     exists(
       Function f, FunctionTypePosition pos, FunctionType parentType, ImplOrTraitItemNode parent,
       ImplOrTraitItemNode i
     |
-      this.asInheritedFunctionType(f, pos, parent, i) and
+      this.isInheritedFunctionType(f, pos, parent, i) and
       parentType.appliesTo(f, pos, parent)
     |
       result = parentType.getTypeAt0(path) and