A convenience method which opens an extension of the given type, yields it to a callback, and returns the result of the callback. A handle is opened if needed by the extension, and closed before returning to the caller.
the value returned by the callback.
the type of extension.
a callback which will receive the extension.
if no org.jdbi.v3.core.extension.ExtensionFactory is registered which supports the given extension type.
if thrown by the callback.