// // 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(); }