Member predicate Type::ValueOrRefType::hasMethod

Holds if this type has method m, that is, either m is declared in this type, or m is inherited by this type.

For example, C has the methods A.M1(), B.M3(), and C.M4() in

class A {
  public void M1() { }
  private void M2() { }
  public virtual void M3() { }
}

class B : A {
  public override void M3() { }
}

class C : B {
  void M4() { }
}
predicate hasMethod(Method m)