Predicate implementsDispose

Whether the type t defines a dispose method.

Either the dispose method is (an override of) IDisposable.Dispose(), or an implementation of a method Dispose(bool) which is called from the IDisposable.Dispose() method inherited by t.

Import path

import semmle.code.csharp.frameworks.System
predicate implementsDispose(ValueOrRefType t)