import csharp

from Virtualizable v1, Virtualizable v2, string kind
where
  (
    v1.getOverridee() = v2 and kind = "overrides"
    or
    v1.getImplementee() = v2 and kind = "implements"
  ) and
  v1.fromSource() and
  v2.fromSource()
select v1.getQualifiedNameWithTypes(), v2.getQualifiedNameWithTypes(), kind