//
// Exception audit:
//
// Verdict
// Exception wrapping is required.
//
// Rationale
// `java.io.InputStream.close()` throws an exception, see:
//
// https://developer.android.com/reference/java/io/InputStream?hl=en
//
protected override void Dispose(bool disposing)
{
if (disposing && BaseInputStream != null)
{
try {
BaseInputStream.Close();
BaseInputStream.Dispose();
BaseInputStream = null;
} catch (Java.IO.IOException ex) when(JNIEnv.ShouldWrapJavaException(ex))
{
throw new IOException(ex.Message, ex);
}
}
}
/// <summary>
/// Release unmanaged resources.
/// </summary>
/// <param name="disposing">If set, also release managed resources.</param>
protected override void Dispose(bool disposing)
{
if (disposing)
{
try{ stream.Close(); }
catch {}
}
}
public static void close(this Java.IO.InputStream stream)
{
stream.Close();
}
