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)