Member predicate OverridableCallable::OverridableMethod::getInherited

Gets the unique callable inherited by (or defined in) type t that overrides, implements, or equals this callable, where this callable is defined in a (transitive, reflexive) base type of t.

Example:

class C1 { public virtual void M() { } }

class C2 : C1 { public override void M() { } }

class C3 : C2 { }

The following holds:

  • C1.M = C1.M.getInherited(C1),
  • C2.M = C1.M.getInherited(C2),
  • C2.M = C1.M.getInherited(C3),
  • C2.M = C2.M.getInherited(C2), and
  • C2.M = C2.M.getInherited(C3).
Method getInherited(SourceDeclarationType t)