CodeQL library for C#
codeql/csharp-all 1.0.1 (changelog, source)

Member predicate ValueOrRefType::hasCallable

Holds if this type has callable c, that is, either c is declared in this type, or c is inherited by this type.

For example, C has the callables A.get_P1, A.set_P1, A.M2(), B.get_P2, B.set_P2, and C.M3() in

class A {
  public int P1 { get; set; }
  public virtual int P2 { get; set; }
  private void M1() { }
  protected void M2() { }

class B : A {
  public override int P2 { get; set; }

class C : B {
  private void M3() { }
predicate hasCallable(Callable c)