Predicate getInvokedDisposeMethod
Gets the dispose method that will be invoked on a value x
of type t
when x.Dispose()
is called.
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